BenchmarkSATLike-cTT-Open-WBOLoandrasls-lsusls-mcsStableResolver
MaxSATQueriesinInterpretableClassifiers-adult_train_3_CNF_5_1.wcnf.gz0.8828 (5564)0.7495 (6554)0.7703 (6377)0.9994 (4915)1.0 (4912)0.7302 (6727)
MaxSATQueriesinInterpretableClassifiers-compas_train_4_DNF_4_1.wcnf.gz1.0 (2087)0.8718 (2394)1.0 (2087)0.9844 (2120)0.9844 (2120)0.8589 (2430)
MaxSATQueriesinInterpretableClassifiers-compas_train_4_DNF_5_1.wcnf.gz1.0 (2083)0.9173 (2271)0.9995 (2084)0.9421 (2211)0.8687 (2398)0.8612 (2419)
MaxSATQueriesinInterpretableClassifiers-credit_test_0_CNF_4_1.wcnf.gz1.0 (517)0.961 (538)0.9885 (523)0.9737 (531)0.9792 (528)0.9505 (544)
MaxSATQueriesinInterpretableClassifiers-credit_train_0_CNF_2_1.wcnf.gz0.9193 (5773)0.89 (5963)0.8987 (5905)1.0 (5307)0.9727 (5456)0.8887 (5972)
MaxSATQueriesinInterpretableClassifiers-credit_train_1_CNF_3_1.wcnf.gz0.9631 (5818)1.0 (5603)0.9436 (5938)0.9382 (5972)0.9382 (5972)0.9389 (5968)
MaxSATQueriesinInterpretableClassifiers-credit_train_4_CNF_5_1.wcnf.gz0.8403 (5821)0.819 (5972)0.8269 (5915)1.0 (4891)0.9976 (4903)0.819 (5972)
MaxSATQueriesinInterpretableClassifiers-credit_train_6_DNF_3_1.wcnf.gz0.8479 (5760)0.8412 (5806)0.8449 (5781)0.978 (4994)1.0 (4884)0.2323 (21028)
MaxSATQueriesinInterpretableClassifiers-heart_train_0_CNF_5_1.wcnf.gz0.9792 (47)1.0 (46)1.0 (46)0.9038 (51)0.7833 (59)0.9038 (51)
MaxSATQueriesinInterpretableClassifiers-heart_train_1_DNF_3_1.wcnf.gz1.0 (46)1.0 (46)1.0 (46)1.0 (46)0.8246 (56)1.0 (46)
MaxSATQueriesinInterpretableClassifiers-heart_train_4_CNF_5_1.wcnf.gz1.0 (45)0.92 (49)0.9787 (46)0.7931 (57)0.7302 (62)0.92 (49)
MaxSATQueriesinInterpretableClassifiers-ionosphere_train_1_CNF_3_1.wcnf.gz1.0 (22)0.92 (24)0.8214 (27)0.9583 (23)0.7188 (31)0.92 (24)
MaxSATQueriesinInterpretableClassifiers-ionosphere_train_1_CNF_4_1.wcnf.gz1.0 (22)0.9583 (23)0.8846 (25)0.9583 (23)0.9583 (23)0.7931 (28)
MaxSATQueriesinInterpretableClassifiers-tictactoe_train_6_CNF_4_1.wcnf.gz1.0 (118)1.0 (118)1.0 (118)0.9754 (121)0.9917 (119)0.9015 (131)
MaxSATQueriesinInterpretableClassifiers-toms_test_1_DNF_2_1.wcnf.gz1.0 (59)0.9677 (61)0.9091 (65)0.9836 (60)0.9836 (60)0.9524 (62)
MaxSATQueriesinInterpretableClassifiers-toms_train_1_CNF_2_1.wcnf.gz0.9327 (787)0.5556 (1322)0.9327 (787)0.98 (749)1.0 (734)0.7462 (984)
MaxSATQueriesinInterpretableClassifiers-toms_train_4_DNF_5_1.wcnf.gz0.1218 (5296)0.1208 (5340)0.1435 (4493)1.0 (644)1.0 (644)0.1279 (5043)
MaxSATQueriesinInterpretableClassifiers-twitter_test_1_CNF_2_1.wcnf.gz1.0 (172)0.7655 (225)0.901 (191)0.9558 (180)0.9886 (174)0.9454 (182)
MaxSATQueriesinInterpretableClassifiers-wdbc_train_7_DNF_5_1.wcnf.gz1.0 (21)0.9167 (23)1.0 (21)1.0 (21)0.9565 (22)0.9167 (23)
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)1.0 (48)0.9608 (50)1.0 (48)
MaximumCommonSub-GraphExtraction-g2_n63e71_n74e99.wcnf.gz1.0 (53)1.0 (53)1.0 (53)1.0 (53)1.0 (53)1.0 (53)
MaximumCommonSub-GraphExtraction-g2_n67e83_n68e73.wcnf.gz1.0 (50)1.0 (50)1.0 (50)1.0 (50)0.9273 (54)0.9444 (53)
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.9783 (45)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)1.0 (57)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.12 (24)0.0038 (784)1.0 (2)1.0 (2)0.0065 (458)
SeanSafarpour-rsdecoder-problem.dimacs_41.filtered.wcnf.gz0.0051 (587)0.1579 (18)0.0063 (473)0.75 (3)0.75 (3)0.0187 (159)
SeanSafarpour-rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.wcnf.gz0.0272 (146)1.0 (3)0.04 (99)0.125 (31)0.125 (31)0.0075 (530)
SeanSafarpour-rsdecoder4.dimacs.filtered.wcnf.gz0.0806 (61)1.0 (4)0.0169 (294)0.122 (40)0.122 (40)0.0269 (185)
SeanSafarpour-rsdecoder6.dimacs.filtered.wcnf.gz0.2 (19)0.5714 (6)1.0 (3)0.4 (9)0.4 (9)0.0067 (593)
SeanSafarpour-wb_4m8s-problem.dimacs_47.filtered.wcnf.gz0.0175 (1938)0.0236 (1437)0.0065 (5210)1.0 (33)1.0 (33)0.0631 (538)
SeanSafarpour-wb_4m8s-problem.dimacs_49.filtered.wcnf.gz0.0777 (2869)0.1214 (1836)0.0752 (2965)1.0 (222)1.0 (222)0.7311 (304)
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.8214 (27)0.7419 (30)0.371 (61)0.2738 (83)0.3485 (65)
aes-key-recovery-AES1-76-38.wcnf.gz0.0741 (26)0.08 (24)0.0625 (31)0.0308 (64)0.0308 (64)0.0328 (60)
aes-key-recovery-AES2-72-67.wcnf.gz0.0938 (31)0.0732 (40)0.0789 (37)0.0366 (81)0.0337 (88)0.039 (76)
aes-mul_8_11.wcnf.gz1.0 (64)0.4745 (136)0.4063 (159)0.9701 (66)1.0 (64)0.4333 (149)
aes-mul_8_13.wcnf.gz0.9683 (62)0.3789 (160)0.3885 (156)1.0 (60)1.0 (60)0.5446 (111)
aes-mul_8_14.wcnf.gz1.0 (56)0.5229 (108)0.5135 (110)1.0 (56)1.0 (56)0.5816 (97)
aes-mul_8_9.wcnf.gz1.0 (42)0.5309 (80)0.5244 (81)1.0 (42)1.0 (42)0.5972 (71)
aes-sbox_8.wcnf.gz0.7392 (789)0.7219 (808)0.9558 (610)0.7201 (810)0.7201 (810)1.0 (583)
atcoss-atcoss_mesat_02.wcnf.gz1.0 (50)1.0 (50)1.0 (50)0.4513 (112)0.4513 (112)0.8361 (60)
atcoss-atcoss_mesat_03.wcnf.gz0.8361 (60)1.0 (50)0.9273 (54)0.425 (119)0.425 (119)0.8361 (60)
atcoss-atcoss_mesat_04.wcnf.gz0.5082 (60)0.9394 (32)1.0 (30)0.2366 (130)0.2366 (130)0.6596 (46)
atcoss-atcoss_mesat_05.wcnf.gz0.5238 (20)0.8462 (12)0.5238 (20)0.1325 (82)0.1325 (82)0.3143 (34)
atcoss-atcoss_mesat_10.wcnf.gz0.6667 (20)0.8235 (16)0.8235 (16)0.1972 (70)0.1972 (70)0.4667 (29)
atcoss-atcoss_mesat_15.wcnf.gz0.0 (-)0.0 (-)1.0 (40)0.0 (-)0.0 (-)0.0 (-)
atcoss-atcoss_mesat_18.wcnf.gz0.5652 (22)1.0 (12)1.0 (12)0.1016 (127)0.1016 (127)0.619 (20)
atcoss-atcoss_sugar_02.wcnf.gz0.8361 (60)1.0 (50)1.0 (50)0.8361 (60)0.9273 (54)0.8361 (60)
atcoss-atcoss_sugar_03.wcnf.gz0.8361 (60)1.0 (50)1.0 (50)0.8361 (60)0.8361 (60)0.7391 (68)
atcoss-atcoss_sugar_04.wcnf.gz0.9394 (32)1.0 (30)0.9394 (32)0.6596 (46)0.5849 (52)0.7561 (40)
atcoss-atcoss_sugar_05.wcnf.gz0.8462 (12)0.8462 (12)1.0 (10)0.4074 (26)0.2821 (38)0.3333 (32)
atcoss-atcoss_sugar_10.wcnf.gz0.7368 (18)0.8235 (16)0.8235 (16)0.4516 (30)0.3784 (36)0.6087 (22)
atcoss-atcoss_sugar_15.wcnf.gz0.6557 (60)1.0 (39)0.9756 (40)0.381 (104)0.354 (112)0.3704 (107)
atcoss-atcoss_sugar_18.wcnf.gz1.0 (12)1.0 (12)1.0 (12)0.3939 (32)0.3023 (42)0.5652 (22)
bcp-SU-100kb__simp-genos.haps.1.wcnf.gz0.9818 (54)0.9818 (54)0.9818 (54)0.9643 (55)1.0 (53)0.9818 (54)
bcp-SU-100kb__simp-genos.haps.12.wcnf.gz1.0 (66)0.9853 (67)1.0 (66)0.9853 (67)1.0 (66)0.9853 (67)
bcp-SU-100kb__simp-genos.haps.21.wcnf.gz0.9831 (58)0.9831 (58)1.0 (57)0.9831 (58)0.9831 (58)0.9831 (58)
bcp-SU-100kb__simp-genos.haps.22.wcnf.gz1.0 (63)1.0 (63)0.9697 (65)0.9412 (67)0.9697 (65)0.9697 (65)
bcp-SU-100kb__simp-genos.haps.3.wcnf.gz0.9643 (55)0.9818 (54)0.9474 (56)0.9474 (56)0.9474 (56)0.931 (57)
bcp-SU3__simp-genos.haps.63.wcnf.gz1.0 (88)0.9889 (89)1.0 (88)0.978 (90)0.978 (90)0.8812 (100)
bcp-SU3__simp-genos.haps.80.wcnf.gz1.0 (102)1.0 (102)1.0 (102)0.9904 (103)0.9904 (103)0.9035 (113)
bcp-SU3__simp-genos.haps.9.wcnf.gz1.0 (106)1.0 (106)1.0 (106)0.9907 (107)1.0 (106)0.9304 (114)
bcp-normalized-ex1010.pi.wcnf.gz0.903 (267)0.5961 (405)0.6741 (358)0.9878 (244)1.0 (241)0.8316 (290)
bcp-normalized-fir08_area_opers.wcnf.gz1.0 (48)0.9074 (53)0.98 (49)0.9608 (50)0.9423 (51)0.98 (49)
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.9057 (105)0.6316 (151)0.6154 (155)1.0 (95)1.0 (95)0.8571 (111)
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)0.8839 (1506)
close_solutions-SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.3.wcnf.gz1.0 (1312)1.0 (1312)0.3117 (4211)1.0 (1312)1.0 (1312)0.9806 (1338)
close_solutions-SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf.gz1.0 (1028)1.0 (1028)0.7583 (1356)1.0 (1028)1.0 (1028)1.0 (1028)
close_solutions-SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.170-NOTKNOWN.cnf.wcnf.6.wcnf.gz1.0 (48)0.0 (-)1.0 (48)1.0 (48)1.0 (48)0.0 (-)
des-cnf.19.p.10.wcnf.gz0.8333 (23)0.8696 (22)1.0 (19)0.8333 (23)0.8 (24)0.7692 (25)
des-cnf.20.p.10.wcnf.gz0.875 (23)0.913 (22)1.0 (20)0.913 (22)0.84 (24)0.75 (27)
des-cnf.20.p.8.wcnf.gz1.0 (20)0.9545 (21)1.0 (20)0.84 (24)0.875 (23)0.84 (24)
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)1.0 (4)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.gz1.0 (8)0.9 (9)0.8182 (10)0.9 (9)1.0 (8)1.0 (8)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf.gz0.75 (11)0.6429 (13)0.2813 (31)0.75 (11)0.9 (9)1.0 (8)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf.gz1.0 (10)0.7333 (14)0.8462 (12)0.6875 (15)0.9167 (11)0.9167 (11)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_1_10_2.wcnf.gz0.8571 (13)0.8571 (13)0.8571 (13)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)1.0 (9)0.7143 (13)1.0 (9)1.0 (9)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf.gz0.7857 (13)1.0 (10)1.0 (10)0.8462 (12)1.0 (10)1.0 (10)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf.gz0.9 (9)1.0 (8)0.75 (11)0.8182 (10)1.0 (8)1.0 (8)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_1.wcnf.gz1.0 (7)0.8 (9)0.6667 (11)0.6154 (12)0.8889 (8)1.0 (7)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_2.wcnf.gz1.0 (6)0.875 (7)1.0 (6)0.6364 (10)1.0 (6)1.0 (6)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.05_4_10_3.wcnf.gz0.9091 (10)0.9091 (10)0.9091 (10)0.9091 (10)1.0 (9)0.7143 (13)
extension-enforcement-extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf.gz1.0 (8)1.0 (8)0.9 (9)1.0 (8)1.0 (8)1.0 (8)
fault-diagnosis-s38584_nan_explicit_2_0.wcnf.gz1.0 (134)0.9854 (136)0.7377 (182)0.7627 (176)0.75 (179)0.5769 (233)
fault-diagnosis-s38584_nan_explicit_7_0.wcnf.gz1.0 (188)0.9844 (191)0.9947 (189)0.6823 (276)0.6585 (286)0.8475 (222)
fault-diagnosis-s38584_nan_explicit_8_0.wcnf.gz0.912 (215)0.9801 (200)0.9078 (216)0.7243 (271)0.6986 (281)0.8874 (221)
fault-diagnosis-s38584_nan_explicit_9_0.wcnf.gz1.0 (211)1.0 (211)0.906 (233)0.8446 (250)0.8413 (251)0.794 (266)
gen-hyper-tw-GenHyperTW_aim-50-2_0-yes1-3.wcnf.gz0.9286 (13)0.8125 (15)0.8667 (14)1.0 (12)1.0 (12)0.52 (24)
gen-hyper-tw-GenHyperTW_atv_partial_system.wcnf.gz0.6667 (5)0.5714 (6)0.5714 (6)0.2857 (13)0.3333 (11)0.1333 (29)
gen-hyper-tw-GenHyperTW_dubois24.wcnf.gz0.6 (4)0.6 (4)0.6 (4)0.6 (4)0.5 (5)0.4286 (6)
gen-hyper-tw-GenHyperTW_flat30-50.wcnf.gz0.9714 (34)1.0 (33)0.9189 (36)0.5152 (65)0.5152 (65)0.5667 (59)
gen-hyper-tw-GenHyperTW_grid4d_3.wcnf.gz1.0 (7)1.0 (7)0.8889 (8)1.0 (7)1.0 (7)0.6667 (11)
gen-hyper-tw-GenHyperTW_hole6.wcnf.gz0.8889 (8)0.5714 (13)0.5333 (14)1.0 (7)1.0 (7)0.4 (19)
gen-hyper-tw-GenHyperTW_hole9.wcnf.gz1.0 (12)0.3023 (42)0.2955 (43)0.8667 (14)0.8667 (14)0.2097 (61)
gen-hyper-tw-GenHyperTW_par8-5-c.wcnf.gz0.7333 (14)1.0 (10)1.0 (10)0.234 (46)0.234 (46)0.3056 (35)
hs-timetabling-GreeceWesternGreeceUniversityInstance4.xml.wcnf.gz0.75 (19)0.8824 (16)1.0 (14)0.1293 (115)0.1027 (145)0.0987 (151)
large-graph-commmunity-AMAZON.wcnf.gz0.7906 (66484)0.8216 (63979)0.7743 (67883)0.8483 (61961)0.8483 (61961)1.0 (52564)
large-graph-commmunity-DBLP.wcnf.gz0.9006 (65108)0.8846 (66289)0.8476 (69182)0.8941 (65581)0.8941 (65581)1.0 (58639)
large-graph-commmunity-YOUTUBE.wcnf.gz0.9449 (115746)0.9626 (113618)0.9692 (112834)0.9497 (115159)0.9497 (115159)0.9333 (117173)
logic-synthesis-normalized-test4.pi.opb.msat.wcnf.gz0.8879 (106)0.6051 (156)0.6552 (144)1.0 (94)1.0 (94)0.8559 (110)
maxclique-MANN_a81.clq.wcnf.gz0.9982 (2225)0.9982 (2225)1.0 (2221)0.9987 (2224)0.9987 (2224)1.0 (2221)
maxclique-brock400_1.clq.wcnf.gz1.0 (375)0.9947 (377)0.9973 (376)0.9947 (377)0.9895 (379)0.9973 (376)
maxclique-brock400_4.clq.wcnf.gz1.0 (367)0.9761 (376)0.9735 (377)0.9735 (377)0.9735 (377)0.9761 (376)
maxclique-brock800_2.clq.wcnf.gz0.9987 (782)0.9987 (782)1.0 (781)0.9987 (782)0.9974 (783)1.0 (781)
maxclique-p_hat1000-1.clq.wcnf.gz1.0 (990)0.999 (991)1.0 (990)1.0 (990)0.999 (991)1.0 (990)
maxclique-p_hat1000-3.clq.wcnf.gz1.0 (935)0.9915 (943)1.0 (935)0.9968 (938)0.9968 (938)1.0 (935)
maxclique-p_hat300-3.clq.wcnf.gz1.0 (264)0.9962 (265)0.9962 (265)1.0 (264)0.9925 (266)1.0 (264)
maxclique-p_hat500-3.clq.wcnf.gz1.0 (450)0.9826 (458)0.9956 (452)0.9912 (454)0.9956 (452)0.9978 (451)
maxclique-p_hat700-1.clq.wcnf.gz1.0 (689)1.0 (689)1.0 (689)0.9971 (691)0.9971 (691)1.0 (689)
maxclique-p_hat700-3.clq.wcnf.gz0.9969 (640)0.9816 (650)0.9953 (641)0.9984 (639)0.9984 (639)1.0 (638)
maxclique-sanr400_0.7.clq.wcnf.gz1.0 (379)0.9974 (380)1.0 (379)0.9974 (380)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.9812 (848)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)1.0 (24)1.0 (24)0.5435 (45)0.6579 (37)1.0 (24)
mbd-b14_C-mbd14-0337.wcnf.gz1.0 (24)1.0 (24)0.9615 (25)0.8621 (28)0.8333 (29)0.8929 (27)
mbd-b14_C-mbd14-0388.wcnf.gz1.0 (20)1.0 (20)1.0 (20)0.6176 (33)0.8077 (25)1.0 (20)
mbd-b21_C-mbd14-0218.wcnf.gz1.0 (26)1.0 (26)0.9643 (27)0.5625 (47)0.6136 (43)0.8438 (31)
mbd-b21_C-mbd14-0322.wcnf.gz1.0 (25)1.0 (25)1.0 (25)0.4333 (59)0.5 (51)1.0 (25)
min-fill-MinFill_R0_myciel6.wcnf.gz0.9805 (768)0.924 (815)1.0 (753)0.9401 (801)0.9401 (801)0.3104 (2428)
min-fill-MinFill_R0_myciel7.wcnf.gz0.3964 (12463)0.6728 (7343)1.0 (4940)0.3251 (15197)0.3251 (15197)0.3494 (14140)
min-fill-MinFill_R0_queen11_11.wcnf.gz1.0 (4266)0.9682 (4406)0.936 (4558)0.8847 (4822)0.8689 (4910)0.9102 (4687)
min-fill-MinFill_R0_queen6_6.wcnf.gz1.0 (231)1.0 (231)1.0 (231)0.9831 (235)0.9872 (234)0.9317 (248)
min-fill-MinFill_R0_queen7_7.wcnf.gz1.0 (495)0.9861 (502)0.9822 (504)0.9688 (511)0.9688 (511)0.9254 (535)
min-fill-MinFill_R0_queen8_12.wcnf.gz0.9896 (2412)0.9668 (2469)1.0 (2387)0.8805 (2711)0.8861 (2694)0.8646 (2761)
min-fill-MinFill_R0_queen8_8.wcnf.gz1.0 (959)0.9677 (991)1.0 (959)0.9187 (1044)0.9543 (1005)0.8759 (1095)
min-fill-MinFill_R0_queen9_9.wcnf.gz0.9958 (1647)0.9809 (1672)1.0 (1640)0.9502 (1726)0.9313 (1761)0.8846 (1854)
min-fill-MinFill_R1_games120.wcnf.gz0.692 (2619)0.9945 (1822)0.724 (2503)0.6656 (2723)1.0 (1812)0.6196 (2925)
min-fill-MinFill_R3_miles1000.wcnf.gz0.268 (3339)1.0 (894)0.2709 (3303)0.3957 (2261)0.9391 (952)0.2865 (3123)
min-fill-MinFill_R3_miles750.wcnf.gz0.2317 (2092)0.8377 (578)1.0 (484)0.2794 (1735)0.5581 (868)0.1385 (3501)
min-fill-MinFill_R4_miles500.wcnf.gz1.0 (396)0.7576 (523)1.0 (396)0.3241 (1224)0.4018 (987)0.1936 (2050)
optic-gen_add_4_carry_33.wcnf.gz1.0 (188)0.9742 (193)0.9793 (192)1.0 (188)1.0 (188)1.0 (188)
optic-gen_cvc-add7to3_9999.wcnf.gz0.9949 (196)0.9032 (216)0.9751 (200)1.0 (195)0.9899 (197)0.9703 (201)
optic-gen_mult_3_5_9999.wcnf.gz0.9672 (60)0.9516 (61)0.8806 (66)1.0 (58)1.0 (58)0.9672 (60)
optic-gen_mult_3_6_9999.wcnf.gz0.9692 (64)0.8873 (70)0.84 (74)1.0 (62)1.0 (62)0.9692 (64)
optic-gen_mult_4_5_33.wcnf.gz0.9919 (736)0.8316 (878)0.9172 (796)1.0 (730)1.0 (730)0.9799 (745)
optic-gen_mult_4_5_399.wcnf.gz0.9892 (738)0.8307 (879)0.923 (791)1.0 (730)1.0 (730)0.9878 (739)
optic-gen_mult_4_5_991.wcnf.gz0.9444 (125)0.7933 (149)0.8322 (142)1.0 (118)1.0 (118)0.9225 (128)
optic-gen_mult_4_5_9999.wcnf.gz0.9517 (206)0.7086 (277)0.814 (241)0.9899 (198)1.0 (196)0.8678 (226)
optic-gen_mult_4_6_991.wcnf.gz0.8679 (158)0.75 (183)0.7977 (172)1.0 (137)1.0 (137)0.8466 (162)
optic-gen_mult_4_6_9999.wcnf.gz0.9415 (375)0.701 (504)0.7629 (463)1.0 (353)1.0 (353)0.8027 (440)
optic-gen_mult_4_7_991.wcnf.gz0.8571 (167)0.7385 (194)0.7701 (186)1.0 (143)0.9796 (146)0.8324 (172)
optic-gen_mult_5_5_399.wcnf.gz0.9914 (2326)0.8138 (2834)0.9158 (2518)0.9996 (2307)1.0 (2306)0.9689 (2380)
optic-gen_mult_5_5_991.wcnf.gz0.9325 (251)0.8545 (274)0.8363 (280)1.0 (234)1.0 (234)0.9144 (256)
optic-gen_mult_5_5_9999.wcnf.gz0.9493 (532)0.7117 (710)0.8148 (620)0.9961 (507)1.0 (505)0.8377 (603)
optic-gen_square_5_9999.wcnf.gz0.9833 (59)0.8939 (65)0.8194 (71)1.0 (58)1.0 (58)0.9077 (64)
phylogentic-trees-ms_120_20_20-0.wcnf.gz0.8621 (57)1.0 (49)0.9615 (51)0.0 (-)0.0 (-)0.0 (-)
phylogentic-trees-ms_200_12_20-2.wcnf.gz1.0 (93)1.0 (93)0.9216 (101)0.0 (-)0.0 (-)0.8393 (111)
phylogentic-trees-ms_200_20_20-9.wcnf.gz0.7982 (108)0.719 (120)0.5506 (157)0.0 (-)0.0 (-)0.0 (-)
phylogentic-trees-ms_260_20_20-0.wcnf.gz1.0 (76)0.6937 (110)0.414 (185)0.0 (-)0.0 (-)0.0 (-)
phylogentic-trees-ms_260_20_20-1.wcnf.gz0.5537 (120)0.8933 (74)0.4963 (134)0.0 (-)0.0 (-)0.0 (-)
program_disambiguation-Q13_OPTIONS_1.wcnf.gz1.0 (21)1.0 (21)1.0 (21)0.7333 (29)0.7333 (29)0.9565 (22)
program_disambiguation-Q22_OPTIONS_1.wcnf.gz0.6304 (45)0.7838 (36)1.0 (28)0.7838 (36)0.7838 (36)0.7838 (36)
pseudoBoolean-normalized-g100x100.opb.msat.wcnf.gz0.9713 (2192)0.7265 (2931)0.7717 (2759)1.0 (2129)0.9963 (2137)0.8908 (2390)
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.5114 (157834)1.0 (80708)1.0 (80708)0.546 (147830)
railroad_scheduling-MultiDay_3.wcnf.gz0.9415 (162436)0.9415 (162438)0.943 (162181)0.938 (163051)0.938 (163050)1.0 (152940)
railroad_scheduling-MultiDay_4.wcnf.gz0.948 (195669)0.9479 (195678)0.949 (195470)0.9477 (195722)0.9477 (195722)1.0 (185492)
railroad_scheduling-SingleDay_37.wcnf.gz0.9984 (82620)0.9983 (82631)0.9897 (83345)0.9965 (82777)0.9965 (82777)1.0 (82490)
railway-transport-d4.wcnf.gz0.5689 (5318)1.0 (3025)0.308 (9823)0.2718 (11133)0.2718 (11133)0.3715 (8145)
railway-transport-pesp_18Min.wcnf.gz0.7899 (394)0.4401 (708)1.0 (311)0.9968 (312)0.9968 (312)0.1955 (1595)
railway-transport-pesp_5min.wcnf.gz0.9324 (73)0.9324 (73)0.8961 (76)0.8961 (76)0.9452 (72)0.2371 (290)
railway-transport-we.wcnf.gz0.4651 (831)1.0 (386)0.0841 (4598)0.0424 (9124)0.0424 (9129)0.1337 (2893)
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.9383 (80)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.9091 (10)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.641 (38)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)1.0 (21)0.7586 (28)
reversi-rev66-14.wcnf.gz1.0 (19)1.0 (19)1.0 (19)1.0 (19)1.0 (19)0.7407 (26)
reversi-rev66-16.wcnf.gz1.0 (17)1.0 (17)1.0 (17)1.0 (17)1.0 (17)0.5455 (32)
reversi-rev66-18.wcnf.gz1.0 (15)1.0 (15)1.0 (15)1.0 (15)0.8889 (17)0.64 (24)
reversi-rev66-20.wcnf.gz1.0 (13)1.0 (13)1.0 (13)1.0 (13)0.56 (24)0.6667 (20)
reversi-rev66-22.wcnf.gz1.0 (11)1.0 (11)1.0 (11)1.0 (11)1.0 (11)0.5714 (20)
reversi-rev66-24.wcnf.gz1.0 (9)1.0 (9)1.0 (9)1.0 (9)0.4348 (22)0.4 (24)
reversi-rev66-26.wcnf.gz1.0 (7)1.0 (7)1.0 (7)0.8 (9)0.4211 (18)0.32 (24)
reversi-rev66-28.wcnf.gz1.0 (5)1.0 (5)0.75 (7)1.0 (5)0.4 (14)0.2609 (22)
reversi-rev66-30.wcnf.gz1.0 (3)1.0 (3)1.0 (3)1.0 (3)0.1538 (25)0.2857 (13)
reversi-rev66-32.wcnf.gz1.0 (1)1.0 (1)1.0 (1)1.0 (1)0.6667 (2)0.5 (3)
scheduling-cnf_10.wcnf.gz0.9107 (55)1.0 (50)0.9623 (52)0.2818 (180)0.2802 (181)0.3566 (142)
scheduling-cnf_12.wcnf.gz0.9844 (63)1.0 (62)1.0 (62)0.3841 (163)0.4286 (146)0.525 (119)
scheduling-cnf_small.wcnf.gz1.0 (28)0.9063 (31)1.0 (28)0.725 (39)0.5273 (54)0.8529 (33)
set-covering-scpclr11_maxsat.wcnf.gz0.8571 (27)0.8571 (27)0.8 (29)1.0 (23)1.0 (23)1.0 (23)
set-covering-scpclr12_maxsat.wcnf.gz1.0 (23)0.8 (29)0.8 (29)1.0 (23)1.0 (23)0.8571 (27)
set-covering-scpclr13_maxsat.wcnf.gz0.9 (29)1.0 (26)0.7941 (33)0.9 (29)0.9 (29)0.931 (28)
set-covering-scpcyc06_maxsat.wcnf.gz1.0 (60)1.0 (60)0.9683 (62)1.0 (60)1.0 (60)1.0 (60)
set-covering-scpcyc07_maxsat.wcnf.gz0.961 (153)0.8555 (172)0.961 (153)0.961 (153)0.9737 (151)1.0 (147)
set-covering-scpcyc08_maxsat.wcnf.gz0.9652 (373)0.8595 (419)0.9652 (373)0.9863 (365)0.9972 (361)1.0 (360)
set-covering-scpcyc09_maxsat.wcnf.gz0.9835 (845)0.8125 (1023)0.9275 (896)0.9952 (835)1.0 (831)0.963 (863)
set-covering-scpcyc10_maxsat.wcnf.gz0.9897 (1937)0.8321 (2304)0.8867 (2162)0.9969 (1923)1.0 (1917)0.9374 (2045)
set-covering-scpcyc11_maxsat.wcnf.gz0.9865 (4354)0.8389 (5120)0.7982 (5381)0.9942 (4320)1.0 (4295)0.8991 (4777)
treewidth-computation-TWComp_1c75_N69.wcnf.gz1.0 (29)1.0 (29)1.0 (29)0.9677 (30)1.0 (29)0.9091 (32)
treewidth-computation-TWComp_1dj7_N73.wcnf.gz1.0 (26)1.0 (26)1.0 (26)1.0 (26)0.931 (28)0.871 (30)
treewidth-computation-TWComp_1dp_N76.wcnf.gz1.0 (26)1.0 (26)1.0 (26)1.0 (26)0.9643 (27)0.9 (29)
treewidth-computation-TWComp_mulsol.i.5-pp_N119.wcnf.gz1.0 (31)1.0 (31)1.0 (31)1.0 (31)1.0 (31)1.0 (31)
treewidth-computation-TWComp_myciel5_N47.wcnf.gz1.0 (19)1.0 (19)1.0 (19)0.9524 (20)1.0 (19)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.gz1.0 (25)1.0 (25)1.0 (25)1.0 (25)1.0 (25)0.963 (26)
treewidth-computation-TWComp_queen7_7_N49.wcnf.gz1.0 (35)1.0 (35)1.0 (35)1.0 (35)1.0 (35)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.9872 (77)1.0 (76)0.9872 (77)1.0 (76)1.0 (76)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr12-plb100.wcnf.gz0.987 (76)0.9744 (77)0.9744 (77)0.987 (76)1.0 (75)1.0 (75)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr13-plb100.wcnf.gz1.0 (76)0.9625 (79)0.9277 (82)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.gz1.0 (66)0.9571 (69)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)1.0 (67)1.0 (67)1.0 (67)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr9-plb100.wcnf.gz1.0 (74)0.9615 (77)0.9868 (75)1.0 (74)1.0 (74)1.0 (74)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr10-plb100.wcnf.gz1.0 (67)0.9189 (73)0.9189 (73)0.9855 (68)1.0 (67)1.0 (67)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr11-plb100.wcnf.gz0.973 (73)0.9351 (76)1.0 (71)0.973 (73)1.0 (71)0.9863 (72)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr12-plb100.wcnf.gz0.9857 (69)0.9452 (72)0.9583 (71)0.9857 (69)1.0 (68)1.0 (68)
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.9375 (79)0.974 (76)0.9868 (75)1.0 (74)0.9868 (75)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr5-plb100.wcnf.gz0.9851 (66)0.9851 (66)0.9296 (70)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.9571 (69)0.9853 (67)1.0 (66)0.9853 (67)
uaq-uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr7-plb100.wcnf.gz1.0 (67)0.9855 (68)0.9577 (70)0.9855 (68)1.0 (67)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.9374 (510)0.9466 (505)1.0 (478)0.7403 (646)0.7997 (598)0.6814 (702)
xai-mindset2-bupa.wcnf.gz0.961 (307)0.9427 (313)1.0 (295)0.7031 (420)0.8481 (348)0.8177 (361)
xai-mindset2-cleve.wcnf.gz0.8226 (247)0.9401 (216)0.8536 (238)0.7034 (289)0.7584 (268)0.6846 (297)
xai-mindset2-colic.wcnf.gz0.845 (199)1.0 (168)0.9086 (185)0.668 (252)0.7682 (219)0.7222 (233)
xai-mindset2-diabetes.wcnf.gz0.8248 (741)0.9474 (645)1.0 (611)0.7356 (831)0.3893 (1571)0.8031 (761)
xai-mindset2-ecoli.wcnf.gz1.0 (534)0.8574 (623)0.9799 (545)0.6966 (767)0.8452 (632)0.8295 (644)
xai-mindset2-haberman.wcnf.gz0.9514 (390)0.9254 (401)1.0 (371)0.8611 (431)0.8964 (414)0.8493 (437)
xai-mindset2-heart-c.wcnf.gz0.8681 (234)0.9315 (218)0.8465 (240)0.7312 (278)0.7757 (262)0.7183 (283)
xai-mindset2-heart-h.wcnf.gz0.761 (250)1.0 (190)0.9646 (197)0.6346 (300)0.7733 (246)0.6221 (306)
xai-mindset2-heart-statlog.wcnf.gz0.8815 (210)1.0 (185)0.8341 (222)0.7782 (238)0.8052 (230)0.7381 (251)
xai-mindset2-hungarian.wcnf.gz0.8976 (204)1.0 (183)0.8976 (204)0.6866 (267)0.92 (199)0.716 (256)
xai-mindset2-liver-disorder.wcnf.gz1.0 (313)0.9843 (318)0.9721 (322)0.7621 (411)0.9049 (346)0.887 (353)
xai-mindset2-postoperative-patient-data.wcnf.gz1.0 (62)1.0 (62)0.9844 (63)0.8873 (70)0.7079 (88)0.8077 (77)
xai-mindset2-shuttleM.wcnf.gz0.5953 (214)0.7665 (166)0.8951 (142)0.0 (-)0.0 (-)0.0 (-)
xai-mindset2-soybean.wcnf.gz0.9598 (198)0.7403 (257)1.0 (190)0.5026 (379)0.6725 (283)0.5895 (323)