BenchmarkLoandraLinSBPS2018SATLikeOpen-WBO-gsls-mcs-lsusls-mcsOpen-WBO-ms
aes-key-recovery/AES1-74-32.wcnf.gz0.7222 (35)0.8966 (28)0.7027 (36)0.9286 (27)0.0 (-)0.0 (-)0.2921 (88)
aes-key-recovery/AES1-76-36.wcnf.gz0.8 (34)0.6829 (40)0.6364 (43)0.9333 (29)0.0 (-)0.0 (-)0.7568 (36)
aes-key-recovery/AES1-76-38.wcnf.gz0.7037 (26)0.7037 (26)0.5429 (34)0.7308 (25)0.0 (-)0.0 (-)0.7037 (26)
aes-key-recovery/AES2-70-62.wcnf.gz0.9348 (45)0.8113 (52)0.7544 (56)0.5059 (84)0.0 (-)0.0 (-)0.4886 (87)
aes-key-recovery/AES2-72-67.wcnf.gz0.7143 (48)0.6731 (51)0.5932 (58)0.5932 (58)0.0 (-)0.0 (-)0.8333 (41)
gen-hyper-tw/GenHyperTW_2bitcomp_5.wcnf.gz0.2656 (63)0.2742 (61)0.85 (19)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_aim-50-1_6-no-3.wcnf.gz0.6875 (15)0.7333 (14)0.9167 (11)0.6111 (17)0.8462 (12)0.8462 (12)0.6111 (17)
gen-hyper-tw/GenHyperTW_aim-50-2_0-no-3.wcnf.gz0.7368 (18)0.7778 (17)0.9333 (14)0.7368 (18)1.0 (13)1.0 (13)0.7368 (18)
gen-hyper-tw/GenHyperTW_b01.wcnf.gz1.0 (5)1.0 (5)0.75 (7)1.0 (5)0.75 (7)0.75 (7)0.8571 (6)
gen-hyper-tw/GenHyperTW_dubois20.wcnf.gz0.8571 (6)1.0 (5)1.0 (5)1.0 (5)0.8571 (6)0.8571 (6)0.6667 (8)
gen-hyper-tw/GenHyperTW_dubois23.wcnf.gz0.7143 (6)0.625 (7)0.7143 (6)0.7143 (6)1.0 (4)1.0 (4)0.0 (-)
gen-hyper-tw/GenHyperTW_dubois24.wcnf.gz0.7143 (6)0.625 (7)1.0 (4)0.625 (7)0.7143 (6)0.7143 (6)0.0 (-)
gen-hyper-tw/GenHyperTW_dubois28.wcnf.gz0.75 (7)0.6667 (8)1.0 (5)0.6 (9)0.0 (-)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_dubois30.wcnf.gz0.875 (7)0.5833 (11)0.875 (7)0.5833 (11)0.0 (-)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_flat30-1.wcnf.gz0.0 (-)0.5636 (54)0.0 (-)0.4697 (65)0.0 (-)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_flat30-99.wcnf.gz0.6038 (52)0.6809 (46)0.0 (-)0.4848 (65)0.0 (-)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_grid3d_5.wcnf.gz0.8125 (15)0.8125 (15)0.9286 (13)0.7647 (16)0.9286 (13)0.9286 (13)0.8125 (15)
gen-hyper-tw/GenHyperTW_grid4d_3.wcnf.gz0.8 (9)0.8 (9)0.8889 (8)0.8 (9)0.8889 (8)0.8889 (8)0.8889 (8)
gen-hyper-tw/GenHyperTW_par8-2-c.wcnf.gz0.9 (9)0.9 (9)1.0 (8)0.5625 (15)0.0 (-)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_par8-4-c.wcnf.gz0.5294 (16)0.6 (14)1.0 (8)0.5 (17)0.8182 (10)0.8182 (10)0.0 (-)
gen-hyper-tw/GenHyperTW_par8-5-c.wcnf.gz0.3846 (25)0.4167 (23)0.5 (19)0.3125 (31)0.0 (-)0.0 (-)0.0 (-)
gen-hyper-tw/GenHyperTW_uf20-01.wcnf.gz0.875 (7)0.875 (7)1.0 (6)0.875 (7)1.0 (6)1.0 (6)1.0 (6)
gen-hyper-tw/GenHyperTW_uf20-050.wcnf.gz0.875 (7)0.875 (7)1.0 (6)0.875 (7)1.0 (6)1.0 (6)1.0 (6)
hs-timetabling/GreeceWesternGreeceUniversityInstance4.xml.wcnf.gz0.322 (58)0.2923 (64)0.1919 (98)0.0525 (361)0.1462 (129)0.1545 (122)0.047 (403)
maxcut/dimacs_mod/MANN_a27.clq.wcnf.gz0.9975 (405)1.0 (404)1.0 (404)0.9902 (408)1.0 (404)1.0 (404)0.9878 (409)
maxclique/structured/MANN_a45.clq.wcnf.gz0.9957 (693)1.0 (690)0.9928 (695)0.9942 (694)0.9957 (693)0.9957 (693)0.9957 (693)
maxclique/structured/MANN_a81.clq.wcnf.gz0.9982 (2225)1.0 (2221)0.9982 (2225)0.9937 (2235)0.9982 (2225)0.9982 (2225)0.9982 (2225)
min-fill/MinFill_R0_miles1500.wcnf.gz0.5667 (2637)0.5923 (2523)0.5583 (2677)0.5101 (2930)0.0 (-)0.0 (-)0.7296 (2048)
min-fill/MinFill_R0_mulsol.i.2.wcnf.gz0.9718 (247)0.0441 (5460)0.6549 (367)0.0222 (10844)0.0 (-)0.0 (-)0.0 (-)
min-fill/MinFill_R0_mulsol.i.5.wcnf.gz0.0346 (9608)0.0354 (9374)0.0327 (10149)0.0296 (11234)0.0 (-)0.0 (-)0.3066 (1082)
min-fill/MinFill_R0_myciel6.wcnf.gz1.0 (753)0.4922 (1531)0.9332 (807)0.2066 (3648)0.7208 (1045)0.7725 (975)0.4899 (1538)
min-fill/MinFill_R0_myciel7.wcnf.gz0.8979 (3593)0.236 (13672)0.207 (15589)0.207 (15589)0.0 (-)0.0 (-)0.0 (-)
min-fill/MinFill_R0_queen11_11.wcnf.gz0.9603 (4582)0.8923 (4931)0.8918 (4934)0.8334 (5280)0.0 (-)0.0 (-)0.8351 (5269)
min-fill/MinFill_R0_queen6_6.wcnf.gz0.9957 (232)0.9957 (232)1.0 (231)0.9587 (241)0.9789 (236)0.9789 (236)0.8992 (257)
min-fill/MinFill_R0_queen7_7.wcnf.gz0.998 (500)0.9862 (506)0.996 (501)0.9276 (538)0.9615 (519)0.9615 (519)0.9259 (539)
min-fill/MinFill_R0_queen8_12.wcnf.gz0.948 (2517)0.942 (2533)0.8715 (2738)0.7535 (3167)0.8375 (2849)0.8203 (2909)0.7663 (3114)
min-fill/MinFill_R0_queen8_8.wcnf.gz0.972 (962)0.9649 (969)0.9571 (977)0.8822 (1060)0.8342 (1121)0.8872 (1054)0.8691 (1076)
min-fill/MinFill_R0_queen9_9.wcnf.gz0.9833 (1680)0.9689 (1705)0.9695 (1704)0.76 (2174)0.8802 (1877)0.8849 (1867)0.7845 (2106)
min-fill/MinFill_R1_games120.wcnf.gz0.7528 (2722)0.6813 (3008)0.6432 (3186)0.4157 (4931)0.0 (-)0.0 (-)0.5374 (3814)
min-fill/MinFill_R3_miles1000.wcnf.gz0.5007 (3722)0.4844 (3847)0.4844 (3847)0.4138 (4504)0.0 (-)0.0 (-)0.5211 (3576)
min-fill/MinFill_R3_miles750.wcnf.gz0.2307 (3610)0.2188 (3806)0.2176 (3828)0.1686 (4941)0.0 (-)0.0 (-)0.332 (2508)
min-fill/MinFill_R4_miles500.wcnf.gz0.8812 (445)0.2587 (1518)0.1712 (2295)0.1211 (3244)0.0 (-)0.0 (-)0.3275 (1199)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.1.wcnf.gz1.0 (179)0.4091 (439)0.9 (199)0.2281 (788)0.8911 (201)1.0 (179)0.1052 (1710)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.8.wcnf.gz1.0 (86)0.1285 (676)1.0 (86)1.0 (86)1.0 (86)1.0 (86)0.0501 (1736)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.10.wcnf.gz1.0 (50)0.0074 (6881)1.0 (50)0.0074 (6881)1.0 (50)1.0 (50)0.0 (-)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.3.wcnf.gz1.0 (148)1.0 (148)0.8187 (181)1.0 (148)0.8187 (181)0.8187 (181)1.0 (148)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.7.wcnf.gz1.0 (60)0.6932 (87)1.0 (60)1.0 (60)1.0 (60)1.0 (60)1.0 (60)
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.2.wcnf.gz1.0 (1331)1.0 (1331)0.8839 (1506)1.0 (1331)1.0 (1331)1.0 (1331)0.891 (1494)
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.3.wcnf.gz1.0 (1312)0.0615 (21340)0.0615 (21340)0.0615 (21340)1.0 (1312)1.0 (1312)0.0941 (13959)
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf.gz1.0 (1382)1.0 (1382)0.8905 (1552)1.0 (1382)1.0 (1382)1.0 (1382)1.0 (1382)
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf.gz0.9847 (1044)0.621 (1656)0.621 (1656)0.621 (1656)1.0 (1028)1.0 (1028)0.5074 (2027)
close_solutions/SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf.wcnf.9.wcnf.gz1.0 (118)0.6685 (177)0.6685 (177)0.8322 (142)0.9444 (125)0.9444 (125)1.0 (118)
close_solutions/SAT11__application__manthey__traffic__traffic_3_uc_sat.cnf.wcnf.8.wcnf.gz1.0 (77)1.0 (77)1.0 (77)1.0 (77)1.0 (77)1.0 (77)1.0 (77)
close_solutions/SAT11__application__manthey__traffic__traffic_3_uc_sat.cnf.wcnf.9.wcnf.gz1.0 (137)1.0 (137)1.0 (137)1.0 (137)1.0 (137)1.0 (137)1.0 (137)
close_solutions/SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.4.wcnf.gz1.0 (78)1.0 (78)1.0 (78)0.4115 (191)1.0 (78)1.0 (78)0.8495 (92)
close_solutions/SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.170-NOTKNOWN.cnf.wcnf.6.wcnf.gz0.0 (-)0.0 (-)1.0 (48)0.0 (-)1.0 (48)1.0 (48)0.3333 (146)
SeanSafarpour/SM_AS_TOP_buggy1.dimacs.filtered.wcnf.gz0.6824 (84)0.6824 (84)0.6824 (84)0.5631 (102)1.0 (57)1.0 (57)0.6824 (84)
SeanSafarpour/SM_MAIN_MEM_buggy1.dimacs.filtered.wcnf.gz0.8529 (577)0.8529 (577)0.9029 (545)0.8529 (577)1.0 (492)1.0 (492)0.8529 (577)
bcp/hipp-yRa1/su/SU-100kb__simp-genos.haps.21.wcnf.gz0.9831 (58)0.9508 (60)0.9831 (58)0.9508 (60)0.9831 (58)0.9831 (58)0.9508 (60)
bcp/hipp-yRa1/su/SU3__simp-genos.haps.80.wcnf.gz1.0 (102)1.0 (102)0.981 (104)0.9717 (105)0.9717 (105)0.9717 (105)0.981 (104)
treewidth-computation/TWComp_1c75_N69.wcnf.gz1.0 (29)1.0 (29)0.8333 (35)1.0 (29)0.8824 (33)0.8824 (33)0.8571 (34)
treewidth-computation/TWComp_1dj7_N73.wcnf.gz1.0 (26)1.0 (26)0.8438 (31)1.0 (26)0.8438 (31)0.8438 (31)0.9 (29)
treewidth-computation/TWComp_1dp_N76.wcnf.gz1.0 (26)1.0 (26)0.9 (29)0.9643 (27)0.871 (30)0.871 (30)0.5192 (51)
treewidth-computation/TWComp_eil51.tsp_N51.wcnf.gz0.9 (9)0.9 (9)0.8182 (10)0.9 (9)0.9 (9)0.9 (9)0.8182 (10)
treewidth-computation/TWComp_myciel5_N47.wcnf.gz1.0 (19)1.0 (19)0.9524 (20)1.0 (19)0.9524 (20)0.9524 (20)1.0 (19)
treewidth-computation/TWComp_queen5_5_N25.wcnf.gz1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)1.0 (18)
treewidth-computation/TWComp_queen6_6_N36.wcnf.gz1.0 (25)1.0 (25)0.963 (26)1.0 (25)1.0 (25)1.0 (25)1.0 (25)
treewidth-computation/TWComp_queen7_7_N49.wcnf.gz1.0 (35)1.0 (35)0.9474 (37)1.0 (35)0.9474 (37)0.9474 (37)0.973 (36)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/adult_train_4_CNF_3_1.wcnf.gz0.7824 (6410)0.8 (6269)0.9944 (5043)0.8357 (6001)0.9291 (5398)0.9256 (5418)0.7146 (7018)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/adult_train_5_CNF_3_1.wcnf.gz0.9288 (5431)0.8528 (5915)1.0 (5044)0.7989 (6314)0.9017 (5594)0.9017 (5594)0.7244 (6963)
atcoss/mesat/atcoss_mesat_02.wcnf.gz0.6986 (72)0.8361 (60)0.0 (-)0.4435 (114)0.0 (-)0.0 (-)0.0 (-)
atcoss/mesat/atcoss_mesat_03.wcnf.gz0.6145 (82)0.7183 (70)0.0 (-)0.4215 (120)0.0 (-)0.0 (-)0.0 (-)
atcoss/mesat/atcoss_mesat_04.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss/mesat/atcoss_mesat_05.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss/mesat/atcoss_mesat_10.wcnf.gz0.2099 (80)0.4048 (41)0.0 (-)0.1298 (130)0.0 (-)0.0 (-)0.0 (-)
atcoss/mesat/atcoss_mesat_15.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss/mesat/atcoss_mesat_18.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss/sugar/atcoss_sugar_02.wcnf.gz0.8361 (60)0.9623 (52)0.8361 (60)0.8361 (60)0.0 (-)0.0 (-)0.9623 (52)
atcoss/sugar/atcoss_sugar_03.wcnf.gz0.8361 (60)0.8361 (60)0.8361 (60)0.85 (59)0.0 (-)0.0 (-)0.3617 (140)
atcoss/sugar/atcoss_sugar_04.wcnf.gz0.5082 (60)0.775 (39)0.0 (-)0.2199 (140)0.0 (-)0.0 (-)0.2053 (150)
atcoss/sugar/atcoss_sugar_05.wcnf.gz0.4194 (30)0.619 (20)0.0 (-)0.4194 (30)0.0 (-)0.0 (-)0.4194 (30)
atcoss/sugar/atcoss_sugar_10.wcnf.gz0.8095 (20)0.8095 (20)0.7391 (22)0.7391 (22)0.3208 (52)0.3208 (52)0.68 (24)
atcoss/sugar/atcoss_sugar_15.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss/sugar/atcoss_sugar_18.wcnf.gz0.4194 (30)0.6842 (18)0.0 (-)0.0699 (185)0.0 (-)0.0 (-)0.4194 (30)
xai-mindset2/australian.wcnf.gz0.7357 (699)0.9502 (541)0.306 (1682)0.306 (1682)0.0 (-)0.0 (-)0.2612 (1971)
mbd/b14_C-mbd14-0277.wcnf.gz1.0 (24)1.0 (24)0.5682 (43)0.7576 (32)0.5814 (42)0.5814 (42)0.4386 (56)
mbd/b14_C-mbd14-0310.wcnf.gz1.0 (25)1.0 (25)0.5778 (44)0.963 (26)0.619 (41)0.619 (41)0.6842 (37)
mbd/b14_C-mbd14-0337.wcnf.gz1.0 (24)1.0 (24)0.7813 (31)0.5952 (41)0.7813 (31)0.7813 (31)0.9259 (26)
mbd/b14_C-mbd14-0388.wcnf.gz1.0 (20)1.0 (20)0.7 (29)0.4667 (44)0.6176 (33)0.6176 (33)0.913 (22)
mbd/b21_C-mbd14-0218.wcnf.gz1.0 (26)0.8438 (31)0.54 (49)0.9643 (27)0.5294 (50)0.54 (49)0.9643 (27)
mbd/b21_C-mbd14-0322.wcnf.gz1.0 (25)1.0 (25)0.4 (64)0.5909 (43)0.5417 (47)0.5417 (47)1.0 (25)
maxcut/dimacs_mod/brock200_1.clq.dimacs_mod.wcnf.gz0.9945 (180)0.9945 (180)1.0 (179)1.0 (179)0.989 (181)0.989 (181)0.9945 (180)
maxclique/structured/brock200_1.clq.wcnf.gz0.9917 (240)0.9876 (241)1.0 (238)0.9795 (243)1.0 (238)1.0 (238)0.9755 (244)
maxcut/dimacs_mod/brock400_2.clq.dimacs_mod.wcnf.gz0.9921 (378)0.9921 (378)1.0 (375)0.9921 (378)0.9921 (378)0.9921 (378)0.9921 (378)
maxclique/structured/brock400_2.clq.wcnf.gz0.9768 (258)0.9806 (257)1.0 (252)0.9656 (261)1.0 (252)1.0 (252)0.9844 (256)
maxclique/structured/brock400_3.clq.wcnf.gz0.9921 (378)0.9947 (377)1.0 (375)0.9921 (378)0.9921 (378)0.9921 (378)0.9921 (378)
maxcut/dimacs_mod/brock800_1.clq.dimacs_mod.wcnf.gz0.9962 (782)0.9987 (780)1.0 (779)0.9962 (782)0.9936 (784)0.9936 (784)0.9962 (782)
maxclique/structured/brock800_1.clq.wcnf.gz0.9671 (212)1.0 (205)1.0 (205)0.9156 (224)1.0 (205)1.0 (205)0.945 (217)
maxclique/structured/brock800_3.clq.wcnf.gz0.9974 (781)0.9987 (780)1.0 (779)0.9974 (781)0.9962 (782)0.9962 (782)0.9962 (782)
maxclique/structured/brock800_4.clq.wcnf.gz0.9974 (781)0.9974 (781)0.9987 (780)0.9962 (782)0.9949 (783)0.9949 (783)0.9962 (782)
xai-mindset2/bupa.wcnf.gz0.9834 (300)0.9487 (311)0.9457 (312)0.9279 (318)0.7255 (407)0.7831 (377)0.8916 (331)
causal-discovery/causal_n7_i4_N1000_uai14_constant_int.wcnf.gz1.0 (63)1.0 (63)1.0 (63)1.0 (63)0.3596 (177)0.3596 (177)0.6957 (91)
causal-discovery/causal_n7_i4_N500_uai14_constant_int.wcnf.gz0.9412 (67)1.0 (63)1.0 (63)0.9412 (67)0.3596 (177)0.3596 (177)0.8889 (71)
causal-discovery/causal_n7_i6_N500_uai14_harddeps_int.wcnf.gz1.0 (116)1.0 (116)1.0 (116)1.0 (116)0.5545 (210)0.5545 (210)0.7748 (150)
xai-mindset2/cleveland-nominal.wcnf.gz0.9622 (237)0.9957 (229)0.9913 (230)0.8481 (269)0.7459 (306)0.7201 (317)0.8577 (266)
xai-mindset2/cleveland.wcnf.gz0.9728 (550)0.8272 (647)0.5442 (984)0.8208 (652)0.7941 (674)0.7813 (685)0.8048 (665)
des/cnf.14.p.10.wcnf.gz0.8333 (17)0.8333 (17)0.0 (12000741)0.8333 (17)0.0 (-)0.0 (-)0.7143 (20)
des/cnf.16.p.8.wcnf.gz1.0 (16)1.0 (16)0.0 (14886157)0.7727 (21)0.0 (-)0.0 (-)0.0 (-)
des/cnf.17.p.10.wcnf.gz1.0 (17)0.8182 (21)0.0 (18077187)0.8182 (21)0.0 (-)0.0 (-)0.6429 (27)
des/cnf.17.p.9.wcnf.gz1.0 (17)1.0 (17)0.0 (17395070)0.8182 (21)0.0 (-)0.0 (-)0.0 (-)
des/cnf.18.p.6.wcnf.gz1.0 (18)1.0 (18)0.0 (15308375)0.8636 (21)0.0 (-)0.0 (-)0.0 (-)
des/cnf.19.p.10.wcnf.gz0.7692 (25)0.8 (24)0.0 (23918580)0.8 (24)0.0 (-)0.0 (-)0.0 (-)
des/cnf.19.p.7.wcnf.gz0.9524 (20)1.0 (19)0.0 (18781280)0.8333 (23)0.0 (-)0.0 (-)0.0 (-)
des/cnf.19.p.9.wcnf.gz1.0 (19)1.0 (19)0.0 (23125189)0.8333 (23)0.0 (-)0.0 (-)0.0 (-)
des/cnf.20.p.10.wcnf.gz0.84 (24)0.84 (24)0.0 (27640150)0.7241 (28)0.0 (-)0.0 (-)0.0 (-)
des/cnf.20.p.4.wcnf.gz1.0 (20)0.913 (22)0.0 (13059935)0.913 (22)0.0 (-)0.0 (-)0.84 (24)
des/cnf.20.p.8.wcnf.gz0.913 (22)0.875 (23)0.0 (21334473)0.875 (23)0.0 (-)0.0 (-)0.0 (-)
des/cnf.20.p.9.wcnf.gz0.84 (24)0.7778 (26)0.0 (23387220)0.7778 (26)0.0 (-)0.0 (-)0.0 (-)
scheduling/cnf_10.wcnf.gz0.7183 (70)0.9444 (53)0.3208 (158)0.1629 (312)0.0 (-)0.0 (-)0.3953 (128)
scheduling/cnf_10_center.wcnf.gz0.9938 (160)0.9091 (175)0.708 (225)0.9412 (169)0.6838 (233)0.6838 (233)0.9143 (174)
scheduling/cnf_12.wcnf.gz0.9254 (66)1.0 (61)0.5254 (117)0.249 (248)0.0 (-)0.0 (-)0.4627 (133)
scheduling/cnf_12_center.wcnf.gz1.0 (237)0.9714 (244)0.85 (279)0.9754 (243)0.847 (280)0.841 (282)0.9958 (238)
scheduling/cnf_small.wcnf.gz0.9688 (31)0.9688 (31)0.4921 (62)0.9688 (31)0.4627 (66)0.4627 (66)0.8378 (36)
xai-mindset2/colic.wcnf.gz0.8738 (205)0.9326 (192)0.8571 (209)0.8072 (222)0.6294 (285)0.7759 (231)1.0 (179)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/compas_train_1_DNF_5_1.wcnf.gz0.9536 (2197)0.783 (2676)0.9429 (2222)0.5886 (3560)0.8957 (2339)0.8777 (2387)0.5879 (3564)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/credit_train_0_DNF_3_1.wcnf.gz0.8328 (5849)0.2317 (21027)0.8561 (5690)0.2317 (21027)0.9192 (5299)0.9187 (5302)0.2317 (21027)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/credit_train_1_CNF_4_1.wcnf.gz0.8867 (5941)0.8909 (5913)0.8821 (5972)0.8851 (5952)1.0 (5268)1.0 (5268)0.8821 (5972)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/credit_train_1_CNF_5_1.wcnf.gz0.8204 (5972)0.8204 (5972)0.8204 (5972)0.8233 (5951)0.0 (-)0.0 (-)0.8198 (5976)
railway-transport/d4.wcnf.gz0.5527 (9716)0.521 (10308)0.521 (10308)0.521 (10308)0.0 (-)0.0 (-)0.0 (-)
xai-mindset2/diabetes.wcnf.gz0.6274 (1137)0.9662 (738)0.4175 (1709)0.4175 (1709)0.0 (-)0.0 (-)0.5772 (1236)
xai-mindset2/ecoli.wcnf.gz0.9219 (588)0.8252 (657)0.5186 (1046)0.8044 (674)0.808 (671)0.8538 (635)0.8432 (643)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_3.wcnf.gz0.6154 (12)1.0 (7)0.8889 (8)0.4211 (18)0.7273 (10)0.8 (9)0.4211 (18)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_4.wcnf.gz1.0 (4)0.7143 (6)1.0 (4)0.8333 (5)1.0 (4)1.0 (4)0.2941 (16)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf.gz0.75 (11)0.6429 (13)1.0 (8)0.75 (11)0.75 (11)0.9 (9)0.6429 (13)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf.gz0.4737 (18)0.9 (9)0.9 (9)0.5 (17)0.75 (11)0.75 (11)0.45 (19)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf.gz0.3939 (32)0.4333 (29)1.0 (12)0.65 (19)0.9286 (13)0.9286 (13)0.619 (20)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_2.wcnf.gz0.5455 (21)0.6667 (17)0.8571 (13)0.6316 (18)1.0 (11)1.0 (11)0.6 (19)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_2_10_2.wcnf.gz0.4348 (22)0.7143 (13)0.8333 (11)0.7692 (12)0.7143 (13)0.7692 (12)0.3226 (30)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf.gz0.625 (15)0.5556 (17)0.9091 (10)0.4545 (21)0.8333 (11)0.8333 (11)0.4 (24)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf.gz0.9 (9)0.6923 (12)0.9 (9)0.5294 (16)0.8182 (10)0.9 (9)0.3462 (25)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_4.wcnf.gz0.5882 (16)0.8333 (11)1.0 (9)0.5556 (17)1.0 (9)0.9091 (10)0.3333 (29)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_1.wcnf.gz0.5 (17)0.6923 (12)0.8182 (10)0.5 (17)0.6923 (12)0.6923 (12)0.45 (19)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf.gz0.5 (13)0.4667 (14)0.7778 (8)0.3889 (17)0.6364 (10)0.6364 (10)0.2593 (26)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_3.wcnf.gz0.6 (14)1.0 (8)0.9 (9)0.4737 (18)0.6923 (12)0.8182 (10)0.3462 (25)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf.gz0.4737 (18)0.5625 (15)1.0 (8)0.36 (24)0.9 (9)1.0 (8)0.36 (24)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf.gz0.8182 (10)1.0 (8)1.0 (8)0.75 (11)1.0 (8)1.0 (8)0.9 (9)
MaximumCommonSub-GraphExtraction/solved/g10_n13e12_n13e12_n14e13_n14e13_n14e13_n14e13_n14e13_n15e13_n15e14_n15e14.wcnf.gz0.0 (-)1.0 (1)1.0 (1)1.0 (1)1.0 (1)1.0 (1)1.0 (1)
MaximumCommonSub-GraphExtraction/solved/g2_n35e34_n70e73.wcnf.gz1.0 (23)1.0 (23)1.0 (23)1.0 (23)1.0 (23)1.0 (23)1.0 (23)
MaximumCommonSub-GraphExtraction/solved/g2_n38e52_n41e47.wcnf.gz1.0 (32)1.0 (32)1.0 (32)1.0 (32)1.0 (32)1.0 (32)1.0 (32)
MaximumCommonSub-GraphExtraction/solved/g2_n44e43_n57e61.wcnf.gz1.0 (31)1.0 (31)1.0 (31)1.0 (31)1.0 (31)1.0 (31)1.0 (31)
MaximumCommonSub-GraphExtraction/solved/g2_n44e59_n74e84.wcnf.gz1.0 (42)1.0 (42)0.9773 (43)1.0 (42)1.0 (42)0.9773 (43)1.0 (42)
MaximumCommonSub-GraphExtraction/solved/g2_n68e88_n77e106.wcnf.gz1.0 (55)1.0 (55)0.918 (60)0.9825 (56)0.9333 (59)0.9333 (59)0.9492 (58)
MaximumCommonSub-GraphExtraction/solved/g3_n43e49_n45e51_n47e60.wcnf.gz1.0 (35)1.0 (35)0.973 (36)1.0 (35)1.0 (35)1.0 (35)1.0 (35)
MaximumCommonSub-GraphExtraction/solved/g3_n43e49_n72e77_n81e85.wcnf.gz1.0 (35)1.0 (35)0.9474 (37)1.0 (35)0.9 (39)0.9231 (38)1.0 (35)
MaximumCommonSub-GraphExtraction/solved/g3_n52e77_n57e74_n58e75.wcnf.gz1.0 (54)0.9649 (56)0.9649 (56)0.9821 (55)0.9649 (56)0.9649 (56)0.9821 (55)
MaximumCommonSub-GraphExtraction/solved/g4_n24e34_n47e56_n92e122_n98e129.wcnf.gz1.0 (22)1.0 (22)1.0 (22)1.0 (22)1.0 (22)1.0 (22)1.0 (22)
MaximumCommonSub-GraphExtraction/solved/g4_n58e71_n61e85_n100e127_n104e131.wcnf.gz1.0 (55)1.0 (55)0.9492 (58)0.9825 (56)0.918 (60)0.918 (60)0.9825 (56)
MaximumCommonSub-GraphExtraction/solved/g5_n24e23_n28e29_n32e33_n32e33_n38e39.wcnf.gz1.0 (9)1.0 (9)0.9091 (10)1.0 (9)0.9091 (10)0.9091 (10)1.0 (9)
MaximumCommonSub-GraphExtraction/solved/g6_n14e13_n14e21_n14e13_n14e13_n14e20_n18e28.wcnf.gz1.0 (5)1.0 (5)1.0 (5)1.0 (5)1.0 (5)1.0 (5)1.0 (5)
MaximumCommonSub-GraphExtraction/solved/g6_n39e38_n43e43_n61e61_n67e69_n67e68_n82e119.wcnf.gz1.0 (22)1.0 (22)0.92 (24)0.9583 (23)0.8846 (25)0.8846 (25)1.0 (22)
MaximumCommonSub-GraphExtraction/solved/g8_n39e38_n43e43_n58e57_n67e69_n67e68_n67e69_n67e68_n82e119.wcnf.gz1.0 (22)1.0 (22)0.9583 (23)0.9583 (23)0.92 (24)0.92 (24)1.0 (22)
optic/gen_add_4_carry_33.wcnf.gz1.0 (188)1.0 (188)0.9844 (191)0.945 (199)1.0 (188)1.0 (188)0.9643 (195)
optic/gen_add_6_carry_991.wcnf.gz0.9908 (108)0.9 (119)0.9643 (111)0.7152 (150)0.9558 (112)0.9558 (112)0.7013 (153)
optic/gen_cvc-add7to3_9999.wcnf.gz0.9561 (204)0.9751 (200)0.9899 (197)0.8448 (231)0.98 (199)0.9899 (197)0.8673 (225)
optic/gen_mult_3_5_9999.wcnf.gz0.9672 (60)0.9516 (61)0.9219 (63)0.8194 (71)0.9833 (59)1.0 (58)0.7662 (76)
optic/gen_mult_3_6_9999.wcnf.gz0.9545 (65)0.9265 (67)0.8873 (70)0.75 (83)1.0 (62)1.0 (62)0.7079 (88)
optic/gen_mult_4_5_33.wcnf.gz0.976 (748)0.8204 (890)0.9799 (745)0.8297 (880)1.0 (730)1.0 (730)0.8393 (870)
optic/gen_mult_4_5_399.wcnf.gz0.976 (748)0.8204 (890)0.9708 (752)0.8354 (874)0.9973 (732)1.0 (730)0.8422 (867)
optic/gen_mult_4_5_991.wcnf.gz0.9297 (127)0.7677 (154)0.8947 (132)0.5694 (208)1.0 (118)1.0 (118)0.5409 (219)
optic/gen_mult_4_5_9999.wcnf.gz0.8795 (223)0.7086 (277)0.912 (215)0.6006 (327)0.9899 (198)0.9899 (198)0.5777 (340)
optic/gen_mult_4_6_991.wcnf.gz0.8466 (162)0.738 (186)0.8364 (164)0.4452 (309)0.9857 (139)0.9857 (139)0.3802 (362)
optic/gen_mult_4_6_9999.wcnf.gz0.8489 (416)0.6996 (505)0.91 (388)0.5198 (680)0.9944 (355)0.9944 (355)0.424 (834)
optic/gen_mult_4_7_991.wcnf.gz0.8421 (170)0.7385 (194)0.8045 (178)0.4011 (358)0.9931 (144)0.9931 (144)0.3683 (390)
optic/gen_mult_5_5_399.wcnf.gz0.9447 (2441)0.8047 (2866)0.9718 (2373)0.8305 (2777)0.9991 (2308)0.9991 (2308)0.7842 (2941)
optic/gen_mult_5_5_991.wcnf.gz0.9363 (250)0.8453 (277)0.8902 (263)0.5199 (451)0.9833 (238)0.9958 (235)0.4059 (578)
optic/gen_mult_5_5_9999.wcnf.gz0.8785 (575)0.7107 (711)0.8972 (563)0.5326 (949)0.9922 (509)0.9922 (509)0.4306 (1174)
optic/gen_square_5_9999.wcnf.gz0.9516 (61)0.8082 (72)0.9516 (61)0.6782 (86)1.0 (58)1.0 (58)0.6082 (96)
maxcut/dimacs_mod/hamming10-2.clq.wcnf.gz1.0 (400)1.0 (400)1.0 (400)1.0 (400)1.0 (400)1.0 (400)1.0 (400)
maxclique/structured/hamming10-4.clq.wcnf.gz1.0 (984)0.9919 (992)1.0 (984)0.998 (986)0.9919 (992)0.9919 (992)0.9949 (989)
xai-mindset2/heart-h.wcnf.gz0.9153 (235)0.806 (267)0.806 (267)0.8244 (261)0.5822 (370)0.7176 (300)1.0 (215)
xai-mindset2/heart-statlog.wcnf.gz0.9412 (203)0.8571 (223)0.8458 (226)0.8688 (220)0.7085 (270)0.73 (262)0.817 (234)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/heart_train_4_CNF_3_1.wcnf.gz0.9375 (47)1.0 (44)0.9375 (47)0.8654 (51)0.8491 (52)0.8491 (52)0.9375 (47)
xai-mindset2/hepatitis.wcnf.gz0.9125 (79)0.5935 (122)0.9865 (73)0.73 (99)0.8795 (82)0.7849 (92)0.6636 (109)
xai-mindset2/hungarian.wcnf.gz0.7241 (318)0.7064 (326)0.5088 (453)0.825 (279)0.7219 (319)0.825 (279)1.0 (230)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/ionosphere_train_2_DNF_3_1.wcnf.gz0.9565 (22)1.0 (21)1.0 (21)0.7333 (29)1.0 (21)1.0 (21)0.6875 (31)
maxcut/dimacs_mod/keller5.clq.wcnf.gz0.9882 (253)0.9805 (255)1.0 (250)0.9843 (254)1.0 (250)1.0 (250)0.9882 (253)
xai-mindset2/liver-disorder.wcnf.gz0.997 (330)0.9821 (335)0.9821 (335)0.9677 (340)0.8684 (379)0.9167 (359)0.9649 (341)
maxcut/bipartite/maxcut-140-630-0.7-31.wcnf.gz0.8724 (195)0.9096 (187)1.0 (170)0.8028 (212)0.9828 (173)0.9942 (171)0.7991 (213)
maxcut/bipartite/maxcut-140-630-0.8-17.wcnf.gz0.8622 (195)0.9086 (185)1.0 (168)0.7972 (211)0.9826 (171)0.9826 (171)0.7934 (212)
maxcut/bipartite/maxcut-140-630-0.8-7.wcnf.gz0.9126 (182)0.893 (186)1.0 (166)0.8564 (194)0.9709 (171)1.0 (166)0.893 (186)
SeanSafarpour/mem_ctrl-problem.dimacs_27.filtered.wcnf.gz1.0 (1)0.0465 (42)0.0513 (38)0.0465 (42)0.1176 (16)0.1176 (16)0.0513 (38)
aes/mul_8_11.wcnf.gz0.6311 (102)0.3333 (194)1.0 (64)0.1566 (414)0.942 (68)0.942 (68)0.2 (324)
aes/mul_8_13.wcnf.gz0.5304 (114)0.3742 (162)0.9531 (63)0.1338 (455)1.0 (60)1.0 (60)0.2007 (303)
aes/mul_8_14.wcnf.gz0.6404 (88)0.5135 (110)0.9194 (61)0.1839 (309)0.9661 (58)0.9661 (58)0.2088 (272)
aes/mul_8_9.wcnf.gz1.0 (42)0.5119 (83)0.9556 (44)0.2048 (209)1.0 (42)1.0 (42)0.1878 (228)
bcp/syn/normalized-C499.b.wcnf.gz0.92 (49)0.9583 (47)0.92 (49)0.6301 (72)0.9787 (46)0.9787 (46)0.5169 (88)
bcp/fir/normalized-fir08_area_opers.wcnf.gz1.0 (48)0.9608 (50)0.8909 (54)0.4455 (109)0.9245 (52)0.9245 (52)0.4667 (104)
pseudoBoolean/garden/normalized-g100x100.opb.msat.wcnf.gz0.8365 (2555)0.6411 (3334)0.9414 (2270)0.6411 (3334)0.9949 (2148)0.9949 (2148)0.6411 (3334)
bcp/msp/normalized-ii16a2.wcnf.gz1.0 (1164)1.0 (1164)0.9017 (1291)0.8124 (1433)1.0 (1164)0.9898 (1176)0.8989 (1295)
pseudoBoolean/primes-dimacs-cnf/normalized-par32-1.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean/primes-dimacs-cnf/normalized-par32-2.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean/primes-dimacs-cnf/normalized-par32-3.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp/msp/normalized-par32-4-c.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean/primes-dimacs-cnf/normalized-par32-4.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean/primes-dimacs-cnf/normalized-par32-5.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp/msp/normalized-par32-5.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
logic-synthesis/normalized-test4.pi.opb.msat.wcnf.gz0.812 (116)0.5249 (180)0.812 (116)0.5026 (188)0.9896 (95)0.9896 (95)0.4481 (211)
maxclique/structured/p_hat1000-1.clq.wcnf.gz1.0 (990)1.0 (990)1.0 (990)1.0 (990)0.999 (991)0.999 (991)1.0 (990)
maxclique/structured/p_hat1000-3.clq.wcnf.gz0.9968 (935)0.9968 (935)1.0 (932)0.9863 (945)0.9936 (938)0.9936 (938)0.9842 (947)
maxcut/dimacs_mod/p_hat300-3.clq.wcnf.gz0.9854 (273)0.9712 (277)1.0 (269)0.9818 (274)1.0 (269)1.0 (269)0.9747 (276)
maxclique/structured/p_hat500-2.clq.wcnf.gz1.0 (464)0.9979 (465)1.0 (464)0.9957 (466)0.9873 (470)0.9873 (470)0.9915 (468)
maxclique/structured/p_hat700-1.clq.wcnf.gz0.9986 (690)1.0 (689)1.0 (689)1.0 (689)0.9971 (691)0.9971 (691)0.9986 (690)
maxclique/structured/p_hat700-3.clq.wcnf.gz0.9938 (642)0.9953 (641)1.0 (638)0.9892 (645)0.9907 (644)0.9907 (644)0.9892 (645)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/parkinsons_train_8_DNF_3_1.wcnf.gz1.0 (15)1.0 (15)0.9412 (16)1.0 (15)0.7619 (20)0.7619 (20)1.0 (15)
railway-transport/pesp_18Min.wcnf.gz0.7978 (370)0.1674 (1767)0.1144 (2587)0.0684 (4327)0.8706 (339)0.8706 (339)0.0719 (4117)
railway-transport/pesp_5min.wcnf.gz1.0 (72)0.9865 (73)0.9733 (74)0.4479 (162)0.869 (83)0.9125 (79)0.0547 (1334)
xai-mindset2/postoperative-patient-data.wcnf.gz0.9545 (65)1.0 (62)0.9844 (63)0.8077 (77)0.5122 (122)0.7412 (84)0.8873 (70)
ramsey/ram_k3_n10.ra0.wcnf.gz1.0 (4)1.0 (4)1.0 (4)1.0 (4)1.0 (4)1.0 (4)1.0 (4)
ramsey/ram_k3_n11.ra0.wcnf.gz1.0 (7)1.0 (7)1.0 (7)1.0 (7)1.0 (7)1.0 (7)1.0 (7)
ramsey/ram_k3_n12.ra0.wcnf.gz1.0 (10)1.0 (10)1.0 (10)0.8462 (12)1.0 (10)1.0 (10)0.9167 (11)
ramsey/ram_k3_n13.ra0.wcnf.gz1.0 (16)1.0 (16)1.0 (16)1.0 (16)1.0 (16)1.0 (16)0.8095 (20)
ramsey/ram_k3_n14.ra0.wcnf.gz1.0 (21)0.9167 (23)1.0 (21)0.7857 (27)1.0 (21)1.0 (21)0.7857 (27)
ramsey/ram_k3_n15.ra0.wcnf.gz1.0 (30)0.9688 (31)1.0 (30)0.9688 (31)1.0 (30)1.0 (30)0.8611 (35)
ramsey/ram_k3_n16.ra0.wcnf.gz0.9756 (40)0.9756 (40)1.0 (39)0.9524 (41)1.0 (39)1.0 (39)0.8333 (47)
ramsey/ram_k3_n17.ra0.wcnf.gz0.8644 (58)1.0 (50)1.0 (50)0.9808 (51)1.0 (50)1.0 (50)0.8226 (61)
ramsey/ram_k3_n18.ra0.wcnf.gz0.9531 (63)1.0 (60)1.0 (60)0.6559 (92)1.0 (60)1.0 (60)0.6162 (98)
ramsey/ram_k3_n19.ra0.wcnf.gz0.8941 (84)0.987 (76)1.0 (75)0.9048 (83)1.0 (75)1.0 (75)0.5984 (126)
ramsey/ram_k3_n20.ra0.wcnf.gz0.8835 (102)0.9479 (95)1.0 (90)0.9286 (97)1.0 (90)1.0 (90)0.728 (124)
ramsey/ram_k4_n18.ra0.wcnf.gz0.6667 (14)0.8333 (11)1.0 (9)0.3125 (31)1.0 (9)1.0 (9)0.3333 (29)
ramsey/ram_k4_n19.ra0.wcnf.gz0.6154 (25)0.8421 (18)1.0 (15)0.1975 (80)1.0 (15)1.0 (15)0.3721 (42)
ramsey/ram_k4_n20.ra0.wcnf.gz0.6579 (37)0.7353 (33)1.0 (24)0.2137 (116)1.0 (24)1.0 (24)0.3676 (67)
reversi/rev66-12.wcnf.gz1.0 (21)1.0 (21)1.0 (21)1.0 (21)1.0 (21)1.0 (21)1.0 (21)
reversi/rev66-14.wcnf.gz1.0 (19)1.0 (19)1.0 (19)1.0 (19)1.0 (19)0.625 (31)0.7407 (26)
reversi/rev66-16.wcnf.gz1.0 (17)1.0 (17)0.7826 (22)1.0 (17)0.7826 (22)0.5455 (32)1.0 (17)
reversi/rev66-18.wcnf.gz1.0 (15)1.0 (15)1.0 (15)1.0 (15)0.64 (24)0.3902 (40)0.4848 (32)
reversi/rev66-20.wcnf.gz1.0 (13)1.0 (13)1.0 (13)1.0 (13)0.6087 (22)0.4242 (32)0.3784 (36)
reversi/rev66-22.wcnf.gz1.0 (11)0.7059 (16)0.6316 (18)1.0 (11)0.4444 (26)0.4444 (26)0.2553 (46)
reversi/rev66-24.wcnf.gz0.8333 (11)1.0 (9)0.5882 (16)1.0 (9)0.4348 (22)0.4348 (22)0.2857 (34)
reversi/rev66-26.wcnf.gz0.4706 (16)1.0 (7)0.6154 (12)1.0 (7)0.381 (20)0.1951 (40)0.0 (-)
reversi/rev66-28.wcnf.gz0.4286 (13)0.75 (7)0.3529 (16)1.0 (5)0.2857 (20)0.1333 (44)0.3529 (16)
reversi/rev66-30.wcnf.gz1.0 (3)1.0 (3)0.3636 (10)0.5 (7)0.4 (9)0.1538 (25)0.1212 (32)
reversi/rev66-32.wcnf.gz0.5 (3)1.0 (1)0.6667 (2)0.6667 (2)0.25 (7)0.25 (7)0.0 (-)
SeanSafarpour/rsdecoder-problem.dimacs_38.filtered.wcnf.gz0.0476 (83)0.0047 (850)1.0 (3)0.0047 (850)1.0 (3)1.0 (3)0.0043 (933)
SeanSafarpour/rsdecoder-problem.dimacs_41.filtered.wcnf.gz0.0012 (2589)0.0012 (2589)1.0 (2)0.0012 (2589)1.0 (2)1.0 (2)0.0051 (583)
SeanSafarpour/rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.wcnf.gz0.0118 (759)0.0122 (737)0.1111 (80)0.0122 (737)0.1915 (46)0.1915 (46)0.0143 (627)
SeanSafarpour/rsdecoder4.dimacs.filtered.wcnf.gz0.014 (498)0.014 (499)0.1167 (59)0.014 (499)0.1707 (40)0.1707 (40)0.0233 (299)
SeanSafarpour/rsdecoder6.dimacs.filtered.wcnf.gz0.1111 (80)0.1111 (80)0.1071 (83)0.1915 (46)0.9 (9)0.9 (9)0.0098 (916)
fault-diagnosis/s38584_nan_explicit_10_0.wcnf.gz1.0 (215)1.0 (215)0.973 (221)0.9908 (217)0.0 (-)0.0 (-)0.9038 (238)
fault-diagnosis/s38584_nan_explicit_14_0.wcnf.gz1.0 (202)1.0 (202)1.0 (202)1.0 (202)0.0 (-)0.0 (-)0.812 (249)
fault-diagnosis/s38584_nan_explicit_2_0.wcnf.gz0.9854 (136)0.9783 (137)0.9507 (141)0.9643 (139)0.0 (-)0.0 (-)0.8766 (153)
fault-diagnosis/s38584_nan_explicit_5_0.wcnf.gz0.9944 (177)0.9888 (178)0.9725 (181)0.9944 (177)0.0 (-)0.0 (-)0.7973 (221)
fault-diagnosis/s38584_nan_explicit_6_0.wcnf.gz0.9951 (203)0.9807 (206)0.9575 (211)0.9621 (210)0.0 (-)0.0 (-)0.9103 (222)
fault-diagnosis/s38584_nan_explicit_7_0.wcnf.gz0.8832 (213)0.9087 (207)0.781 (241)0.8791 (214)0.0 (-)0.0 (-)0.9844 (191)
fault-diagnosis/s38584_nan_explicit_8_0.wcnf.gz0.9655 (202)0.9655 (202)0.9608 (203)0.9655 (202)0.0 (-)0.0 (-)0.9751 (200)
fault-diagnosis/s38584_nan_explicit_9_0.wcnf.gz0.986 (213)0.9953 (211)0.986 (213)0.9906 (212)0.0 (-)0.0 (-)0.986 (213)
maxcut/dimacs_mod/san200_0.7_1.clq.wcnf.gz0.9958 (238)0.9754 (243)1.0 (237)0.9333 (254)1.0 (237)1.0 (237)0.937 (253)
maxcut/dimacs_mod/san400_0.7_2.clq.wcnf.gz1.0 (236)0.9556 (247)1.0 (236)0.9634 (245)1.0 (236)1.0 (236)0.9518 (248)
maxclique/structured/sanr200_0.9.clq.wcnf.gz0.9755 (162)0.9876 (160)1.0 (158)0.9755 (162)0.9876 (160)0.9876 (160)0.9815 (161)
maxclique/structured/sanr400_0.5.clq.wcnf.gz0.9974 (388)0.9974 (388)1.0 (387)0.9974 (388)0.9949 (389)0.9949 (389)0.9974 (388)
maxclique/structured/sanr400_0.7.clq.wcnf.gz0.9974 (380)1.0 (379)1.0 (379)0.9974 (380)0.9922 (382)0.9922 (382)0.9948 (381)
aes/sbox_8.wcnf.gz0.5639 (829)0.5532 (845)0.0 (-)0.5499 (850)0.0 (-)0.0 (-)0.5487 (852)
set-covering/crafted/scpclr/scpclr11_maxsat.wcnf.gz0.8 (29)0.8889 (26)0.96 (24)0.6486 (36)1.0 (23)1.0 (23)0.6667 (35)
set-covering/crafted/scpclr/scpclr12_maxsat.wcnf.gz0.8 (29)0.8 (29)0.8276 (28)0.5854 (40)0.8276 (28)1.0 (23)0.5854 (40)
set-covering/crafted/scpclr/scpclr13_maxsat.wcnf.gz1.0 (28)0.9667 (29)0.9355 (30)0.6304 (45)0.9355 (30)0.9667 (29)0.6304 (45)
set-covering/crafted/scpcyc/scpcyc06_maxsat.wcnf.gz1.0 (60)0.9683 (62)1.0 (60)0.8243 (73)1.0 (60)0.9839 (61)0.8243 (73)
set-covering/crafted/scpcyc/scpcyc07_maxsat.wcnf.gz1.0 (149)0.9868 (151)0.9434 (158)0.7813 (191)0.974 (153)0.9677 (154)0.7317 (204)
set-covering/crafted/scpcyc/scpcyc08_maxsat.wcnf.gz0.9378 (385)0.8808 (410)0.9211 (392)0.7373 (490)0.9864 (366)0.9918 (364)0.6487 (557)
set-covering/crafted/scpcyc/scpcyc09_maxsat.wcnf.gz0.8658 (960)0.5994 (1387)0.9917 (838)0.7718 (1077)0.9917 (838)1.0 (831)0.6317 (1316)
set-covering/crafted/scpcyc/scpcyc10_maxsat.wcnf.gz0.8509 (2253)0.3461 (5540)0.9902 (1936)0.7678 (2497)0.9958 (1925)0.9984 (1920)0.2482 (7728)
set-covering/crafted/scpcyc/scpcyc11_maxsat.wcnf.gz0.7415 (5793)0.1526 (28160)0.9869 (4352)0.1526 (28160)0.994 (4321)0.994 (4321)0.1526 (28160)
xai-mindset2/shuttleM.wcnf.gz0.3791 (392)0.4448 (334)0.0 (-)0.1663 (895)0.0 (-)0.0 (-)0.0 (-)
bcp/hipp-yRa1/simp/simp-ibd_50.08.wcnf.gz1.0 (57)1.0 (57)1.0 (57)1.0 (57)0.9831 (58)0.9831 (58)1.0 (57)
SeanSafarpour/spi2.dimacs.filtered.wcnf.gz0.6667 (2)0.6667 (2)0.5 (3)0.0153 (130)1.0 (1)1.0 (1)0.1667 (11)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/tictactoe_train_0_CNF_2_1.wcnf.gz1.0 (153)1.0 (153)1.0 (153)0.6087 (252)1.0 (153)1.0 (153)0.4709 (326)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/tictactoe_train_1_DNF_5_1.wcnf.gz0.6433 (170)1.0 (109)0.8148 (134)0.6322 (173)1.0 (109)1.0 (109)0.5584 (196)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/tictactoe_train_3_CNF_2_1.wcnf.gz1.0 (150)1.0 (150)1.0 (150)0.3311 (455)1.0 (150)1.0 (150)0.4507 (334)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/toms_test_0_DNF_2_1.wcnf.gz0.8929 (83)0.8333 (89)0.9146 (81)0.6818 (109)0.8333 (89)0.8333 (89)0.7979 (93)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/toms_train_1_DNF_2_1.wcnf.gz0.8799 (707)0.1435 (4339)0.9511 (654)0.0362 (17193)0.9842 (632)0.9842 (632)0.0362 (17193)
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb90.wcnf.gz0.9639 (82)1.0 (79)1.0 (79)0.9195 (86)1.0 (79)1.0 (79)0.9302 (85)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr12-plb100.wcnf.gz0.987 (76)0.987 (76)0.987 (76)0.987 (76)0.987 (76)0.987 (76)0.8636 (87)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr14-plb100.wcnf.gz1.0 (68)0.9583 (71)1.0 (68)0.8734 (78)1.0 (68)1.0 (68)0.8846 (77)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr7-plb100.wcnf.gz1.0 (71)0.973 (73)1.0 (71)0.9231 (77)1.0 (71)1.0 (71)0.96 (74)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr9-plb100.wcnf.gz0.9615 (77)0.9615 (77)1.0 (74)0.9375 (79)1.0 (74)1.0 (74)0.9494 (78)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr10-plb100.wcnf.gz0.9067 (74)0.9444 (71)1.0 (67)0.85 (79)0.9855 (68)0.9855 (68)0.8 (84)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr11-plb100.wcnf.gz0.9231 (77)0.96 (74)1.0 (71)0.8471 (84)1.0 (71)1.0 (71)0.9114 (78)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr12-plb100.wcnf.gz0.9452 (72)0.8734 (78)1.0 (68)0.8961 (76)0.9857 (69)0.9857 (69)0.8519 (80)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr13-plb100.wcnf.gz0.9487 (77)0.961 (76)1.0 (73)0.8916 (82)1.0 (73)1.0 (73)0.881 (83)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr14-plb100.wcnf.gz0.9375 (79)0.9375 (79)1.0 (74)0.9036 (82)0.9868 (75)0.9868 (75)0.8929 (83)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr5-plb100.wcnf.gz1.0 (65)0.8684 (75)1.0 (65)0.9706 (67)1.0 (65)1.0 (65)0.9167 (71)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr6-plb100.wcnf.gz0.8933 (74)0.9571 (69)1.0 (66)0.8481 (78)1.0 (66)0.9853 (67)0.9437 (70)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr7-plb100.wcnf.gz1.0 (67)0.9577 (70)1.0 (67)0.8293 (81)0.9855 (68)0.9855 (68)0.7816 (86)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr8-plb100.wcnf.gz0.9143 (69)1.0 (63)1.0 (63)0.8889 (71)1.0 (63)1.0 (63)0.8421 (75)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr9-plb100.wcnf.gz0.9846 (64)0.9552 (66)1.0 (63)0.8649 (73)1.0 (63)1.0 (63)0.8312 (76)
SeanSafarpour/wb_4m8s-problem.dimacs_47.filtered.wcnf.gz0.0084 (3929)0.0091 (3632)0.7333 (44)0.0 (-)1.0 (32)1.0 (32)0.0391 (842)
SeanSafarpour/wb_4m8s-problem.dimacs_49.filtered.wcnf.gz0.0 (-)0.0 (-)0.8867 (255)0.0 (-)1.0 (226)1.0 (226)0.0 (-)
SeanSafarpour/wb_4m8s1.dimacs.filtered.wcnf.gz0.1338 (283)0.0824 (460)1.0556 (35)0.4318 (87)1.0 (37)1.0 (37)0.2249 (168)
SeanSafarpour/wb_4m8s4.dimacs.filtered.wcnf.gz0.9913 (230)0.9913 (230)1.0178 (224)0.9786 (233)1.0 (228)1.0 (228)0.9913 (230)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/wdbc_train_0_DNF_5_1.wcnf.gz1.0 (21)1.0 (21)1.0 (21)0.4583 (47)1.0 (21)1.0 (21)0.5238 (41)
railway-transport/we.wcnf.gz0.166 (5199)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)