BenchmarkLoandraSATLikeLinSBPS2018sls-mcssls-mcs-lsuOpen-WBO-gOpen-WBO-ms
aes-key-recovery/AES1-74-32.wcnf.gz0.8125 (31)0.8966 (28)0.9286 (27)0.3714 (69)0.3514 (73)1.0 (25)0.7429 (34)
aes-key-recovery/AES1-76-36.wcnf.gz0.9333 (29)0.9032 (30)0.9032 (30)0.3889 (71)0.3889 (71)1.0 (27)0.9655 (28)
aes-key-recovery/AES1-76-38.wcnf.gz0.7308 (25)0.7037 (26)0.7037 (26)0.2923 (64)0.2923 (64)1.0 (18)0.8261 (22)
aes-key-recovery/AES2-70-62.wcnf.gz0.9556 (44)1.0 (42)1.0 (42)0.5 (85)0.4886 (87)0.5059 (84)0.9773 (43)
aes-key-recovery/AES2-72-67.wcnf.gz0.8537 (40)0.8974 (38)0.8974 (38)0.4545 (76)0.4605 (75)0.7955 (43)1.0 (34)
gen-hyper-tw/GenHyperTW_2bitcomp_5.wcnf.gz0.4474 (37)1.0 (16)0.4595 (36)0.0 (-)0.0 (-)0.3778 (44)0.2656 (63)
gen-hyper-tw/GenHyperTW_aim-50-1_6-no-3.wcnf.gz0.7333 (14)1.0 (10)0.8462 (12)0.9167 (11)0.9167 (11)0.7857 (13)0.7857 (13)
gen-hyper-tw/GenHyperTW_aim-50-2_0-no-3.wcnf.gz0.7778 (17)1.0 (13)0.7778 (17)1.0 (13)1.0 (13)0.7368 (18)0.8235 (16)
gen-hyper-tw/GenHyperTW_b01.wcnf.gz1.0 (5)0.75 (7)1.0 (5)0.8571 (6)0.8571 (6)1.0 (5)0.8571 (6)
gen-hyper-tw/GenHyperTW_dubois20.wcnf.gz1.0 (5)1.0 (5)1.0 (5)1.0 (5)0.8571 (6)1.0 (5)1.0 (5)
gen-hyper-tw/GenHyperTW_dubois23.wcnf.gz1.0 (4)1.0 (4)0.8333 (5)1.0 (4)1.0 (4)0.8333 (5)1.0 (4)
gen-hyper-tw/GenHyperTW_dubois24.wcnf.gz0.7143 (6)1.0 (4)0.7143 (6)1.0 (4)1.0 (4)0.7143 (6)0.8333 (5)
gen-hyper-tw/GenHyperTW_dubois28.wcnf.gz0.8571 (6)1.0 (5)0.75 (7)1.0 (5)0.4615 (12)0.6 (9)0.75 (7)
gen-hyper-tw/GenHyperTW_dubois30.wcnf.gz1.0 (6)1.0 (6)0.875 (7)0.875 (7)0.875 (7)0.875 (7)0.7 (9)
gen-hyper-tw/GenHyperTW_flat30-1.wcnf.gz1.0 (30)0.9118 (33)0.9394 (32)0.0 (-)0.0 (-)0.7209 (42)0.4769 (64)
gen-hyper-tw/GenHyperTW_flat30-99.wcnf.gz1.0 (31)0.9697 (32)0.9697 (32)0.0 (-)0.0 (-)0.8205 (38)0.0 (-)
gen-hyper-tw/GenHyperTW_grid3d_5.wcnf.gz0.8667 (14)1.0 (12)0.8125 (15)1.0 (12)1.0 (12)0.7647 (16)1.0 (12)
gen-hyper-tw/GenHyperTW_grid4d_3.wcnf.gz0.8889 (8)0.8889 (8)0.8889 (8)0.8889 (8)0.8889 (8)0.8 (9)1.0 (7)
gen-hyper-tw/GenHyperTW_par8-2-c.wcnf.gz1.0 (8)1.0 (8)1.0 (8)0.5625 (15)0.5625 (15)0.75 (11)0.6429 (13)
gen-hyper-tw/GenHyperTW_par8-4-c.wcnf.gz0.9 (9)1.0 (8)0.6923 (12)0.8182 (10)0.8182 (10)0.6923 (12)0.6 (14)
gen-hyper-tw/GenHyperTW_par8-5-c.wcnf.gz1.0 (9)0.7143 (13)0.4545 (21)0.3571 (27)0.3226 (30)0.4762 (20)0.5 (19)
gen-hyper-tw/GenHyperTW_uf20-01.wcnf.gz0.875 (7)1.0 (6)0.875 (7)1.0 (6)1.0 (6)0.875 (7)1.0 (6)
gen-hyper-tw/GenHyperTW_uf20-050.wcnf.gz1.0 (6)1.0 (6)0.875 (7)1.0 (6)1.0 (6)0.875 (7)1.0 (6)
hs-timetabling/GreeceWesternGreeceUniversityInstance4.xml.wcnf.gz0.6786 (27)0.95 (19)1.0 (18)0.2135 (88)0.1508 (125)0.1863 (101)0.047 (403)
maxcut/dimacs_mod/MANN_a27.clq.wcnf.gz1.0 (404)1.0 (404)1.0 (404)1.0 (404)1.0 (404)1.0 (404)0.9951 (406)
maxclique/structured/MANN_a45.clq.wcnf.gz0.9957 (693)0.9942 (694)1.0 (690)0.9957 (693)0.9957 (693)0.9957 (693)0.9957 (693)
maxclique/structured/MANN_a81.clq.wcnf.gz0.9982 (2225)0.9982 (2225)1.0 (2221)0.9987 (2224)0.9987 (2224)0.9937 (2235)0.9982 (2225)
min-fill/MinFill_R0_miles1500.wcnf.gz0.616 (2426)0.6771 (2207)0.6771 (2207)0.8543 (1749)1.0 (1494)0.5101 (2930)0.7296 (2048)
min-fill/MinFill_R0_mulsol.i.2.wcnf.gz1.0 (240)0.7876 (305)0.0517 (4664)0.1591 (1514)0.1632 (1476)0.0222 (10844)0.0352 (6853)
min-fill/MinFill_R0_mulsol.i.5.wcnf.gz0.0347 (9576)0.0367 (9034)0.0369 (8994)1.0 (331)0.8019 (413)0.0296 (11234)0.3066 (1082)
min-fill/MinFill_R0_myciel6.wcnf.gz1.0 (753)0.9332 (807)0.9117 (826)0.8798 (856)0.8667 (869)0.2066 (3648)0.8368 (900)
min-fill/MinFill_R0_myciel7.wcnf.gz1.0 (3226)0.2523 (12788)0.2526 (12773)0.0 (-)0.0 (-)0.207 (15589)0.3714 (8688)
min-fill/MinFill_R0_queen11_11.wcnf.gz1.0 (4400)0.9824 (4479)0.9901 (4444)0.9919 (4436)0.9287 (4738)0.8334 (5280)0.8351 (5269)
min-fill/MinFill_R0_queen6_6.wcnf.gz1.0 (231)1.0 (231)0.9957 (232)0.9872 (234)0.9872 (234)0.9587 (241)0.8992 (257)
min-fill/MinFill_R0_queen7_7.wcnf.gz1.0 (499)0.996 (501)0.9862 (506)0.996 (501)0.996 (501)0.9728 (513)0.9259 (539)
min-fill/MinFill_R0_queen8_12.wcnf.gz1.0 (2386)0.9641 (2475)0.9641 (2475)0.9055 (2635)0.8686 (2747)0.9111 (2619)0.9281 (2571)
min-fill/MinFill_R0_queen8_8.wcnf.gz0.975 (959)1.0 (935)1.0 (935)0.9096 (1028)0.8805 (1062)0.8983 (1041)0.9194 (1017)
min-fill/MinFill_R0_queen9_9.wcnf.gz0.994 (1662)1.0 (1652)0.9928 (1664)0.9038 (1828)0.9102 (1815)0.9478 (1743)0.9297 (1777)
min-fill/MinFill_R1_games120.wcnf.gz0.7946 (2579)0.808 (2536)0.8286 (2473)1.0 (2049)0.7393 (2772)0.4157 (4931)0.5374 (3814)
min-fill/MinFill_R3_miles1000.wcnf.gz0.55 (3388)0.5134 (3630)0.5135 (3629)1.0 (1863)0.8454 (2204)0.4138 (4504)0.5211 (3576)
min-fill/MinFill_R3_miles750.wcnf.gz0.2514 (3312)0.2728 (3053)0.2743 (3036)1.0 (832)0.4348 (1915)0.1686 (4941)0.332 (2508)
min-fill/MinFill_R4_miles500.wcnf.gz1.0 (392)0.429 (915)0.4456 (881)0.7211 (544)0.3141 (1250)0.1211 (3244)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)1.0 (179)1.0 (179)1.0 (179)1.0 (179)1.0 (179)0.1883 (955)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.8.wcnf.gz1.0 (86)1.0 (86)1.0 (86)1.0 (86)1.0 (86)1.0 (86)1.0 (86)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.10.wcnf.gz1.0 (50)1.0 (50)0.0074 (6881)1.0 (50)1.0 (50)1.0 (50)0.0058 (8747)
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)1.0 (148)1.0 (148)1.0 (148)0.6963 (213)0.1264 (1178)
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.7.wcnf.gz1.0 (60)1.0 (60)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)1.0 (1331)1.0 (1331)1.0 (1331)1.0 (1331)1.0 (1331)
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.3.wcnf.gz1.0 (1312)0.0615 (21340)0.0615 (21340)1.0 (1312)1.0 (1312)0.0615 (21340)0.0941 (13959)
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf.gz1.0 (1382)1.0 (1382)1.0 (1382)1.0 (1382)1.0 (1382)1.0 (1382)0.3472 (3982)
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf.gz1.0 (1028)1.0 (1028)1.0 (1028)1.0 (1028)1.0 (1028)1.0 (1028)1.0 (1028)
close_solutions/SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf.wcnf.9.wcnf.gz1.0 (118)0.6685 (177)1.0 (118)0.9444 (125)0.9444 (125)0.4034 (294)0.4118 (288)
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)0.9512 (81)
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)1.0 (78)1.0 (78)1.0 (78)0.0442 (1786)
close_solutions/SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.170-NOTKNOWN.cnf.wcnf.6.wcnf.gz0.0092 (5354)1.0 (48)0.0096 (5097)1.0 (48)1.0 (48)0.0096 (5097)0.9608 (50)
SeanSafarpour/SM_AS_TOP_buggy1.dimacs.filtered.wcnf.gz0.7342 (78)0.6824 (84)0.6824 (84)1.0 (57)1.0 (57)0.6444 (89)0.5321 (108)
SeanSafarpour/SM_MAIN_MEM_buggy1.dimacs.filtered.wcnf.gz0.8529 (577)0.9029 (545)0.8529 (577)1.0 (492)1.0 (492)0.7838 (628)0.8544 (576)
bcp/hipp-yRa1/su/SU-100kb__simp-genos.haps.21.wcnf.gz0.9831 (58)1.0 (57)0.9667 (59)1.0 (57)1.0 (57)0.9508 (60)0.9508 (60)
bcp/hipp-yRa1/su/SU3__simp-genos.haps.80.wcnf.gz1.0 (102)0.981 (104)1.0 (102)0.9904 (103)0.9904 (103)0.9717 (105)0.981 (104)
treewidth-computation/TWComp_1c75_N69.wcnf.gz1.0 (29)0.8571 (34)1.0 (29)0.9091 (32)0.9091 (32)1.0 (29)1.0 (29)
treewidth-computation/TWComp_1dj7_N73.wcnf.gz1.0 (26)0.871 (30)1.0 (26)0.931 (28)0.931 (28)1.0 (26)1.0 (26)
treewidth-computation/TWComp_1dp_N76.wcnf.gz1.0 (26)0.9 (29)1.0 (26)1.0 (26)0.931 (28)1.0 (26)0.9643 (27)
treewidth-computation/TWComp_eil51.tsp_N51.wcnf.gz1.0 (8)0.9 (9)1.0 (8)0.9 (9)0.9 (9)0.9 (9)0.9 (9)
treewidth-computation/TWComp_myciel5_N47.wcnf.gz1.0 (19)1.0 (19)1.0 (19)1.0 (19)1.0 (19)1.0 (19)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)0.963 (26)1.0 (25)1.0 (25)1.0 (25)1.0 (25)1.0 (25)
treewidth-computation/TWComp_queen7_7_N49.wcnf.gz1.0 (35)0.973 (36)1.0 (35)0.973 (36)0.973 (36)1.0 (35)1.0 (35)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/adult_train_4_CNF_3_1.wcnf.gz1.0 (5015)0.9944 (5043)0.9843 (5095)0.9256 (5418)0.9294 (5396)0.8693 (5769)0.7967 (6295)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/adult_train_5_CNF_3_1.wcnf.gz0.9929 (5080)1.0 (5044)0.9821 (5136)0.9017 (5594)0.9017 (5594)0.8718 (5786)0.7772 (6490)
atcoss/mesat/atcoss_mesat_02.wcnf.gz0.8361 (60)1.0 (50)1.0 (50)0.0 (-)0.0 (-)1.0 (50)0.9623 (52)
atcoss/mesat/atcoss_mesat_03.wcnf.gz1.0 (50)0.8226 (61)0.8226 (61)0.0 (-)0.0 (-)0.8361 (60)0.8361 (60)
atcoss/mesat/atcoss_mesat_04.wcnf.gz0.6508 (62)0.5 (81)1.0 (40)0.0 (-)0.0 (-)0.313 (130)0.4881 (83)
atcoss/mesat/atcoss_mesat_05.wcnf.gz1.0 (20)0.6774 (30)1.0 (20)0.0 (-)0.0 (-)0.6774 (30)0.7241 (28)
atcoss/mesat/atcoss_mesat_10.wcnf.gz0.8095 (20)0.8947 (18)1.0 (16)0.1868 (90)0.1868 (90)0.8095 (20)0.8095 (20)
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.619 (20)0.6842 (18)1.0 (12)0.0 (-)0.0 (-)0.3171 (40)0.5652 (22)
atcoss/sugar/atcoss_sugar_02.wcnf.gz0.8361 (60)1.0 (50)1.0 (50)1.0 (50)0.8644 (58)0.9623 (52)1.0 (50)
atcoss/sugar/atcoss_sugar_03.wcnf.gz0.8361 (60)0.8361 (60)0.8361 (60)0.8361 (60)0.8361 (60)1.0 (50)1.0 (50)
atcoss/sugar/atcoss_sugar_04.wcnf.gz0.775 (39)1.0 (30)1.0 (30)0.4921 (62)0.4921 (62)0.8378 (36)0.9394 (32)
atcoss/sugar/atcoss_sugar_05.wcnf.gz1.0 (12)0.9286 (13)0.9286 (13)0.4194 (30)0.3333 (38)0.619 (20)0.6842 (18)
atcoss/sugar/atcoss_sugar_10.wcnf.gz1.0 (16)1.0 (16)1.0 (16)0.4359 (38)0.4146 (40)0.8095 (20)0.9444 (17)
atcoss/sugar/atcoss_sugar_15.wcnf.gz0.6078 (50)0.62 (49)1.0 (30)0.0 (-)0.0 (-)0.3827 (80)0.3827 (80)
atcoss/sugar/atcoss_sugar_18.wcnf.gz1.0 (12)1.0 (12)1.0 (12)0.2364 (54)0.2364 (54)0.65 (19)1.0 (12)
xai-mindset2/australian.wcnf.gz0.9772 (526)1.0 (514)1.0 (514)0.933 (551)0.6922 (743)0.9313 (552)0.7442 (691)
mbd/b14_C-mbd14-0277.wcnf.gz1.0 (24)0.5682 (43)1.0 (24)0.6579 (37)0.6579 (37)0.7576 (32)0.3049 (81)
mbd/b14_C-mbd14-0310.wcnf.gz1.0 (25)0.6341 (40)1.0 (25)0.619 (41)0.619 (41)0.963 (26)0.6842 (37)
mbd/b14_C-mbd14-0337.wcnf.gz1.0 (24)0.7813 (31)1.0 (24)0.8333 (29)0.8333 (29)0.8929 (27)0.9259 (26)
mbd/b14_C-mbd14-0388.wcnf.gz1.0 (20)0.7 (29)1.0 (20)0.7778 (26)0.875 (23)0.4667 (44)0.913 (22)
mbd/b21_C-mbd14-0218.wcnf.gz1.0 (26)0.675 (39)1.0 (26)0.7297 (36)0.5625 (47)0.9643 (27)0.9643 (27)
mbd/b21_C-mbd14-0322.wcnf.gz1.0 (25)0.4561 (56)1.0 (25)0.5417 (47)0.5417 (47)0.6842 (37)0.5909 (43)
maxcut/dimacs_mod/brock200_1.clq.dimacs_mod.wcnf.gz0.9945 (180)1.0 (179)0.9945 (180)0.989 (181)0.989 (181)1.0 (179)0.9945 (180)
maxclique/structured/brock200_1.clq.wcnf.gz0.9917 (240)1.0 (238)0.9958 (239)1.0 (238)1.0 (238)0.9447 (252)0.9755 (244)
maxcut/dimacs_mod/brock400_2.clq.dimacs_mod.wcnf.gz0.9947 (377)1.0 (375)0.9921 (378)0.9921 (378)0.9921 (378)0.9947 (377)0.9921 (378)
maxclique/structured/brock400_2.clq.wcnf.gz0.9768 (258)1.0 (252)0.9806 (257)1.0 (252)1.0 (252)0.9768 (258)0.9922 (254)
maxclique/structured/brock400_3.clq.wcnf.gz0.9947 (377)1.0 (375)0.9947 (377)0.9921 (378)0.9921 (378)0.9947 (377)0.9947 (377)
maxcut/dimacs_mod/brock800_1.clq.dimacs_mod.wcnf.gz0.9974 (781)1.0 (779)0.9987 (780)0.9949 (783)0.9949 (783)0.9974 (781)0.9974 (781)
maxclique/structured/brock800_1.clq.wcnf.gz0.9763 (210)1.0 (205)1.0 (205)1.0 (205)1.0 (205)0.9238 (222)0.945 (217)
maxclique/structured/brock800_3.clq.wcnf.gz0.9974 (781)1.0 (779)0.9987 (780)0.9962 (782)0.9962 (782)0.9974 (781)0.9987 (780)
maxclique/structured/brock800_4.clq.wcnf.gz0.9987 (780)1.0 (779)0.9974 (781)0.9949 (783)0.9987 (780)0.9974 (781)0.9962 (782)
xai-mindset2/bupa.wcnf.gz1.0 (295)0.9673 (305)0.9673 (305)0.8362 (353)0.7255 (407)0.925 (319)0.961 (307)
causal-discovery/causal_n7_i4_N1000_uai14_constant_int.wcnf.gz1.0 (63)1.0 (63)1.0 (63)0.3596 (177)0.3596 (177)1.0 (63)1.0 (63)
causal-discovery/causal_n7_i4_N500_uai14_constant_int.wcnf.gz1.0 (63)1.0 (63)1.0 (63)0.3596 (177)0.3596 (177)1.0 (63)1.0 (63)
causal-discovery/causal_n7_i6_N500_uai14_harddeps_int.wcnf.gz1.0 (116)1.0 (116)1.0 (116)0.5545 (210)0.5545 (210)1.0 (116)0.8478 (137)
xai-mindset2/cleveland-nominal.wcnf.gz0.9828 (232)1.0 (228)1.0 (228)0.7459 (306)0.7459 (306)0.8545 (267)0.8577 (266)
xai-mindset2/cleveland.wcnf.gz1.0 (535)0.91 (588)0.91 (588)0.9069 (590)0.7941 (674)0.8715 (614)0.9675 (553)
des/cnf.14.p.10.wcnf.gz1.0 (14)0.0 (12000741)1.0 (14)0.0 (-)0.0 (-)0.8824 (16)0.8333 (17)
des/cnf.16.p.8.wcnf.gz1.0 (16)0.0 (14886157)1.0 (16)0.0 (-)0.0 (-)0.8095 (20)0.7727 (21)
des/cnf.17.p.10.wcnf.gz1.0 (17)0.0 (18077187)0.9 (19)0.0 (-)0.0 (-)0.9 (19)0.75 (23)
des/cnf.17.p.9.wcnf.gz1.0 (17)0.0 (17395070)1.0 (17)0.0 (-)0.0 (-)0.9 (19)0.75 (23)
des/cnf.18.p.6.wcnf.gz1.0 (18)0.0 (15308375)1.0 (18)0.0 (-)0.0 (-)0.95 (19)0.8636 (21)
des/cnf.19.p.10.wcnf.gz0.8696 (22)0.0 (23918580)1.0 (19)0.0 (-)0.0 (-)0.8 (24)0.7143 (27)
des/cnf.19.p.7.wcnf.gz1.0 (19)0.0 (18781280)1.0 (19)0.0 (-)0.0 (-)0.9524 (20)0.8696 (22)
des/cnf.19.p.9.wcnf.gz1.0 (19)0.0 (23125189)1.0 (19)0.0 (-)0.0 (-)0.8333 (23)0.8333 (23)
des/cnf.20.p.10.wcnf.gz1.0 (20)0.0 (27640150)0.84 (24)0.0 (-)0.0 (-)0.8077 (25)0.7778 (26)
des/cnf.20.p.4.wcnf.gz1.0 (20)0.0 (13059935)1.0 (20)0.0 (-)0.0 (-)0.9545 (21)0.9545 (21)
des/cnf.20.p.8.wcnf.gz1.0 (20)0.0 (21334473)0.9545 (21)0.0 (-)0.0 (-)0.84 (24)0.7778 (26)
des/cnf.20.p.9.wcnf.gz1.0 (20)0.0 (23387220)0.84 (24)0.0 (-)0.0 (-)0.84 (24)0.8077 (25)
scheduling/cnf_10.wcnf.gz1.0 (50)0.4113 (123)0.9444 (53)0.2615 (194)0.2615 (194)0.7286 (69)0.7846 (64)
scheduling/cnf_10_center.wcnf.gz1.0 (159)0.7306 (218)0.9143 (174)0.724 (220)0.724 (220)0.9697 (164)0.9467 (168)
scheduling/cnf_12.wcnf.gz0.9841 (62)0.5254 (117)1.0 (61)0.3605 (171)0.3605 (171)0.6596 (93)0.8052 (76)
scheduling/cnf_12_center.wcnf.gz1.0 (237)0.8718 (272)0.9876 (240)0.8655 (274)0.8914 (266)1.0 (237)0.9558 (248)
scheduling/cnf_small.wcnf.gz0.9688 (31)0.5345 (57)1.0 (30)0.5536 (55)0.6327 (48)1.0 (30)0.8378 (36)
xai-mindset2/colic.wcnf.gz0.9 (199)0.989 (181)0.989 (181)0.786 (228)0.7287 (246)0.8696 (206)1.0 (179)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/compas_train_1_DNF_5_1.wcnf.gz1.0 (2095)0.9776 (2143)0.7961 (2632)0.8777 (2387)0.8961 (2338)0.5889 (3558)0.5883 (3562)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/credit_train_0_DNF_3_1.wcnf.gz0.8447 (5767)1.0 (4871)0.8291 (5875)0.9902 (4919)0.9328 (5222)0.2327 (20934)0.2317 (21027)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/credit_train_1_CNF_4_1.wcnf.gz0.9559 (5511)0.8985 (5863)0.8985 (5863)1.0 (5268)1.0 (5268)0.8873 (5937)0.8841 (5959)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/credit_train_1_CNF_5_1.wcnf.gz0.8405 (5829)0.829 (5910)0.8312 (5894)1.0 (4899)0.9697 (5052)0.8252 (5937)0.8209 (5968)
railway-transport/d4.wcnf.gz1.0 (5370)0.521 (10308)0.521 (10308)0.0 (-)0.0 (-)0.521 (10308)0.478 (11235)
xai-mindset2/diabetes.wcnf.gz0.9794 (728)1.0 (713)1.0 (713)0.9636 (740)0.6258 (1140)0.4175 (1709)0.9986 (714)
xai-mindset2/ecoli.wcnf.gz1.0 (542)0.9005 (602)0.9065 (598)0.8786 (617)0.808 (671)0.8092 (670)0.8801 (616)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_3.wcnf.gz0.7273 (10)1.0 (7)1.0 (7)1.0 (7)0.8889 (8)0.8 (9)0.7273 (10)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.05_2_8_4.wcnf.gz1.0 (4)1.0 (4)1.0 (4)1.0 (4)1.0 (4)0.7143 (6)1.0 (4)
extension-enforcement/extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf.gz0.75 (11)1.0 (8)0.8182 (10)1.0 (8)0.9 (9)1.0 (8)1.0 (8)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf.gz0.5625 (15)1.0 (8)1.0 (8)1.0 (8)1.0 (8)0.6 (14)0.5 (17)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf.gz0.5652 (22)1.0 (12)0.619 (20)1.0 (12)0.9286 (13)0.8125 (15)0.4483 (28)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_2.wcnf.gz0.8571 (13)1.0 (11)0.6667 (17)1.0 (11)1.0 (11)0.48 (24)0.5217 (22)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_2_10_2.wcnf.gz0.8333 (11)1.0 (9)1.0 (9)1.0 (9)0.7143 (13)0.5882 (16)0.5 (19)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf.gz0.6667 (14)1.0 (9)0.5556 (17)0.9091 (10)0.8333 (11)0.5882 (16)0.3846 (25)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf.gz0.9 (9)1.0 (8)0.8182 (10)1.0 (8)0.9 (9)0.75 (11)0.5294 (16)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_4.wcnf.gz0.625 (15)1.0 (9)0.8333 (11)1.0 (9)1.0 (9)0.6667 (14)0.5556 (17)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_1.wcnf.gz0.5294 (16)1.0 (8)0.75 (11)1.0 (8)0.9 (9)0.6923 (12)0.75 (11)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf.gz1.0 (6)1.0 (6)0.4667 (14)1.0 (6)0.875 (7)0.7778 (8)0.3684 (18)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_3.wcnf.gz0.6923 (12)0.9 (9)1.0 (8)0.8182 (10)0.8182 (10)0.4737 (18)0.5 (17)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf.gz0.75 (11)1.0 (8)1.0 (8)1.0 (8)1.0 (8)0.5 (17)0.36 (24)
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf.gz0.9 (9)1.0 (8)1.0 (8)1.0 (8)1.0 (8)0.9 (9)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)0.0 (-)0.0 (-)
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)0.9773 (43)1.0 (42)0.9773 (43)1.0 (42)1.0 (42)1.0 (42)
MaximumCommonSub-GraphExtraction/solved/g2_n68e88_n77e106.wcnf.gz1.0 (55)0.9333 (59)1.0 (55)0.9655 (57)0.9655 (57)1.0 (55)0.9492 (58)
MaximumCommonSub-GraphExtraction/solved/g3_n43e49_n45e51_n47e60.wcnf.gz1.0 (35)0.973 (36)1.0 (35)1.0 (35)1.0 (35)1.0 (35)1.0 (35)
MaximumCommonSub-GraphExtraction/solved/g3_n43e49_n72e77_n81e85.wcnf.gz1.0 (35)0.9474 (37)1.0 (35)0.9474 (37)0.973 (36)1.0 (35)1.0 (35)
MaximumCommonSub-GraphExtraction/solved/g3_n52e77_n57e74_n58e75.wcnf.gz1.0 (54)0.9821 (55)0.9821 (55)0.9821 (55)0.9821 (55)0.9821 (55)0.0 (-)
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)0.0 (-)
MaximumCommonSub-GraphExtraction/solved/g4_n58e71_n61e85_n100e127_n104e131.wcnf.gz1.0 (55)0.9492 (58)1.0 (55)0.9492 (58)0.9492 (58)0.9825 (56)0.9825 (56)
MaximumCommonSub-GraphExtraction/solved/g5_n24e23_n28e29_n32e33_n32e33_n38e39.wcnf.gz1.0 (9)1.0 (9)1.0 (9)1.0 (9)1.0 (9)1.0 (9)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)1.0 (22)1.0 (22)1.0 (22)0.9583 (23)0.9583 (23)
MaximumCommonSub-GraphExtraction/solved/g8_n39e38_n43e43_n58e57_n67e69_n67e68_n67e69_n67e68_n82e119.wcnf.gz1.0 (22)0.9583 (23)1.0 (22)0.92 (24)0.92 (24)0.9583 (23)0.9583 (23)
optic/gen_add_4_carry_33.wcnf.gz1.0 (188)0.9844 (191)1.0 (188)1.0 (188)1.0 (188)0.9545 (197)0.9643 (195)
optic/gen_add_6_carry_991.wcnf.gz0.9908 (108)0.9643 (111)0.9 (119)0.9908 (108)1.0 (107)0.75 (143)0.7013 (153)
optic/gen_cvc-add7to3_9999.wcnf.gz0.9561 (204)0.9899 (197)0.9751 (200)0.9899 (197)1.0 (195)0.8522 (229)0.8991 (217)
optic/gen_mult_3_5_9999.wcnf.gz0.9672 (60)0.9219 (63)0.9516 (61)1.0 (58)0.9833 (59)0.8194 (71)0.7973 (73)
optic/gen_mult_3_6_9999.wcnf.gz0.9545 (65)0.8873 (70)0.9403 (66)1.0 (62)1.0 (62)0.759 (82)0.7412 (84)
optic/gen_mult_4_5_33.wcnf.gz0.9786 (746)0.9799 (745)0.8204 (890)1.0 (730)1.0 (730)0.8431 (866)0.8393 (870)
optic/gen_mult_4_5_399.wcnf.gz0.9825 (743)0.9799 (745)0.8204 (890)1.0 (730)1.0 (730)0.8461 (863)0.8422 (867)
optic/gen_mult_4_5_991.wcnf.gz0.9444 (125)0.9084 (130)0.7677 (154)1.0 (118)1.0 (118)0.5833 (203)0.5409 (219)
optic/gen_mult_4_5_9999.wcnf.gz0.9249 (212)0.9249 (212)0.7086 (277)1.0 (196)1.0 (196)0.6006 (327)0.5988 (328)
optic/gen_mult_4_6_991.wcnf.gz0.8519 (161)0.8466 (162)0.738 (186)1.0 (137)1.0 (137)0.4452 (309)0.4083 (337)
optic/gen_mult_4_6_9999.wcnf.gz0.8634 (409)0.9171 (385)0.6996 (505)1.0 (353)1.0 (353)0.5206 (679)0.526 (672)
optic/gen_mult_4_7_991.wcnf.gz0.8571 (167)0.8136 (176)0.7385 (194)1.0 (143)1.0 (143)0.4079 (352)0.381 (377)
optic/gen_mult_5_5_399.wcnf.gz0.9561 (2412)0.9775 (2359)0.8047 (2866)1.0 (2306)0.9996 (2307)0.8305 (2777)0.8374 (2754)
optic/gen_mult_5_5_991.wcnf.gz0.9476 (247)0.8969 (261)0.8453 (277)1.0 (234)1.0 (234)0.5199 (451)0.4017 (584)
optic/gen_mult_5_5_9999.wcnf.gz0.894 (565)0.9068 (557)0.7107 (711)1.0 (505)0.9961 (507)0.5542 (912)0.5332 (948)
optic/gen_square_5_9999.wcnf.gz0.9516 (61)0.9516 (61)0.8082 (72)1.0 (58)1.0 (58)0.6941 (84)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)1.0 (984)1.0 (984)0.9919 (992)0.9919 (992)0.999 (985)0.997 (987)
xai-mindset2/heart-h.wcnf.gz0.9153 (235)0.806 (267)0.806 (267)0.9432 (228)0.75 (287)0.8244 (261)1.0 (215)
xai-mindset2/heart-statlog.wcnf.gz1.0 (191)0.8767 (218)0.8767 (218)0.8348 (229)0.7085 (270)0.8807 (217)0.8458 (226)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/heart_train_4_CNF_3_1.wcnf.gz1.0 (44)0.9574 (46)1.0 (44)0.8654 (51)0.8654 (51)0.8333 (53)0.9375 (47)
xai-mindset2/hepatitis.wcnf.gz0.9481 (76)0.9865 (73)0.7374 (98)0.9241 (78)1.0 (72)0.7374 (98)0.7935 (91)
xai-mindset2/hungarian.wcnf.gz0.828 (278)0.7357 (313)0.7357 (313)0.9665 (238)0.8105 (284)0.8556 (269)1.0 (230)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/ionosphere_train_2_DNF_3_1.wcnf.gz0.9565 (22)1.0 (21)1.0 (21)1.0 (21)1.0 (21)0.7333 (29)0.6875 (31)
maxcut/dimacs_mod/keller5.clq.wcnf.gz1.0 (250)1.0 (250)0.9882 (253)1.0 (250)1.0 (250)0.9401 (266)0.9882 (253)
xai-mindset2/liver-disorder.wcnf.gz0.997 (330)1.0 (329)1.0 (329)0.9735 (338)0.9167 (359)0.9677 (340)1.0 (329)
maxcut/bipartite/maxcut-140-630-0.7-31.wcnf.gz0.8769 (194)1.0 (170)0.9096 (187)1.0 (170)0.9828 (173)0.8066 (211)0.8028 (212)
maxcut/bipartite/maxcut-140-630-0.8-17.wcnf.gz0.8622 (195)1.0 (168)0.9086 (185)0.9826 (171)0.9826 (171)0.7972 (211)0.8125 (207)
maxcut/bipartite/maxcut-140-630-0.8-7.wcnf.gz0.9435 (176)1.0 (166)0.9435 (176)1.0 (166)0.9882 (168)0.8564 (194)0.893 (186)
SeanSafarpour/mem_ctrl-problem.dimacs_27.filtered.wcnf.gz1.0 (1)0.0606 (32)0.0465 (42)0.1176 (16)0.1176 (16)0.0217 (91)0.0556 (35)
aes/mul_8_11.wcnf.gz0.6771 (95)1.0 (64)0.3333 (194)1.0 (64)0.9701 (66)0.1505 (431)0.121 (536)
aes/mul_8_13.wcnf.gz0.6224 (97)0.9683 (62)0.3742 (162)1.0 (60)1.0 (60)0.1338 (455)0.1043 (584)
aes/mul_8_14.wcnf.gz0.8261 (68)0.9194 (61)0.5135 (110)1.0 (56)1.0 (56)0.1966 (289)0.1913 (297)
aes/mul_8_9.wcnf.gz1.0 (42)0.9556 (44)0.5119 (83)1.0 (42)1.0 (42)0.2172 (197)0.2622 (163)
bcp/syn/normalized-C499.b.wcnf.gz0.92 (49)0.9388 (48)0.9583 (47)0.9787 (46)1.0 (45)0.6389 (71)0.6667 (68)
bcp/fir/normalized-fir08_area_opers.wcnf.gz1.0 (48)0.9608 (50)0.98 (49)0.9608 (50)0.9608 (50)0.5833 (83)0.2188 (223)
pseudoBoolean/garden/normalized-g100x100.opb.msat.wcnf.gz0.8528 (2506)0.9439 (2264)0.6411 (3334)1.0 (2137)1.0 (2137)0.6411 (3334)0.6516 (3280)
bcp/msp/normalized-ii16a2.wcnf.gz1.0 (1164)1.0 (1164)1.0 (1164)0.9949 (1170)1.0 (1164)0.8124 (1433)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.8482 (111)0.812 (116)0.8051 (117)1.0 (94)0.9896 (95)0.5108 (185)0.5053 (187)
maxclique/structured/p_hat1000-1.clq.wcnf.gz1.0 (990)1.0 (990)1.0 (990)0.999 (991)0.999 (991)1.0 (990)1.0 (990)
maxclique/structured/p_hat1000-3.clq.wcnf.gz0.9968 (935)1.0 (932)0.9968 (935)0.9936 (938)0.9936 (938)0.9863 (945)0.9873 (944)
maxcut/dimacs_mod/p_hat300-3.clq.wcnf.gz0.9854 (273)1.0 (269)0.9963 (270)1.0 (269)1.0 (269)0.9854 (273)0.989 (272)
maxclique/structured/p_hat500-2.clq.wcnf.gz1.0 (464)1.0 (464)1.0 (464)0.9894 (469)0.9894 (469)0.9957 (466)0.9957 (466)
maxclique/structured/p_hat700-1.clq.wcnf.gz1.0 (689)1.0 (689)1.0 (689)0.9971 (691)0.9971 (691)1.0 (689)1.0 (689)
maxclique/structured/p_hat700-3.clq.wcnf.gz0.9969 (640)1.0 (638)0.9953 (641)0.9984 (639)0.9984 (639)0.9892 (645)0.9892 (645)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/parkinsons_train_8_DNF_3_1.wcnf.gz1.0 (15)0.9412 (16)1.0 (15)0.7619 (20)0.7619 (20)0.0988 (161)1.0 (15)
railway-transport/pesp_18Min.wcnf.gz0.8555 (345)0.2334 (1267)0.2954 (1001)1.0 (295)1.0 (295)0.3737 (791)0.4077 (725)
railway-transport/pesp_5min.wcnf.gz1.0 (72)0.9733 (74)0.9865 (73)0.9733 (74)0.8902 (81)0.4562 (159)0.2246 (324)
xai-mindset2/postoperative-patient-data.wcnf.gz1.0 (62)1.0 (62)1.0 (62)0.7875 (79)0.7975 (78)0.8182 (76)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)1.0 (10)1.0 (10)0.9167 (11)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.9444 (17)
ramsey/ram_k3_n14.ra0.wcnf.gz1.0 (21)1.0 (21)0.9167 (23)1.0 (21)1.0 (21)0.9167 (23)0.7857 (27)
ramsey/ram_k3_n15.ra0.wcnf.gz1.0 (30)1.0 (30)0.9688 (31)1.0 (30)1.0 (30)0.9688 (31)0.8611 (35)
ramsey/ram_k3_n16.ra0.wcnf.gz0.9756 (40)1.0 (39)1.0 (39)1.0 (39)1.0 (39)0.9302 (42)0.8333 (47)
ramsey/ram_k3_n17.ra0.wcnf.gz1.0 (50)1.0 (50)1.0 (50)1.0 (50)1.0 (50)0.9273 (54)0.8226 (61)
ramsey/ram_k3_n18.ra0.wcnf.gz0.9683 (62)1.0 (60)1.0 (60)1.0 (60)1.0 (60)0.8026 (75)0.6162 (98)
ramsey/ram_k3_n19.ra0.wcnf.gz0.9157 (82)1.0 (75)0.987 (76)1.0 (75)1.0 (75)0.9048 (83)0.6179 (122)
ramsey/ram_k3_n20.ra0.wcnf.gz0.901 (100)1.0 (90)0.9479 (95)1.0 (90)1.0 (90)0.9479 (95)0.7 (129)
ramsey/ram_k4_n18.ra0.wcnf.gz0.9091 (10)1.0 (9)0.8333 (11)1.0 (9)1.0 (9)0.3125 (31)0.3333 (29)
ramsey/ram_k4_n19.ra0.wcnf.gz0.64 (24)1.0 (15)0.8421 (18)1.0 (15)1.0 (15)0.1975 (80)0.3721 (42)
ramsey/ram_k4_n20.ra0.wcnf.gz0.7576 (32)1.0 (24)0.7353 (33)1.0 (24)1.0 (24)0.2137 (116)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)0.6897 (28)1.0 (19)1.0 (19)1.0 (19)
reversi/rev66-16.wcnf.gz1.0 (17)1.0 (17)1.0 (17)1.0 (17)1.0 (17)1.0 (17)1.0 (17)
reversi/rev66-18.wcnf.gz1.0 (15)1.0 (15)1.0 (15)1.0 (15)0.8889 (17)1.0 (15)1.0 (15)
reversi/rev66-20.wcnf.gz1.0 (13)1.0 (13)1.0 (13)1.0 (13)0.875 (15)1.0 (13)1.0 (13)
reversi/rev66-22.wcnf.gz1.0 (11)1.0 (11)1.0 (11)0.75 (15)1.0 (11)1.0 (11)1.0 (11)
reversi/rev66-24.wcnf.gz1.0 (9)1.0 (9)1.0 (9)0.4348 (22)0.5263 (18)1.0 (9)1.0 (9)
reversi/rev66-26.wcnf.gz1.0 (7)1.0 (7)1.0 (7)0.32 (24)0.4706 (16)1.0 (7)1.0 (7)
reversi/rev66-28.wcnf.gz1.0 (5)1.0 (5)1.0 (5)0.4615 (12)0.4286 (13)1.0 (5)1.0 (5)
reversi/rev66-30.wcnf.gz1.0 (3)1.0 (3)1.0 (3)0.2857 (13)0.5 (7)1.0 (3)1.0 (3)
reversi/rev66-32.wcnf.gz1.0 (1)1.0 (1)1.0 (1)0.6667 (2)0.5 (3)1.0 (1)1.0 (1)
SeanSafarpour/rsdecoder-problem.dimacs_38.filtered.wcnf.gz0.0476 (83)1.0 (3)0.0047 (850)1.0 (3)1.0 (3)0.0047 (850)0.0043 (933)
SeanSafarpour/rsdecoder-problem.dimacs_41.filtered.wcnf.gz0.0014 (2196)1.0 (2)0.0012 (2589)1.0 (2)1.0 (2)0.0012 (2589)0.0051 (583)
SeanSafarpour/rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.wcnf.gz0.0763 (117)0.2813 (31)0.0122 (737)0.1915 (46)0.1915 (46)1.0 (8)0.0143 (627)
SeanSafarpour/rsdecoder4.dimacs.filtered.wcnf.gz0.0467 (149)0.14 (49)0.014 (499)0.1707 (40)0.1707 (40)0.1892 (36)1.0 (6)
SeanSafarpour/rsdecoder6.dimacs.filtered.wcnf.gz1.0 (8)0.1343 (66)0.1111 (80)0.9 (9)0.9 (9)0.0124 (724)0.0098 (916)
fault-diagnosis/s38584_nan_explicit_10_0.wcnf.gz1.0 (215)1.0 (215)1.0 (215)0.7322 (294)0.7273 (296)0.9908 (217)0.9391 (229)
fault-diagnosis/s38584_nan_explicit_14_0.wcnf.gz1.0 (202)1.0 (202)1.0 (202)0.7961 (254)0.7961 (254)1.0 (202)0.8286 (244)
fault-diagnosis/s38584_nan_explicit_2_0.wcnf.gz1.0 (134)1.0 (134)1.0 (134)0.5273 (255)0.5273 (255)0.9712 (138)0.9926 (135)
fault-diagnosis/s38584_nan_explicit_5_0.wcnf.gz1.0 (176)0.9944 (177)1.0 (176)0.7052 (250)0.7052 (250)0.9944 (177)0.8469 (208)
fault-diagnosis/s38584_nan_explicit_6_0.wcnf.gz1.0 (202)0.9902 (204)0.9902 (204)0.7276 (278)0.7276 (278)0.976 (207)0.976 (207)
fault-diagnosis/s38584_nan_explicit_7_0.wcnf.gz0.8957 (210)0.913 (206)0.913 (206)0.7683 (245)0.7683 (245)0.8791 (214)1.0 (188)
fault-diagnosis/s38584_nan_explicit_8_0.wcnf.gz0.9655 (202)0.9655 (202)0.9655 (202)0.7424 (263)0.7424 (263)0.9655 (202)1.0 (195)
fault-diagnosis/s38584_nan_explicit_9_0.wcnf.gz0.9953 (211)0.9953 (211)0.9953 (211)0.7617 (276)0.7617 (276)0.9906 (212)1.0 (210)
maxcut/dimacs_mod/san200_0.7_1.clq.wcnf.gz0.9958 (238)1.0 (237)0.9958 (238)1.0 (237)1.0 (237)0.952 (249)0.9444 (251)
maxcut/dimacs_mod/san400_0.7_2.clq.wcnf.gz1.0 (236)1.0 (236)0.9673 (244)1.0 (236)1.0 (236)0.9634 (245)0.9518 (248)
maxclique/structured/sanr200_0.9.clq.wcnf.gz0.9755 (162)1.0 (158)0.9876 (160)0.9876 (160)0.9876 (160)0.9755 (162)0.9815 (161)
maxclique/structured/sanr400_0.5.clq.wcnf.gz0.9974 (388)1.0 (387)0.9974 (388)0.9949 (389)0.9949 (389)0.9974 (388)1.0 (387)
maxclique/structured/sanr400_0.7.clq.wcnf.gz0.9974 (380)1.0 (379)1.0 (379)0.9922 (382)0.9922 (382)0.9974 (380)0.9974 (380)
aes/sbox_8.wcnf.gz0.5924 (789)1.0 (467)0.5532 (845)0.5771 (810)0.5771 (810)0.5461 (856)0.5487 (852)
set-covering/crafted/scpclr/scpclr11_maxsat.wcnf.gz0.8 (29)0.96 (24)0.8889 (26)1.0 (23)1.0 (23)0.6486 (36)0.7059 (33)
set-covering/crafted/scpclr/scpclr12_maxsat.wcnf.gz0.8571 (27)0.8276 (28)0.8889 (26)1.0 (23)1.0 (23)0.6154 (38)0.6486 (36)
set-covering/crafted/scpclr/scpclr13_maxsat.wcnf.gz1.0 (28)0.9355 (30)0.9667 (29)0.9667 (29)0.9667 (29)0.6444 (44)0.7073 (40)
set-covering/crafted/scpcyc/scpcyc06_maxsat.wcnf.gz1.0 (60)1.0 (60)1.0 (60)1.0 (60)1.0 (60)0.8472 (71)0.8356 (72)
set-covering/crafted/scpcyc/scpcyc07_maxsat.wcnf.gz1.0 (149)0.9434 (158)0.9868 (151)0.9868 (151)0.974 (153)0.7813 (191)0.7538 (198)
set-covering/crafted/scpcyc/scpcyc08_maxsat.wcnf.gz0.9476 (381)0.9211 (392)0.9282 (389)1.0 (361)0.9918 (364)0.7373 (490)0.7002 (516)
set-covering/crafted/scpcyc/scpcyc09_maxsat.wcnf.gz0.9053 (918)0.9928 (837)0.647 (1285)1.0 (831)0.9952 (835)0.7718 (1077)0.6742 (1233)
set-covering/crafted/scpcyc/scpcyc10_maxsat.wcnf.gz0.8802 (2178)0.9974 (1922)0.3461 (5540)1.0 (1917)0.9969 (1923)0.7678 (2497)0.6231 (3077)
set-covering/crafted/scpcyc/scpcyc11_maxsat.wcnf.gz0.7932 (5415)0.9899 (4339)0.1526 (28160)1.0 (4295)0.9942 (4320)0.8319 (5163)0.2413 (17801)
xai-mindset2/shuttleM.wcnf.gz0.7563 (196)0.8098 (183)0.8098 (183)0.0 (-)0.0 (-)0.1663 (895)1.0 (148)
bcp/hipp-yRa1/simp/simp-ibd_50.08.wcnf.gz1.0 (57)1.0 (57)1.0 (57)1.0 (57)1.0 (57)1.0 (57)1.0 (57)
SeanSafarpour/spi2.dimacs.filtered.wcnf.gz0.6667 (2)0.6667 (2)1.0 (1)1.0 (1)1.0 (1)0.0142 (140)0.0073 (273)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/tictactoe_train_0_CNF_2_1.wcnf.gz1.0 (153)1.0 (153)1.0 (153)1.0 (153)1.0 (153)0.7064 (217)0.4709 (326)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/tictactoe_train_1_DNF_5_1.wcnf.gz0.8148 (134)0.8527 (128)1.0 (109)1.0 (109)1.0 (109)0.6587 (166)0.7692 (142)
MaxSATQueriesinInterpretableClassifiers/wcnf_gz/tictactoe_train_3_CNF_2_1.wcnf.gz1.0 (150)1.0 (150)1.0 (150)1.0 (150)1.0 (150)0.3311 (455)0.4507 (334)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/toms_test_0_DNF_2_1.wcnf.gz0.8929 (83)0.9868 (75)0.8523 (87)1.0 (74)0.9868 (75)0.7576 (98)0.8065 (92)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/toms_train_1_DNF_2_1.wcnf.gz0.978 (636)0.9511 (654)0.2438 (2554)1.0 (622)1.0 (622)0.0362 (17193)0.0362 (17193)
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb90.wcnf.gz0.9756 (81)1.0 (79)1.0 (79)1.0 (79)1.0 (79)0.9524 (83)0.9302 (85)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr12-plb100.wcnf.gz0.987 (76)1.0 (75)0.987 (76)1.0 (75)1.0 (75)0.987 (76)0.8636 (87)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr14-plb100.wcnf.gz1.0 (68)1.0 (68)0.9583 (71)1.0 (68)1.0 (68)0.92 (74)0.8846 (77)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr7-plb100.wcnf.gz1.0 (71)1.0 (71)0.9863 (72)1.0 (71)1.0 (71)0.9231 (77)0.96 (74)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr9-plb100.wcnf.gz0.974 (76)1.0 (74)0.9615 (77)1.0 (74)1.0 (74)0.9375 (79)0.9494 (78)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr10-plb100.wcnf.gz0.9067 (74)1.0 (67)0.9577 (70)1.0 (67)1.0 (67)0.8947 (75)0.8 (84)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr11-plb100.wcnf.gz0.9474 (75)1.0 (71)1.0 (71)1.0 (71)1.0 (71)0.9114 (78)0.9114 (78)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr12-plb100.wcnf.gz0.9718 (70)1.0 (68)0.8734 (78)1.0 (68)1.0 (68)0.8961 (76)0.8625 (79)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr13-plb100.wcnf.gz0.9487 (77)1.0 (73)0.961 (76)1.0 (73)1.0 (73)0.8916 (82)0.881 (83)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr14-plb100.wcnf.gz0.9375 (79)1.0 (74)0.9375 (79)1.0 (74)1.0 (74)0.9259 (80)0.8929 (83)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr5-plb100.wcnf.gz1.0 (65)1.0 (65)0.9296 (70)1.0 (65)1.0 (65)0.9706 (67)0.9167 (71)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr6-plb100.wcnf.gz0.8933 (74)1.0 (66)0.9571 (69)1.0 (66)1.0 (66)0.8481 (78)0.9437 (70)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr7-plb100.wcnf.gz1.0 (67)1.0 (67)0.9577 (70)1.0 (67)1.0 (67)0.8718 (77)0.8608 (78)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr8-plb100.wcnf.gz0.9412 (67)1.0 (63)1.0 (63)1.0 (63)1.0 (63)0.8889 (71)0.8421 (75)
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr9-plb100.wcnf.gz0.9846 (64)1.0 (63)0.9552 (66)1.0 (63)1.0 (63)0.8649 (73)0.8312 (76)
SeanSafarpour/wb_4m8s-problem.dimacs_47.filtered.wcnf.gz0.0084 (3929)0.825 (39)0.0091 (3632)1.0 (32)1.0 (32)0.0091 (3632)0.0391 (842)
SeanSafarpour/wb_4m8s-problem.dimacs_49.filtered.wcnf.gz0.0329 (6902)0.9153 (247)0.0268 (8473)1.0 (226)1.0 (226)0.0268 (8473)0.0776 (2926)
SeanSafarpour/wb_4m8s1.dimacs.filtered.wcnf.gz0.3619 (104)0.0 (-)0.0824 (460)1.0 (37)1.0 (37)0.3551 (106)0.2249 (168)
SeanSafarpour/wb_4m8s4.dimacs.filtered.wcnf.gz0.9913 (230)0.0 (-)0.9913 (230)1.0 (228)1.0 (228)0.9424 (242)0.9913 (230)
MaxSATQueriesinInterpretableClassifiers/MLIC_maxsat_benchmarks/wdbc_train_0_DNF_5_1.wcnf.gz1.0 (21)1.0 (21)1.0 (21)1.0 (21)1.0 (21)0.6111 (35)0.5238 (41)
railway-transport/we.wcnf.gz1.0 (862)0.4426 (1949)0.6828 (1263)0.0 (-)0.0 (-)0.0845 (10214)0.142 (6075)