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

BenchmarkOpen-WBO-Inc-BMOLinSBPSmaxrosterOpen-WBO-Inc-ClusterSATLike-cOpen-WBO-GlucSATLikeOpen-WBO-Riss
BTBNSL-Rounded_BTWBNSL_AbaloneTWBound_4.wcnf0.9925 (1566386628)1.0 (1554716345)0.9925 (1566386628)0.8484 (1832514765)0.942 (1650463258)0.942 (1650463258)0.7099 (2189959632)0.8547 (1819017150)
BTBNSL-Rounded_BTWBNSL_Abalone_TWBound_3.wcnf0.9842 (1574559321)0.9981 (1552527259)0.9842 (1574559321)0.8934 (1734584822)0.8326 (1861320135)0.8326 (1861320135)0.8645 (1792555946)0.8246 (1879375165)
BTBNSL-Rounded_BTWBNSL_Flag.BIC_TWBound_3.wcnf1.0 (277221178)0.9882 (280525107)1.0 (277221178)0.9474 (292626937)0.9843 (281640225)0.9321 (297412473)0.9139 (303336233)0.9253 (299615063)
BTBNSL-Rounded_BTWBNSL_Flag.BIC_TWBound_4.wcnf1.0 (277221178)0.9874 (280749712)1.0 (277221178)0.9512 (291437235)0.9203 (301244071)0.9203 (301244071)0.9023 (307230511)0.9144 (303158548)
BTBNSL-Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf1.0 (454710948)0.9985 (455408219)1.0 (454710948)0.969 (469253443)0.9921 (458341435)0.9623 (472542928)0.993 (457914020)0.9615 (472935357)
BTBNSL-Rounded_BTWBNSL_Horse.BIC_TWBound_4.wcnf0.9999 (454710948)0.9944 (457232932)0.9999 (454710948)0.9331 (487247861)0.992 (458344716)0.9466 (480306840)0.992 (458344026)0.9499 (478627532)
BTBNSL-Rounded_BTWBNSL_Housing_TWBound_3.wcnf0.903 (354865041)0.953 (336259999)0.8778 (365056385)0.8911 (359625938)0.6959 (460472615)0.6959 (460472615)0.7433 (431113469)0.6959 (460472615)
BTBNSL-Rounded_BTWBNSL_Housing_TWBound_4.wcnf0.8904 (354042004)0.9622 (327622069)0.8958 (351894742)0.8414 (374638527)0.6762 (466207221)0.6762 (466207221)0.7273 (433434624)0.6762 (466207221)
BTBNSL-Rounded_BTWBNSL_Voting_TWBound_3.wcnf1.0 (464263033)0.9991 (464690104)1.0 (464263033)0.9214 (503847909)0.8364 (555090921)0.8364 (555090921)0.9817 (472897299)0.7915 (586532569)
BTBNSL-Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_4.wcnf0.9984 (1329043665)0.9833 (1349409997)0.9977 (1329918831)0.8795 (1508590277)0.8517 (1557955426)0.8517 (1557955426)0.7984 (1661964841)0.9342 (1420282164)
BTBNSL-Rounded_BTWBNSL_adult15N_TWBound_3.wcnf0.9953 (35399331044)0.9975 (35320722522)0.9954 (35395993961)0.8312 (42389092459)0.7981 (44143019065)0.7981 (44143019065)0.8138 (43292865260)0.7981 (44143019065)
BTBNSL-Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4.wcnf0.9993 (138202406)0.9813 (140746108)0.9567 (144363661)0.8259 (167219204)0.8234 (167734954)0.8234 (167734954)0.7745 (178308882)0.8704 (158672234)
BTBNSL-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3.wcnf0.9962 (53078840899)0.959 (55136360691)0.9803 (53940094732)0.8899 (59419507661)0.8893 (59458460750)0.8893 (59458460750)0.8084 (65411031180)0.874 (60501006671)
BTBNSL-Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4.wcnf0.9348 (53414452459)0.9885 (50515860038)0.8661 (57653688649)0.8532 (58527353386)0.8079 (61808588319)0.8079 (61808588319)0.7843 (63669984585)0.9086 (54959259188)
BTBNSL-Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_4.wcnf1.0 (5276763036)0.9898 (5331016843)0.9837 (5364138557)0.8343 (6324711825)0.8561 (6163463993)0.8561 (6163463993)0.7992 (6602461521)0.8229 (6412095072)
BTBNSL-Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf0.9874 (1430907103)1.0 (1412902605)0.9903 (1426675710)0.8772 (1610772698)0.8434 (1675163488)0.8434 (1675163488)0.7454 (1895482405)0.8823 (1601331661)
abstraction-refinement-downcast-antlr.wcnf0.9996 (76286)0.3369 (226338)0.9979 (76413)0.9929 (76804)0.9995 (76295)0.3369 (226338)0.9994 (76303)0.2107 (361912)
abstraction-refinement-polysite-xalan.wcnf0.9997 (114729)0.9589 (119606)0.9708 (118138)0.8208 (139735)0.0 (-)0.7549 (151934)0.0684 (1677495)0.0291 (3947815)
af-synthesis-af-synthesis_stb_50_100_9.wcnf0.9732 (111)1.0 (108)0.982 (110)0.916 (118)0.7078 (153)0.9478 (114)0.7032 (154)0.9909 (109)
af-synthesis-af-synthesis_stb_50_120_2.wcnf0.973 (110)1.0 (107)0.9908 (108)0.7941 (135)0.5775 (186)0.931 (115)0.5745 (187)0.973 (110)
af-synthesis-af-synthesis_stb_50_120_5.wcnf0.9829 (116)1.0 (114)0.9914 (115)0.9055 (126)0.6534 (175)0.9504 (120)0.6571 (174)0.9504 (120)
af-synthesis-af-synthesis_stb_50_120_7.wcnf1.0 (120)1.0 (120)1.0 (120)0.8897 (135)0.6875 (175)1.0 (120)0.6302 (191)1.0 (120)
af-synthesis-af-synthesis_stb_50_120_9.wcnf0.9583 (119)1.0 (114)0.9914 (115)0.8214 (139)0.6021 (190)0.9664 (118)0.5721 (200)0.9746 (117)
af-synthesis-af-synthesis_stb_50_140_0.wcnf0.9837 (122)1.0 (120)1.0 (120)0.9167 (131)0.6612 (182)0.9918 (121)0.6436 (187)0.968 (124)
af-synthesis-af-synthesis_stb_50_140_1.wcnf0.9771 (130)1.0 (127)1.0 (127)0.9143 (139)0.6737 (189)0.9922 (128)0.6598 (193)0.9846 (129)
af-synthesis-af-synthesis_stb_50_140_5.wcnf0.9752 (120)0.9916 (118)0.9833 (119)0.8676 (135)0.5871 (200)0.9752 (120)0.5566 (211)0.9593 (122)
af-synthesis-af-synthesis_stb_50_140_7.wcnf1.0 (109)1.0 (109)1.0 (109)0.8871 (123)0.6395 (171)0.9565 (114)0.6011 (182)0.9322 (117)
af-synthesis-af-synthesis_stb_50_140_8.wcnf0.9913 (114)1.0 (113)1.0 (113)0.8382 (135)0.6514 (174)0.9913 (114)0.6786 (167)0.9744 (116)
af-synthesis-af-synthesis_stb_50_160_4.wcnf1.0 (123)1.0 (123)0.9841 (125)0.8857 (139)0.6169 (200)0.9612 (128)0.6425 (192)0.9841 (125)
af-synthesis-af-synthesis_stb_50_180_1.wcnf0.9565 (137)1.0 (131)0.9851 (133)0.8684 (151)0.6839 (192)0.9778 (134)0.6502 (202)0.9778 (134)
af-synthesis-af-synthesis_stb_50_180_2.wcnf1.0 (115)1.0 (115)0.9748 (118)0.8992 (128)0.6304 (183)0.9587 (120)0.6409 (180)0.9508 (121)
af-synthesis-af-synthesis_stb_50_200_5.wcnf0.9904 (103)1.0 (102)0.9626 (106)0.9196 (111)0.6603 (155)0.9626 (106)0.6242 (164)0.9904 (103)
af-synthesis-af-synthesis_stb_50_200_6.wcnf0.9825 (113)1.0 (111)1.0 (111)0.9333 (119)0.64 (174)0.9573 (116)0.6788 (164)0.9655 (115)
af-synthesis-af-synthesis_stb_50_20_8.wcnf0.968 (124)1.0 (120)1.0 (120)0.8963 (134)0.7289 (165)0.9603 (125)0.6798 (177)0.968 (124)
af-synthesis-af-synthesis_stb_50_60_2.wcnf1.0 (117)1.0 (117)1.0 (117)0.8551 (137)0.7152 (164)0.9516 (123)0.7024 (167)1.0 (117)
af-synthesis-af-synthesis_stb_50_80_3.wcnf0.9828 (115)1.0 (113)1.0 (113)0.8976 (126)0.7037 (161)1.0 (113)0.6994 (162)0.9421 (120)
af-synthesis-af-synthesis_stb_50_80_7.wcnf0.9587 (120)1.0 (115)0.9915 (116)0.9206 (125)0.6705 (172)0.9748 (118)0.6744 (171)0.9748 (118)
causal-discovery-causal_Autos_8_159.wcnf0.8971 (788745)0.9371 (755140)1.0 (707611)0.4032 (1755151)0.8188 (864241)0.8188 (864241)0.4126 (1715170)0.1319 (5365338)
causal-discovery-causal_Image_7_2310.wcnf0.7751 (556558)1.0 (431410)0.8531 (505694)0.9472 (455446)0.4635 (930684)0.5467 (789130)0.4635 (930684)0.1637 (2634900)
causal-discovery-causal_Letter_7_20000.wcnf0.9275 (549431)1.0 (509580)0.9175 (555377)0.9307 (547532)0.7982 (638403)0.0541 (9426353)0.7982 (638403)0.7982 (638403)
causal-discovery-causal_Link_10_1000.wcnf0.5239 (28875707)0.5299 (28547924)0.7554 (20026795)0.3959 (38212009)0.528 (28652900)0.528 (28652900)0.0 (-)0.0977 (154915005)
causal-discovery-causal_LungCancer_8_27.wcnf0.9008 (157117)0.7712 (183532)1.0 (141532)0.6384 (221688)0.6935 (204098)0.6935 (204098)0.6298 (224732)0.0809 (1748586)
causal-discovery-causal_Pigs_6_1000.wcnf0.7231 (25186079)1.0 (18211446)0.731 (24912095)0.7436 (24491388)0.6688 (27228963)0.6688 (27228963)0.0692 (263042901)0.0692 (263042901)
causal-discovery-causal_Statlog_7_752.wcnf1.0 (380356)0.8607 (441900)1.0 (380356)0.5075 (749421)0.2964 (1283413)0.0934 (4074103)0.2964 (1283413)0.2964 (1283413)
causal-discovery-causal_Water_10_100.wcnf0.4867 (11580271)0.0714 (78933701)0.1255 (44899044)1.0 (5635776)0.0864 (65263137)0.0864 (65263137)0.0 (-)0.0596 (94559456)
causal-discovery-causal_asia_7_1000.wcnf1.0 (170353)0.9846 (173012)1.0 (170353)0.2208 (771503)0.2414 (705793)0.0338 (5047426)0.2414 (705793)0.2414 (705793)
causal-discovery-causal_asia_8_10000.wcnf0.5956 (1571745)0.9987 (937362)0.5956 (1571745)1.0 (936156)0.1659 (5644379)0.0075 (124431372)0.1659 (5644379)0.1659 (5644379)
causal-discovery-causal_carpo_8_100.wcnf1.0 (169596)0.5444 (311544)1.0 (169596)0.5808 (291995)0.5444 (311544)0.5444 (311544)0.5444 (311544)0.0628 (2701245)
causal-discovery-causal_carpo_8_1000.wcnf0.9007 (756631)1.0 (681472)0.9007 (756631)0.9007 (756631)0.7195 (947128)0.7195 (947128)0.3037 (2244087)0.1483 (4594492)
causal-discovery-causal_hailfinder_8_10000.wcnf1.0 (115149390)1.0 (115149390)1.0 (115149390)1.0 (115149390)0.7572 (152065307)0.7572 (152065307)0.0587 (1960171618)0.0587 (1960171618)
causal-discovery-causal_insurance_9_100.wcnf0.748 (5888447)0.1093 (40316123)0.6776 (6499902)0.5032 (8752723)0.1052 (41861472)0.1052 (41861472)0.0821 (53618344)0.0821 (53618344)
cluster-expansion-IS10_5.0.5.0.0.5_softer_periodic.wcnf0.9617 (115223718343385)0.9132 (121350752413144)0.9924 (111665197584749)0.9132 (121350752413144)0.9993 (110891986735800)0.9132 (121350752413144)0.9993 (110891986735800)0.9117 (121541146317125)
cluster-expansion-IS11_5.0.5.0.0.5_softer_periodic.wcnf0.9706 (115403718343385)0.9046 (123830752413144)0.9951 (112558490876361)0.9046 (123830752413144)0.997 (112351054329249)0.9046 (123830752413144)0.997 (112351054329249)0.903 (124041146317125)
cluster-expansion-IS12_5.0.5.0.0.5_softer_periodic.wcnf0.978 (115583718343385)0.895 (126310752413144)0.9958 (113520690838375)0.895 (126310752413144)0.9964 (113454031461395)0.895 (126310752413144)0.9964 (113454031461395)0.8934 (126541146317125)
cluster-expansion-IS13_5.0.5.0.0.5_softer_periodic.wcnf0.9993 (119490993578269)0.9993 (119490993578269)1.0 (119401387482250)0.9993 (119490993578269)0.9878 (120881538556085)0.9993 (119490993578269)0.9878 (120881538556085)1.0 (119401387482250)
cluster-expansion-IS14_5.0.5.0.0.5_softer_periodic.wcnf0.9848 (115763718343385)0.8852 (128790752413144)0.997 (114337751387331)0.8852 (128790752413144)0.9973 (114311103082397)0.8852 (128790752413144)0.9973 (114311103082397)0.8834 (129041146317125)
cluster-expansion-IS15_5.0.5.0.0.5_softer_periodic.wcnf0.989 (115943718343385)0.8735 (131270752413144)0.997 (115012547858062)0.8735 (131270752413144)0.9971 (115006002415773)0.8735 (131270752413144)0.9971 (115006002415773)0.8718 (131541146317125)
cluster-expansion-IS16_5.0.5.0.0.5_softer_periodic.wcnf0.9945 (116123718343385)0.8634 (133750752413144)0.9996 (115531896981612)0.8634 (133750752413144)0.9992 (115575931014418)0.8634 (133750752413144)0.9992 (115575931014418)0.8616 (134041146317125)
cluster-expansion-IS17_5.0.5.0.0.5_softer_periodic.wcnf0.9968 (116303718343385)0.851 (136230752413144)0.9997 (115963934195472)0.851 (136230752413144)0.9995 (115988499449542)0.851 (136230752413144)0.9995 (115988499449542)0.849 (136541146317125)
cluster-expansion-IS19_5.0.5.0.0.5_softer_periodic.wcnf0.9994 (119470993578269)0.9994 (119470993578269)1.0 (119401387482250)0.9994 (119470993578269)0.9896 (120652268206567)0.9994 (119470993578269)0.9896 (120652268206567)1.0 (119401387482250)
cluster-expansion-IS1_5.0.5.0.0.5_softer_periodic.wcnf0.9905 (119390993578269)0.9905 (119390993578269)0.992 (119210720724359)0.9905 (119390993578269)0.9969 (118629902648517)0.9905 (119390993578269)0.9969 (118629902648517)0.9905 (119401387482250)
cluster-expansion-IS20_5.0.5.0.0.5_softer_periodic.wcnf0.9996 (119450993578269)0.9996 (119450993578269)1.0 (119401387482250)0.9996 (119450993578269)0.9935 (120178692850214)0.9996 (119450993578269)0.9935 (120178692850214)1.0 (119401387482250)
cluster-expansion-IS23_5.0.5.0.0.5_softer_periodic.wcnf0.994 (119410993578269)0.994 (119410993578269)0.9941 (119401387482250)0.994 (119410993578269)0.9948 (119308605298827)0.994 (119410993578269)0.9948 (119308605298827)0.9941 (119401387482250)
cluster-expansion-IS2_5.0.5.0.0.5_softer_periodic.wcnf0.9852 (119370993578269)0.9852 (119370993578269)0.9941 (118307767687624)0.9852 (119370993578269)0.9981 (117830342596360)0.9852 (119370993578269)0.9981 (117830342596360)0.985 (119401387482250)
cluster-expansion-IS3_5.0.5.0.0.5_softer_periodic.wcnf0.9788 (119350993578269)0.9788 (119350993578269)0.9945 (117469077777584)0.9788 (119350993578269)0.9979 (117071538804889)0.9788 (119350993578269)0.9979 (117071538804889)0.9784 (119401387482250)
cluster-expansion-IS4_5.0.5.0.0.5_softer_periodic.wcnf0.9716 (119330993578269)0.9716 (119330993578269)0.9946 (116571658058288)0.9716 (119330993578269)0.9983 (116143213906918)0.9716 (119330993578269)0.9983 (116143213906918)0.971 (119401387482250)
cluster-expansion-IS5_5.0.5.0.0.5_softer_periodic.wcnf0.9626 (119310993578269)0.9626 (119310993578269)0.994 (115534545128417)0.9626 (119310993578269)0.9968 (115210723561371)0.9626 (119310993578269)0.9968 (115210723561371)0.9618 (119401387482250)
cluster-expansion-IS6_5.0.5.0.0.5_softer_periodic.wcnf0.954 (119290993578269)0.954 (119290993578269)0.9935 (114541137027569)0.954 (119290993578269)0.9985 (113965085858373)0.954 (119290993578269)0.9985 (113965085858373)0.9531 (119401387482250)
cluster-expansion-IS7_5.0.5.0.0.5_softer_periodic.wcnf0.945 (119270993578269)0.945 (119270993578269)0.9942 (113373203916212)0.945 (119270993578269)0.9995 (112770207415884)0.945 (119270993578269)0.9995 (112770207415884)0.944 (119401387482250)
cluster-expansion-IS8_5.0.5.0.0.5_softer_periodic.wcnf0.9475 (117723959508510)0.9354 (119250993578269)0.9988 (111678911790985)0.9354 (119250993578269)0.9995 (111598053047981)0.9354 (119250993578269)0.9995 (111598053047981)0.9342 (119401387482250)
cluster-expansion-IS9_5.0.5.0.0.5_softer_periodic.wcnf0.9538 (115403959508510)0.9231 (119230993578269)0.9927 (110879184689970)0.9231 (119230993578269)0.9996 (110109038825949)0.9231 (119230993578269)0.9996 (110109038825949)0.9218 (119401387482250)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf0.979 (18625240)0.8767 (20798273)0.9562 (19069414)0.7871 (23164130)0.9774 (18654754)0.486 (37519447)0.981 (18587082)0.4695 (38834001)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N260_D0.200.wcnf0.9876 (26206866)0.7333 (35296352)0.9533 (27151932)0.8016 (32290948)0.9882 (26193247)0.4827 (53619311)0.9818 (26361816)0.5048 (51275886)
correlation-clustering-Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf0.9876 (29160839)0.0 (-)0.9412 (30599121)0.7224 (39869108)0.9943 (28964500)0.6747 (42686107)0.9777 (29457236)0.4494 (64082416)
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200.wcnf0.7276 (8685514)0.2597 (24333774)0.4925 (12830325)0.6936 (9110861)0.9383 (6735146)0.2597 (24333774)0.9382 (6735542)0.2483 (25449627)
correlation-clustering-Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf0.365 (22420472)0.4313 (18974949)0.2901 (28213927)0.354 (23119943)0.9377 (8728123)0.3521 (23242365)0.9326 (8775869)0.3898 (20998130)
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N320.wcnf0.9663 (29396228)0.1612 (176262069)0.9169 (30979767)0.8453 (33603885)0.9792 (29008254)0.1249 (227496462)0.9736 (29176172)0.1849 (153652624)
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N340.wcnf0.7432 (43058597)0.1717 (186341995)0.9635 (33214107)0.7918 (40414799)0.9944 (32182188)0.1633 (195958884)0.9878 (32398720)0.1471 (217623681)
correlation-clustering-Rounded_CorrelationClustering_Protein2_BINARY_N360.wcnf0.77 (46720512)0.2384 (150900490)0.9887 (36387141)0.7681 (46837617)0.994 (36192805)0.1702 (211390190)1.0 (35974764)0.1791 (200838381)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N300.wcnf0.7813 (15833718)0.9584 (12906971)0.8237 (15017800)0.7499 (16494807)0.8556 (14457657)0.1556 (79516489)0.8669 (14269646)0.1975 (62638211)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N360.wcnf0.8112 (21337155)0.6338 (27306848)0.905 (19125379)0.778 (22246298)0.9639 (17955781)0.192 (90147283)0.9349 (18514018)0.2997 (57758771)
correlation-clustering-Rounded_CorrelationClustering_Protein4_BINARY_N380.wcnf0.7989 (23037880)0.1644 (111925947)0.8961 (20538481)0.7792 (23619754)0.9689 (18995629)0.1821 (101073690)0.9772 (18834540)0.2217 (82999786)
correlation-clustering-Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200.wcnf0.7085 (141290882)0.6916 (144749992)0.7405 (135194086)0.6822 (146736884)0.6916 (144749992)0.6916 (144749992)0.7264 (137809692)0.6828 (146607848)
hs-timetabling-BrazilInstance1.xml.wcnf0.6349 (62)0.9302 (42)0.5128 (77)0.8696 (45)0.2721 (146)0.9302 (42)0.2878 (138)0.9756 (40)
hs-timetabling-BrazilInstance2.xml.wcnf0.0968 (61)1.0 (5)0.0652 (91)0.0612 (97)0.0206 (290)0.0759 (78)0.0217 (275)0.0645 (92)
hs-timetabling-BrazilInstance4.xml.wcnf0.2863 (247)0.6827 (103)0.2233 (317)0.2752 (257)0.2572 (275)0.2863 (247)0.0 (-)0.291 (243)
hs-timetabling-BrazilInstance5.xml.wcnf0.1852 (107)0.7407 (26)0.1325 (150)0.0606 (329)0.05 (399)0.0613 (325)0.0 (-)0.0585 (341)
hs-timetabling-BrazilInstance6.xml.wcnf0.2684 (189)0.4513 (112)0.244 (208)0.136 (374)0.1014 (502)0.1209 (421)0.0671 (759)0.1099 (463)
hs-timetabling-BrazilInstance7.xml.wcnf0.3239 (456)0.5 (295)0.5585 (264)0.1881 (786)0.1796 (823)0.2105 (702)0.0 (-)0.1803 (820)
hs-timetabling-FinlandArtificialSchool.xml.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
hs-timetabling-FinlandCollege.xml.wcnf0.0 (-)0.2603 (1436)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.2691 (1389)
hs-timetabling-FinlandHighSchool.xml.wcnf0.0585 (649)0.2621 (144)0.0629 (603)0.0564 (673)0.0843 (450)0.0843 (450)0.0 (-)0.0824 (460)
hs-timetabling-FinlandSecondarySchool.xml.wcnf0.1376 (646)0.6593 (134)0.1344 (661)0.1324 (671)0.154 (577)0.154 (577)0.0 (-)0.1246 (713)
hs-timetabling-ItalyInstance1.xml.wcnf0.4063 (31)1.0 (12)0.2031 (63)0.0963 (134)0.0496 (261)0.0546 (237)0.0546 (237)0.1444 (89)
hs-timetabling-ItalyInstance4.xml.wcnf0.0684 (6940)0.0212 (22445)0.3985 (1191)0.0225 (21115)0.0573 (8294)0.0212 (22445)0.0495 (9597)0.0302 (15703)
hs-timetabling-SouthAfricaLewitt2009.xml.wcnf0.0213 (46)0.1429 (6)0.0116 (85)0.0093 (107)0.004 (246)0.0204 (48)0.0 (-)0.01 (99)
lisbon-wedding-lisbon-wedding-1-17.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding-lisbon-wedding-1-19.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding-lisbon-wedding-10-18.wcnf1.0 (378)1.0 (378)0.9921 (381)1.0 (378)0.5867 (645)1.0 (378)0.5699 (664)1.0 (378)
lisbon-wedding-lisbon-wedding-10-19.wcnf1.0 (380)1.0 (380)0.9338 (407)1.0 (380)0.6019 (632)1.0 (380)0.6755 (563)1.0 (380)
lisbon-wedding-lisbon-wedding-2-17.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding-lisbon-wedding-3-18.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding-lisbon-wedding-3-19.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
lisbon-wedding-lisbon-wedding-7-17.wcnf0.97 (433)1.0 (420)0.9814 (428)0.9745 (431)0.9397 (447)0.9906 (424)0.0 (-)0.9836 (427)
lisbon-wedding-lisbon-wedding-8-17.wcnf0.9925 (398)1.0 (395)0.973 (406)1.0 (395)0.6984 (566)0.995 (397)0.5937 (666)0.9925 (398)
lisbon-wedding-lisbon-wedding-8-19.wcnf1.0 (399)1.0 (399)0.9615 (415)1.0 (399)0.8969 (445)1.0 (399)0.6873 (581)1.0 (399)
lisbon-wedding-lisbon-wedding-9-17.wcnf0.995 (396)1.0 (394)0.9495 (415)0.9729 (405)0.7117 (554)0.995 (396)0.6003 (657)0.9975 (395)
lisbon-wedding-lisbon-wedding-9-19.wcnf0.9975 (399)1.0 (398)0.9779 (407)0.9708 (410)0.6215 (641)1.0 (398)0.7241 (550)0.9975 (399)
maxcut-MANN_a81.clq.wcnf0.9713 (2054)0.9828 (2030)1.0 (1995)0.9406 (2121)1.0 (1995)0.9185 (2172)0.9995 (1996)0.9098 (2193)
maxcut-hamming10-2.clq.wcnf0.9138 (2111)0.9526 (2025)1.0 (1929)0.9019 (2139)1.0 (1929)0.8906 (2166)1.0 (1929)0.8082 (2387)
maxcut-hamming6-2.clq.wcnf0.9519 (4613)0.8612 (5099)1.0 (4391)0.924 (4752)0.9959 (4409)0.916 (4794)1.0 (4391)0.4953 (8867)
maxcut-hamming8-2.clq.wcnf0.963 (2298)0.9809 (2256)1.0 (2213)0.9365 (2363)1.0 (2213)0.9306 (2378)1.0 (2213)0.6947 (3186)
maxcut-p_hat300-3.clq.wcnf0.9326 (1543)0.9587 (1501)1.0 (1439)0.9011 (1597)1.0 (1439)0.9079 (1585)1.0 (1439)0.8145 (1767)
maxcut-p_hat500-3.clq.wcnf0.9187 (1634)0.9482 (1583)1.0 (1501)0.8909 (1685)1.0 (1501)0.8825 (1701)1.0 (1501)0.5819 (2580)
maxcut-p_hat700-3.clq.wcnf0.8748 (1637)0.9917 (1444)1.0 (1432)0.9035 (1585)1.0 (1432)0.8868 (1615)1.0 (1432)0.7304 (1961)
maxcut-san200_0.9_3.clq.wcnf0.9361 (1784)0.9783 (1707)1.0 (1670)0.9252 (1805)1.0 (1670)0.8931 (1870)1.0 (1670)0.8587 (1945)
maxcut-sanr200_0.7.clq.wcnf0.8567 (1367)0.9614 (1218)1.0 (1171)0.9135 (1282)1.0 (1171)0.8637 (1356)1.0 (1171)0.7586 (1544)
maxcut-sanr200_0.9.clq.wcnf0.9488 (1697)0.9859 (1633)1.0 (1610)0.928 (1735)1.0 (1610)0.9206 (1749)0.9988 (1612)0.898 (1793)
maxcut-t7g3-9999.spn.wcnf0.7539 (15857006)0.7453 (16039413)1.0 (11954769)0.7186 (16636534)0.9454 (12644722)0.4826 (24771159)0.9388 (12734102)0.3017 (39628803)
min-width-MinWidthCB_milan_200_12_1k_10s_1t_12.wcnf0.9554 (97635)0.987 (94514)1.0 (93283)0.8561 (108961)0.9496 (98235)0.6928 (134645)0.8898 (104841)0.5719 (163102)
min-width-MinWidthCB_mitdbsample_300_43_1k_15s_1t_15.wcnf0.9988 (38395)0.8964 (42780)0.7914 (48460)0.7744 (49525)0.9252 (41450)0.6069 (63190)0.9299 (41240)0.6307 (60810)
min-width-MinWidthCB_mitdbsample_300_43_1k_3s_1t_5.wcnf0.9791 (48435)0.9692 (48930)0.9839 (48200)0.9373 (50600)0.9968 (47575)0.8115 (58440)1.0 (47425)0.8041 (58980)
min-width-MinWidthCB_mitdbsample_300_43_1k_6s_2t_6.wcnf0.9882 (44565)0.9958 (44225)0.9972 (44165)0.8723 (50490)0.9733 (45250)0.7608 (57890)0.9795 (44960)0.6702 (65710)
min-width-MinWidthCB_mitdbsample_300_43_1k_6s_2t_8.wcnf0.9685 (45225)1.0 (43800)0.9931 (44105)0.9015 (48585)0.9749 (44930)0.7067 (61975)0.9824 (44585)0.7051 (62115)
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_1t_15.wcnf0.9187 (70875)0.9517 (68415)0.878 (74160)0.786 (82840)0.9641 (67535)0.6386 (101950)1.0 (65110)0.7412 (87845)
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_2t_15.wcnf1.0 (59455)0.8125 (73175)0.8091 (73480)0.7407 (80265)0.8949 (66440)0.627 (94825)0.9066 (65580)0.6789 (87580)
min-width-MinWidthCB_mitdbsample_300_64_1k_15s_2t_17.wcnf1.0 (59400)0.8181 (72610)0.8609 (68995)0.7332 (81020)0.9023 (65835)0.6408 (92695)0.8962 (66280)0.6351 (93525)
min-width-MinWidthCB_mitdbsample_300_64_1k_3s_3t_3.wcnf0.9894 (77955)0.9736 (79220)1.0 (77130)0.914 (84385)0.9913 (77810)0.7762 (99370)0.9906 (77860)0.8633 (89345)
min-width-MinWidthCB_mitdbsample_300_64_1k_3s_3t_5.wcnf0.988 (77030)1.0 (76105)0.9888 (76965)0.9339 (81495)0.9877 (77050)0.7378 (103155)0.9866 (77140)0.7643 (99580)
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_1t_8.wcnf0.9897 (76355)0.9767 (77365)0.9742 (77570)0.9025 (83725)0.9931 (76090)0.7318 (103260)0.9942 (76005)0.728 (103800)
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_2t_6.wcnf0.983 (75340)0.9636 (76855)0.9551 (77540)0.9057 (81775)1.0 (74060)0.7939 (93285)0.9946 (74460)0.6292 (117700)
min-width-MinWidthCB_mitdbsample_300_64_1k_6s_3t_6.wcnf0.9784 (74150)0.9737 (74505)0.9932 (73040)0.8869 (81800)0.9815 (73910)0.0 (-)0.9974 (72735)0.7017 (103390)
min-width-MinWidthCB_power_1000_24_1k_10s_1t_12.wcnf0.9746 (91239)0.9616 (92477)0.9746 (91239)0.9033 (98444)0.9146 (97228)0.6957 (127826)0.9313 (95480)0.6401 (138925)
min-width-MinWidthCB_power_1000_24_1k_20s_2t_22.wcnf0.9934 (80571)0.9863 (81154)0.5391 (148465)0.9266 (86385)0.925 (86530)0.6781 (118038)0.9156 (87421)0.7226 (110772)
min-width-MinWidthCB_power_1000_24_1k_50s_1t_52.wcnf0.6773 (120933)0.99 (82738)0.5894 (138970)0.8807 (93005)0.9219 (88855)0.6612 (123895)0.9191 (89126)0.6254 (130985)
miplib-normalized-mps-v2-20-10-l152lav.opb.msat.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
miplib-normalized-mps-v2-20-10-mod008.opb.msat.wcnf0.8851 (347)0.0324 (9514)0.6403 (480)0.828 (371)0.0268 (11496)0.0391 (7870)0.0 (-)0.0261 (11804)
miplib-normalized-mps-v2-20-10-mod010.opb.msat.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
miplib-normalized-mps-v2-20-10-p0548.opb.msat.wcnf1.0 (22594)0.4918 (45940)0.8802 (25669)0.6416 (35216)0.4918 (45940)0.4918 (45940)0.0 (-)0.4498 (50230)
miplib-normalized-mps-v2-20-10-sentoy.opb.msat.wcnf0.9642 (1785)0.9545 (1803)0.9642 (1785)0.5578 (3086)0.2809 (6129)0.3622 (4753)0.0 (-)0.529 (3254)
power-distribution-sparse-power-distribution_10_8.wcnf0.9104 (66)1.0 (60)1.0 (60)1.0 (60)0.8243 (73)1.0 (60)0.8356 (72)1.0 (60)
power-distribution-sparse-power-distribution_12_8.wcnf0.9864 (219)1.0 (216)0.3924 (552)1.0 (216)0.9004 (240)1.0 (216)0.8821 (245)1.0 (216)
railway-transport-bf2030fvslack.wcnf0.6725 (365387)0.7307 (336300)0.6148 (399695)0.6395 (384243)0.7307 (336300)0.7307 (336300)0.0 (-)0.6562 (374492)
railway-transport-f2030.wcnf0.9566 (4494)0.8322 (5166)0.6701 (6416)0.7991 (5380)0.282 (15247)0.7651 (5619)0.0 (-)0.7323 (5871)
railway-transport-r11.wcnf0.9049 (101466508)0.7392 (124221186)0.5691 (161355559)0.901 (101915402)0.0 (-)0.7707 (119134021)1.0 (91820897)0.761 (120663951)
railway-transport-wg2.wcnf0.48 (199)0.9412 (101)0.4192 (228)0.4103 (233)0.4528 (211)0.4571 (209)0.466 (205)0.5393 (177)
relational-inference-pa-2.wcnf0.1238 (2237)0.009 (30829)0.0 (-)0.1238 (2237)0.004 (69544)0.0589 (4699)0.0003 (1020512)1.0 (276)
relational-inference-pa-3.wcnf0.1818 (2282)0.0096 (43288)0.0 (-)0.1818 (2282)0.029 (14334)0.0226 (18371)0.026 (15977)0.0 (-)
robot-nagivation-robot-navigation_10.wcnf0.9375 (15)1.0 (14)0.0 (-)1.0 (14)0.0 (-)1.0 (14)0.0 (-)0.375 (39)
robot-nagivation-robot-navigation_8.wcnf0.9643 (27)1.0 (26)0.0 (-)1.0 (26)0.0 (-)1.0 (26)0.0 (-)1.0 (26)
robot-nagivation-robot-navigation_9.wcnf0.5556 (26)1.0 (14)0.375 (39)0.5556 (26)0.0 (-)1.0 (14)0.0 (-)0.5556 (26)
spot5-1401.wcsp.log.wcnf0.9503 (483115)0.9914 (463111)0.9829 (467103)0.9236 (497106)0.8844 (519106)0.9292 (494105)0.8878 (517106)0.8081 (568138)
spot5-1403.wcsp.log.wcnf0.9663 (475282)0.9957 (461265)0.9829 (467238)0.8948 (513256)0.8862 (518265)0.9199 (499266)0.8777 (523266)0.7688 (597377)
spot5-1405.wcsp.log.wcnf0.9484 (484455)1.0 (459446)0.9705 (473424)0.8811 (521461)0.8645 (531449)0.8862 (518450)0.8845 (519457)0.7228 (635626)
staff-scheduling-instance11.wcnf0.7555 (4977)0.2524 (14897)0.1686 (22300)0.3063 (12277)0.9696 (3878)0.2524 (14897)0.9892 (3801)0.4083 (9211)
staff-scheduling-instance12.wcnf0.4094 (17388)0.3501 (20331)0.2395 (29720)0.2977 (23915)0.9482 (7507)0.3501 (20331)0.9383 (7586)0.3854 (18472)
staff-scheduling-instance2.wcnf0.9976 (830)0.8982 (922)0.9562 (866)0.9776 (847)0.9834 (842)0.9846 (841)0.9787 (846)0.9846 (841)
staff-scheduling-instance3.wcnf0.9444 (1061)1.0 (1002)0.9348 (1072)0.8791 (1140)0.97 (1033)0.9824 (1020)0.9728 (1030)0.8845 (1133)
staff-scheduling-instance4.wcnf0.9129 (1882)1.0 (1718)0.9609 (1788)0.9378 (1832)0.9817 (1750)0.9358 (1836)0.9812 (1751)0.9409 (1826)
staff-scheduling-instance5.wcnf0.8682 (1425)0.8633 (1433)0.3782 (3272)0.7801 (1586)0.9582 (1291)0.7312 (1692)0.9494 (1303)0.6979 (1773)
staff-scheduling-instance6.wcnf0.8758 (2454)0.9539 (2253)0.3024 (7109)0.692 (3106)0.8936 (2405)0.6918 (3107)0.8966 (2397)0.6915 (3108)
staff-scheduling-instance7.wcnf0.7197 (1622)0.8495 (1374)0.1194 (9781)0.5132 (2275)0.9949 (1173)0.5662 (2062)0.9661 (1208)0.4562 (2559)
staff-scheduling-instance8.wcnf0.5775 (3497)0.8275 (2440)0.1468 (13759)0.4238 (4765)0.5331 (3788)0.4168 (4846)0.5362 (3766)0.4135 (4884)
staff-scheduling-instance9.wcnf0.1037 (5323)0.4374 (1261)0.0465 (11869)0.0619 (8919)0.2271 (2430)0.0814 (6781)0.2601 (2121)0.0633 (8713)
tcp-tcp_students_105_it_3.wcnf1.0 (2922)1.0 (2922)0.976 (2994)0.9644 (3030)0.9411 (3105)0.9878 (2958)0.9521 (3069)0.976 (2994)
tcp-tcp_students_105_it_6.wcnf0.9871 (3033)1.0 (2994)1.0 (2994)0.9881 (3030)0.931 (3216)1.0 (2994)0.9415 (3180)0.9756 (3069)
tcp-tcp_students_112_it_5.wcnf0.9894 (3402)1.0 (3366)1.0 (3366)0.9689 (3474)0.9381 (3588)1.0 (3366)0.9673 (3480)1.0 (3366)
tcp-tcp_students_91_it_13.wcnf1.0 (2730)1.0 (2730)0.87 (3138)0.9743 (2802)0.9489 (2877)1.0 (2730)0.9609 (2841)1.0 (2730)
tcp-tcp_students_98_it_11.wcnf0.9989 (2697)1.0 (2694)0.9989 (2697)0.9729 (2769)0.9604 (2805)0.9857 (2733)0.9594 (2808)0.9857 (2733)
tcp-tcp_students_98_it_14.wcnf1.0 (3063)0.999 (3066)0.9865 (3105)0.977 (3135)0.9632 (3180)0.999 (3066)0.9874 (3102)0.999 (3066)
tcp-tcp_students_98_it_15.wcnf0.9877 (3180)1.0 (3141)1.0 (3141)0.9776 (3213)0.9767 (3216)1.0 (3141)0.9659 (3252)1.0 (3141)
timetabling-comp16.lp.sm-extracted.wcnf0.0185 (2428)0.0443 (1014)0.0108 (4162)0.0143 (3147)0.1136 (395)0.0193 (2334)0.1304 (344)0.0 (-)