BenchmarkSATLike-cTT-Open-WBOLoandrasls-lsusls-mcsStableResolver
MaxSATQueriesinInterpretableClassifiers-adult_train_3_CNF_5_1.wcnf.gz0.7226 (6798)0.7023 (6995)0.7302 (6727)0.6968 (7050)0.6961 (7057)0.7302 (6727)
MaxSATQueriesinInterpretableClassifiers-compas_train_4_DNF_4_1.wcnf.gz0.9915 (2105)0.8433 (2475)0.8526 (2448)0.9844 (2120)0.9844 (2120)0.7355 (2838)
MaxSATQueriesinInterpretableClassifiers-compas_train_4_DNF_5_1.wcnf.gz0.9938 (2096)0.8031 (2594)0.9533 (2185)0.8672 (2402)0.8687 (2398)0.5846 (3564)
MaxSATQueriesinInterpretableClassifiers-credit_test_0_CNF_4_1.wcnf.gz0.9904 (522)0.9136 (566)0.9848 (525)0.9522 (543)0.9522 (543)0.8962 (577)
MaxSATQueriesinInterpretableClassifiers-credit_train_0_CNF_2_1.wcnf.gz0.9018 (5885)0.89 (5963)0.8887 (5972)0.8887 (5972)0.8887 (5972)0.8887 (5972)
MaxSATQueriesinInterpretableClassifiers-credit_train_1_CNF_3_1.wcnf.gz0.9393 (5965)0.9382 (5972)0.9381 (5973)0.9382 (5972)0.9382 (5972)0.9387 (5969)
MaxSATQueriesinInterpretableClassifiers-credit_train_4_CNF_5_1.wcnf.gz0.8227 (5945)0.819 (5972)0.8186 (5975)0.819 (5972)0.819 (5972)0.819 (5972)
MaxSATQueriesinInterpretableClassifiers-credit_train_6_DNF_3_1.wcnf.gz0.8257 (5915)0.4035 (12105)0.8082 (6043)0.2323 (21025)0.2323 (21028)0.2323 (21028)
MaxSATQueriesinInterpretableClassifiers-heart_train_0_CNF_5_1.wcnf.gz0.9592 (48)0.9592 (48)1.0 (46)0.7966 (58)0.7833 (59)0.8704 (53)
MaxSATQueriesinInterpretableClassifiers-heart_train_1_DNF_3_1.wcnf.gz1.0 (46)1.0 (46)1.0 (46)1.0 (46)0.8103 (57)0.94 (49)
MaxSATQueriesinInterpretableClassifiers-heart_train_4_CNF_5_1.wcnf.gz1.0 (45)0.92 (49)0.9787 (46)0.7797 (58)0.697 (65)0.8519 (53)
MaxSATQueriesinInterpretableClassifiers-ionosphere_train_1_CNF_3_1.wcnf.gz1.0 (22)0.8846 (25)0.7931 (28)0.7931 (28)0.561 (40)0.8519 (26)
MaxSATQueriesinInterpretableClassifiers-ionosphere_train_1_CNF_4_1.wcnf.gz0.9583 (23)0.9583 (23)0.8846 (25)0.9583 (23)0.9583 (23)0.7188 (31)
MaxSATQueriesinInterpretableClassifiers-tictactoe_train_6_CNF_4_1.wcnf.gz0.9835 (120)0.9917 (119)0.9444 (125)0.9597 (123)0.9444 (125)0.8561 (138)
MaxSATQueriesinInterpretableClassifiers-toms_test_1_DNF_2_1.wcnf.gz0.9836 (60)0.9677 (61)0.9091 (65)0.9524 (62)0.9524 (62)0.9375 (63)
MaxSATQueriesinInterpretableClassifiers-toms_train_1_CNF_2_1.wcnf.gz0.8556 (858)0.1048 (7010)0.4702 (1562)0.9774 (751)0.9774 (751)0.2026 (3627)
MaxSATQueriesinInterpretableClassifiers-toms_train_4_DNF_5_1.wcnf.gz0.0939 (6868)0.0375 (17194)0.1402 (4599)0.0 (-)0.0 (-)0.1279 (5043)
MaxSATQueriesinInterpretableClassifiers-twitter_test_1_CNF_2_1.wcnf.gz0.9886 (174)0.7004 (246)0.8918 (193)0.9251 (186)0.9251 (186)0.8872 (194)
MaxSATQueriesinInterpretableClassifiers-wdbc_train_7_DNF_5_1.wcnf.gz1.0 (21)0.9167 (23)1.0 (21)1.0 (21)0.9565 (22)0.7857 (27)
MaximumCommonSub-GraphExtraction-g10_n13e12_n13e12_n14e13_n14e13_n14e13_n14e13_n14e13_n15e13_n15e14_n15e14.wcnf.gz1.0 (1)1.0 (1)1.0 (1)1.0 (1)1.0 (1)1.0 (1)
MaximumCommonSub-GraphExtraction-g2_n13e12_n46e57.wcnf.gz1.0 (1)1.0 (1)1.0 (1)1.0 (1)1.0 (1)1.0 (1)
MaximumCommonSub-GraphExtraction-g2_n35e34_n58e61.wcnf.gz1.0 (21)1.0 (21)1.0 (21)1.0 (21)1.0 (21)1.0 (21)
MaximumCommonSub-GraphExtraction-g2_n42e55_n44e53.wcnf.gz1.0 (33)1.0 (33)1.0 (33)1.0 (33)1.0 (33)1.0 (33)
MaximumCommonSub-GraphExtraction-g2_n57e60_n61e85.wcnf.gz1.0 (44)1.0 (44)1.0 (44)1.0 (44)1.0 (44)1.0 (44)
MaximumCommonSub-GraphExtraction-g2_n61e68_n73e75.wcnf.gz1.0 (48)1.0 (48)1.0 (48)0.9608 (50)0.9608 (50)0.9608 (50)
MaximumCommonSub-GraphExtraction-g2_n63e71_n74e99.wcnf.gz1.0 (53)1.0 (53)1.0 (53)0.9818 (54)0.9818 (54)0.9818 (54)
MaximumCommonSub-GraphExtraction-g2_n67e83_n68e73.wcnf.gz1.0 (50)1.0 (50)1.0 (50)0.9808 (51)0.9107 (55)0.9107 (55)
MaximumCommonSub-GraphExtraction-g3_n46e48_n58e61_n75e81.wcnf.gz1.0 (35)1.0 (35)1.0 (35)1.0 (35)1.0 (35)1.0 (35)
MaximumCommonSub-GraphExtraction-g4_n47e58_n55e66_n61e85_n67e83.wcnf.gz1.0 (44)1.0 (44)1.0 (44)1.0 (44)0.9574 (46)1.0 (44)
MaximumCommonSub-GraphExtraction-g4_n56e84_n61e85_n62e78_n63e71.wcnf.gz1.0 (74)1.0 (74)1.0 (74)1.0 (74)1.0 (74)1.0 (74)
SeanSafarpour-SM_AS_TOP_buggy1.dimacs.filtered.wcnf.gz0.9831 (58)0.6824 (84)0.6824 (84)0.9831 (58)0.9831 (58)0.6824 (84)
SeanSafarpour-SM_MAIN_MEM_buggy1.dimacs.filtered.wcnf.gz0.7227 (540)0.6776 (576)0.0464 (8422)0.7931 (492)0.7931 (492)0.6776 (576)
SeanSafarpour-rsdecoder-problem.dimacs_38.filtered.wcnf.gz0.0612 (48)0.0056 (532)0.0026 (1146)1.0 (2)1.0 (2)0.0065 (462)
SeanSafarpour-rsdecoder-problem.dimacs_41.filtered.wcnf.gz0.0051 (591)0.0076 (392)0.0016 (1925)0.75 (3)0.75 (3)0.0184 (162)
SeanSafarpour-rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.wcnf.gz0.0107 (372)1.0 (3)0.011 (364)0.125 (31)0.125 (31)0.0075 (529)
SeanSafarpour-rsdecoder4.dimacs.filtered.wcnf.gz0.0352 (141)1.0 (4)0.0113 (443)0.122 (40)0.122 (40)0.0259 (192)
SeanSafarpour-rsdecoder6.dimacs.filtered.wcnf.gz0.0513 (77)0.5 (7)0.6667 (5)0.4 (9)0.4 (9)0.0064 (627)
SeanSafarpour-wb_4m8s-problem.dimacs_47.filtered.wcnf.gz0.0 (-)0.0126 (2694)0.0 (-)1.0 (33)1.0 (33)0.0631 (538)
SeanSafarpour-wb_4m8s-problem.dimacs_49.filtered.wcnf.gz0.0 (-)0.0582 (3833)0.0 (-)1.0 (222)1.0 (222)0.7336 (303)
SeanSafarpour-wb_4m8s4.dimacs.filtered.wcnf.gz1.0 (227)0.987 (230)0.257 (886)1.0 (227)1.0 (227)0.987 (230)
aes-key-recovery-AES1-76-36.wcnf.gz1.0 (22)0.697 (32)0.6765 (33)0.0 (-)0.0 (-)0.3239 (70)
aes-key-recovery-AES1-76-38.wcnf.gz0.0645 (30)0.0645 (30)0.0588 (33)0.0 (-)0.0 (-)0.0328 (60)
aes-key-recovery-AES2-72-67.wcnf.gz0.0682 (43)0.0652 (45)0.0556 (53)0.0 (-)0.0 (-)0.0353 (84)
aes-mul_8_11.wcnf.gz1.0 (64)0.4745 (136)0.4063 (159)0.942 (68)0.942 (68)0.3714 (174)
aes-mul_8_13.wcnf.gz0.9683 (62)0.3789 (160)0.3885 (156)1.0 (60)1.0 (60)0.4122 (147)
aes-mul_8_14.wcnf.gz1.0 (56)0.5229 (108)0.5135 (110)0.9661 (58)0.9661 (58)0.57 (99)
aes-mul_8_9.wcnf.gz1.0 (42)0.5309 (80)0.5244 (81)1.0 (42)1.0 (42)0.5181 (82)
aes-sbox_8.wcnf.gz0.6928 (842)0.6986 (835)0.8011 (728)0.0 (-)0.0 (-)0.9932 (587)
atcoss-atcoss_mesat_02.wcnf.gz0.4811 (105)0.8361 (60)1.0 (50)0.4435 (114)0.4435 (114)0.7183 (70)
atcoss-atcoss_mesat_03.wcnf.gz0.5604 (90)0.9273 (54)0.8361 (60)0.4215 (120)0.0 (-)0.6296 (80)
atcoss-atcoss_mesat_04.wcnf.gz0.0 (-)0.0 (-)0.3333 (92)0.0 (-)0.0 (-)0.3407 (90)
atcoss-atcoss_mesat_05.wcnf.gz0.0 (-)0.3333 (32)0.0909 (120)0.0 (-)0.0 (-)0.1507 (72)
atcoss-atcoss_mesat_10.wcnf.gz0.1474 (94)0.6667 (20)0.6667 (20)0.0 (-)0.0 (-)0.4 (34)
atcoss-atcoss_mesat_15.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
atcoss-atcoss_mesat_18.wcnf.gz0.0 (-)1.0 (12)0.1368 (94)0.0 (-)0.0 (-)0.2549 (50)
atcoss-atcoss_sugar_02.wcnf.gz0.8361 (60)1.0 (50)1.0 (50)0.3806 (133)0.3806 (133)0.7846 (64)
atcoss-atcoss_sugar_03.wcnf.gz0.8361 (60)1.0 (50)0.8361 (60)0.3355 (151)0.3355 (151)0.7083 (71)
atcoss-atcoss_sugar_04.wcnf.gz0.4247 (72)0.9394 (32)0.7561 (40)0.2199 (140)0.2199 (140)0.4921 (62)
atcoss-atcoss_sugar_05.wcnf.gz0.3793 (28)0.7857 (13)0.5238 (20)0.0803 (136)0.0803 (136)0.1803 (60)
atcoss-atcoss_sugar_10.wcnf.gz0.6087 (22)0.8235 (16)0.6087 (22)0.0875 (159)0.3043 (45)0.5185 (26)
atcoss-atcoss_sugar_15.wcnf.gz0.0 (-)0.0 (-)0.274 (145)0.0 (-)0.0 (-)0.274 (145)
atcoss-atcoss_sugar_18.wcnf.gz0.3171 (40)1.0 (12)0.619 (20)0.0699 (185)0.0699 (185)0.1605 (80)
bcp-SU-100kb__simp-genos.haps.1.wcnf.gz0.9818 (54)0.9818 (54)0.9818 (54)0.9643 (55)0.9818 (54)0.9643 (55)
bcp-SU-100kb__simp-genos.haps.12.wcnf.gz1.0 (66)0.9853 (67)1.0 (66)0.9853 (67)0.9853 (67)0.9571 (69)
bcp-SU-100kb__simp-genos.haps.21.wcnf.gz0.9831 (58)0.9831 (58)0.9667 (59)0.9831 (58)0.9831 (58)0.9667 (59)
bcp-SU-100kb__simp-genos.haps.22.wcnf.gz1.0 (63)0.9697 (65)0.9552 (66)0.9412 (67)0.9697 (65)0.9275 (68)
bcp-SU-100kb__simp-genos.haps.3.wcnf.gz0.9643 (55)0.9818 (54)0.9474 (56)0.9474 (56)0.9474 (56)0.9 (59)
bcp-SU3__simp-genos.haps.63.wcnf.gz0.9889 (89)0.9889 (89)1.0 (88)0.978 (90)0.978 (90)0.8558 (103)
bcp-SU3__simp-genos.haps.80.wcnf.gz1.0 (102)1.0 (102)1.0 (102)0.9717 (105)0.981 (104)0.8655 (118)
bcp-SU3__simp-genos.haps.9.wcnf.gz1.0 (106)1.0 (106)1.0 (106)0.9907 (107)1.0 (106)0.9145 (116)
bcp-normalized-ex1010.pi.wcnf.gz0.8864 (272)0.5817 (415)0.6741 (358)0.9878 (244)0.9878 (244)0.7401 (326)
bcp-normalized-fir08_area_opers.wcnf.gz0.98 (49)0.9074 (53)0.9074 (53)0.8909 (54)0.8909 (54)0.9245 (52)
bcp-normalized-g125.18.wcnf.gz0.0 (-)0.0 (-)0.0 (-)1.0 (2232)1.0 (2232)0.0 (-)
bcp-normalized-par32-1.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-normalized-par32-3-c.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
bcp-normalized-test4.pi.wcnf.gz0.8972 (106)0.6275 (152)0.6154 (155)1.0 (95)1.0 (95)0.8 (119)
close_solutions-SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.2.wcnf.gz1.0 (1331)1.0 (1331)0.9673 (1376)1.0 (1331)1.0 (1331)0.8839 (1506)
close_solutions-SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.3.wcnf.gz1.0 (1312)1.0 (1312)0.2356 (5572)0.9828 (1335)1.0 (1312)0.9036 (1452)
close_solutions-SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf.gz1.0 (1028)1.0 (1028)0.7319 (1405)0.621 (1656)0.621 (1656)0.0 (-)
close_solutions-SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.170-NOTKNOWN.cnf.wcnf.6.wcnf.gz0.0 (-)0.0 (-)0.0 (-)1.0 (48)1.0 (48)0.0 (-)
des-cnf.19.p.10.wcnf.gz0.8333 (23)0.6452 (30)1.0 (19)0.6667 (29)0.6667 (29)0.7407 (26)
des-cnf.20.p.10.wcnf.gz0.84 (24)0.5833 (35)0.875 (23)0.6563 (31)0.6563 (31)0.6563 (31)
des-cnf.20.p.8.wcnf.gz0.875 (23)0.9545 (21)1.0 (20)0.6563 (31)0.6563 (31)0.7241 (28)
exploits-synthesis-meltdown_min.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
exploits-synthesis-spectre_min.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
extension-enforcement-extension-enforcement_non-strict_stb_150_0.05_2_8_4.wcnf.gz1.0 (4)0.7143 (6)1.0 (4)1.0 (4)1.0 (4)1.0 (4)
extension-enforcement-extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf.gz0.9 (9)0.6923 (12)0.75 (11)0.75 (11)0.9 (9)1.0 (8)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf.gz0.75 (11)0.6429 (13)0.225 (39)0.75 (11)0.75 (11)0.8182 (10)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf.gz0.9167 (11)0.55 (19)0.4583 (23)0.6875 (15)0.6875 (15)0.6875 (15)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_2.wcnf.gz0.8571 (13)0.7059 (16)0.75 (15)1.0 (11)1.0 (11)0.8 (14)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_2_10_2.wcnf.gz1.0 (9)1.0 (9)0.6667 (14)0.7143 (13)0.7692 (12)0.7143 (13)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf.gz0.7857 (13)1.0 (10)0.6111 (17)0.8462 (12)0.9167 (11)1.0 (10)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf.gz0.75 (11)0.9 (9)0.75 (11)0.8182 (10)0.9 (9)0.9 (9)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_1.wcnf.gz0.7273 (10)0.5714 (13)0.6667 (11)0.6154 (12)0.6154 (12)1.0 (7)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf.gz1.0 (6)0.5385 (12)0.7778 (8)0.6364 (10)0.6364 (10)1.0 (6)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_3.wcnf.gz0.7692 (12)0.9091 (10)0.9091 (10)0.7692 (12)0.7692 (12)0.6667 (14)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf.gz0.9 (9)0.8182 (10)0.6 (14)1.0 (8)1.0 (8)1.0 (8)
fault-diagnosis-s38584_nan_explicit_2_0.wcnf.gz0.9854 (136)0.9783 (137)0.7031 (191)0.75 (179)0.75 (179)0.5769 (233)
fault-diagnosis-s38584_nan_explicit_7_0.wcnf.gz1.0 (188)0.9742 (193)0.9844 (191)0.6608 (285)0.6585 (286)0.8475 (222)
fault-diagnosis-s38584_nan_explicit_8_0.wcnf.gz0.9037 (217)0.9752 (201)1.0 (196)0.6986 (281)0.6986 (281)0.8874 (221)
fault-diagnosis-s38584_nan_explicit_9_0.wcnf.gz0.986 (214)0.9953 (212)0.8983 (235)0.8413 (251)0.8413 (251)0.794 (266)
gen-hyper-tw-GenHyperTW_aim-50-2_0-yes1-3.wcnf.gz0.9286 (13)0.7647 (16)0.7647 (16)1.0 (12)1.0 (12)0.52 (24)
gen-hyper-tw-GenHyperTW_atv_partial_system.wcnf.gz0.3077 (12)0.5 (7)0.25 (15)0.1026 (38)0.1026 (38)0.1111 (35)
gen-hyper-tw-GenHyperTW_dubois24.wcnf.gz0.5 (5)0.6 (4)0.5 (5)0.4286 (6)0.4286 (6)0.2143 (13)
gen-hyper-tw-GenHyperTW_flat30-50.wcnf.gz0.5152 (65)0.7234 (46)0.0 (-)0.0 (-)0.0 (-)0.5574 (60)
gen-hyper-tw-GenHyperTW_grid4d_3.wcnf.gz0.8889 (8)0.8 (9)0.8 (9)1.0 (7)1.0 (7)0.6154 (12)
gen-hyper-tw-GenHyperTW_hole6.wcnf.gz0.8889 (8)0.5 (15)0.5333 (14)1.0 (7)1.0 (7)0.3636 (21)
gen-hyper-tw-GenHyperTW_hole9.wcnf.gz0.0 (-)0.2453 (52)0.0 (-)0.8667 (14)0.8667 (14)0.2063 (62)
gen-hyper-tw-GenHyperTW_par8-5-c.wcnf.gz0.7333 (14)0.8462 (12)0.2895 (37)0.234 (46)0.234 (46)0.275 (39)
hs-timetabling-GreeceWesternGreeceUniversityInstance4.xml.wcnf.gz0.1875 (79)0.1829 (81)0.2727 (54)0.1282 (116)0.1014 (147)0.1007 (148)
large-graph-commmunity-AMAZON.wcnf.gz0.0 (-)0.8216 (63979)0.7743 (67883)0.0 (-)0.0 (-)0.9883 (53188)
large-graph-commmunity-DBLP.wcnf.gz0.9005 (65117)0.8846 (66289)0.8476 (69182)0.0 (-)0.0 (-)0.9977 (58773)
large-graph-commmunity-YOUTUBE.wcnf.gz0.9448 (115758)0.9626 (113618)1.0 (109363)0.0 (-)0.0 (-)0.9287 (117754)
logic-synthesis-normalized-test4.pi.opb.msat.wcnf.gz0.8636 (109)0.5938 (159)0.6552 (144)0.9896 (95)0.9896 (95)0.7787 (121)
maxclique-MANN_a81.clq.wcnf.gz0.9982 (2225)0.9982 (2225)1.0 (2221)0.9982 (2225)0.9982 (2225)1.0 (2221)
maxclique-brock400_1.clq.wcnf.gz1.0 (375)0.9947 (377)0.9921 (378)0.9947 (377)0.9895 (379)0.9973 (376)
maxclique-brock400_4.clq.wcnf.gz1.0 (367)0.9761 (376)0.971 (378)0.9735 (377)0.9735 (377)0.9761 (376)
maxclique-brock800_2.clq.wcnf.gz0.9987 (782)0.9987 (782)1.0 (781)0.9974 (783)0.9974 (783)1.0 (781)
maxclique-p_hat1000-1.clq.wcnf.gz1.0 (990)0.998 (992)1.0 (990)0.999 (991)0.999 (991)1.0 (990)
maxclique-p_hat1000-3.clq.wcnf.gz1.0 (935)0.9894 (945)0.9926 (942)0.9968 (938)0.9968 (938)1.0 (935)
maxclique-p_hat300-3.clq.wcnf.gz1.0 (264)0.9962 (265)0.9925 (266)1.0 (264)0.9888 (267)1.0 (264)
maxclique-p_hat500-3.clq.wcnf.gz1.0 (450)0.9762 (461)0.9956 (452)0.9912 (454)0.9956 (452)0.9978 (451)
maxclique-p_hat700-1.clq.wcnf.gz0.9986 (690)1.0 (689)0.9986 (690)0.9971 (691)0.9971 (691)1.0 (689)
maxclique-p_hat700-3.clq.wcnf.gz0.9938 (642)0.9786 (652)0.9953 (641)0.9907 (644)0.9907 (644)1.0 (638)
maxclique-sanr400_0.7.clq.wcnf.gz1.0 (379)0.9974 (380)1.0 (379)0.9948 (381)0.9922 (382)0.9974 (380)
maxcut-MANN_a27.clq.wcnf.gz1.0 (404)1.0 (404)1.0 (404)1.0 (404)1.0 (404)1.0 (404)
maxcut-MANN_a45.clq.wcnf.gz1.0 (418)1.0 (418)1.0 (418)1.0 (418)1.0 (418)1.0 (418)
maxcut-MANN_a81.clq.wcnf.gz1.0 (399)1.0 (399)1.0 (399)1.0 (399)1.0 (399)1.0 (399)
maxcut-MANN_a9.clq.wcnf.gz1.0 (422)0.9953 (424)0.9953 (424)1.0 (422)1.0 (422)1.0 (422)
maxcut-c-fat500-10.clq.wcnf.gz1.0 (200)1.0 (200)1.0 (200)1.0 (200)1.0 (200)1.0 (200)
maxcut-hamming10-2.clq.wcnf.gz1.0 (400)1.0 (400)1.0 (400)1.0 (400)1.0 (400)1.0 (400)
maxcut-hamming6-2.clq.wcnf.gz1.0 (832)0.9766 (852)1.0 (832)1.0 (832)1.0 (832)1.0 (832)
maxcut-hamming8-2.clq.wcnf.gz1.0 (441)1.0 (441)1.0 (441)1.0 (441)1.0 (441)1.0 (441)
maxcut-johnson8-4-4.clq.wcnf.gz1.0 (770)1.0 (770)1.0 (770)1.0 (770)1.0 (770)1.0 (770)
mbd-b14_C-mbd14-0277.wcnf.gz1.0 (24)0.9615 (25)1.0 (24)0.5102 (48)0.5435 (45)1.0 (24)
mbd-b14_C-mbd14-0337.wcnf.gz1.0 (24)1.0 (24)0.8929 (27)0.8621 (28)0.7353 (33)0.8929 (27)
mbd-b14_C-mbd14-0388.wcnf.gz1.0 (20)1.0 (20)1.0 (20)0.6 (34)0.7241 (28)1.0 (20)
mbd-b21_C-mbd14-0218.wcnf.gz1.0 (26)1.0 (26)0.871 (30)0.5625 (47)0.5625 (47)0.8438 (31)
mbd-b21_C-mbd14-0322.wcnf.gz1.0 (25)1.0 (25)1.0 (25)0.4333 (59)0.5 (51)0.963 (26)
min-fill-MinFill_R0_myciel6.wcnf.gz0.9805 (768)0.8425 (894)1.0 (753)0.9401 (801)0.9401 (801)0.2805 (2687)
min-fill-MinFill_R0_myciel7.wcnf.gz0.3698 (13360)0.6419 (7697)1.0 (4940)0.3169 (15589)0.0 (-)0.3278 (15071)
min-fill-MinFill_R0_queen11_11.wcnf.gz0.9204 (4635)0.9663 (4415)0.8524 (5005)0.8184 (5213)0.8184 (5213)0.9014 (4733)
min-fill-MinFill_R0_queen6_6.wcnf.gz0.9831 (235)0.9789 (236)1.0 (231)0.9789 (236)0.9789 (236)0.8788 (263)
min-fill-MinFill_R0_queen7_7.wcnf.gz1.0 (495)0.9861 (502)0.9822 (504)0.9538 (519)0.9538 (519)0.8493 (583)
min-fill-MinFill_R0_queen8_12.wcnf.gz0.9731 (2453)0.9525 (2506)0.9073 (2631)0.785 (3041)0.8111 (2943)0.8575 (2784)
min-fill-MinFill_R0_queen8_8.wcnf.gz1.0 (959)0.9746 (984)1.0 (959)0.8799 (1090)0.837 (1146)0.8556 (1121)
min-fill-MinFill_R0_queen9_9.wcnf.gz0.9856 (1664)0.9557 (1716)0.9486 (1729)0.9261 (1771)0.9229 (1777)0.825 (1988)
min-fill-MinFill_R1_games120.wcnf.gz0.6194 (2926)0.97 (1868)0.4016 (4514)0.4566 (3970)0.4566 (3970)0.5177 (3501)
min-fill-MinFill_R3_miles1000.wcnf.gz0.2434 (3676)1.0 (894)0.2189 (4087)0.2008 (4457)0.2008 (4457)0.2182 (4100)
min-fill-MinFill_R3_miles750.wcnf.gz0.1242 (3904)0.745 (650)0.5063 (957)0.0978 (4958)0.0978 (4958)0.1082 (4483)
min-fill-MinFill_R4_miles500.wcnf.gz1.0 (396)0.5821 (681)0.6193 (640)0.1093 (3632)0.1093 (3632)0.1471 (2698)
optic-gen_add_4_carry_33.wcnf.gz1.0 (188)0.9742 (193)0.931 (202)1.0 (188)1.0 (188)0.9947 (189)
optic-gen_cvc-add7to3_9999.wcnf.gz0.9949 (196)0.8869 (220)0.9703 (201)0.98 (199)0.9899 (197)0.9469 (206)
optic-gen_mult_3_5_9999.wcnf.gz0.9516 (61)0.9516 (61)0.8806 (66)0.9833 (59)0.9833 (59)0.9516 (61)
optic-gen_mult_3_6_9999.wcnf.gz0.9692 (64)0.863 (72)0.84 (74)1.0 (62)1.0 (62)0.9403 (66)
optic-gen_mult_4_5_33.wcnf.gz0.9905 (737)0.8316 (878)0.9241 (790)1.0 (730)1.0 (730)0.9543 (765)
optic-gen_mult_4_5_399.wcnf.gz0.9878 (739)0.8307 (879)0.923 (791)0.9973 (732)1.0 (730)0.9682 (754)
optic-gen_mult_4_5_991.wcnf.gz0.9297 (127)0.7881 (150)0.8322 (142)1.0 (118)1.0 (118)0.8686 (136)
optic-gen_mult_4_5_9999.wcnf.gz0.9426 (208)0.7086 (277)0.8243 (238)0.9899 (198)0.9899 (198)0.8107 (242)
optic-gen_mult_4_6_991.wcnf.gz0.8466 (162)0.75 (183)0.7977 (172)0.9857 (139)0.9857 (139)0.8214 (167)
optic-gen_mult_4_6_9999.wcnf.gz0.9316 (379)0.701 (504)0.7696 (459)0.9944 (355)0.9944 (355)0.7662 (461)
optic-gen_mult_4_7_991.wcnf.gz0.8324 (172)0.7385 (194)0.7579 (189)0.9931 (144)0.9931 (144)0.7742 (185)
optic-gen_mult_5_5_399.wcnf.gz0.9872 (2336)0.8138 (2834)0.9126 (2527)0.9991 (2308)0.9991 (2308)0.9494 (2429)
optic-gen_mult_5_5_991.wcnf.gz0.9252 (253)0.8545 (274)0.8363 (280)0.9833 (238)0.9958 (235)0.8902 (263)
optic-gen_mult_5_5_9999.wcnf.gz0.9301 (543)0.7117 (710)0.7894 (640)0.9922 (509)0.9922 (509)0.7969 (634)
optic-gen_square_5_9999.wcnf.gz0.9833 (59)0.8429 (69)0.8194 (71)1.0 (58)1.0 (58)0.8939 (65)
phylogentic-trees-ms_120_20_20-0.wcnf.gz0.7143 (69)1.0 (49)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
phylogentic-trees-ms_200_12_20-2.wcnf.gz0.8545 (109)0.94 (99)0.9216 (101)0.0 (-)0.0 (-)0.0 (-)
phylogentic-trees-ms_200_20_20-9.wcnf.gz0.7838 (110)0.719 (120)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
phylogentic-trees-ms_260_20_20-0.wcnf.gz0.531 (144)0.4031 (190)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
phylogentic-trees-ms_260_20_20-1.wcnf.gz0.3918 (170)0.8933 (74)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
program_disambiguation-Q13_OPTIONS_1.wcnf.gz1.0 (21)1.0 (21)0.0 (-)0.7333 (29)0.7333 (29)0.0 (-)
program_disambiguation-Q22_OPTIONS_1.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean-normalized-g100x100.opb.msat.wcnf.gz0.9616 (2214)0.7235 (2943)0.7717 (2759)0.9912 (2148)0.9912 (2148)0.8554 (2489)
pseudoBoolean-normalized-par32-1.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean-normalized-par32-2.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean-normalized-par32-3.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean-normalized-par32-4.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
pseudoBoolean-normalized-par32-5.opb.msat.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)
railroad_scheduling-MultiDay_1_weighted.wcnf.gz0.5005 (161246)0.4962 (162660)0.5115 (157780)0.9901 (81519)0.9901 (81519)0.5455 (147942)
railroad_scheduling-MultiDay_3.wcnf.gz0.9415 (162438)0.9415 (162438)0.943 (162181)0.9372 (163185)0.9372 (163185)0.9987 (153132)
railroad_scheduling-MultiDay_4.wcnf.gz0.9479 (195678)0.9479 (195678)0.949 (195470)0.9449 (196301)0.9449 (196301)0.9983 (185815)
railroad_scheduling-SingleDay_37.wcnf.gz0.9983 (82631)0.9983 (82631)0.9897 (83345)0.9965 (82777)0.9965 (82777)0.0 (-)
railway-transport-d4.wcnf.gz0.3149 (9608)0.5888 (5138)0.308 (9823)0.0 (-)0.0 (-)0.3705 (8167)
railway-transport-pesp_18Min.wcnf.gz0.7376 (422)0.1762 (1770)0.4063 (767)0.0 (-)0.0 (-)0.1103 (2827)
railway-transport-pesp_5min.wcnf.gz0.9324 (73)0.6765 (101)0.8846 (77)0.8961 (76)0.8961 (76)0.1605 (429)
railway-transport-we.wcnf.gz0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.0 (-)0.1113 (3476)
ramsey-ram_k3_n12.ra0.wcnf.gz1.0 (10)1.0 (10)1.0 (10)1.0 (10)1.0 (10)1.0 (10)
ramsey-ram_k3_n13.ra0.wcnf.gz1.0 (16)0.9444 (17)1.0 (16)1.0 (16)1.0 (16)1.0 (16)
ramsey-ram_k3_n14.ra0.wcnf.gz1.0 (21)0.9565 (22)1.0 (21)1.0 (21)1.0 (21)1.0 (21)
ramsey-ram_k3_n16.ra0.wcnf.gz1.0 (39)1.0 (39)0.9756 (40)1.0 (39)1.0 (39)1.0 (39)
ramsey-ram_k3_n17.ra0.wcnf.gz1.0 (50)1.0 (50)1.0 (50)1.0 (50)1.0 (50)1.0 (50)
ramsey-ram_k3_n18.ra0.wcnf.gz1.0 (60)0.9683 (62)0.9531 (63)1.0 (60)1.0 (60)1.0 (60)
ramsey-ram_k3_n19.ra0.wcnf.gz1.0 (75)0.7835 (96)0.9048 (83)1.0 (75)1.0 (75)1.0 (75)
ramsey-ram_k3_n20.ra0.wcnf.gz1.0 (90)0.8125 (111)0.9785 (92)1.0 (90)1.0 (90)1.0 (90)
ramsey-ram_k4_n18.ra0.wcnf.gz1.0 (9)0.8333 (11)0.8333 (11)1.0 (9)1.0 (9)1.0 (9)
ramsey-ram_k4_n19.ra0.wcnf.gz1.0 (15)0.8421 (18)1.0 (15)1.0 (15)1.0 (15)1.0 (15)
ramsey-ram_k4_n20.ra0.wcnf.gz1.0 (24)0.5952 (41)0.7143 (34)1.0 (24)1.0 (24)1.0 (24)
reversi-rev66-12.wcnf.gz1.0 (21)1.0 (21)1.0 (21)1.0 (21)0.7586 (28)0.7586 (28)
reversi-rev66-14.wcnf.gz1.0 (19)1.0 (19)1.0 (19)1.0 (19)0.6061 (32)0.6452 (30)
reversi-rev66-16.wcnf.gz1.0 (17)1.0 (17)1.0 (17)1.0 (17)0.6207 (28)0.5143 (34)
reversi-rev66-18.wcnf.gz1.0 (15)1.0 (15)1.0 (15)1.0 (15)0.4571 (34)0.64 (24)
reversi-rev66-20.wcnf.gz1.0 (13)0.7368 (18)0.7368 (18)0.56 (24)0.4516 (30)0.4516 (30)
reversi-rev66-22.wcnf.gz1.0 (11)1.0 (11)1.0 (11)0.8571 (13)0.5217 (22)0.3871 (30)
reversi-rev66-24.wcnf.gz1.0 (9)1.0 (9)1.0 (9)1.0 (9)0.3226 (30)0.3448 (28)
reversi-rev66-26.wcnf.gz1.0 (7)1.0 (7)0.6667 (11)0.4211 (18)0.2581 (30)0.2963 (26)
reversi-rev66-28.wcnf.gz1.0 (5)1.0 (5)0.4615 (12)0.5 (11)0.2069 (28)0.2222 (26)
reversi-rev66-30.wcnf.gz0.8 (4)0.6667 (5)0.4 (9)0.5 (7)0.1212 (32)0.1905 (20)
reversi-rev66-32.wcnf.gz1.0 (1)1.0 (1)0.2222 (8)0.3333 (5)0.125 (15)0.0952 (20)
scheduling-cnf_10.wcnf.gz0.7727 (65)0.8947 (56)0.3778 (134)0.1629 (312)0.1629 (312)0.2982 (170)
scheduling-cnf_12.wcnf.gz0.9 (69)1.0 (62)0.63 (99)0.253 (248)0.253 (248)0.4961 (126)
scheduling-cnf_small.wcnf.gz1.0 (28)0.9063 (31)1.0 (28)0.4603 (62)0.4328 (66)0.6042 (47)
set-covering-scpclr11_maxsat.wcnf.gz0.8571 (27)0.8571 (27)0.75 (31)1.0 (23)1.0 (23)0.96 (24)
set-covering-scpclr12_maxsat.wcnf.gz0.96 (24)0.8 (29)0.8 (29)0.8276 (28)1.0 (23)0.8 (29)
set-covering-scpclr13_maxsat.wcnf.gz0.871 (30)0.871 (30)0.7941 (33)0.871 (30)0.9 (29)0.8438 (31)
set-covering-scpcyc06_maxsat.wcnf.gz1.0 (60)1.0 (60)0.9683 (62)1.0 (60)0.9839 (61)0.9683 (62)
set-covering-scpcyc07_maxsat.wcnf.gz0.961 (153)0.8555 (172)0.9548 (154)0.961 (153)0.9548 (154)0.9737 (151)
set-covering-scpcyc08_maxsat.wcnf.gz0.9576 (376)0.8555 (421)0.9652 (373)0.9837 (366)0.9918 (363)0.9525 (378)
set-covering-scpcyc09_maxsat.wcnf.gz0.9835 (845)0.8117 (1024)0.9183 (905)0.9917 (838)1.0 (831)0.9359 (888)
set-covering-scpcyc10_maxsat.wcnf.gz0.9892 (1938)0.8321 (2304)0.8134 (2357)0.9958 (1925)0.9984 (1920)0.9034 (2122)
set-covering-scpcyc11_maxsat.wcnf.gz0.986 (4356)0.7811 (5499)0.7982 (5381)0.994 (4321)0.994 (4321)0.8811 (4875)
treewidth-computation-TWComp_1c75_N69.wcnf.gz1.0 (29)1.0 (29)1.0 (29)0.8108 (36)0.8108 (36)0.75 (39)
treewidth-computation-TWComp_1dj7_N73.wcnf.gz1.0 (26)1.0 (26)1.0 (26)0.8438 (31)0.8438 (31)0.8438 (31)
treewidth-computation-TWComp_1dp_N76.wcnf.gz1.0 (26)1.0 (26)1.0 (26)0.871 (30)0.871 (30)0.8438 (31)
treewidth-computation-TWComp_mulsol.i.5-pp_N119.wcnf.gz1.0 (31)1.0 (31)1.0 (31)0.9697 (32)0.9697 (32)0.6275 (50)
treewidth-computation-TWComp_myciel5_N47.wcnf.gz1.0 (19)1.0 (19)1.0 (19)0.9524 (20)0.9524 (20)0.8696 (22)
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)
treewidth-computation-TWComp_queen6_6_N36.wcnf.gz0.963 (26)1.0 (25)1.0 (25)1.0 (25)1.0 (25)0.9286 (27)
treewidth-computation-TWComp_queen7_7_N49.wcnf.gz1.0 (35)1.0 (35)0.973 (36)0.973 (36)0.973 (36)0.9474 (37)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr10-plb100.wcnf.gz0.9863 (72)0.9474 (75)0.96 (74)1.0 (71)1.0 (71)0.9863 (72)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr11-plb100.wcnf.gz0.9747 (78)0.9277 (82)1.0 (76)0.9872 (77)0.9872 (77)1.0 (76)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr12-plb100.wcnf.gz0.987 (76)0.962 (78)0.9744 (77)0.987 (76)1.0 (75)0.987 (76)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr13-plb100.wcnf.gz1.0 (76)0.9059 (84)0.9167 (83)1.0 (76)1.0 (76)1.0 (76)
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)1.0 (68)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr6-plb100.wcnf.gz0.971 (68)0.9437 (70)0.9571 (69)1.0 (66)1.0 (66)1.0 (66)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr8-plb100.wcnf.gz1.0 (67)1.0 (67)0.9577 (70)0.9714 (69)1.0 (67)1.0 (67)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr9-plb100.wcnf.gz1.0 (74)0.9494 (78)0.9868 (75)0.9868 (75)1.0 (74)0.974 (76)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr10-plb100.wcnf.gz0.9855 (68)0.8947 (75)0.9189 (73)0.9855 (68)0.9855 (68)1.0 (67)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr11-plb100.wcnf.gz0.973 (73)0.9351 (76)0.973 (73)0.973 (73)1.0 (71)0.973 (73)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr12-plb100.wcnf.gz0.9718 (70)0.9452 (72)0.9583 (71)0.9857 (69)0.9857 (69)0.9857 (69)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr13-plb100.wcnf.gz0.9867 (74)0.9367 (78)0.961 (76)1.0 (73)1.0 (73)1.0 (73)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr14-plb100.wcnf.gz1.0 (74)0.9259 (80)0.974 (76)0.9868 (75)0.9868 (75)0.9868 (75)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr5-plb100.wcnf.gz0.9851 (66)0.9851 (66)0.9041 (72)1.0 (65)1.0 (65)1.0 (65)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr6-plb100.wcnf.gz0.971 (68)0.9437 (70)0.9437 (70)0.9853 (67)0.9853 (67)0.971 (68)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr7-plb100.wcnf.gz1.0 (67)0.9855 (68)0.9315 (72)0.9714 (69)0.9855 (68)1.0 (67)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr8-plb100.wcnf.gz0.9846 (64)0.9143 (69)1.0 (63)1.0 (63)1.0 (63)1.0 (63)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr9-plb100.wcnf.gz0.9846 (64)0.9697 (65)0.9552 (66)1.0 (63)1.0 (63)0.9846 (64)
xai-mindset2-australian.wcnf.gz0.5995 (798)0.9141 (523)0.7044 (679)0.0 (-)0.0 (-)0.0 (-)
xai-mindset2-bupa.wcnf.gz0.9487 (311)0.9164 (322)0.9966 (296)0.4603 (642)0.4603 (642)0.0 (-)
xai-mindset2-cleve.wcnf.gz0.7727 (263)0.8718 (233)0.843 (241)0.6435 (316)0.4304 (473)0.0 (-)
xai-mindset2-colic.wcnf.gz0.8204 (205)0.8535 (197)0.8942 (188)0.2253 (749)0.4163 (405)0.0 (-)
xai-mindset2-diabetes.wcnf.gz0.68 (899)0.8632 (708)0.9301 (657)0.0 (-)0.0 (-)0.0 (-)
xai-mindset2-ecoli.wcnf.gz0.9588 (557)0.8269 (646)0.9692 (551)0.6966 (767)0.832 (642)0.0 (-)
xai-mindset2-haberman.wcnf.gz0.949 (391)0.9185 (404)0.9538 (389)0.7782 (477)0.8836 (420)0.8493 (437)
xai-mindset2-heart-c.wcnf.gz0.8063 (252)0.8608 (236)0.8395 (242)0.7312 (278)0.7208 (282)0.0 (-)
xai-mindset2-heart-h.wcnf.gz0.6945 (274)0.9317 (204)0.9139 (208)0.6346 (300)0.729 (261)0.0 (-)
xai-mindset2-heart-statlog.wcnf.gz0.8378 (221)0.9073 (204)0.7983 (232)0.3974 (467)0.6667 (278)0.7381 (251)
xai-mindset2-hungarian.wcnf.gz0.844 (217)0.7931 (231)0.8804 (208)0.6033 (304)0.6571 (279)0.0 (-)
xai-mindset2-liver-disorder.wcnf.gz0.9486 (330)0.9318 (336)0.9345 (335)0.4687 (669)0.4687 (669)0.0 (-)
xai-mindset2-postoperative-patient-data.wcnf.gz0.9265 (67)1.0 (62)0.9844 (63)0.7683 (81)0.7 (89)0.7326 (85)
xai-mindset2-shuttleM.wcnf.gz0.2495 (512)0.6882 (185)0.3938 (324)0.0 (-)0.0 (-)0.0 (-)
xai-mindset2-soybean.wcnf.gz0.9183 (207)0.7432 (256)0.8761 (217)0.1329 (1436)0.1329 (1436)0.5701 (334)