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

BenchmarkSATLike-cmaxrosterLinSBPSSATLikeOpen-WBO-Inc-OBVOpen-WBO-Inc-MCSOpen-WBO-GlucOpen-WBO-Riss
aes-key-recovery-AES1-76-36.wcnf0.7381 (41)0.6889 (44)1.0 (30)0.4133 (74)0.8857 (34)0.8378 (36)0.9118 (33)0.7381 (41)
aes-mul_8_11.wcnf0.942 (68)1.0 (64)0.3333 (194)0.942 (68)0.3939 (164)0.3333 (194)0.3333 (194)0.096 (676)
aes-mul_8_13.wcnf1.0 (60)0.9683 (62)0.3742 (162)1.0 (60)0.3789 (160)0.3742 (162)0.3742 (162)0.0836 (729)
aes-mul_8_14.wcnf1.0 (56)0.9661 (58)0.5135 (110)1.0 (56)0.5229 (108)0.5135 (110)0.5135 (110)0.0754 (755)
aes-mul_8_9.wcnf1.0 (42)1.0 (42)0.5119 (83)1.0 (42)0.5309 (80)0.5119 (83)0.5119 (83)0.0874 (491)
aes-sbox_8.wcnf0.8274 (810)1.0 (670)0.7931 (845)0.8274 (810)0.7931 (845)0.7931 (845)0.7931 (845)0.6111 (1097)
atcoss-mesat-atcoss_mesat_02.wcnf1.0 (50)1.0 (50)1.0 (50)0.0 (-)1.0 (50)1.0 (50)0.9623 (52)0.9623 (52)
atcoss-mesat-atcoss_mesat_03.wcnf0.8947 (56)1.0 (50)0.8226 (61)0.0 (-)0.9273 (54)0.85 (59)0.8361 (60)0.8361 (60)
atcoss-mesat-atcoss_mesat_04.wcnf0.0 (-)1.0 (34)0.875 (39)0.0 (-)0.493 (70)0.4321 (80)0.4545 (76)0.3933 (88)
atcoss-mesat-atcoss_mesat_05.wcnf0.2708 (47)1.0 (12)0.619 (20)0.0 (-)0.5417 (23)0.4483 (28)0.4483 (28)0.2097 (61)
atcoss-mesat-atcoss_mesat_10.wcnf0.6667 (20)1.0 (13)0.8235 (16)0.0 (-)0.6667 (20)0.6667 (20)0.6667 (20)0.4516 (30)
atcoss-mesat-atcoss_mesat_15.wcnf0.0 (-)1.0 (60)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss-mesat-atcoss_mesat_18.wcnf0.2889 (44)1.0 (12)0.7647 (16)0.0 (-)0.4194 (30)0.5652 (22)0.4194 (30)0.1806 (71)
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.0 (-)1.0 (554)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.9996 (2230)0.0 (-)0.0 (-)1.0 (2229)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-msp-normalized-g250.15.wcnf1.0 (3750)0.0 (-)0.0 (-)1.0 (3750)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.wcnf1.0 (1127)0.9253 (1218)0.9503 (1186)0.9792 (1151)1.0 (1127)0.9707 (1161)0.9947 (1133)0.9903 (1138)
bcp-msp-normalized-ii16a2.wcnf1.0 (1164)1.0 (1164)1.0 (1164)1.0 (1164)1.0 (1164)1.0 (1164)1.0 (1164)1.0 (1164)
bcp-msp-normalized-ii16c1.wcnf1.0 (1219)0.8847 (1378)0.9215 (1323)0.9959 (1224)0.9509 (1282)0.9576 (1273)0.9385 (1299)0.9385 (1299)
bcp-msp-normalized-ii16d1.wcnf0.9727 (915)0.9281 (959)1.0 (890)0.9489 (938)0.9643 (923)0.9379 (949)0.9867 (902)0.9643 (923)
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.9033 (268)0.6826 (355)1.0 (242)0.5731 (423)0.5731 (423)0.5731 (423)0.4774 (508)
bcp-syn-normalized-test4.pi.wcnf1.0 (94)0.8796 (107)0.812 (116)1.0 (94)0.5793 (163)0.5278 (179)0.5278 (179)0.5588 (169)
close-solutions-SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf1.0 (1028)0.9894 (1039)1.0 (1028)0.0 (-)1.0 (1028)1.0 (1028)1.0 (1028)0.7451 (1380)
des-cnf.18.p.10.wcnf1.0 (21)1.0 (21)1.0 (21)0.0 (-)0.88 (24)0.8148 (26)0.88 (24)0.9167 (23)
des-cnf.20.p.9.wcnf1.0 (23)0.96 (24)0.96 (24)0.0 (-)0.8889 (26)0.8889 (26)0.9231 (25)0.8276 (28)
extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_1_8_3.wcnf1.0 (6)0.7778 (8)0.7 (9)1.0 (6)0.7778 (8)0.5833 (11)0.5385 (12)0.5833 (11)
extension-enforcement-extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf1.0 (8)0.9 (9)0.8182 (10)1.0 (8)0.6923 (12)0.75 (11)0.6 (14)0.6429 (13)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf0.8462 (12)0.7333 (14)0.5238 (20)1.0 (10)0.5789 (18)0.5 (21)0.4231 (25)0.4231 (25)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_2.wcnf0.9231 (12)0.7059 (16)0.6667 (17)1.0 (11)0.6316 (18)0.75 (15)0.5714 (20)0.4444 (26)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf1.0 (10)0.55 (19)0.6111 (17)1.0 (10)0.7857 (13)0.5 (21)0.4583 (23)0.5238 (20)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf1.0 (8)0.8182 (10)0.8182 (10)1.0 (8)0.8182 (10)0.6923 (12)0.5 (17)0.6923 (12)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_0.wcnf0.8889 (8)0.5333 (14)0.5714 (13)1.0 (7)0.5 (15)0.5714 (13)0.6154 (12)0.4211 (18)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_1.wcnf0.8889 (8)0.4211 (18)0.6667 (11)1.0 (7)0.8 (9)0.6154 (12)0.5714 (13)0.4211 (18)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf1.0 (7)0.6667 (11)0.5333 (14)0.8 (9)0.6667 (11)0.4211 (18)0.5333 (14)0.4211 (18)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_3.wcnf0.9 (9)0.6 (14)1.0 (8)0.9 (9)0.6429 (13)0.6429 (13)0.6923 (12)0.5294 (16)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf1.0 (8)0.2813 (31)1.0 (8)1.0 (8)0.6923 (12)0.5294 (16)0.6923 (12)0.4737 (18)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf1.0 (8)0.9 (9)1.0 (8)1.0 (8)0.8182 (10)1.0 (8)0.75 (11)0.9 (9)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_4_10_4.wcnf1.0 (9)0.8333 (11)0.7692 (12)1.0 (9)0.625 (15)0.625 (15)0.4762 (20)0.5556 (17)
fault-diagnosis-s38584_nan_explicit_14_0.wcnf0.9951 (203)1.0 (202)1.0 (202)0.6976 (290)0.9951 (203)1.0 (202)0.9486 (213)1.0 (202)
fault-diagnosis-s38584_nan_explicit_5_0.wcnf0.9779 (180)0.9944 (177)1.0 (176)0.6041 (292)0.9672 (182)0.9833 (179)0.9779 (180)0.9672 (182)
fault-diagnosis-s38584_nan_explicit_8_0.wcnf1.0 (197)1.0 (197)0.9754 (202)0.6735 (293)0.9754 (202)0.99 (199)0.995 (198)0.9565 (206)
gen-hyper-tw-GenHyperTW_2bitcomp_5.wcnf1.0 (12)0.325 (39)0.3514 (36)0.8667 (14)0.2453 (52)0.2549 (50)0.2549 (50)0.2826 (45)
gen-hyper-tw-GenHyperTW_aim-50-1_6-yes1-3.wcnf1.0 (11)1.0 (11)0.9231 (12)1.0 (11)0.7059 (16)0.6667 (17)0.7059 (16)0.7059 (16)
gen-hyper-tw-GenHyperTW_aim-50-2_0-no-3.wcnf1.0 (13)0.875 (15)0.7778 (17)1.0 (13)0.7368 (18)0.7368 (18)0.7368 (18)0.7368 (18)
gen-hyper-tw-GenHyperTW_aim-50-2_0-yes1-3.wcnf1.0 (12)0.8667 (14)0.8125 (15)1.0 (12)0.65 (19)0.6842 (18)0.6842 (18)0.6842 (18)
gen-hyper-tw-GenHyperTW_dubois21.wcnf0.8333 (5)1.0 (4)0.7143 (6)0.625 (7)0.5556 (8)0.625 (7)0.5 (9)0.625 (7)
gen-hyper-tw-GenHyperTW_dubois23.wcnf0.5 (5)1.0 (2)0.5 (5)0.6 (4)0.375 (7)0.3333 (8)0.2727 (10)0.2727 (10)
gen-hyper-tw-GenHyperTW_dubois24.wcnf1.0 (4)1.0 (4)0.7143 (6)1.0 (4)0.4545 (10)0.4545 (10)0.4167 (11)0.3846 (12)
gen-hyper-tw-GenHyperTW_dubois25.wcnf0.8 (4)1.0 (3)0.5714 (6)0.8 (4)0.4 (9)0.4444 (8)0.3333 (11)0.4444 (8)
gen-hyper-tw-GenHyperTW_dubois27.wcnf1.0 (5)1.0 (5)0.8571 (6)1.0 (5)0.5455 (10)0.2609 (22)0.4 (14)0.375 (15)
gen-hyper-tw-GenHyperTW_dubois29.wcnf0.8333 (5)0.7143 (6)0.7143 (6)1.0 (4)0.3125 (15)0.3125 (15)0.4545 (10)0.2778 (17)
gen-hyper-tw-GenHyperTW_dubois30.wcnf1.0 (5)0.75 (7)0.75 (7)1.0 (5)0.3333 (17)0.3158 (18)0.4615 (12)0.3529 (16)
gen-hyper-tw-GenHyperTW_flat30-1.wcnf0.68 (49)0.8718 (38)1.0 (33)0.5574 (60)0.68 (49)0.6939 (48)0.6939 (48)0.7556 (44)
gen-hyper-tw-GenHyperTW_flat30-99.wcnf0.52 (49)0.6667 (38)0.7879 (32)1.0 (25)0.5306 (48)0.5306 (48)0.5306 (48)0.5909 (43)
gen-hyper-tw-GenHyperTW_hole6.wcnf1.0 (7)1.0 (7)0.5 (15)1.0 (7)0.4706 (16)0.4444 (17)0.4444 (17)0.4444 (17)
gen-hyper-tw-GenHyperTW_hole8.wcnf1.0 (9)0.3333 (29)0.3226 (30)1.0 (9)0.2439 (40)0.25 (39)0.25 (39)0.2632 (37)
gen-hyper-tw-GenHyperTW_par8-1-c.wcnf0.8571 (13)1.0 (11)0.75 (15)0.9231 (12)0.5455 (21)0.6316 (18)0.5714 (20)0.6 (19)
gen-hyper-tw-GenHyperTW_par8-2-c.wcnf0.8182 (10)0.8182 (10)1.0 (8)0.6923 (12)0.3913 (22)0.36 (24)0.3913 (22)0.4286 (20)
gen-hyper-tw-GenHyperTW_par8-3-c.wcnf0.8571 (13)1.0 (11)0.8571 (13)0.9231 (12)0.4444 (26)0.4286 (27)0.4 (29)0.5217 (22)
gen-hyper-tw-GenHyperTW_par8-4-c.wcnf1.0 (8)0.9 (9)0.6923 (12)0.8182 (10)0.36 (24)0.3462 (25)0.5 (17)0.4737 (18)
gen-hyper-tw-GenHyperTW_par8-5-c.wcnf0.9231 (12)1.0 (11)0.5455 (21)0.9231 (12)0.48 (24)0.4138 (28)0.4 (29)0.48 (24)
gen-hyper-tw-GenHyperTW_pret60_60.wcnf0.875 (7)0.7778 (8)1.0 (6)1.0 (6)0.5833 (11)0.6364 (10)0.6364 (10)0.5833 (11)
gen-hyper-tw-GenHyperTW_s208.wcnf1.0 (9)0.8333 (11)1.0 (9)1.0 (9)0.4348 (22)0.4762 (20)0.4545 (21)0.3846 (25)
gen-hyper-tw-GenHyperTW_uf20-050.wcnf1.0 (6)1.0 (6)0.875 (7)1.0 (6)0.875 (7)0.875 (7)0.875 (7)0.875 (7)
hs-timetabling-GreeceWesternGreeceUniversityInstance4.xml.wcnf0.1092 (173)0.1696 (111)1.0 (18)0.0181 (1049)0.0936 (202)0.1011 (187)0.1 (189)0.1138 (166)
maxclique-brock800_2.clq.wcnf0.9974 (782)1.0 (780)1.0 (780)0.9974 (782)1.0 (780)0.9987 (781)0.9987 (781)0.9987 (781)
maxclique-p_hat1000-1.clq.wcnf0.999 (991)1.0 (990)1.0 (990)0.999 (991)1.0 (990)1.0 (990)1.0 (990)1.0 (990)
maxclique-p_hat1000-2.clq.wcnf0.9958 (958)1.0 (954)0.999 (955)0.9948 (959)0.9948 (959)0.9938 (960)0.9938 (960)0.9938 (960)
maxcut-MANN_a9.clq.wcnf1.0 (422)1.0 (422)0.9953 (424)1.0 (422)0.9837 (429)0.986 (428)0.9883 (427)0.9883 (427)
maxcut-brock200_1.clq.wcnf1.0 (238)1.0 (238)0.9958 (239)1.0 (238)0.9522 (250)0.9598 (248)0.9676 (246)0.9447 (252)
maxcut-brock400_2.clq.wcnf1.0 (252)1.0 (252)0.9806 (257)1.0 (252)0.962 (262)0.9731 (259)0.9583 (263)0.9656 (261)
maxcut-brock400_4.clq.wcnf1.0 (249)1.0 (249)0.9921 (251)1.0 (249)0.9542 (261)0.9506 (262)0.947 (263)0.9363 (266)
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.wcnf1.0 (284)1.0 (284)0.9896 (287)1.0 (284)0.9727 (292)0.976 (291)0.9596 (296)0.9468 (300)
maxcut-t6pm3-8888.spn.wcnf1.0 (136)1.0 (136)0.8509 (160)1.0 (136)0.7405 (184)0.7026 (194)0.7249 (188)0.6884 (198)
min-fill-MinFill_R0_myciel6.wcnf0.954 (847)0.695 (1163)0.9782 (826)1.0 (808)0.7047 (1147)0.769 (1051)0.5408 (1495)0.5336 (1515)
min-fill-MinFill_R0_queen11_11.wcnf0.9443 (4706)0.9417 (4719)1.0 (4444)0.843 (5272)0.9392 (4732)0.9671 (4595)0.9346 (4755)0.9307 (4775)
min-fill-MinFill_R0_queen6_6.wcnf0.9915 (234)0.9915 (234)1.0 (232)0.9915 (234)0.9957 (233)0.9831 (236)0.9957 (233)0.9873 (235)
min-fill-MinFill_R0_queen8_12.wcnf0.9386 (2637)0.926 (2673)1.0 (2475)0.7774 (3184)0.9147 (2706)0.9436 (2623)0.908 (2726)0.8978 (2757)
min-fill-MinFill_R0_queen8_8.wcnf0.8839 (1058)0.8966 (1043)1.0 (935)0.7452 (1255)0.894 (1046)0.9052 (1033)0.8675 (1078)0.8889 (1052)
min-fill-MinFill_R1_games120.wcnf0.7846 (2989)0.7347 (3192)0.9483 (2473)0.5538 (4235)0.7486 (3133)1.0 (2345)0.8559 (2740)0.886 (2647)
min-fill-MinFill_R3_miles1000.wcnf0.9446 (1894)0.7762 (2305)0.4931 (3629)0.5045 (3547)0.6843 (2615)1.0 (1789)0.6674 (2681)0.754 (2373)
min-fill-MinFill_R3_miles750.wcnf0.4587 (2131)1.0 (977)0.3218 (3038)0.3471 (2817)0.3484 (2806)0.4729 (2067)0.5501 (1777)0.3945 (2478)
optic-gen_add_6_carry_991.wcnf0.9912 (112)1.0 (111)0.9333 (119)0.9912 (112)0.9333 (119)0.9333 (119)0.9333 (119)0.6871 (162)
optic-gen_mult_3_6_9999.wcnf1.0 (62)0.9265 (67)0.9403 (66)1.0 (62)0.759 (82)0.8182 (76)0.7975 (78)0.7875 (79)
optic-gen_mult_4_5_33.wcnf1.0 (730)0.9892 (738)0.8204 (890)1.0 (730)0.8307 (879)0.8204 (890)0.8204 (890)0.7599 (961)
optic-gen_mult_4_5_399.wcnf1.0 (731)0.8938 (818)0.8215 (890)1.0 (731)0.8318 (879)0.8215 (890)0.8215 (890)0.7554 (968)
optic-gen_mult_4_5_991.wcnf1.0 (117)0.9219 (127)0.7613 (154)1.0 (117)0.7613 (154)0.7613 (154)0.7613 (154)0.6378 (184)
optic-gen_mult_4_5_9999.wcnf1.0 (198)0.9387 (211)0.7158 (277)1.0 (198)0.7158 (277)0.7158 (277)0.7158 (277)0.6525 (304)
optic-gen_mult_4_6_991.wcnf1.0 (138)0.9205 (150)0.7433 (186)1.0 (138)0.7433 (186)0.7433 (186)0.7433 (186)0.5285 (262)
optic-gen_mult_4_6_9999.wcnf1.0 (355)0.5761 (617)0.7036 (505)1.0 (355)0.7036 (505)0.7036 (505)0.7036 (505)0.537 (662)
optic-gen_mult_4_7_991.wcnf1.0 (141)0.6636 (213)0.7282 (194)1.0 (141)0.7282 (194)0.7282 (194)0.7282 (194)0.5221 (271)
optic-gen_mult_5_5_991.wcnf1.0 (234)0.8935 (262)0.8453 (277)1.0 (234)0.8453 (277)0.8453 (277)0.8453 (277)0.576 (407)
optic-gen_square_5_9999.wcnf1.0 (58)0.8676 (67)0.8082 (72)1.0 (58)0.8082 (72)0.8082 (72)0.8082 (72)0.7195 (81)
reversi-rev66-12.wcnf1.0 (21)1.0 (21)1.0 (21)0.0 (-)1.0 (21)1.0 (21)1.0 (21)1.0 (21)
reversi-rev66-14.wcnf1.0 (19)1.0 (19)1.0 (19)0.0 (-)1.0 (19)1.0 (19)1.0 (19)1.0 (19)
reversi-rev66-16.wcnf1.0 (17)1.0 (17)1.0 (17)0.0 (-)1.0 (17)1.0 (17)1.0 (17)1.0 (17)
reversi-rev66-18.wcnf1.0 (15)1.0 (15)1.0 (15)0.0 (-)1.0 (15)1.0 (15)1.0 (15)1.0 (15)
reversi-rev66-22.wcnf1.0 (11)1.0 (11)1.0 (11)0.0 (-)1.0 (11)1.0 (11)1.0 (11)1.0 (11)
reversi-rev66-26.wcnf1.0 (7)1.0 (7)1.0 (7)0.0 (-)1.0 (7)1.0 (7)1.0 (7)0.8889 (8)
scheduling-cnf_10.wcnf0.4252 (126)0.9474 (56)1.0 (53)0.4219 (127)0.8182 (65)0.8571 (62)0.7714 (69)0.7826 (68)
scheduling-cnf_12.wcnf0.5082 (121)0.9538 (64)1.0 (61)0.5254 (117)0.8857 (69)0.9254 (66)0.9394 (65)0.8158 (75)
scheduling-cnf_small.wcnf0.5179 (55)1.0 (28)0.9355 (30)0.5686 (50)1.0 (28)1.0 (28)1.0 (28)1.0 (28)
sean-safarpour-SM_MAIN_MEM_buggy1.dimacs.filtered.wcnf1.0 (432)0.0 (-)0.7491 (577)1.0 (432)0.7504 (576)0.7504 (576)0.7491 (577)0.0026 (165270)
sean-safarpour-rsdecoder-problem.dimacs_41.filtered.wcnf1.0 (2)0.0004 (7933)0.0012 (2589)1.0 (2)0.4286 (6)0.0027 (1094)0.0032 (923)0.0 (219331)
sean-safarpour-wb_4m8s-problem.dimacs_49.filtered.wcnf0.9774 (220)0.0 (-)0.0255 (8473)1.0 (215)0.0388 (5573)0.0337 (6405)0.0255 (8473)0.0008 (267932)
sean-safarpour-wb_4m8s4.dimacs.filtered.wcnf0.9636 (219)0.5699 (371)0.9177 (230)1.0 (211)0.9177 (230)0.9177 (230)0.9177 (230)0.0039 (54829)
set-covering-scpclr11_maxsat.wcnf1.0 (23)1.0 (23)0.8889 (26)1.0 (23)0.75 (31)0.7742 (30)0.6857 (34)0.7273 (32)
set-covering-scpclr12_maxsat.wcnf1.0 (23)0.8889 (26)0.8889 (26)1.0 (23)0.7059 (33)0.7059 (33)0.6667 (35)0.6667 (35)
set-covering-scpclr13_maxsat.wcnf0.9667 (29)1.0 (28)0.9667 (29)0.9667 (29)0.8056 (35)0.8286 (34)0.8286 (34)0.8286 (34)
set-covering-scpcyc06_maxsat.wcnf1.0 (60)1.0 (60)1.0 (60)1.0 (60)0.8356 (72)0.8472 (71)0.8472 (71)0.8133 (74)
set-covering-scpcyc07_maxsat.wcnf0.9603 (150)1.0 (144)0.9539 (151)0.9603 (150)0.7513 (192)0.7108 (203)0.725 (199)0.7713 (187)
set-covering-scpcyc08_maxsat.wcnf0.9693 (357)1.0 (346)0.8897 (389)0.972 (356)0.7728 (448)0.6275 (552)0.6045 (573)0.7096 (488)
set-covering-scpcyc09_maxsat.wcnf0.9699 (830)1.0 (805)0.6267 (1285)0.9723 (828)0.7863 (1024)0.5997 (1343)0.6097 (1321)0.7003 (1150)
set-covering-scpcyc10_maxsat.wcnf0.9864 (1916)1.0 (1890)0.3413 (5540)0.987 (1915)0.8204 (2304)0.1658 (11401)0.513 (3685)0.7198 (2626)
set-covering-scpcyc11_maxsat.wcnf0.9912 (4320)1.0 (4282)0.1521 (28160)0.9912 (4320)0.8364 (5120)0.1532 (27951)0.5714 (7495)0.4878 (8779)
treewidth-computation-TWComp_1c75_N69.wcnf0.9677 (30)0.9677 (30)1.0 (29)0.9677 (30)1.0 (29)1.0 (29)1.0 (29)1.0 (29)
treewidth-computation-TWComp_1dp_N76.wcnf0.9 (29)1.0 (26)1.0 (26)0.9643 (27)0.9643 (27)1.0 (26)0.9643 (27)1.0 (26)
treewidth-computation-TWComp_eil51.tsp_N51.wcnf0.9 (9)0.9 (9)1.0 (8)0.9 (9)0.9 (9)0.9 (9)0.9 (9)0.9 (9)
treewidth-computation-TWComp_queen5_5_N25.wcnf1.0 (18)0.95 (19)1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)
treewidth-computation-TWComp_queen6_6_N36.wcnf0.963 (26)1.0 (25)1.0 (25)0.963 (26)1.0 (25)1.0 (25)1.0 (25)1.0 (25)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr14-plb100.wcnf1.0 (68)1.0 (68)0.9583 (71)1.0 (68)0.92 (74)0.8734 (78)0.8961 (76)0.92 (74)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr6-plb100.wcnf1.0 (66)1.0 (66)0.971 (68)1.0 (66)0.971 (68)0.9853 (67)0.9571 (69)0.971 (68)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr7-plb100.wcnf1.0 (71)0.9863 (72)0.9863 (72)1.0 (71)0.9863 (72)0.9863 (72)0.9863 (72)0.9863 (72)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr8-plb100.wcnf1.0 (67)0.9855 (68)0.9577 (70)1.0 (67)0.9444 (71)0.9444 (71)0.9444 (71)0.9577 (70)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr11-plb100.wcnf1.0 (71)0.9863 (72)1.0 (71)1.0 (71)0.9114 (78)0.9351 (76)0.9351 (76)0.9474 (75)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr13-plb100.wcnf1.0 (73)0.9867 (74)0.961 (76)1.0 (73)0.925 (79)0.925 (79)0.9737 (75)0.925 (79)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr14-plb100.wcnf1.0 (74)0.9494 (78)0.9375 (79)1.0 (74)0.8929 (83)0.8824 (84)0.8929 (83)0.9036 (82)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr6-plb100.wcnf1.0 (66)0.9571 (69)0.9571 (69)1.0 (66)0.9054 (73)0.9437 (70)0.9571 (69)0.9178 (72)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr9-plb100.wcnf1.0 (63)0.9412 (67)0.9552 (66)1.0 (63)0.9014 (70)0.9014 (70)0.9014 (70)0.8649 (73)
xai-mindset-australian.wcnf0.725 (708)0.9698 (529)0.9981 (514)0.306 (1679)1.0 (513)0.8668 (592)0.5667 (906)0.725 (708)
xai-mindset-bnn-last-layer-f10.wcnf0.9594 (1157)0.9678 (1147)1.0 (1110)0.0 (-)0.9167 (1211)0.9695 (1145)0.9695 (1145)0.9228 (1203)
xai-mindset-bupa.wcnf0.7747 (394)0.9387 (325)1.0 (305)0.4928 (620)0.8248 (370)0.8895 (343)0.6876 (444)0.6595 (463)
xai-mindset-cleve.wcnf0.853 (278)1.0 (237)0.8686 (273)0.5032 (472)0.9558 (248)0.7933 (299)0.7778 (305)0.7368 (322)
xai-mindset-cleveland-nominal.wcnf0.9087 (251)0.9197 (248)1.0 (228)0.0 (-)0.845 (270)0.8237 (277)0.898 (254)0.8481 (269)
xai-mindset-cleveland.wcnf0.7236 (813)0.9899 (594)1.0 (588)0.4195 (1403)1.0 (588)0.8307 (708)0.3916 (1503)0.7456 (789)
xai-mindset-colic.wcnf0.7982 (227)0.8835 (205)1.0 (181)0.2164 (840)0.8273 (219)0.6973 (260)0.5566 (326)0.4354 (417)
xai-mindset-diabetes.wcnf0.7847 (835)0.9507 (689)0.9188 (713)0.3542 (1851)1.0 (655)0.8925 (734)0.6721 (975)0.666 (984)
xai-mindset-ecoli.wcnf0.8319 (719)0.923 (648)1.0 (598)0.4356 (1374)0.9117 (656)0.8569 (698)0.7182 (833)0.7359 (813)
xai-mindset-haberman.wcnf0.9235 (404)0.9689 (385)1.0 (373)0.0 (-)0.8969 (416)0.8779 (425)0.8519 (438)0.8698 (429)
xai-mindset-heart-h.wcnf0.6862 (324)1.0 (222)0.8321 (267)0.3662 (608)0.7993 (278)0.6677 (333)0.4912 (453)0.861 (258)
xai-mindset-heart-statlog.wcnf0.7378 (266)0.961 (204)0.8995 (218)1.0 (196)0.8914 (220)0.7849 (250)0.6611 (297)0.7725 (254)
xai-mindset-hungarian.wcnf0.9909 (219)1.0 (217)0.6943 (313)0.3528 (617)0.8549 (254)0.7676 (283)0.7148 (304)0.594 (366)
xai-mindset-liver-disorder.wcnf0.7888 (392)1.0 (309)0.9394 (329)0.4493 (689)0.8587 (360)0.847 (365)0.7014 (441)0.7928 (390)
xai-mindset-postoperative-patient-data.wcnf0.7875 (79)0.9692 (64)1.0 (62)0.8182 (76)0.9 (69)0.9403 (66)0.913 (68)0.9403 (66)
xai-mindset-shuttleM.wcnf0.6824 (254)0.7342 (236)0.9457 (183)0.0 (-)1.0 (173)0.6744 (257)0.4793 (362)0.4508 (385)
xai-mindset-soybean.wcnf0.6406 (280)0.7692 (233)1.0 (179)0.0 (-)0.5769 (311)0.5438 (330)0.5556 (323)0.5882 (305)