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

BenchmarkmaxrosterWPM3-in✝SAT4J✝LMHS-incOpen-WBO-LSUMaxHS-incDist✝CCEHC✝
af-synthesis/af-synthesis_stb_50_40_9.wcnf1.0 (134)0.964 (139)0.9926 (135)0.8481 (158)0.9926 (135)0.9571 (140)0.5194 (258)0.9371 (143)
haplotyping-pedigrees/ped2.G.recomb10-0.20-13.wcnf0.4289 (95023)0.9954 (40943)0.4461 (91364)0.0556 (733350)1.0 (40755)0.1142 (356876)0.4298 (94819)0.2727 (149450)
rna-alignment/k100-13-99.rna.pre.wcnf1.0 (1766)0.9966 (1772)0.9989 (1768)0.9905 (1783)0.9994 (1767)0.9938 (1777)0.9983 (1769)0.9938 (1777)
rna-alignment/k100-18-95.rna.pre.wcnf1.0 (1931)0.9984 (1934)0.9938 (1943)0.9918 (1947)1.0 (1931)0.0 (-)0.999 (1933)0.9938 (1943)
rna-alignment/k100-2-14.rna.pre.wcnf1.0 (1860)0.9968 (1866)0.9957 (1868)0.9915 (1876)1.0 (1860)0.9936 (1872)0.9979 (1864)0.9947 (1870)
rna-alignment/k100-39-93.rna.pre.wcnf0.9995 (1852)0.9973 (1856)0.9946 (1861)0.9909 (1868)1.0 (1851)0.9946 (1861)0.9978 (1855)0.9936 (1863)
rna-alignment/k100-42-56.rna.pre.wcnf1.0 (1839)0.9978 (1843)0.9973 (1844)0.9908 (1856)1.0 (1839)0.0 (-)0.9973 (1844)0.993 (1852)
rna-alignment/k100-42-96.rna.pre.wcnf0.999 (1966)0.9985 (1967)0.9954 (1973)0.9924 (1979)1.0 (1964)0.0 (-)0.9995 (1965)0.9934 (1977)
rna-alignment/k100-73-76.rna.pre.wcnf0.9995 (2011)0.9995 (2011)0.9965 (2017)0.9921 (2026)1.0 (2010)0.0 (-)0.9995 (2011)0.9936 (2023)
maxcut/MANN_a45.clq.wcnf1.0 (2057)0.9786 (2102)0.9216 (2232)0.9519 (2161)0.9042 (2275)0.9208 (2234)1.0 (2057)1.0 (2057)
maxcut/MANN_a81.clq.wcnf1.0 (1995)0.9794 (2037)0.9518 (2096)0.9647 (2068)0.9185 (2172)0.9206 (2167)1.0 (1995)1.0 (1995)
maxcut/MANN_a9.clq.wcnf1.0 (2179)0.9659 (2256)0.9474 (2300)0.9511 (2291)0.9163 (2378)0.873 (2496)1.0 (2179)1.0 (2179)
maxcut/hamming10-2.clq.wcnf1.0 (1929)0.9597 (2010)0.936 (2061)0.9447 (2042)0.8906 (2166)0.9006 (2142)1.0 (1929)1.0 (1929)
maxcut/hamming6-2.clq.wcnf1.0 (4391)0.9623 (4563)0.9353 (4695)0.9384 (4679)0.9159 (4794)0.9067 (4843)1.0 (4391)1.0 (4391)
maxcut/hamming8-2.clq.wcnf1.0 (2213)0.9706 (2280)0.958 (2310)0.9672 (2288)0.9306 (2378)0.9314 (2376)1.0 (2213)1.0 (2213)
maxcut/johnson8-2-4.clq.wcnf1.0 (392)1.0 (392)0.8323 (471)0.9751 (402)0.9289 (422)1.0 (392)1.0 (392)1.0 (392)
maxcut/p_hat500-3.clq.wcnf1.0 (1501)0.9609 (1562)0.894 (1679)0.9622 (1560)0.8824 (1701)0.8814 (1703)1.0 (1501)1.0 (1501)
maxcut/san200_0.7_2.clq.wcnf1.0 (1243)0.9873 (1259)0.8596 (1446)0.9749 (1275)0.8735 (1423)0.9173 (1355)1.0 (1243)1.0 (1243)
maxcut/san200_0.9_2.clq.wcnf1.0 (1647)0.9868 (1669)0.9363 (1759)0.9526 (1729)0.9015 (1827)0.8714 (1890)1.0 (1647)1.0 (1647)
maxcut/san200_0.9_3.clq.wcnf1.0 (1670)0.9772 (1709)0.9146 (1826)0.9631 (1734)0.893 (1870)0.8974 (1861)1.0 (1670)1.0 (1670)
maxcut/sanr200_0.7.clq.wcnf1.0 (1171)0.9272 (1263)0.8431 (1389)0.9606 (1219)0.8636 (1356)0.8681 (1349)1.0 (1171)1.0 (1171)
maxcut/sanr200_0.9.clq.wcnf1.0 (1610)0.9641 (1670)0.9153 (1759)0.9572 (1682)0.9205 (1749)0.9415 (1710)1.0 (1610)1.0 (1610)
maxcut/sanr400_0.7.clq.wcnf1.0 (1198)0.9251 (1295)0.8644 (1386)0.9493 (1262)0.8828 (1357)0.8478 (1413)1.0 (1198)1.0 (1198)
maxcut/t7g3-9999.spn.wcnf1.0 (11954769)0.8263 (14467135)0.7553 (15827935)0.5557 (21511964)0.4826 (24771159)0.4897 (24413294)0.9542 (12528996)0.9762 (12246019)
hs-timetabling/BrazilInstance1.xml.wcnf0.5455 (77)0.4565 (92)0.6364 (66)0.2781 (151)1.0 (42)0.1858 (226)0.2937 (143)0.0 (-)
hs-timetabling/BrazilInstance2.xml.wcnf0.8571 (91)0.78 (100)0.7358 (106)0.26 (300)1.0 (78)0.2342 (333)0.0 (-)0.0 (-)
hs-timetabling/BrazilInstance4.xml.wcnf0.7792 (317)0.7329 (337)0.7647 (323)0.9537 (259)1.0 (247)0.5267 (469)0.0 (-)0.0 (-)
hs-timetabling/BrazilInstance5.xml.wcnf0.9333 (150)1.0 (140)0.4106 (341)0.2545 (550)0.4308 (325)0.2487 (563)0.0 (-)0.0 (-)
hs-timetabling/BrazilInstance6.xml.wcnf0.875 (208)1.0 (182)0.4608 (395)0.2665 (683)0.4323 (421)0.2729 (667)0.0 (-)0.0 (-)
hs-timetabling/BrazilInstance7.xml.wcnf1.0 (264)0.9851 (268)0.4698 (562)0.3014 (876)0.3761 (702)0.2794 (945)0.0 (-)0.0 (-)
hs-timetabling/FinlandCollege.xml.wcnf0.0 (-)0.0021 (728421)0.0 (-)0.9371 (1607)0.0 (-)1.0 (1506)0.0 (-)0.0 (-)
hs-timetabling/FinlandHighSchool.xml.wcnf0.7463 (603)0.5844 (770)0.1045 (4306)0.7377 (610)1.0 (450)0.5178 (869)0.0 (-)0.0 (-)
hs-timetabling/FinlandSecondarySchool.xml.wcnf0.8729 (661)0.8184 (705)0.2441 (2364)0.8399 (687)1.0 (577)0.6099 (946)0.0 (-)0.0 (-)
hs-timetabling/ItalyInstance4.xml.wcnf1.0 (1191)0.7434 (1602)0.1175 (10137)0.0597 (19961)0.0531 (22445)0.0658 (18089)0.0607 (19633)0.0 (-)
lisbon-wedding/lisbon-wedding-10-18.wcnf0.9545 (396)0.9287 (407)0.9717 (389)0.8811 (429)1.0 (378)0.5842 (647)0.5067 (746)0.4859 (778)
lisbon-wedding/lisbon-wedding-10-19.wcnf0.9337 (407)0.9383 (405)0.9201 (413)0.8352 (455)1.0 (380)0.5766 (659)0.4974 (764)0.6822 (557)
lisbon-wedding/lisbon-wedding-4-17.wcnf0.7461 (1079)0.7454 (1080)0.9426 (854)0.6834 (1178)1.0 (805)0.4939 (1630)0.0 (-)0.0 (-)
lisbon-wedding/lisbon-wedding-4-19.wcnf0.7114 (1133)0.7133 (1130)0.9405 (857)0.8405 (959)1.0 (806)0.6901 (1168)0.0 (-)0.0 (-)
lisbon-wedding/lisbon-wedding-5-19.wcnf0.7124 (1130)0.7986 (1008)0.876 (919)0.7523 (1070)1.0 (805)0.7137 (1128)0.5092 (1581)0.0 (-)
lisbon-wedding/lisbon-wedding-6-19.wcnf0.7181 (1121)0.7468 (1078)0.9127 (882)0.6339 (1270)1.0 (805)0.5255 (1532)0.5296 (1520)0.0 (-)
lisbon-wedding/lisbon-wedding-7-17.wcnf0.9907 (428)0.9636 (440)0.9658 (439)0.8265 (513)1.0 (424)0.7653 (554)0.6023 (704)0.0 (-)
lisbon-wedding/lisbon-wedding-7-18.wcnf0.97 (433)0.9722 (432)0.9633 (436)0.8317 (505)1.0 (420)0.6583 (638)0.6885 (610)0.0 (-)
lisbon-wedding/lisbon-wedding-7-19.wcnf0.9725 (436)0.977 (434)0.8531 (497)0.9237 (459)1.0 (424)0.9002 (471)0.6709 (632)0.0 (-)
lisbon-wedding/lisbon-wedding-8-17.wcnf0.9683 (410)0.9498 (418)0.9566 (415)0.8393 (473)1.0 (397)0.7562 (525)0.0 (-)0.0 (-)
lisbon-wedding/lisbon-wedding-8-18.wcnf0.995 (398)0.9474 (418)0.9826 (403)0.9612 (412)1.0 (396)0.9145 (433)0.8722 (454)0.7293 (543)
lisbon-wedding/lisbon-wedding-8-19.wcnf0.9614 (415)0.9523 (419)0.9545 (418)0.8143 (490)1.0 (399)0.7629 (523)0.6045 (660)0.0 (-)
lisbon-wedding/lisbon-wedding-9-17.wcnf0.9542 (415)0.9565 (414)0.9474 (418)0.88 (450)1.0 (396)0.5273 (751)0.5841 (678)0.0 (-)
lisbon-wedding/lisbon-wedding-9-18.wcnf0.9801 (403)0.9518 (415)0.9705 (407)0.9405 (420)1.0 (395)0.87 (454)0.6966 (567)0.0 (-)
lisbon-wedding/lisbon-wedding-9-19.wcnf0.9544 (417)0.9499 (419)0.9567 (416)0.9234 (431)1.0 (398)0.7357 (541)0.7223 (551)0.0 (-)
miplib/normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf0.3117 (71214)1.0 (22199)0.4496 (49380)0.4842 (45849)0.3248 (68343)0.326 (68103)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.843 (4421)0.839 (4442)0.8865 (4204)1.0 (3727)0.8501 (4384)0.8398 (4438)0.0 (-)0.0 (-)
miplib/normalized-mps-v2-20-10-mod008.opb.msat.wcnf0.7375 (480)0.6756 (524)1.0 (354)0.3547 (998)0.045 (7870)0.5756 (615)0.0 (-)0.0 (-)
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 (25669)0.5877 (43678)0.5886 (43608)0.6087 (42168)0.5588 (45940)0.6166 (41627)0.0 (-)0.0 (-)
miplib/normalized-mps-v2-20-10-sentoy.opb.msat.wcnf1.0 (1785)0.3424 (5213)0.9177 (1945)0.5654 (3157)0.3756 (4753)0.3182 (5610)0.0 (-)0.0 (-)
railway-transport/bf2030fvslack.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
railway-transport/d4.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
railway-transport/pesp_18Min.wcnf0.2284 (1633)0.1786 (2088)0.2053 (1817)0.1472 (2534)0.148 (2521)1.0 (373)0.1776 (2100)0.2548 (1464)
railway-transport/r11.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
railway-transport/we.wcnf1.0 (4061)0.4896 (8295)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
railway-transport/wg2.wcnf0.9167 (228)0.275 (760)0.3096 (675)0.1344 (1555)1.0 (209)0.2515 (831)0.8894 (235)0.8164 (256)
shiftdesign/limits-10-10_data-1_inst-059_30m.sm-extracted.wcnf0.0832 (204369281)1.0 (16994984)0.9985 (17019875)0.0 (-)1.0 (16994335)0.0 (-)0.0 (-)0.0 (-)
shiftdesign/limits-10-10_data-1_inst-137_30m.sm-extracted.wcnf0.0 (-)0.0 (-)0.9968 (16218923)0.0 (-)1.0 (16167552)0.0 (-)0.0 (-)0.0 (-)
spot5/1401.wcsp.log.wcnf0.9957 (467103)0.9413 (494109)0.9375 (496107)0.9748 (477107)0.9413 (494105)0.947 (491109)0.979 (475102)1.0 (465104)
spot5/1403.wcsp.log.wcnf0.9936 (467238)0.9412 (493269)0.908 (511272)0.9567 (485265)0.9299 (499266)0.928 (500270)0.9748 (476247)1.0 (464253)
spot5/1405.wcsp.log.wcnf0.9768 (473424)0.9352 (494455)0.9185 (503456)0.941 (491446)0.892 (518450)0.9077 (509452)0.9666 (478424)1.0 (462438)
staff-scheduling/instance10.wcnf0.5083 (22294)0.6463 (17531)1.0 (11331)0.6309 (17959)0.8147 (13908)0.5932 (19102)0.8769 (12922)0.0 (-)
staff-scheduling/instance11.wcnf0.3735 (22300)0.6913 (12049)1.0 (8329)0.3156 (26390)0.697 (11949)0.5301 (15712)0.9103 (9150)0.4353 (19136)
staff-scheduling/instance12.wcnf0.5761 (29720)0.8424 (20323)1.0 (17121)0.367 (46650)0.8421 (20331)0.6679 (25635)0.6761 (25324)0.0 (-)
staff-scheduling/instance3.wcnf0.9515 (1072)0.3817 (2672)0.7402 (1378)0.7816 (1305)1.0 (1020)0.675 (1511)1.0 (1020)0.6755 (1510)
staff-scheduling/instance4.wcnf1.0 (1788)0.5123 (3490)0.6393 (2797)0.7993 (2237)0.9739 (1836)0.8446 (2117)0.9749 (1834)0.8418 (2124)
staff-scheduling/instance5.wcnf0.4517 (3272)0.3235 (4569)0.7266 (2034)0.3035 (4870)0.8735 (1692)0.6824 (2166)1.0 (1478)0.5994 (2466)
staff-scheduling/instance6.wcnf0.3887 (7109)0.4567 (6050)0.8383 (3296)0.4057 (6810)0.8893 (3107)0.7997 (3455)1.0 (2763)0.6789 (4070)
staff-scheduling/instance7.wcnf0.1666 (9781)0.2459 (6629)0.5529 (2948)0.1916 (8507)0.7905 (2062)0.1655 (9848)1.0 (1630)0.4263 (3824)
staff-scheduling/instance8.wcnf0.3462 (13759)0.4196 (11352)1.0 (4763)0.5319 (8955)0.9829 (4846)0.2725 (17482)0.5918 (8048)0.375 (12702)
staff-scheduling/instance9.wcnf0.5591 (11869)0.6845 (9695)1.0 (6636)0.607 (10932)0.9786 (6781)0.57 (11643)0.9868 (6725)0.0 (-)
timetabling/comp01.wcnf0.0 (-)1.0 (840)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
timetabling/comp03.wcnf0.7917 (120)0.2493 (381)0.1927 (493)0.625 (152)1.0 (95)0.748 (127)0.2399 (396)0.1196 (794)
timetabling/comp05.wcnf0.8615 (585)0.5185 (972)0.1917 (2629)0.7863 (641)0.7401 (681)1.0 (504)0.5117 (985)0.0 (-)
timetabling/comp12.wcnf1.0 (460)0.4656 (988)0.3052 (1507)0.4837 (951)0.697 (660)0.4053 (1135)0.424 (1085)0.0 (-)
timetabling/comp18.wcnf0.9158 (95)0.2559 (340)0.2047 (425)0.7131 (122)0.87 (100)1.0 (87)0.2702 (322)0.1794 (485)
timetabling/comp21.wcnf0.7733 (150)0.2372 (489)0.29 (400)0.6629 (175)1.0 (116)0.8788 (132)0.1742 (666)0.0 (-)
timetabling/dds4.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
timetabling/test4.wcnf1.0 (502)0.3809 (1318)0.0 (-)0.5899 (851)0.8715 (576)0.6107 (822)0.0 (-)0.0 (-)
BTBNSL/Rounded_BTWBNSL_Abalone_TWBound_3.wcnf0.9896 (1574559321)0.9827 (1585483508)0.9909 (1572491132)0.9609 (1621486316)0.8371 (1861320135)1.0 (1558109223)0.9915 (1571416743)0.9857 (1580780884)
BTBNSL/Rounded_BTWBNSL_Heart.BIC_TWBound_4.wcnf1.0 (240669520)0.969 (248364872)0.9875 (243705590)0.9972 (241355009)0.9196 (261711701)0.9993 (240849315)0.9721 (247573781)0.9599 (250719198)
BTBNSL/Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf1.0 (454710948)0.9961 (456508351)0.9857 (461296318)0.9703 (468614346)0.9623 (472542928)0.9987 (455299010)0.9814 (463323305)0.9785 (464694392)
BTBNSL/Rounded_BTWBNSL_Housing_TWBound_3.wcnf0.8992 (365056385)1.0 (328251679)0.9515 (344967315)0.9516 (344948189)0.7129 (460472615)0.9354 (350918513)0.8832 (371642900)0.9575 (342810932)
BTBNSL/Rounded_BTWBNSL_Housing_TWBound_4.wcnf0.9041 (351894742)1.0 (318141772)0.9768 (325688510)0.9424 (337578977)0.6824 (466207221)0.8872 (358604461)0.9147 (347809971)0.9526 (333967861)
BTBNSL/Rounded_BTWBNSL_Voting_TWBound_3.wcnf1.0 (464263033)0.9661 (480578604)1.0 (464263033)0.9835 (472060396)0.8364 (555090921)1.0 (464263022)0.9701 (478584125)0.9837 (471979083)
BTBNSL/Rounded_BTWBNSL_Voting_TWBound_4.wcnf1.0 (464263033)0.9912 (468397080)0.9877 (470023044)0.9502 (488607152)0.8328 (557474429)1.0 (464263022)0.9755 (475909669)0.9827 (472452746)
BTBNSL/Rounded_BTWBNSL_adult15N_TWBound_3.wcnf0.9978 (35395993961)0.9945 (35512466442)0.996 (35460079628)0.9546 (36997765363)0.0 (-)1.0 (35318120432)0.9572 (36895681830)0.9741 (36257716222)
BTBNSL/Rounded_BTWBNSL_adult15N_TWBound_4.wcnf0.998 (35397429362)0.9858 (35835923324)0.9985 (35382327616)0.9866 (35807787354)0.0 (-)1.0 (35328137360)0.9478 (37273438130)0.9638 (36656845837)
BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_3.wcnf0.957 (152893250)0.9954 (146996223)1.0 (146322352)0.8396 (174271290)0.8986 (162840781)0.8849 (165351844)0.876 (167041766)0.9602 (152394656)
BTBNSL/Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4.wcnf0.9992 (144363661)0.9519 (151535969)1.0 (144241145)0.948 (152157371)0.8599 (167734954)0.9147 (157687097)0.8588 (167958580)0.9206 (156682505)
BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3.wcnf0.9789 (53940094732)0.968 (54548202903)1.0 (52802369103)0.8883 (59443030405)0.0 (-)0.9075 (58184175635)0.8913 (59243253729)0.9183 (57503236724)
BTBNSL/Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4.wcnf0.9553 (57653688649)1.0 (55075030157)1.0 (55074654375)0.8201 (67157335508)0.0 (-)0.9624 (57226238096)0.9536 (57756983316)0.9855 (55887775119)
BTBNSL/Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_3.wcnf1.0 (5277196451)0.9576 (5510788128)0.9697 (5441871671)0.9522 (5541828336)0.0 (-)0.9712 (5433781479)0.8955 (5893278858)0.9566 (5516696649)
BTBNSL/Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_4.wcnf1.0 (5364138557)0.9854 (5443695240)0.9927 (5403478099)0.9771 (5489754825)0.0 (-)0.9597 (5589252723)0.9264 (5790376134)0.9474 (5661743397)
BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf0.9933 (1426675710)0.9628 (1471924101)0.9807 (1445065241)1.0 (1417115691)0.846 (1675163488)0.915 (1548746349)0.8439 (1679217917)0.9169 (1545526688)
BTBNSL/Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_4.wcnf1.0 (1430907103)0.9508 (1504984203)0.9687 (1477176356)0.8832 (1620189407)0.9243 (1548087747)0.8797 (1626511225)0.8775 (1630651330)0.8982 (1593055145)
causal-discovery/causal_Autos_8_159.wcnf0.0 (707611)0.0 (864241)0.0 (1752964)0.0 (1031294)0.0 (864241)0.0 (6105403)1.0 (0)1.0 (0)
causal-discovery/causal_Image_7_2310.wcnf0.0 (505694)0.0 (431410)0.0 (717669)0.0 (503822)0.0 (789130)0.0 (572025)1.0 (0)1.0 (0)
causal-discovery/causal_asia_8_10000.wcnf0.0 (1571745)0.0 (11507662)0.0 (4813446)0.0 (4448618)0.0 (124431372)0.0 (324705070)1.0 (0)1.0 (0)
causal-discovery/causal_carpo_8_1000.wcnf0.0 (756631)0.0 (947128)0.0 (756631)0.0 (947128)0.0 (947128)0.0 (7802311)1.0 (0)1.0 (0)
causal-discovery/causal_insurance_9_100.wcnf0.0 (6499902)0.0 (41861472)0.0 (7579319)0.0 (4707228)0.0 (41861472)0.0 (4707228)1.0 (0)1.0 (0)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf1.0 (19440463)0.8636 (22510488)0.9588 (20275536)0.8459 (22983121)0.5181 (37519447)0.9595 (20261981)0.2238 (86856766)0.8892 (21863673)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N260_D0.200.wcnf1.0 (27151932)0.8533 (31820870)0.9938 (27322596)0.8891 (30537332)0.5064 (53619311)0.7756 (35008055)0.2512 (108082450)0.9171 (29606001)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf1.0 (30599121)0.9231 (33147463)0.9937 (30792205)0.8971 (34108425)0.7168 (42686107)0.6167 (49616185)0.2834 (107982202)0.9157 (33416002)
correlation-clustering/Rounded_CorrelationClustering_Ecoli_BINARY_N300_D0.200.wcnf0.9883 (32222420)0.9069 (35112850)1.0 (31845494)0.8812 (36136912)0.7171 (44411494)0.5243 (60734603)0.2541 (125318834)0.913 (34878340)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N220_D0.200.wcnf0.7169 (8006164)0.4443 (12919727)0.8293 (6920845)0.8211 (6990099)0.2895 (19828345)1.0 (5739787)0.8303 (6912840)0.6676 (8598269)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200.wcnf0.4778 (14022052)0.297 (22560107)0.8369 (8005773)0.8772 (7637799)0.2753 (24333774)1.0 (6700170)0.7965 (8411819)0.7596 (8821126)
correlation-clustering/Rounded_CorrelationClustering_Ionosphere_BINARY_N260_D0.200.wcnf0.3467 (21714292)0.451 (16694294)0.8264 (9109318)0.9012 (8353635)0.2848 (26429930)1.0 (7528368)0.9626 (7820780)0.7751 (9712747)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N320.wcnf1.0 (30979767)0.261 (118700973)0.9386 (33004693)0.2156 (143705144)0.1362 (227496462)0.1353 (228937308)0.9736 (31820317)0.1196 (259070834)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N340.wcnf1.0 (33214107)0.2258 (147120926)0.9895 (33565534)0.1401 (237024819)0.1695 (195958884)0.1379 (240938573)0.9166 (36234924)0.1147 (289552366)
correlation-clustering/Rounded_CorrelationClustering_Protein2_BINARY_N360.wcnf1.0 (36387141)0.1803 (201778160)0.7745 (46983815)0.1629 (223430340)0.1721 (211390190)0.14 (259908717)0.9659 (37672093)0.1173 (310185940)
correlation-clustering/Rounded_CorrelationClustering_Protein3_BINARY_N380.wcnf1.0 (45140573)0.2171 (207897530)0.7113 (63461092)0.1608 (280754437)0.1728 (261207114)0.1477 (305692018)0.847 (53295626)0.1349 (334599212)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N300.wcnf1.0 (15017800)0.5377 (27928920)0.9485 (15833718)0.8746 (17170886)0.1889 (79516489)0.9908 (15156697)0.9295 (16156534)0.1401 (107207743)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N340.wcnf1.0 (17540610)0.4828 (36330830)0.8901 (19706247)0.7714 (22737330)0.2151 (81553110)0.929 (18881397)0.8086 (21692297)0.1217 (144114350)
correlation-clustering/Rounded_CorrelationClustering_Protein4_BINARY_N360.wcnf1.0 (19125379)0.466 (41041847)0.9322 (20516852)0.7804 (24508435)0.2122 (90147283)0.9325 (20510343)0.8721 (21930990)0.1212 (157861047)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N700_D0.200.wcnf0.765 (114795771)1.0 (87821188)0.7523 (116744472)0.6516 (134771320)0.6891 (127436227)0.6884 (127570486)0.7905 (111090968)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N720_D0.200.wcnf0.7622 (122620361)1.0 (93460109)0.7628 (122522035)0.6803 (137370835)0.6873 (135983959)0.6891 (135633071)0.8076 (115726278)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N760_D0.200.wcnf0.7612 (134113265)1.0 (102088291)0.7971 (128073524)0.6808 (149955690)0.7194 (141901657)0.718 (142177116)0.7686 (132822920)0.0 (-)
correlation-clustering/Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200.wcnf0.8173 (135194086)1.0 (110499163)0.8318 (132848277)0.6174 (178960862)0.7634 (144749992)0.69 (160154891)0.0 (-)0.0 (-)
min-width/MinWidthCB_milan_200_12_1k_10s_1t_12.wcnf1.0 (93283)0.8608 (108368)0.8193 (113852)0.9522 (97965)0.6928 (134645)0.9069 (102861)0.0 (-)0.9289 (100424)
min-width/MinWidthCB_mitdbsample_300_43_1k_15s_1t_15.wcnf0.9794 (48460)1.0 (47460)0.9357 (50720)0.9392 (50530)0.7511 (63190)0.9403 (50475)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_15s_2t_15.wcnf1.0 (38940)0.8219 (47380)0.6935 (56150)0.7986 (48760)0.6039 (64480)0.7963 (48900)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_43_1k_3s_1t_3.wcnf0.9724 (48825)1.0 (47475)0.9746 (48710)0.9348 (50785)0.8535 (55625)0.9701 (48940)0.0 (-)0.9519 (49875)
min-width/MinWidthCB_mitdbsample_300_43_1k_3s_1t_5.wcnf1.0 (48200)0.9452 (50995)0.8599 (56055)0.9471 (50890)0.8248 (58440)0.978 (49285)0.0 (-)0.98 (49185)
min-width/MinWidthCB_mitdbsample_300_43_1k_3s_2t_3.wcnf0.9978 (46390)0.9869 (46905)1.0 (46290)0.9533 (48560)0.8821 (52475)0.9886 (46825)0.0 (-)0.9527 (48590)
min-width/MinWidthCB_mitdbsample_300_43_1k_3s_2t_5.wcnf1.0 (46330)0.9873 (46925)0.9833 (47115)0.9372 (49435)0.782 (59245)0.9587 (48325)0.0 (-)0.9594 (48290)
min-width/MinWidthCB_mitdbsample_300_43_1k_6s_1t_6.wcnf0.9922 (48440)0.9605 (50035)0.9631 (49900)0.9482 (50685)0.871 (55180)0.9585 (50140)0.0 (-)1.0 (48060)
min-width/MinWidthCB_mitdbsample_300_43_1k_6s_2t_6.wcnf1.0 (44165)0.8995 (49100)0.7489 (58970)0.896 (49290)0.7629 (57890)0.9147 (48285)0.0 (-)0.9488 (46550)
min-width/MinWidthCB_mitdbsample_300_43_1k_6s_2t_8.wcnf1.0 (44105)0.9193 (47975)0.7102 (62105)0.8942 (49325)0.7117 (61975)0.9278 (47535)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_1t_15.wcnf1.0 (74160)0.78 (95080)0.8416 (88115)0.86 (86230)0.7274 (101950)0.8117 (91365)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_1t_17.wcnf1.0 (73995)0.8275 (89420)0.7925 (93370)0.8485 (87210)0.8275 (89420)0.8099 (91365)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_2t_15.wcnf1.0 (73480)0.7742 (94915)0.8054 (91230)0.8773 (83755)0.7749 (94825)0.8042 (91365)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_2t_17.wcnf1.0 (68995)0.7702 (89585)0.7528 (91655)0.8115 (85020)0.7443 (92695)0.7552 (91365)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_15s_3t_17.wcnf1.0 (70680)0.6794 (104030)0.8388 (84265)0.8419 (83950)0.6507 (108625)0.7736 (91365)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_3s_2t_5.wcnf0.9445 (85220)1.0 (80490)0.8842 (91030)0.9739 (82650)0.8116 (99175)0.0 (-)0.0 (-)0.9811 (82040)
min-width/MinWidthCB_mitdbsample_300_64_1k_3s_3t_3.wcnf1.0 (77130)0.9752 (79095)0.9092 (84830)0.9484 (81325)0.7762 (99370)0.9975 (77325)0.0 (-)0.9568 (80610)
min-width/MinWidthCB_mitdbsample_300_64_1k_3s_3t_5.wcnf1.0 (76965)0.9615 (80045)0.9693 (79400)0.9391 (81955)0.7461 (103155)0.9721 (79175)0.0 (-)0.9486 (81135)
min-width/MinWidthCB_mitdbsample_300_64_1k_6s_1t_8.wcnf1.0 (77570)0.9631 (80540)0.8856 (87590)0.906 (85615)0.7512 (103260)0.9388 (82625)0.0 (-)0.0 (-)
min-width/MinWidthCB_mitdbsample_300_64_1k_6s_2t_6.wcnf1.0 (77540)0.9533 (81340)0.8338 (92995)0.9433 (82200)0.8312 (93285)0.9833 (78860)0.0 (-)0.9555 (81155)
min-width/MinWidthCB_mitdbsample_300_64_1k_6s_3t_6.wcnf1.0 (73040)0.9033 (80860)0.7574 (96435)0.9384 (77835)0.7409 (98580)0.9418 (77550)0.0 (-)0.8879 (82260)
min-width/MinWidthCB_mitdbsample_300_64_1k_6s_3t_8.wcnf1.0 (73420)0.9307 (78885)0.7797 (94170)0.8972 (81830)0.7167 (102440)0.8735 (84050)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_10s_1t_12.wcnf1.0 (91239)0.9294 (98167)0.7338 (124345)0.9395 (97118)0.7138 (127826)0.9294 (98174)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_20s_1t_20.wcnf0.5424 (175444)1.0 (95158)0.7393 (128717)0.9673 (98370)0.7007 (135797)0.9888 (96234)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_20s_2t_20.wcnf0.6157 (137401)0.9641 (87755)0.7948 (106440)1.0 (84601)0.7458 (113441)0.9579 (88317)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_20s_2t_22.wcnf0.5839 (148465)1.0 (86688)0.9367 (92542)0.9865 (87877)0.7344 (118038)0.8845 (98011)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_50s_1t_50.wcnf0.7163 (130654)0.8252 (113404)0.6527 (143373)1.0 (93584)0.684 (136817)0.9175 (102003)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_50s_1t_52.wcnf0.6321 (138970)1.0 (87849)0.8094 (108540)0.9358 (93872)0.7091 (123895)0.8733 (100599)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_50s_2t_50.wcnf0.61 (132179)0.7396 (109015)0.7357 (109585)1.0 (80626)0.7106 (113455)0.8119 (99304)0.0 (-)0.0 (-)
min-width/MinWidthCB_power_1000_24_1k_50s_2t_52.wcnf0.5532 (145030)0.6557 (122347)0.7635 (105084)1.0 (80229)0.5738 (139827)0.88 (91165)0.0 (-)0.0 (-)
css-refactoring/youtube.wcnf0.9997 (227542)1.0 (227469)0.9991 (227666)0.9997 (227542)0.9987 (227768)0.9989 (227730)0.9989 (227730)0.9989 (227730)
✝ Hors concours solver