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

BenchmarkSATLike-cLinSBPSSATLikeOpen-WBO-Inc-OBVOpen-WBO-Inc-MCSOpen-WBO-GlucOpen-WBO-Rissmaxroster
aes-key-recovery-AES1-76-36.wcnf0.5345 (57)0.7381 (41)0.4079 (75)0.7045 (43)0.6596 (46)0.7949 (38)0.6078 (50)0.6078 (50)
aes-mul_8_11.wcnf0.942 (68)0.3333 (194)0.942 (68)0.3939 (164)0.3333 (194)0.3333 (194)0.0705 (921)1.0 (64)
aes-mul_8_13.wcnf1.0 (60)0.3742 (162)1.0 (60)0.3789 (160)0.3742 (162)0.3742 (162)0.0836 (729)0.9683 (62)
aes-mul_8_14.wcnf0.9661 (58)0.5135 (110)0.9661 (58)0.5229 (108)0.5135 (110)0.5135 (110)0.0754 (755)0.9661 (58)
aes-mul_8_9.wcnf1.0 (42)0.5119 (83)1.0 (42)0.5309 (80)0.5119 (83)0.5119 (83)0.0715 (600)1.0 (42)
aes-sbox_8.wcnf0.0 (-)0.7931 (845)0.0 (-)0.7931 (845)0.7931 (845)0.7931 (845)0.0 (-)1.0 (670)
atcoss-mesat-atcoss_mesat_02.wcnf0.0 (-)0.8361 (60)0.0 (-)0.8361 (60)0.6892 (73)0.7183 (70)0.6 (84)0.9444 (53)
atcoss-mesat-atcoss_mesat_03.wcnf0.0 (-)0.7183 (70)0.0 (-)0.5795 (87)0.6711 (75)0.6296 (80)0.4766 (106)0.0 (-)
atcoss-mesat-atcoss_mesat_04.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss-mesat-atcoss_mesat_05.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.1884 (68)
atcoss-mesat-atcoss_mesat_10.wcnf0.0 (-)0.3415 (40)0.0 (-)0.1972 (70)0.1687 (82)0.2029 (68)0.1556 (89)0.359 (38)
atcoss-mesat-atcoss_mesat_15.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss-mesat-atcoss_mesat_18.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.1429 (90)
bcp-msp-normalized-f1000.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp-normalized-f2000.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp-normalized-f600.wcnf0.0 (-)0.0 (-)0.9235 (600)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp-normalized-g125.17.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp-normalized-g125.18.wcnf0.9991 (2231)0.0 (-)0.9996 (2230)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp-normalized-g250.15.wcnf1.0 (3750)0.0 (-)1.0 (3750)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp-normalized-g250.29.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp-normalized-ii16a1.wcnf0.9495 (1187)0.9503 (1186)0.9186 (1227)0.9384 (1201)0.9527 (1183)0.8952 (1259)0.8903 (1266)0.7642 (1475)
bcp-msp-normalized-ii16a2.wcnf0.8996 (1294)1.0 (1164)0.7277 (1600)1.0 (1164)0.9957 (1169)1.0 (1164)0.9906 (1175)0.8292 (1404)
bcp-msp-normalized-ii16c1.wcnf0.9791 (1245)0.9118 (1337)0.9951 (1225)0.9509 (1282)0.9139 (1334)0.8689 (1403)0.9385 (1299)0.8598 (1418)
bcp-msp-normalized-ii16d1.wcnf1.0 (890)0.9214 (966)0.9186 (969)0.9643 (923)0.9224 (965)0.9867 (902)0.9459 (941)0.7795 (1142)
bcp-msp-normalized-par32-1-c.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp-normalized-par32-1.wcnf0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-syn-normalized-ex1010.pi.wcnf0.9959 (243)0.5731 (423)0.9918 (244)0.5731 (423)0.5731 (423)0.5731 (423)0.4774 (508)0.9033 (268)
bcp-syn-normalized-test4.pi.wcnf1.0 (94)0.5278 (179)1.0 (94)0.5758 (164)0.5278 (179)0.5278 (179)0.5163 (183)0.8796 (107)
close-solutions-SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf0.621 (1656)0.621 (1656)0.0 (-)1.0 (1028)1.0 (1028)0.621 (1656)0.0874 (11770)0.0 (-)
des-cnf.18.p.10.wcnf0.0 (-)0.88 (24)0.0 (-)0.7857 (27)0.7857 (27)0.7333 (29)0.7333 (29)0.6875 (31)
des-cnf.20.p.9.wcnf0.0 (-)0.8889 (26)0.0 (-)0.8889 (26)0.8276 (28)0.75 (31)0.6857 (34)0.8276 (28)
extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_1_8_3.wcnf0.875 (7)0.6364 (10)0.875 (7)0.5833 (11)0.5 (13)0.5 (13)0.5833 (11)0.2258 (30)
extension-enforcement-extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf1.0 (8)0.6429 (13)1.0 (8)0.6429 (13)0.75 (11)0.5625 (15)0.5625 (15)0.6 (14)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf0.6471 (16)0.3667 (29)0.8462 (12)0.5789 (18)0.5 (21)0.2895 (37)0.3438 (31)0.44 (24)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_2.wcnf0.8 (14)0.6667 (17)1.0 (11)0.5714 (20)0.5714 (20)0.48 (24)0.4138 (28)0.4444 (26)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf0.9167 (11)0.6111 (17)0.8462 (12)0.5789 (18)0.5 (21)0.4583 (23)0.4583 (23)0.3056 (35)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf0.9 (9)0.75 (11)0.9 (9)0.8182 (10)0.6429 (13)0.5 (17)0.5 (17)0.5294 (16)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_0.wcnf0.8 (9)0.3636 (21)1.0 (7)0.5 (15)0.5 (15)0.2857 (27)0.2759 (28)0.4706 (16)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_1.wcnf0.6667 (11)0.6154 (12)0.8 (9)0.6667 (11)0.6154 (12)0.4 (19)0.4 (19)0.1633 (48)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf0.7273 (10)0.5333 (14)0.7273 (10)0.5714 (13)0.4 (19)0.5333 (14)0.4211 (18)0.1702 (46)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_3.wcnf0.6923 (12)1.0 (8)0.6923 (12)0.6 (14)0.5294 (16)0.5294 (16)0.5294 (16)0.5 (17)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf0.9 (9)0.5625 (15)0.9 (9)0.6429 (13)0.4286 (20)0.45 (19)0.45 (19)0.2813 (31)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf0.9 (9)1.0 (8)1.0 (8)0.8182 (10)0.6 (14)0.75 (11)0.75 (11)0.9 (9)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_4_10_4.wcnf0.9091 (10)0.6667 (14)0.9091 (10)0.625 (15)0.5 (19)0.4545 (21)0.4348 (22)0.8333 (11)
fault-diagnosis-s38584_nan_explicit_14_0.wcnf0.9398 (215)1.0 (202)0.6976 (290)0.9951 (203)0.9807 (206)0.9486 (213)0.9902 (204)0.7276 (278)
fault-diagnosis-s38584_nan_explicit_5_0.wcnf0.9171 (192)0.9888 (178)0.6041 (292)0.9672 (182)0.9779 (180)0.885 (199)0.9672 (182)0.9124 (193)
fault-diagnosis-s38584_nan_explicit_8_0.wcnf0.9519 (207)0.9754 (202)0.6735 (293)0.9659 (204)0.9565 (206)0.9851 (200)0.9565 (206)0.8462 (233)
gen-hyper-tw-GenHyperTW_2bitcomp_5.wcnf0.6842 (18)0.2203 (58)0.8125 (15)0.2031 (63)0.2031 (63)0.2063 (62)0.0 (-)0.0 (-)
gen-hyper-tw-GenHyperTW_aim-50-1_6-yes1-3.wcnf1.0 (11)0.9231 (12)0.9231 (12)0.6667 (17)0.6667 (17)0.7059 (16)0.7059 (16)0.8 (14)
gen-hyper-tw-GenHyperTW_aim-50-2_0-no-3.wcnf1.0 (13)0.7778 (17)1.0 (13)0.7 (19)0.7 (19)0.7 (19)0.7 (19)0.8235 (16)
gen-hyper-tw-GenHyperTW_aim-50-2_0-yes1-3.wcnf0.9286 (13)0.8125 (15)0.9286 (13)0.65 (19)0.65 (19)0.6842 (18)0.65 (19)0.7222 (17)
gen-hyper-tw-GenHyperTW_dubois21.wcnf0.625 (7)0.625 (7)0.625 (7)0.4167 (11)0.5 (9)0.4545 (10)0.4167 (11)0.0 (-)
gen-hyper-tw-GenHyperTW_dubois23.wcnf0.5 (5)0.375 (7)0.6 (4)0.2308 (12)0.1579 (18)0.2308 (12)0.2143 (13)0.0 (-)
gen-hyper-tw-GenHyperTW_dubois24.wcnf0.8333 (5)0.625 (7)1.0 (4)0.2632 (18)0.25 (19)0.2778 (17)0.3125 (15)0.0 (-)
gen-hyper-tw-GenHyperTW_dubois25.wcnf0.6667 (5)0.5 (7)0.6667 (5)0.3077 (12)0.2 (19)0.2667 (14)0.2 (19)0.0 (-)
gen-hyper-tw-GenHyperTW_dubois27.wcnf1.0 (5)0.6667 (8)1.0 (5)0.2609 (22)0.2609 (22)0.24 (24)0.2727 (21)0.0 (-)
gen-hyper-tw-GenHyperTW_dubois29.wcnf0.8333 (5)0.625 (7)0.625 (7)0.2 (24)0.2273 (21)0.2174 (22)0.1923 (25)0.0 (-)
gen-hyper-tw-GenHyperTW_dubois30.wcnf1.0 (5)0.5 (11)1.0 (5)0.2308 (25)0.2609 (22)0.2069 (28)0.2609 (22)0.0 (-)
gen-hyper-tw-GenHyperTW_flat30-1.wcnf0.0 (-)0.6182 (54)0.5574 (60)0.5574 (60)0.5152 (65)0.5313 (63)0.0 (-)0.0 (-)
gen-hyper-tw-GenHyperTW_flat30-99.wcnf0.0 (-)0.5306 (48)0.5 (51)0.4 (64)0.3939 (65)0.4 (64)0.3881 (66)0.0 (-)
gen-hyper-tw-GenHyperTW_hole6.wcnf1.0 (7)0.4444 (17)1.0 (7)0.4444 (17)0.4 (19)0.4211 (18)0.4211 (18)0.5333 (14)
gen-hyper-tw-GenHyperTW_hole8.wcnf0.9091 (10)0.303 (32)0.9091 (10)0.2083 (47)0.2439 (40)0.2273 (43)0.2326 (42)0.0 (-)
gen-hyper-tw-GenHyperTW_par8-1-c.wcnf0.8571 (13)0.75 (15)0.75 (15)0.4138 (28)0.4444 (26)0.48 (24)0.5217 (22)0.0 (-)
gen-hyper-tw-GenHyperTW_par8-2-c.wcnf0.6 (14)0.9 (9)0.6 (14)0.3214 (27)0.3333 (26)0.3 (29)0.375 (23)0.0 (-)
gen-hyper-tw-GenHyperTW_par8-3-c.wcnf0.8571 (13)0.5455 (21)0.6667 (17)0.3158 (37)0.3871 (30)0.3333 (35)0.4138 (28)0.0 (-)
gen-hyper-tw-GenHyperTW_par8-4-c.wcnf0.8182 (10)0.6 (14)0.6429 (13)0.3214 (27)0.3462 (25)0.36 (24)0.375 (23)0.0 (-)
gen-hyper-tw-GenHyperTW_par8-5-c.wcnf0.75 (15)0.5 (23)0.7059 (16)0.375 (31)0.3871 (30)0.3636 (32)0.4138 (28)0.0 (-)
gen-hyper-tw-GenHyperTW_pret60_60.wcnf0.7778 (8)0.7778 (8)0.7778 (8)0.5385 (12)0.5385 (12)0.5833 (11)0.5 (13)0.0 (-)
gen-hyper-tw-GenHyperTW_s208.wcnf0.9091 (10)0.6667 (14)0.5882 (16)0.303 (32)0.1923 (51)0.3226 (30)0.3226 (30)0.0 (-)
gen-hyper-tw-GenHyperTW_uf20-050.wcnf1.0 (6)0.875 (7)1.0 (6)0.875 (7)0.875 (7)0.875 (7)0.875 (7)1.0 (6)
hs-timetabling-GreeceWesternGreeceUniversityInstance4.xml.wcnf0.1092 (173)0.2923 (64)0.0181 (1049)0.0936 (202)0.1011 (187)0.083 (228)0.1138 (166)0.1138 (166)
maxclique-brock800_2.clq.wcnf0.9962 (783)1.0 (780)0.9962 (783)0.9974 (782)0.9987 (781)0.9987 (781)0.9987 (781)1.0 (780)
maxclique-p_hat1000-1.clq.wcnf0.999 (991)1.0 (990)0.999 (991)1.0 (990)1.0 (990)1.0 (990)1.0 (990)1.0 (990)
maxclique-p_hat1000-2.clq.wcnf0.9938 (960)0.999 (955)0.9948 (959)0.9927 (961)0.9938 (960)0.9927 (961)0.9938 (960)1.0 (954)
maxcut-MANN_a9.clq.wcnf1.0 (422)0.9953 (424)1.0 (422)0.9724 (434)0.968 (436)0.9883 (427)0.9702 (435)1.0 (422)
maxcut-brock200_1.clq.wcnf1.0 (238)0.9876 (241)1.0 (238)0.9522 (250)0.9484 (251)0.9598 (248)0.9122 (261)1.0 (238)
maxcut-brock400_2.clq.wcnf1.0 (252)0.9806 (257)1.0 (252)0.9547 (264)0.9234 (273)0.9547 (264)0.944 (267)1.0 (252)
maxcut-brock400_4.clq.wcnf1.0 (249)0.9921 (251)1.0 (249)0.9398 (265)0.9259 (269)0.9259 (269)0.9294 (268)1.0 (249)
maxcut-hamming6-4.clq.wcnf1.0 (192)1.0 (192)1.0 (192)1.0 (192)1.0 (192)1.0 (192)1.0 (192)1.0 (192)
maxcut-p_hat500-3.clq.wcnf0.9965 (285)0.9896 (287)1.0 (284)0.9596 (296)0.976 (291)0.9596 (296)0.9468 (300)1.0 (284)
maxcut-t6pm3-8888.spn.wcnf0.9856 (138)0.8405 (162)0.9856 (138)0.7405 (184)0.6313 (216)0.6256 (218)0.6884 (198)1.0 (136)
min-fill-MinFill_R0_myciel6.wcnf0.8989 (899)0.5094 (1587)0.9794 (825)0.4936 (1638)0.769 (1051)0.5408 (1495)0.4679 (1728)0.695 (1163)
min-fill-MinFill_R0_queen11_11.wcnf0.8991 (4943)0.9013 (4931)0.843 (5272)0.934 (4758)0.9671 (4595)0.923 (4815)0.9099 (4884)0.8825 (5036)
min-fill-MinFill_R0_queen6_6.wcnf0.9708 (239)1.0 (232)0.9915 (234)0.9831 (236)0.9668 (240)0.9831 (236)0.9588 (242)0.9749 (238)
min-fill-MinFill_R0_queen8_12.wcnf0.8642 (2864)0.9771 (2533)0.7774 (3184)0.9147 (2706)0.9436 (2623)0.8919 (2775)0.8926 (2773)0.8118 (3049)
min-fill-MinFill_R0_queen8_8.wcnf0.8619 (1085)0.9649 (969)0.7452 (1255)0.894 (1046)0.9052 (1033)0.8509 (1099)0.8587 (1089)0.8923 (1048)
min-fill-MinFill_R1_games120.wcnf0.5915 (3965)0.7797 (3008)0.5538 (4235)0.7486 (3133)1.0 (2345)0.76 (3086)0.886 (2647)0.5798 (4045)
min-fill-MinFill_R3_miles1000.wcnf0.242 (3854)0.2425 (3847)0.263 (3547)0.2977 (3133)0.5212 (1789)0.3479 (2681)0.3135 (2975)1.0 (932)
min-fill-MinFill_R3_miles750.wcnf0.2548 (3838)0.2569 (3806)0.3471 (2817)0.3484 (2806)0.4729 (2067)0.2822 (3465)0.3945 (2478)1.0 (977)
optic-gen_add_6_carry_991.wcnf0.9912 (112)0.9333 (119)0.9912 (112)0.9333 (119)0.9333 (119)0.9333 (119)0.4686 (238)1.0 (111)
optic-gen_mult_3_6_9999.wcnf1.0 (62)0.9265 (67)1.0 (62)0.75 (83)0.8182 (76)0.7975 (78)0.7412 (84)0.9265 (67)
optic-gen_mult_4_5_33.wcnf1.0 (730)0.8204 (890)1.0 (730)0.8307 (879)0.8204 (890)0.8204 (890)0.7391 (988)0.9892 (738)
optic-gen_mult_4_5_399.wcnf0.9986 (732)0.8215 (890)0.9986 (732)0.8318 (879)0.8215 (890)0.8215 (890)0.7198 (1016)0.8938 (818)
optic-gen_mult_4_5_991.wcnf0.9916 (118)0.7613 (154)0.9916 (118)0.7613 (154)0.7613 (154)0.7613 (154)0.5784 (203)0.9219 (127)
optic-gen_mult_4_5_9999.wcnf1.0 (198)0.7158 (277)1.0 (198)0.7158 (277)0.7158 (277)0.7158 (277)0.559 (355)0.9387 (211)
optic-gen_mult_4_6_991.wcnf0.9858 (140)0.7433 (186)0.9858 (140)0.7433 (186)0.7433 (186)0.7433 (186)0.4633 (299)0.9205 (150)
optic-gen_mult_4_6_9999.wcnf0.9972 (356)0.7036 (505)0.9972 (356)0.7036 (505)0.7036 (505)0.7036 (505)0.4558 (780)0.5761 (617)
optic-gen_mult_4_7_991.wcnf0.9793 (144)0.7282 (194)0.9793 (144)0.7282 (194)0.7282 (194)0.7282 (194)0.4329 (327)0.6636 (213)
optic-gen_mult_5_5_991.wcnf0.9958 (235)0.8453 (277)0.9958 (235)0.8453 (277)0.8453 (277)0.8453 (277)0.544 (431)0.8935 (262)
optic-gen_square_5_9999.wcnf1.0 (58)0.8082 (72)1.0 (58)0.8082 (72)0.8082 (72)0.8082 (72)0.686 (85)0.8194 (71)
reversi-rev66-12.wcnf1.0 (21)1.0 (21)0.0 (-)1.0 (21)1.0 (21)1.0 (21)1.0 (21)1.0 (21)
reversi-rev66-14.wcnf0.8333 (23)1.0 (19)0.0 (-)1.0 (19)1.0 (19)1.0 (19)1.0 (19)1.0 (19)
reversi-rev66-16.wcnf0.7826 (22)1.0 (17)0.0 (-)1.0 (17)0.8182 (21)1.0 (17)1.0 (17)1.0 (17)
reversi-rev66-18.wcnf0.6957 (22)1.0 (15)0.0 (-)0.7619 (20)1.0 (15)1.0 (15)1.0 (15)0.7619 (20)
reversi-rev66-22.wcnf0.6316 (18)0.7059 (16)0.0 (-)1.0 (11)0.8571 (13)0.7059 (16)1.0 (11)0.6316 (18)
reversi-rev66-26.wcnf0.4706 (16)1.0 (7)0.0 (-)0.5714 (13)0.6154 (12)0.8 (9)0.6667 (11)0.5333 (14)
scheduling-cnf_10.wcnf0.4252 (126)1.0 (53)0.2186 (246)0.6 (89)0.5243 (102)0.551 (97)0.4186 (128)0.432 (124)
scheduling-cnf_12.wcnf0.5 (123)1.0 (61)0.4429 (139)0.7294 (84)0.775 (79)0.7045 (87)0.6739 (91)0.8493 (72)
scheduling-cnf_small.wcnf0.5179 (55)0.9063 (31)0.5273 (54)1.0 (28)1.0 (28)1.0 (28)1.0 (28)1.0 (28)
sean-safarpour-SM_MAIN_MEM_buggy1.dimacs.filtered.wcnf0.9558 (452)0.7491 (577)0.958 (451)0.7504 (576)0.7491 (577)0.7491 (577)0.0026 (165270)0.0 (-)
sean-safarpour-rsdecoder-problem.dimacs_41.filtered.wcnf1.0 (2)0.0012 (2589)1.0 (2)0.1667 (17)0.0012 (2563)0.0012 (2589)0.0 (-)0.0 (-)
sean-safarpour-wb_4m8s-problem.dimacs_49.filtered.wcnf0.9774 (220)0.0 (-)0.9686 (222)0.0 (-)0.0 (-)0.0 (-)0.0008 (267932)0.0 (-)
sean-safarpour-wb_4m8s4.dimacs.filtered.wcnf0.9593 (220)0.9177 (230)0.968 (218)0.9177 (230)0.9177 (230)0.9177 (230)0.0039 (54829)0.0 (-)
set-covering-scpclr11_maxsat.wcnf1.0 (23)0.8889 (26)1.0 (23)0.75 (31)0.7742 (30)0.6857 (34)0.6857 (34)1.0 (23)
set-covering-scpclr12_maxsat.wcnf0.8571 (27)0.8 (29)0.8571 (27)0.7059 (33)0.6857 (34)0.6667 (35)0.6486 (36)0.8889 (26)
set-covering-scpclr13_maxsat.wcnf0.9667 (29)0.9667 (29)0.9667 (29)0.8056 (35)0.8056 (35)0.8286 (34)0.7838 (36)1.0 (28)
set-covering-scpcyc06_maxsat.wcnf1.0 (60)0.9683 (62)1.0 (60)0.8133 (74)0.8026 (75)0.7922 (76)0.8133 (74)1.0 (60)
set-covering-scpcyc07_maxsat.wcnf0.9603 (150)0.9539 (151)0.9603 (150)0.7513 (192)0.7108 (203)0.725 (199)0.7713 (187)1.0 (144)
set-covering-scpcyc08_maxsat.wcnf0.9507 (364)0.8443 (410)0.9507 (364)0.7728 (448)0.6275 (552)0.6045 (573)0.7096 (488)1.0 (346)
set-covering-scpcyc09_maxsat.wcnf0.9618 (837)0.5807 (1387)0.9618 (837)0.7863 (1024)0.5997 (1343)0.5359 (1503)0.7003 (1150)1.0 (805)
set-covering-scpcyc10_maxsat.wcnf0.9818 (1925)0.3413 (5540)0.9818 (1925)0.8204 (2304)0.1658 (11401)0.513 (3685)0.7198 (2626)1.0 (1890)
set-covering-scpcyc11_maxsat.wcnf0.991 (4321)0.1521 (28160)0.991 (4321)0.1521 (28151)0.1521 (28151)0.5714 (7495)0.3802 (11264)1.0 (4282)
treewidth-computation-TWComp_1c75_N69.wcnf0.8333 (35)1.0 (29)0.8108 (36)0.9375 (31)1.0 (29)0.9677 (30)0.9375 (31)0.0 (-)
treewidth-computation-TWComp_1dp_N76.wcnf0.7941 (33)1.0 (26)0.871 (30)0.9643 (27)0.9643 (27)0.931 (28)0.9 (29)0.0 (-)
treewidth-computation-TWComp_eil51.tsp_N51.wcnf0.75 (11)0.9 (9)0.8182 (10)0.8182 (10)0.8182 (10)0.9 (9)0.8182 (10)0.8182 (10)
treewidth-computation-TWComp_queen5_5_N25.wcnf1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)0.95 (19)
treewidth-computation-TWComp_queen6_6_N36.wcnf0.963 (26)1.0 (25)0.9286 (27)1.0 (25)1.0 (25)1.0 (25)1.0 (25)0.0 (-)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr14-plb100.wcnf1.0 (68)0.9583 (71)1.0 (68)0.9079 (75)0.8625 (79)0.8625 (79)0.8734 (78)1.0 (68)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr6-plb100.wcnf1.0 (66)0.971 (68)1.0 (66)0.971 (68)0.9571 (69)0.9437 (70)0.9571 (69)0.9571 (69)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr7-plb100.wcnf1.0 (71)0.973 (73)1.0 (71)0.9 (79)0.96 (74)0.9863 (72)0.9474 (75)0.96 (74)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr8-plb100.wcnf1.0 (67)0.9577 (70)1.0 (67)0.9444 (71)0.9444 (71)0.9444 (71)0.9577 (70)0.9855 (68)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr11-plb100.wcnf1.0 (71)0.96 (74)1.0 (71)0.9114 (78)0.9351 (76)0.878 (81)0.9 (79)0.9863 (72)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr13-plb100.wcnf1.0 (73)0.961 (76)1.0 (73)0.9136 (80)0.9024 (81)0.925 (79)0.9024 (81)0.9867 (74)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr14-plb100.wcnf0.9868 (75)0.9375 (79)0.9868 (75)0.8721 (85)0.8721 (85)0.8929 (83)0.9036 (82)0.9036 (82)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr6-plb100.wcnf1.0 (66)0.9571 (69)1.0 (66)0.8933 (74)0.9178 (72)0.9571 (69)0.9054 (73)0.9306 (71)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr9-plb100.wcnf1.0 (63)0.9552 (66)1.0 (63)0.9143 (69)0.9014 (70)0.9014 (70)0.8649 (73)0.9143 (69)
xai-mindset-australian.wcnf0.3054 (1682)0.9483 (541)0.306 (1679)0.9345 (549)0.8668 (592)0.5667 (906)0.725 (708)0.0 (-)
xai-mindset-bnn-last-layer-f10.wcnf0.9167 (1211)0.9167 (1211)0.0 (-)0.9167 (1211)0.9167 (1211)0.9167 (1211)0.9228 (1203)0.9447 (1175)
xai-mindset-bupa.wcnf0.7747 (394)0.9808 (311)0.4928 (620)0.8248 (370)0.8895 (343)0.6876 (444)0.6595 (463)0.0 (-)
xai-mindset-cleve.wcnf0.8041 (295)0.8623 (275)0.5032 (472)0.9558 (248)0.7933 (299)0.7778 (305)0.7368 (322)0.0 (-)
xai-mindset-cleveland-nominal.wcnf0.7924 (288)0.9957 (229)0.0 (-)0.845 (270)0.7316 (312)0.8513 (268)0.8267 (276)0.8577 (266)
xai-mindset-cleveland.wcnf0.6979 (843)0.909 (647)0.4195 (1403)1.0 (588)0.8307 (708)0.3916 (1503)0.4762 (1236)0.0 (-)
xai-mindset-colic.wcnf0.7309 (248)0.943 (192)0.2164 (840)0.8273 (219)0.6973 (260)0.5566 (326)0.4354 (417)0.0 (-)
xai-mindset-diabetes.wcnf0.3836 (1709)0.8877 (738)0.3542 (1851)0.9162 (715)0.8925 (734)0.6721 (975)0.666 (984)0.0 (-)
xai-mindset-ecoli.wcnf0.41 (1460)0.9103 (657)0.4356 (1374)0.9117 (656)0.8569 (698)0.7182 (833)0.7359 (813)0.0 (-)
xai-mindset-haberman.wcnf0.8367 (446)0.9664 (386)0.0 (-)0.8969 (416)0.8779 (425)0.7556 (494)0.8698 (429)0.6182 (604)
xai-mindset-heart-h.wcnf0.6862 (324)0.8321 (267)0.3662 (608)0.7993 (278)0.6677 (333)0.4912 (453)0.861 (258)0.0 (-)
xai-mindset-heart-statlog.wcnf0.7011 (280)0.8795 (223)1.0 (196)0.8914 (220)0.7849 (250)0.6611 (297)0.7725 (254)0.0 (-)
xai-mindset-hungarian.wcnf0.5633 (386)0.6667 (326)0.3528 (617)0.8549 (254)0.5633 (386)0.7148 (304)0.594 (366)0.0 (-)
xai-mindset-liver-disorder.wcnf0.7888 (392)0.9226 (335)0.4493 (689)0.8587 (360)0.847 (365)0.7014 (441)0.7928 (390)0.0 (-)
xai-mindset-postoperative-patient-data.wcnf0.63 (99)1.0 (62)0.5727 (109)0.8289 (75)0.8289 (75)0.875 (71)0.84 (74)0.913 (68)
xai-mindset-shuttleM.wcnf0.0 (-)0.4929 (352)0.0 (-)0.6591 (263)0.3187 (545)0.4793 (362)0.4508 (385)0.0 (-)
xai-mindset-soybean.wcnf0.1125 (1599)0.9375 (191)0.0 (-)0.5769 (311)0.5438 (330)0.4036 (445)0.3468 (518)0.4663 (385)