MaxSAT Evaluation 2017: Detailed Results of Weighted Incomplete Track under 300 s Timeout

BenchmarkmaxrosterWPM3-in✝SAT4J✝MaxHS-incLMHS-incDist✝CCEHC✝Open-WBO-LSU
af-synthesis/af-synthesis_stb_50_40_9.wcnf1.0 (134)0.9926 (135)0.9926 (135)0.971 (138)0.9504 (141)0.5447 (246)0.9571 (140)1.0 (134)
haplotyping-pedigrees/ped2.G.recomb10-0.20-13.wcnf1.0 (40755)0.9954 (40943)0.4461 (91364)0.6425 (63427)0.0606 (672643)0.504 (80866)0.3469 (117479)1.0 (40755)
rna-alignment/k100-13-99.rna.pre.wcnf1.0 (1766)0.9972 (1771)0.9989 (1768)0.9972 (1771)0.9905 (1783)0.9983 (1769)0.9933 (1778)1.0 (1766)
rna-alignment/k100-18-95.rna.pre.wcnf1.0 (1930)0.9984 (1933)0.9933 (1943)0.9979 (1934)0.9913 (1947)0.9984 (1933)0.9933 (1943)1.0 (1930)
rna-alignment/k100-2-14.rna.pre.wcnf1.0 (1859)1.0 (1859)0.9952 (1868)0.9984 (1862)0.9909 (1876)0.9984 (1862)0.9936 (1871)1.0 (1859)
rna-alignment/k100-39-93.rna.pre.wcnf0.9995 (1850)0.9984 (1852)0.9936 (1861)0.9984 (1852)0.9898 (1868)0.9968 (1855)0.993 (1862)1.0 (1849)
rna-alignment/k100-42-56.rna.pre.wcnf1.0 (1838)0.9978 (1842)0.9967 (1844)0.9984 (1841)0.9903 (1856)0.9973 (1843)0.9935 (1850)1.0 (1838)
rna-alignment/k100-42-96.rna.pre.wcnf1.0 (1962)0.999 (1964)0.9959 (1970)0.998 (1966)0.9914 (1979)0.999 (1964)0.9934 (1975)1.0 (1962)
rna-alignment/k100-73-76.rna.pre.wcnf1.0 (2008)0.999 (2010)0.9955 (2017)0.9985 (2011)0.9911 (2026)0.999 (2010)0.9936 (2021)1.0 (2008)
maxcut/MANN_a45.clq.wcnf1.0 (2057)0.9786 (2102)0.9216 (2232)0.9208 (2234)0.98 (2099)1.0 (2057)1.0 (2057)0.927 (2219)
maxcut/MANN_a81.clq.wcnf1.0 (1995)0.9794 (2037)0.9518 (2096)0.9206 (2167)0.996 (2003)1.0 (1995)1.0 (1995)0.9491 (2102)
maxcut/MANN_a9.clq.wcnf1.0 (2179)0.9659 (2256)0.9474 (2300)0.873 (2496)0.0 (-)1.0 (2179)1.0 (2179)0.9163 (2378)
maxcut/hamming10-2.clq.wcnf1.0 (1929)0.9597 (2010)0.936 (2061)0.9006 (2142)0.9797 (1969)1.0 (1929)1.0 (1929)0.9173 (2103)
maxcut/hamming6-2.clq.wcnf1.0 (4391)0.9623 (4563)0.9353 (4695)0.9067 (4843)0.9435 (4654)1.0 (4391)1.0 (4391)0.9159 (4794)
maxcut/hamming8-2.clq.wcnf1.0 (2213)0.9871 (2242)0.958 (2310)0.9314 (2376)0.9818 (2254)1.0 (2213)1.0 (2213)0.9543 (2319)
maxcut/johnson8-2-4.clq.wcnf1.0 (392)1.0 (392)0.8323 (471)1.0 (392)0.9751 (402)1.0 (392)1.0 (392)0.9825 (399)
maxcut/p_hat500-3.clq.wcnf1.0 (1501)0.9609 (1562)0.894 (1679)0.8814 (1703)0.9734 (1542)1.0 (1501)1.0 (1501)0.8935 (1680)
maxcut/san200_0.7_2.clq.wcnf1.0 (1243)0.9873 (1259)0.8596 (1446)0.9173 (1355)0.9749 (1275)1.0 (1243)1.0 (1243)0.8847 (1405)
maxcut/san200_0.9_2.clq.wcnf1.0 (1647)0.9868 (1669)0.9363 (1759)0.8714 (1890)0.974 (1691)1.0 (1647)1.0 (1647)0.9603 (1715)
maxcut/san200_0.9_3.clq.wcnf1.0 (1670)0.9806 (1703)0.9146 (1826)0.8974 (1861)0.9726 (1717)1.0 (1670)1.0 (1670)0.9211 (1813)
maxcut/sanr200_0.7.clq.wcnf1.0 (1171)0.9899 (1183)0.8431 (1389)0.8681 (1349)0.9606 (1219)1.0 (1171)1.0 (1171)0.8636 (1356)
maxcut/sanr200_0.9.clq.wcnf1.0 (1610)0.9641 (1670)0.9153 (1759)0.9415 (1710)0.9746 (1652)1.0 (1610)1.0 (1610)0.9248 (1741)
maxcut/sanr400_0.7.clq.wcnf1.0 (1198)0.9669 (1239)0.8644 (1386)0.8478 (1413)0.9638 (1243)1.0 (1198)1.0 (1198)0.8828 (1357)
maxcut/t7g3-9999.spn.wcnf1.0 (11954769)0.8263 (14467135)0.7553 (15827935)0.4897 (24413294)0.8487 (14086492)0.9604 (12447225)0.98 (12199196)0.4826 (24771159)
hs-timetabling/BrazilInstance1.xml.wcnf0.625 (64)0.4348 (92)0.7547 (53)0.2649 (151)0.2649 (151)0.3008 (133)0.0 (-)1.0 (40)
hs-timetabling/BrazilInstance2.xml.wcnf0.6044 (91)0.55 (100)0.5556 (99)0.1652 (333)0.1833 (300)0.1763 (312)0.0 (-)1.0 (55)
hs-timetabling/BrazilInstance4.xml.wcnf0.877 (252)0.6558 (337)1.0 (221)0.4712 (469)0.8533 (259)0.0 (-)0.0 (-)0.9609 (230)
hs-timetabling/BrazilInstance5.xml.wcnf1.0 (85)0.6071 (140)0.3427 (248)0.151 (563)0.1545 (550)0.0 (-)0.0 (-)0.3498 (243)
hs-timetabling/BrazilInstance6.xml.wcnf0.875 (208)1.0 (182)0.4866 (374)0.2729 (667)0.2665 (683)0.0 (-)0.0 (-)0.5353 (340)
hs-timetabling/BrazilInstance7.xml.wcnf1.0 (264)0.9851 (268)0.4698 (562)0.2794 (945)0.3014 (876)0.0 (-)0.0 (-)0.3761 (702)
hs-timetabling/FinlandCollege.xml.wcnf0.9311 (1103)1.0 (1027)0.0543 (18913)0.6819 (1506)0.6391 (1607)0.0 (-)0.0 (-)0.8645 (1188)
hs-timetabling/FinlandHighSchool.xml.wcnf0.7463 (603)0.6686 (673)0.1618 (2782)0.5178 (869)0.7377 (610)0.0 (-)0.0 (-)1.0 (450)
hs-timetabling/FinlandSecondarySchool.xml.wcnf0.8729 (661)0.8184 (705)0.3245 (1778)0.6099 (946)0.8399 (687)0.0 (-)0.0 (-)1.0 (577)
hs-timetabling/ItalyInstance4.xml.wcnf1.0 (1191)0.7434 (1602)0.1175 (10137)0.0658 (18089)0.0597 (19961)0.0607 (19633)0.0 (-)0.0719 (16576)
lisbon-wedding/lisbon-wedding-10-18.wcnf1.0 (378)0.9287 (407)0.9742 (388)0.5888 (642)0.8811 (429)0.5684 (665)0.5962 (634)1.0 (378)
lisbon-wedding/lisbon-wedding-10-19.wcnf1.0 (380)0.9383 (405)0.9406 (404)0.6609 (575)0.8352 (455)0.5382 (706)0.591 (643)1.0 (380)
lisbon-wedding/lisbon-wedding-4-17.wcnf1.0 (803)0.995 (807)1.0 (803)0.4926 (1630)0.6817 (1178)0.0 (-)0.0 (-)1.0 (803)
lisbon-wedding/lisbon-wedding-4-19.wcnf1.0 (806)0.9975 (808)0.9988 (807)0.5446 (1480)0.8405 (959)0.4662 (1729)0.0 (-)1.0 (806)
lisbon-wedding/lisbon-wedding-5-19.wcnf1.0 (805)0.9938 (810)0.9963 (808)0.79 (1019)0.753 (1069)0.5669 (1420)0.5829 (1381)1.0 (805)
lisbon-wedding/lisbon-wedding-6-19.wcnf0.9675 (832)0.9938 (810)0.9393 (857)0.7272 (1107)0.6339 (1270)0.5677 (1418)0.5469 (1472)1.0 (805)
lisbon-wedding/lisbon-wedding-7-17.wcnf1.0 (420)0.9767 (430)0.9677 (434)0.7955 (528)0.8187 (513)0.7107 (591)0.0 (-)0.9976 (421)
lisbon-wedding/lisbon-wedding-7-18.wcnf1.0 (420)0.9722 (432)0.97 (433)0.6977 (602)0.8317 (505)0.8219 (511)0.0 (-)1.0 (420)
lisbon-wedding/lisbon-wedding-7-19.wcnf1.0 (424)0.977 (434)0.9278 (457)0.8797 (482)0.9237 (459)0.6962 (609)0.0 (-)1.0 (424)
lisbon-wedding/lisbon-wedding-8-17.wcnf1.0 (395)0.945 (418)0.9753 (405)0.7342 (538)0.8351 (473)0.7169 (551)0.0 (-)0.9975 (396)
lisbon-wedding/lisbon-wedding-8-18.wcnf1.0 (396)0.9474 (418)0.9826 (403)0.6178 (641)0.9612 (412)0.8722 (454)0.6027 (657)1.0 (396)
lisbon-wedding/lisbon-wedding-8-19.wcnf1.0 (399)0.9523 (419)0.9638 (414)0.7112 (561)0.8143 (490)0.6101 (654)0.0 (-)1.0 (399)
lisbon-wedding/lisbon-wedding-9-17.wcnf1.0 (395)0.9541 (414)0.9753 (405)0.594 (665)0.9229 (428)0.6979 (566)0.0 (-)1.0 (395)
lisbon-wedding/lisbon-wedding-9-18.wcnf1.0 (395)0.9518 (415)0.9777 (404)0.9294 (425)0.9405 (420)0.7261 (544)0.7208 (548)1.0 (395)
lisbon-wedding/lisbon-wedding-9-19.wcnf1.0 (398)0.9499 (419)0.9637 (413)0.6958 (572)0.9234 (431)0.7223 (551)0.7316 (544)1.0 (398)
miplib/normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf0.3117 (71214)1.0 (22199)0.5389 (41195)0.326 (68103)0.5684 (39058)0.0 (-)0.0 (-)0.0 (-)
miplib/normalized-mps-v2-20-10-l152lav.opb.msat.wcnf0.0 (-)1.0 (382524)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
miplib/normalized-mps-v2-20-10-lp4l.opb.msat.wcnf0.8531 (4369)0.839 (4442)0.9979 (3735)0.8938 (4170)1.0 (3727)0.0 (-)0.0 (-)0.9744 (3825)
miplib/normalized-mps-v2-20-10-mod008.opb.msat.wcnf0.65 (480)0.5954 (524)0.8814 (354)1.0 (312)0.4581 (681)0.0 (-)0.0 (-)0.9286 (336)
miplib/normalized-mps-v2-20-10-mod010.opb.msat.wcnf0.0 (-)1.0 (489211)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
miplib/normalized-mps-v2-20-10-p0548.opb.msat.wcnf1.0 (24175)0.5922 (40821)0.833 (29023)0.5808 (41627)0.62 (38991)0.0 (-)0.0 (-)0.0 (-)
miplib/normalized-mps-v2-20-10-sentoy.opb.msat.wcnf1.0 (1785)0.3424 (5213)0.9177 (1945)0.4801 (3718)0.5654 (3157)0.0 (-)0.0 (-)0.5568 (3206)
railway-transport/bf2030fvslack.wcnf0.0 (-)0.0 (-)1.0 (318350)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
railway-transport/d4.wcnf0.0 (-)0.0 (-)1.0 (7809)0.0 (-)0.0 (-)0.6925 (11276)0.5955 (13113)0.0 (-)
railway-transport/pesp_18Min.wcnf0.2165 (1395)0.2227 (1356)0.1662 (1817)1.0 (302)0.3582 (843)0.2521 (1198)0.2701 (1118)0.1735 (1741)
railway-transport/r11.wcnf0.0 (-)0.0 (-)1.0 (46387265)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
railway-transport/we.wcnf0.6947 (5182)0.434 (8295)0.5181 (6948)1.0 (3600)0.0 (-)0.0 (-)0.0 (-)0.8266 (4355)
railway-transport/wg2.wcnf0.6522 (161)0.1382 (760)0.1899 (553)1.0 (105)0.7778 (135)0.5122 (205)0.5048 (208)0.6105 (172)
shiftdesign/limits-10-10_data-1_inst-059_30m.sm-extracted.wcnf0.9999 (16995438)1.0 (16994984)1.0 (16994516)0.4991 (34046741)0.0 (-)0.0 (-)0.0 (-)1.0 (16994335)
shiftdesign/limits-10-10_data-1_inst-137_30m.sm-extracted.wcnf0.9964 (16226351)0.0 (-)0.9988 (16187231)0.0 (-)0.0 (-)0.0 (-)0.0 (-)1.0 (16167552)
spot5/1401.wcsp.log.wcnf1.0 (459111)0.9445 (486109)0.9254 (496107)0.9348 (491109)0.9787 (469108)0.9663 (475102)0.9914 (463108)0.9663 (475105)
spot5/1403.wcsp.log.wcnf1.0 (459270)0.933 (492269)0.8983 (511272)0.918 (500270)0.9787 (469254)0.9725 (472249)0.9914 (463245)0.9523 (482251)
spot5/1405.wcsp.log.wcnf1.0 (459454)0.9292 (494455)0.9126 (503456)0.9019 (509452)0.9787 (469438)0.9664 (475427)0.9936 (462435)0.9218 (498457)
staff-scheduling/instance10.wcnf0.453 (22294)0.5761 (17531)0.894 (11297)0.5287 (19102)0.5624 (17959)0.81 (12469)0.7749 (13034)1.0 (10100)
staff-scheduling/instance11.wcnf0.2655 (22300)0.4913 (12049)1.0 (5920)0.3768 (15712)0.2243 (26390)0.647 (9150)0.4505 (13140)0.6887 (8596)
staff-scheduling/instance12.wcnf0.5761 (29720)0.8424 (20323)1.0 (17121)0.6679 (25635)0.367 (46650)0.7103 (24103)0.5346 (32024)0.8421 (20331)
staff-scheduling/instance3.wcnf0.9478 (1072)0.3802 (2672)0.8714 (1166)0.839 (1211)0.7785 (1305)0.999 (1017)0.717 (1417)1.0 (1016)
staff-scheduling/instance4.wcnf0.9698 (1788)0.4968 (3490)0.7316 (2370)0.8971 (1933)0.7751 (2237)0.9481 (1829)0.8172 (2122)1.0 (1734)
staff-scheduling/instance5.wcnf0.4156 (3272)0.2999 (4535)0.8354 (1628)0.7754 (1754)0.2793 (4870)1.0 (1360)0.5329 (2552)0.864 (1574)
staff-scheduling/instance6.wcnf0.3639 (7109)0.4276 (6050)0.8361 (3094)0.8416 (3074)0.3799 (6810)1.0 (2587)0.6657 (3886)0.9158 (2825)
staff-scheduling/instance7.wcnf0.1564 (9781)0.2308 (6629)0.6047 (2530)0.1554 (9848)0.1842 (8306)1.0 (1530)0.4766 (3210)0.7438 (2057)
staff-scheduling/instance8.wcnf0.2239 (13759)0.2714 (11352)0.6626 (4650)0.1762 (17482)0.3441 (8955)0.4205 (7327)0.2661 (11580)1.0 (3081)
staff-scheduling/instance9.wcnf0.2658 (11869)0.3254 (9695)0.4754 (6636)0.271 (11643)0.2886 (10932)0.4691 (6725)0.3508 (8993)1.0 (3155)
timetabling/comp01.wcnf0.0 (-)1.0 (840)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
timetabling/comp03.wcnf1.0 (75)0.1969 (381)0.1521 (493)0.6818 (110)0.7813 (96)0.2149 (349)0.1208 (621)0.8427 (89)
timetabling/comp05.wcnf0.779 (552)0.4522 (951)0.1636 (2629)1.0 (430)0.8159 (527)0.4526 (950)0.6268 (686)0.772 (557)
timetabling/comp12.wcnf0.813 (460)0.3785 (988)0.2482 (1507)1.0 (374)0.7974 (469)0.3447 (1085)0.2181 (1715)0.6404 (584)
timetabling/comp18.wcnf1.0 (79)0.254 (311)0.1859 (425)0.9405 (84)0.8778 (90)0.25 (316)0.1729 (457)0.8404 (94)
timetabling/comp21.wcnf1.0 (83)0.1777 (467)0.2075 (400)0.6917 (120)0.6917 (120)0.1332 (623)0.0623 (1332)0.8925 (93)
timetabling/dds4.wcnf0.0 (-)1.0 (10500)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
timetabling/test4.wcnf0.9622 (502)0.9397 (514)0.0 (-)0.5876 (822)0.5676 (851)0.9218 (524)0.0 (-)1.0 (483)
BTBNSL/Rounded_BTWBNSL_Abalone_TWBound_3.wcnf1.0 (1549644710)0.9776 (1585093410)1.0 (1549670526)0.9969 (1554487190)0.9892 (1566509913)0.9943 (1558479493)0.9935 (1559822503)0.8326 (1861320135)
BTBNSL/Rounded_BTWBNSL_Heart.BIC_TWBound_4.wcnf0.9964 (240613541)0.9653 (248364872)0.9837 (243705590)1.0 (239742296)0.9933 (241355009)0.9684 (247573781)0.9662 (248124234)0.9161 (261711701)
BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf0.9963 (454710948)0.9925 (456462343)0.9921 (456646813)1.0 (453028101)0.9962 (454766488)0.9798 (462378510)0.9772 (463586675)0.9587 (472542928)
BTBNSL/Rounded_BTWBNSL_Housing_TWBound_3.wcnf1.0 (320446036)0.9796 (327134570)0.9496 (337452945)0.9372 (341933543)0.929 (344948189)0.8935 (358634789)0.9421 (340123863)0.6959 (460472615)
BTBNSL/Rounded_BTWBNSL_Housing_TWBound_4.wcnf0.8943 (351894742)0.9903 (317770646)0.9662 (325688510)1.0 (314696283)0.9322 (337578977)0.9311 (337993442)0.9327 (337413668)0.675 (466207221)
BTBNSL/Rounded_BTWBNSL_Voting_TWBound_3.wcnf1.0 (464263033)0.9661 (480578604)1.0 (464263033)1.0 (464263022)0.9835 (472060396)0.9796 (473913475)0.9917 (468158075)0.8364 (555090921)
BTBNSL/Rounded_BTWBNSL_Voting_TWBound_4.wcnf1.0 (464263033)0.9912 (468397080)0.9877 (470023044)1.0 (464263022)0.9502 (488607152)0.977 (475208362)0.9919 (468042466)0.8328 (557474429)
BTBNSL/Rounded_BTWBNSL_adult15N_TWBound_3.wcnf1.0 (35232369129)0.9972 (35332766490)0.9936 (35460079628)0.9983 (35292036619)0.9978 (35311725160)0.9661 (36468519274)0.9715 (36266177943)0.0 (-)
BTBNSL/Rounded_BTWBNSL_adult15N_TWBound_4.wcnf0.9997 (35338202133)0.9869 (35795151215)0.9984 (35382327616)1.0 (35326818872)0.9866 (35807787354)0.9485 (37244702629)0.9749 (36236480331)0.0 (-)
BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_3.wcnf1.0 (138107705)0.9923 (139179616)0.9439 (146322352)0.9811 (140770174)0.7925 (174271290)0.8268 (167041766)0.8992 (153592990)0.8481 (162840781)
BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4.wcnf1.0 (138107705)0.9114 (151535969)0.9575 (144241145)0.979 (141065271)0.9077 (152157371)0.8223 (167958580)0.9139 (151112949)0.8234 (167734954)
BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3.wcnf0.9866 (53520327031)0.9854 (53586681339)1.0 (52802369103)0.966 (54662731206)0.966 (54659316842)0.8913 (59243253729)0.9348 (56483501483)0.0 (-)
BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4.wcnf0.9628 (54040979168)0.9447 (55075030157)0.9965 (52214106692)1.0 (52029610786)0.9207 (56513720819)0.9018 (57695618008)0.931 (55884174219)0.0 (-)
BTBNSL/Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_3.wcnf1.0 (5277196451)0.9942 (5308233481)0.9697 (5441871671)0.9954 (5301552956)0.9863 (5350590227)0.8976 (5879450423)0.957 (5514443191)0.0 (-)
BTBNSL/Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_4.wcnf1.0 (5300918493)0.9978 (5312762451)0.981 (5403478099)0.9943 (5331139090)0.9656 (5489754825)0.9182 (5773201096)0.9471 (5596987325)0.0 (-)
BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf0.9868 (1426675710)1.0 (1407822941)0.9745 (1444688146)0.9935 (1417032605)0.9934 (1417115691)0.8445 (1667005983)0.9099 (1547248877)0.0 (-)
BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_4.wcnf0.9896 (1425499089)0.9929 (1420773041)0.9585 (1471865804)1.0 (1410722760)0.9126 (1545879919)0.8651 (1630651330)0.8939 (1578085024)0.0 (-)
causal-discovery/causal_Autos_8_159.wcnf0.0 (707611)0.0 (820369)0.0 (1752964)0.0 (1250086)0.0 (876130)1.0 (0)1.0 (0)0.0 (-)
causal-discovery/causal_Image_7_2310.wcnf0.0 (505694)0.0 (431410)0.0 (717669)0.0 (600478)0.0 (469173)1.0 (0)1.0 (0)0.0 (-)
causal-discovery/causal_asia_8_10000.wcnf0.0 (936156)0.0 (11507662)0.0 (4813446)0.0 (979984)0.0 (2549752)1.0 (0)1.0 (0)0.0 (-)
causal-discovery/causal_carpo_8_1000.wcnf0.0 (756631)0.0 (947128)0.0 (756631)0.0 (1506033)0.0 (947128)1.0 (0)1.0 (0)0.0 (-)
causal-discovery/causal_insurance_9_100.wcnf0.0 (4404542)0.0 (4020577)0.0 (7579319)0.0 (4707228)0.0 (4707228)1.0 (0)1.0 (0)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf1.0 (18477338)0.8208 (22510488)0.9113 (20275536)0.9336 (19790976)0.9164 (20162521)0.2221 (83209158)0.8714 (21204939)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N260_D0.200.wcnf1.0 (25883011)0.8134 (31820870)0.9473 (27322596)0.9131 (28345245)0.9007 (28736985)0.2395 (108082450)0.8783 (29470278)0.4827 (53619311)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf1.0 (28799582)0.8688 (33147463)0.9353 (30792205)0.9006 (31977359)0.8879 (32436096)0.2695 (106881949)0.8708 (33072275)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N300_D0.200.wcnf1.0 (29872459)0.8508 (35112850)0.938 (31845494)0.8869 (33680017)0.8731 (34212823)0.24 (124446524)0.8644 (34559366)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N220_D0.200.wcnf0.8433 (6615190)0.4318 (12919727)0.8061 (6920845)0.9931 (5617821)1.0 (5578803)0.8471 (6585502)0.7141 (7812258)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200.wcnf0.8452 (7736133)0.2898 (22560107)0.8168 (8005773)1.0 (6538843)0.9516 (6871204)0.8317 (7862049)0.6667 (9807350)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N260_D0.200.wcnf0.8684 (8034286)0.4179 (16694294)0.7659 (9109318)1.0 (6976684)0.8961 (7785479)0.8921 (7820780)0.7044 (9905076)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N320.wcnf0.9536 (30080957)0.2416 (118700973)0.8691 (33004693)0.9988 (28719205)1.0 (28684066)0.9321 (30772512)0.1147 (250000808)0.1261 (227496462)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N340.wcnf0.9412 (33214107)0.2125 (147120926)0.9313 (33565534)1.0 (31259864)0.9468 (33017910)0.9148 (34171960)0.111 (281555167)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N360.wcnf0.9907 (36355879)0.1835 (196334168)0.7666 (46983815)1.0 (36017888)0.988 (36456165)0.9579 (37600141)0.1185 (303985502)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein3_BINARY_N380.wcnf0.8887 (43326884)0.1852 (207897530)0.6068 (63461092)1.0 (38505374)0.9792 (39322536)0.7352 (52371527)0.1183 (325604697)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N300.wcnf0.7858 (15017800)0.4225 (27928920)0.7453 (15833718)1.0 (11800559)0.9587 (12309231)0.7621 (15483614)0.7676 (15373173)0.1484 (79516489)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N340.wcnf0.8606 (17540610)0.4155 (36330830)0.7661 (19706247)1.0 (15096142)0.9624 (15686350)0.7064 (21370212)0.16 (94343367)0.1851 (81553110)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N360.wcnf0.8591 (19125379)0.4003 (41041847)0.8009 (20516852)1.0 (16430976)0.8988 (18281849)0.76 (21619024)0.1163 (141249316)0.1823 (90147283)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N700_D0.200.wcnf0.765 (114795771)1.0 (87821188)0.7523 (116744472)0.6884 (127570486)0.6977 (125871458)0.7905 (111090968)0.7165 (122574148)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N720_D0.200.wcnf0.7622 (122620361)1.0 (93460109)0.7628 (122522035)0.6891 (135633071)0.7156 (130598398)0.8287 (112775056)0.7283 (128326593)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N760_D0.200.wcnf0.7383 (133745248)1.0 (98744041)0.771 (128073524)0.6945 (142177116)0.71 (139069042)0.7596 (129999492)0.0 (-)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200.wcnf0.7511 (135194086)1.0 (101545115)0.7644 (132848277)0.634 (160154891)0.6906 (147042357)0.8301 (122336055)0.0 (-)0.0 (-)
min-width/MinWidthCB_milan_200_12_1k_10s_1t_12.wcnf1.0 (93283)0.876 (106487)0.9554 (97634)0.9409 (99147)0.9522 (97965)0.0 (-)0.9375 (99497)0.6928 (134645)
min-width/MinWidthCB_mitdbsample_300_43_1k_15s_1t_15.wcnf0.9794 (48460)1.0 (47460)0.9357 (50720)0.9502 (49945)0.9626 (49305)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_15s_2t_15.wcnf1.0 (38940)0.8219 (47380)0.6935 (56150)0.8664 (44945)0.837 (46525)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_3s_1t_3.wcnf0.9658 (48775)1.0 (47105)0.967 (48710)0.9625 (48940)0.9609 (49020)0.0 (-)0.9625 (48940)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_3s_1t_5.wcnf1.0 (48200)0.9816 (49105)0.8599 (56055)0.978 (49285)0.9657 (49910)0.0 (-)0.9913 (48625)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_3s_2t_3.wcnf0.996 (46050)1.0 (45865)0.9908 (46290)0.9795 (46825)0.9762 (46985)0.0 (-)0.9608 (47735)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_3s_2t_5.wcnf1.0 (45860)0.9773 (46925)0.9734 (47115)0.9483 (48360)0.9277 (49435)0.0 (-)0.9595 (47795)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_6s_1t_6.wcnf0.9967 (47920)0.9569 (49910)0.9571 (49900)0.9928 (48105)0.9475 (50405)0.0 (-)1.0 (47760)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_6s_2t_6.wcnf1.0 (44040)0.9519 (46265)0.7468 (58970)0.9358 (47060)0.8935 (49290)0.0 (-)0.943 (46700)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_6s_2t_8.wcnf1.0 (44105)0.9193 (47975)0.7102 (62105)0.9247 (47695)0.9051 (48730)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_1t_15.wcnf1.0 (74160)0.78 (95080)0.8416 (88115)0.9802 (75655)0.8915 (83185)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_1t_17.wcnf1.0 (73995)0.8275 (89420)0.7925 (93370)0.9917 (74615)0.8782 (84260)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_2t_15.wcnf0.9856 (73480)0.763 (94915)0.7938 (91230)1.0 (72420)0.9085 (79710)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_2t_17.wcnf1.0 (68995)0.7702 (89585)0.7528 (91655)0.942 (73245)0.8427 (81875)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_3t_17.wcnf1.0 (70680)0.9526 (74200)0.8388 (84265)0.9675 (73055)0.8581 (82365)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_3s_2t_5.wcnf0.935 (85220)1.0 (79680)0.8753 (91030)0.9879 (80655)0.9642 (82635)0.0 (-)0.9764 (81610)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_3s_3t_3.wcnf1.0 (77130)0.9771 (78940)0.9092 (84830)0.9975 (77325)0.9675 (79725)0.0 (-)0.9614 (80225)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_3s_3t_5.wcnf0.9992 (76965)0.9679 (79450)0.9685 (79400)1.0 (76900)0.9505 (80905)0.0 (-)0.9493 (81010)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_6s_1t_8.wcnf1.0 (77570)0.9743 (79615)0.8856 (87590)0.9448 (82100)0.9192 (84385)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_6s_2t_6.wcnf1.0 (76855)0.9604 (80020)0.8264 (92995)0.9899 (77640)0.9682 (79380)0.0 (-)0.9665 (79520)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_6s_3t_6.wcnf1.0 (72680)0.8988 (80860)0.7537 (96435)0.9695 (74970)0.9413 (77210)0.0 (-)0.9022 (80555)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_6s_3t_8.wcnf1.0 (73420)0.9515 (77160)0.7797 (94170)0.9587 (76580)0.9167 (80095)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_10s_1t_12.wcnf1.0 (88924)0.9148 (97204)0.7151 (124345)0.8993 (98886)0.9306 (95553)0.0 (-)0.0 (-)0.6957 (127826)
min-width/MinWidthCB_power_1000_24_1k_20s_1t_20.wcnf1.0 (85169)0.895 (95158)0.8079 (105420)0.9079 (93807)0.8942 (95241)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_20s_2t_20.wcnf1.0 (78285)0.8921 (87755)0.7355 (106440)0.9211 (84993)0.9318 (84014)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_20s_2t_22.wcnf1.0 (79052)0.9357 (84481)0.8542 (92542)0.9438 (83755)0.9133 (86553)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_50s_1t_50.wcnf0.6986 (130654)0.8049 (113404)0.6367 (143373)1.0 (91280)0.9754 (93584)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_50s_1t_52.wcnf0.6327 (137294)1.0 (86871)0.8004 (108540)0.9227 (94149)0.9254 (93872)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_50s_2t_50.wcnf0.61 (132179)0.7877 (102352)0.7357 (109585)0.9785 (82399)1.0 (80626)0.0 (-)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_50s_2t_52.wcnf0.5532 (145030)0.7367 (108899)0.7635 (105084)0.9499 (84458)1.0 (80229)0.0 (-)0.0 (-)0.0 (-)
css-refactoring/youtube.wcnf0.9994 (227542)0.9997 (227469)0.9988 (227666)0.9986 (227730)1.0 (227403)0.9986 (227730)0.9994 (227542)0.0 (-)
✝ Hors concours solver