BenchmarkCASHWMaxSATMaxHSUWrMaxSATEvalMaxSAT-fastMinimizeEvalMaxSAT-fullMinimizePacoseExact
muni-fsps-spr17.wcnf.gz0.87 (0)0.68 (0)1.16 (0)0.34 (0)0.35 (0)0.18 (0)3.13 (0)
role_university_multiple_0.2_8.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-1-17.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-am20-outof-50-ecardn-w.wcnf.gz662.52 (30)151.92 (30)93.9 (30)57.94 (30)206.37 (30)2.59 (30)654.55 (30)
role_smallcomp_0.55_2.wcnf.gz3600.0 (-)3600.0 (-)624.67 (301480)3600.0 (-)3600.0 (-)1767.67 (301480)1567.29 (301480)
mancoosi-test-i40d0u98-14.wcnf.gz1.75 (1780838)0.23 (1780838)0.4 (1780838)3.82 (1780838)3.84 (1780838)0.4 (1780838)29.11 (1780838)
WCNF_storage_p01.wcnf.gz0.61 (3)0.09 (3)0.01 (3)0.01 (3)0.01 (3)0.03 (3)0.04 (3)
Rounded_BTWBNSL_asia_100_1_3.scores_TWBound_2.wcnf.gz8.2 (24564427)0.12 (24564427)0.03 (24564427)0.03 (24564427)0.05 (24564427)0.18 (24564427)0.3 (24564427)
ram_k3_n20.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_2.wcnf.gz3600.0 (-)446.35 (136299558)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ped2.G.recomb10-0.01-5.wcnf.gz22.6 (59945)523.03 (59945)25.16 (59945)41.86 (59945)79.97 (59945)21.7 (59945)94.09 (59945)
warehouse1.wcsp.wcnf.gz0.36 (730567)0.06 (730567)4.39 (730567)37.84 (730567)151.9 (730567)8.5 (730567)28.98 (730567)
p_hat300-3.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
downcast-pmd.wcnf.gz516.57 (4227)683.99 (4227)540.63 (4227)776.82 (4227)1684.44 (4227)3600.0 (-)3600.0 (-)
MinWidthCB_power_600_24_1k_6s_1t_6.wcnf.gz617.84 (82971)3600.0 (-)22.48 (82971)609.22 (82971)2190.7 (82971)45.83 (82971)3600.0 (-)
rand446_l1.wcnf.gz2.03 (302906)1.42 (302906)0.38 (302906)0.72 (302906)0.94 (302906)697.62 (302906)23.33 (302906)
cat_paths_60_170_0001.txt.wcnf.gz0.65 (104976)0.05 (104976)11.66 (104976)0.07 (104976)0.07 (104976)86.47 (104976)774.73 (104976)
test33--n-10000.wcnf.gz5.63 (1)0.96 (1)0.59 (1)0.46 (1)0.51 (1)0.11 (1)124.58 (1)
Rounded_CorrelationClustering_Protein1_UNARY_N190.wcnf.gz3600.0 (-)742.55 (9009683)3600.0 (-)3600.0 (-)1185.2 (9009683)3600.0 (-)3600.0 (-)
c-fat200-2.clq.wcnf.gz0.3 (167)0.11 (167)0.05 (167)0.05 (167)0.07 (167)89.48 (167)0.19 (167)
frb10-6-4.wcnf.gz0.19 (50)0.02 (50)0.01 (50)0.02 (50)0.01 (50)0.01 (50)0.18 (50)
frb20-11-1.wcnf.gz63.09 (200)1.75 (200)0.03 (200)0.15 (200)0.15 (200)0.14 (200)188.84 (200)
comp16.lp.sm-extracted.wcnf.gz50.3 (11)723.71 (11)57.24 (11)660.83 (11)1066.41 (11)1204.68 (11)569.97 (11)
frb15-9-2.wcnf.gz2.11 (120)0.14 (120)0.02 (120)0.04 (120)0.04 (120)0.07 (120)3.64 (120)
causal_n7_i4_N500_uai14_log_int.wcnf.gz25.2 (37532020924)334.72 (37532020924)25.06 (37532020924)231.68 (37532020924)1949.47 (37532020924)394.65 (37532020924)3600.0 (-)
power-distribution_6_6.wcnf.gz601.15 (4)1.13 (4)0.93 (4)1.57 (4)1.7 (4)0.77 (4)3.86 (4)
cap131.wcsp.wcnf.gz2.54 (7934385)1.15 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-factor-size=9-P=191-Q=509.opb.wcnf.gz1.68 (191)0.02 (191)0.01 (191)0.01 (191)0.01 (191)0.01 (191)0.07 (191)
metro_9_8_7_22_10_6_500_1_2.lp.sm-extracted.wcnf.gz6.36 (60)31.43 (60)6.7 (60)30.03 (60)52.29 (60)20.51 (60)127.29 (60)
RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-DF.wcnf.gz18.55 (98635)11.48 (98635)21.07 (98635)89.46 (98635)89.54 (98635)5.59 (98635)3600.0 (-)
ram_k3_n12.ra1.wcnf.gz787.5 (524)3600.0 (-)172.08 (524)3600.0 (-)3600.0 (-)205.55 (524)1827.98 (524)
wolfram80_3.wcnf.gz40.47 (11440)28.64 (11440)40.16 (11440)9.59 (11440)9.57 (11440)3600.0 (-)126.74 (11440)
54.wcsp.log.wcnf.gz1.87 (37)0.73 (37)0.02 (37)0.01 (37)0.01 (37)0.02 (37)0.41 (37)
role_smallcomp_0.25_9.wcnf.gz12.9 (159950)331.09 (159950)65.56 (159950)4.72 (159950)8.5 (159950)403.07 (159950)263.29 (159950)
johnson8-2-4.clq.wcnf.gz5.48 (392)5.68 (392)451.37 (392)720.41 (392)1757.69 (392)479.84 (392)3600.0 (-)
af-synthesis_stb_50_160_9.wcnf.gz721.21 (113)3600.0 (-)754.43 (113)3600.0 (-)3600.0 (-)244.73 (113)3600.0 (-)
rail516.wcnf.gz17.1 (182)307.88 (182)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ar-3.wcnf.gz2.58 (43814)0.55 (43814)8.01 (43814)5.74 (43814)5.81 (43814)3600.0 (-)3600.0 (-)
scp47_weighted.wcnf.gz0.05 (430)0.07 (430)0.38 (430)0.64 (430)1.01 (430)3600.0 (-)1.48 (430)
BrazilInstance6.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
random-dif-3.rna.pre.wcnf.gz67.73 (415)1.84 (415)0.22 (415)0.14 (415)0.18 (415)0.79 (415)57.97 (415)
310-6.wcnf.gz64.65 (70867)37.0 (70867)55.62 (70867)941.75 (70867)1170.81 (70867)1441.22 (70867)3600.0 (-)
role_domino_0.7_0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-am24-outof-55-ekmtot-w.wcnf.gz1360.6 (31)110.37 (31)584.26 (31)6.0 (31)7.66 (31)0.16 (31)3600.0 (-)
causal_Wine_8_178.wcnf.gz30.37 (426682)202.93 (426682)26.74 (426682)73.47 (426682)334.74 (426682)1647.2 (426682)3600.0 (-)
mancoosi-test-i1000d0u98-11.wcnf.gz1.92 (122139402)0.58 (122139402)0.52 (122139402)6.08 (122139402)6.14 (122139402)1.15 (122139402)26.54 (122139402)
tcp_students_91_it_15.wcnf.gz4.03 (2697)67.48 (2697)3.6 (2697)10.62 (2697)232.28 (2697)21.02 (2697)1225.31 (2697)
mancoosi-test-i3000d0u98-51.wcnf.gz2.1 (573028153)0.8 (573028153)0.47 (573028153)9.27 (573028153)9.29 (573028153)54.54 (573028153)18.74 (573028153)
test30--n-5000.wcnf.gz2.22 (970)0.5 (970)9.97 (970)3.87 (970)3.9 (970)0.3 (970)41.32 (970)
test27--n-10000.wcnf.gz9.51 (2)5.03 (2)0.52 (2)0.83 (2)1.16 (2)0.15 (2)274.28 (2)
metro_9_9_10_35_13_7_500_2_2.lp.sm-extracted.wcnf.gz5.93 (32)100.31 (32)6.22 (32)107.67 (32)255.81 (32)49.63 (32)97.56 (32)
af-synthesis_stb_50_40_8.wcnf.gz1409.62 (117)3600.0 (-)1563.19 (117)3600.0 (-)3600.0 (-)483.95 (117)3600.0 (-)
k100-73-76.rna.pre.wcnf.gz51.23 (2008)513.6 (2008)40.62 (2008)87.22 (2008)79.72 (2008)544.98 (2008)3600.0 (-)
1knt_.2knt_.g.wcnf.t.wcnf.gz18.98 (1767)22.44 (1767)20.0 (1767)1.54 (1767)2.06 (1767)2.08 (1767)51.36 (1767)
twitter_train_1_CNF_4_20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
test59--n-15000.wcnf.gz12.29 (11)5.77 (11)0.88 (11)1.21 (11)1.66 (11)0.75 (11)603.7 (11)
test49--n-7500.wcnf.gz0.69 (672741572)0.12 (672741572)6.99 (672741572)6.99 (672741572)6.97 (672741572)53.16 (672741572)83.96 (672741572)
metro_8_8_5_20_10_6_500_1_1.lp.sm-extracted.wcnf.gz43.92 (89)564.38 (89)43.61 (89)397.24 (89)579.11 (89)84.71 (89)1157.32 (89)
bnn_mnist_back_image_5_label2_adversarial_norm_inf_totalizer.wcnf.gz859.57 (3)1540.91 (3)895.84 (3)619.08 (3)681.67 (3)1672.43 (3)3600.0 (-)
github.dimacs.wcnf.gz21.69 (187405)3600.0 (-)18.59 (187405)548.41 (187405)2636.35 (187405)289.31 (187405)585.47 (187405)
tcp_students_112_it_4.wcnf.gz1.4 (3438)30.51 (3438)2.11 (3438)3.99 (3438)213.57 (3438)4.74 (3438)14.03 (3438)
random-net-30-6_network-9.net.wcnf.gz3600.0 (-)401.66 (29162)3600.0 (-)3600.0 (-)3600.0 (-)37.69 (29162)3600.0 (-)
ped2.B.recomb1-0.10-10.wcnf.gz1.41 (6)1.1 (6)1.73 (6)0.52 (6)0.69 (6)0.33 (6)57.36 (6)
pa-1.wcnf.gz1119.56 (820)247.54 (820)1307.35 (820)140.82 (820)141.14 (820)3600.0 (-)3600.0 (-)
lisbon-wedding-5-19.wcnf.gz3600.0 (-)3581.82 (805)3600.0 (-)42.81 (805)75.89 (805)3600.0 (-)3600.0 (-)
ped2.B.recomb1-0.10-6.wcnf.gz1.58 (7)1.27 (7)1.92 (7)0.55 (7)0.7 (7)0.43 (7)69.58 (7)
limits-10-10_data-1_inst-068_30m.sm-extracted.wcnf.gz84.37 (5536663)1900.82 (5536663)66.45 (5536663)3600.0 (-)3600.0 (-)29.8 (5536663)71.02 (5536663)
limits-10-10_data-1_inst-099_60m.sm-extracted.wcnf.gz9.16 (761)2.92 (761)10.26 (761)13.42 (761)13.44 (761)2.11 (761)48.36 (761)
42.wcsp.dir.wcnf.gz2.11 (155050)0.11 (155050)0.27 (155050)0.33 (155050)1.1 (155050)0.25 (155050)8.26 (155050)
mancoosi-test-i20d0u98-5.wcnf.gz1.76 (1780834)0.24 (1780834)0.42 (1780834)3.83 (1780834)3.84 (1780834)0.39 (1780834)30.15 (1780834)
Subnetwork_9_weighted.wcnf.gz3600.0 (-)469.16 (82813)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
simNo_4-s_5-m_100-n_500-fp_0.0001-fn_0.05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance5.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
power-distribution_8_2.wcnf.gz11.17 (40)0.08 (40)0.08 (40)0.02 (40)0.02 (40)0.02 (40)0.1 (40)
tcp_students_91_it_9.wcnf.gz0.54 (3174)0.54 (3174)0.54 (3174)0.27 (3174)0.69 (3174)0.17 (3174)1.49 (3174)
310-32.wcnf.gz9.85 (55551)25.61 (55551)10.26 (55551)10.0 (55551)12.63 (55551)65.0 (55551)395.39 (55551)
inst22.lp.sm-extracted.wcnf.gz10.52 (180)30.36 (180)10.71 (180)22.38 (180)51.85 (180)8.49 (180)43.33 (180)
CSGNaive140-140-0.wcnf.gz5.92 (18185)6.32 (18185)6.79 (18185)1.64 (18185)1.82 (18185)2.14 (18185)12.09 (18185)
f1-DataDisplay_0_order4.seq-A-2-1-irabcde.wcnf.gz0.77 (2235526)0.07 (2235526)0.01 (2235526)0.01 (2235526)0.01 (2235526)0.01 (2235526)0.09 (2235526)
bnn_mnist_back_image_40_label3_adversarial_norm_inf_totalizer.wcnf.gz852.05 (1)743.26 (1)884.96 (1)225.96 (1)225.27 (1)3600.0 (-)3600.0 (-)
wolfram72_6.wcnf.gz612.68 (9288)31.78 (9288)12.62 (9288)7.23 (9288)7.25 (9288)3600.0 (-)1095.96 (9288)
test42--n-15000.wcnf.gz18.35 (2)1.96 (2)0.61 (2)1.14 (2)1.34 (2)0.51 (2)721.67 (2)
test8--n-2500.wcnf.gz0.88 (2576)0.06 (2576)1.17 (2576)0.72 (2576)0.72 (2576)0.2 (2576)9.03 (2576)
cap92.wcsp.wcnf.gz1.2 (8547029)0.31 (8547029)124.52 (8547029)3600.0 (-)3600.0 (-)1191.89 (8547029)3600.0 (-)
3ebx_.1era_.g.wcnf.t.wcnf.gz130.8 (2517)326.11 (2517)151.05 (2517)109.77 (2517)167.78 (2517)153.09 (2517)3600.0 (-)
lisbon-wedding-9-17.wcnf.gz377.53 (394)3600.0 (-)336.0 (394)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mprime01cc.wcsp.dir.wcnf.gz3.45 (603)0.09 (603)0.09 (603)0.02 (603)0.02 (603)0.04 (603)0.14 (603)
instance12.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpnrf3_weighted.wcnf.gz54.83 (14)33.85 (14)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
web-wikipedia2009.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
WCNF_pathways_p04.wcnf.gz12.73 (20)0.05 (20)0.04 (20)0.02 (20)0.02 (20)0.02 (20)0.12 (20)
lums-spr18.wcnf.gz30.54 (0)24.02 (0)39.13 (0)8.17 (0)8.32 (0)5.52 (0)122.62 (0)
polysite-bloat.wcnf.gz1361.99 (36)984.05 (36)1390.15 (36)1718.27 (36)2458.35 (36)3600.0 (-)3600.0 (-)
role_university_multiple_0.2_0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
muni-fsps-spr17c.wcnf.gz7.67 (0)6.04 (0)10.05 (0)2.71 (0)2.75 (0)1.42 (0)30.54 (0)
role_domino_0.8_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-D7.wcnf.gz157.79 (482635)59.21 (482635)171.24 (482635)905.28 (482635)876.71 (482635)44.52 (482635)3600.0 (-)
af-synthesis_stb_50_20_4.wcnf.gz2169.19 (117)3600.0 (-)1070.58 (117)3600.0 (-)3600.0 (-)303.52 (117)3600.0 (-)
pu-d9-fal19.wcnf.gz91.55 (0)62.74 (0)122.37 (0)52.65 (0)53.06 (0)28.07 (0)308.62 (0)
muni-pdf-spr16.wcnf.gz125.84 (0)85.55 (0)169.18 (0)74.42 (0)74.27 (0)21.35 (0)435.88 (0)
compas_test_3_DNF_1_10.wcnf.gz0.02 (2673)0.01 (2673)0.02 (2673)0.01 (2673)0.02 (2673)0.04 (2673)0.02 (2673)
af-synthesis_stb_50_160_1.wcnf.gz1041.29 (108)3600.0 (-)1259.35 (108)3600.0 (-)3600.0 (-)275.14 (108)3600.0 (-)
metro_9_8_7_22_10_6_500_1_9.lp.sm-extracted.wcnf.gz1.86 (52)30.3 (52)1.87 (52)9.07 (52)29.13 (52)3.73 (52)15.47 (52)
agh-h-spr17.wcnf.gz22.1 (0)16.09 (0)29.4 (0)6.11 (0)6.06 (0)3.53 (0)77.96 (0)
instance4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2706.26 (1716)3600.0 (-)
random-net-260-1_network-6.net.wcnf.gz42.62 (245225)10.39 (245225)3600.0 (-)12.41 (245225)39.66 (245225)290.74 (245225)3600.0 (-)
f49-DC_TotalLoss.seq-B-2-combined-abcdeir.wcnf.gz219.46 (44321234)1.1 (44321234)1.11 (44321234)1.47 (44321234)1.53 (44321234)0.15 (44321234)2.17 (44321234)
role_domino_multiple_0.5_7.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
random-same-5.rna.pre.wcnf.gz44.98 (456)0.3 (456)0.11 (456)0.12 (456)0.12 (456)0.44 (456)51.21 (456)
p_hat700-2.clq.wcnf.gz44.15 (834)344.0 (834)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
412.wcsp.log.wcnf.gz600.2 (32381)1455.05 (32381)0.22 (32381)0.1 (32381)0.19 (32381)0.68 (32381)601.16 (32381)
bnn_mnist_rot_0_label6_adversarial_norm_inf_totalizer.wcnf.gz523.73 (1)545.54 (1)583.04 (1)165.36 (1)166.2 (1)148.23 (1)3600.0 (-)
limits-10-10_data-1_inst-045_30m.sm-extracted.wcnf.gz189.28 (4726335)3600.0 (-)165.16 (4726335)3600.0 (-)3600.0 (-)174.19 (4726335)414.97 (4726335)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_5.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MultiDay_3_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tcp_students_91_it_8.wcnf.gz0.44 (3177)0.62 (3177)0.5 (3177)0.29 (3177)0.64 (3177)0.15 (3177)1.4 (3177)
normalized-factor-size=9-P=157-Q=373.opb.wcnf.gz1.86 (157)0.03 (157)0.02 (157)0.01 (157)0.01 (157)0.01 (157)0.08 (157)
warehouse0.wcsp.wcnf.gz0.03 (328)0.01 (328)0.01 (328)0.01 (328)0.01 (328)0.05 (328)0.11 (328)
drmx-am12-outof-40-ekmtot-w.wcnf.gz14.14 (28)3.82 (28)19.87 (28)0.86 (28)0.77 (28)0.02 (28)12.68 (28)
310-33.wcnf.gz6.8 (35463)18.48 (35463)7.16 (35463)10.58 (35463)12.17 (35463)28.44 (35463)70.04 (35463)
causal_Horse.23_7_300.wcnf.gz8.08 (98964)43.3 (98964)8.88 (98964)23.39 (98964)37.67 (98964)118.94 (98964)19.51 (98964)
file_qc_wcnf_N7_H29_2.wcnf.gz0.6 (2)0.03 (2)0.04 (2)0.08 (2)0.14 (2)0.02 (2)0.06 (2)
test41--n-7500.wcnf.gz2.13 (160)0.04 (160)7.66 (160)4.73 (160)4.72 (160)0.8 (160)50.54 (160)
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N200.wcnf.gz124.32 (12682853)97.27 (12682853)83.73 (12682853)171.79 (12682853)269.68 (12682853)3600.0 (-)3600.0 (-)
logistics01c.wcsp.dir.wcnf.gz0.2 (8865)0.02 (8865)0.01 (8865)0.01 (8865)0.02 (8865)0.02 (8865)0.06 (8865)
2knt_.5pti_.g.wcnf.t.wcnf.gz61.58 (2156)165.92 (2156)84.6 (2156)3600.0 (-)29.32 (2156)52.08 (2156)3600.0 (-)
normalized-factor-size=9-P=89-Q=487.opb.wcnf.gz1.43 (89)0.02 (89)0.02 (89)0.02 (89)0.02 (89)0.01 (89)0.07 (89)
muni-pdf-spr16c.wcnf.gz168.1 (0)96.23 (0)218.89 (0)111.81 (0)110.54 (0)229.13 (0)496.87 (0)
file_qc_wcnf_N8_H38_0.wcnf.gz2.0 (2)0.17 (2)0.05 (2)0.12 (2)0.14 (2)0.05 (2)0.12 (2)
bnn_mnist_rot_37_label3_adversarial_norm_inf_totalizer.wcnf.gz809.54 (1)549.32 (1)855.74 (1)183.24 (1)183.68 (1)312.21 (1)3600.0 (-)
tg-spr18.wcnf.gz7.75 (0)5.18 (0)10.42 (0)2.65 (0)2.64 (0)1.69 (0)20.81 (0)
f1-DataDisplay_0_order4.seq-B-3-combined-abcdeir.wcnf.gz0.15 (328661)0.04 (328661)0.01 (328661)0.02 (328661)0.01 (328661)0.01 (328661)0.04 (328661)
inf-road-usa.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
limits-10-10_data-1_inst-010_30m.sm-extracted.wcnf.gz470.41 (19021817)3600.0 (-)506.39 (19021817)3570.93 (19021817)3600.0 (-)51.41 (19021817)282.77 (19021817)
normalized-factor-size=9-P=331-Q=331.opb.wcnf.gz1.83 (331)0.03 (331)0.02 (331)0.01 (331)0.01 (331)0.01 (331)0.06 (331)
polysite-pmd.wcnf.gz421.6 (188398)700.3 (188398)446.03 (188398)871.91 (188398)1426.26 (188398)3600.0 (-)3600.0 (-)
310-67.wcnf.gz11.21 (38498)18.9 (38498)11.13 (38498)17.21 (38498)57.44 (38498)292.18 (38498)214.86 (38498)
file_qc_wcnf_N6_H21_2.wcnf.gz0.26 (2)0.04 (2)0.02 (2)0.02 (2)0.03 (2)0.01 (2)0.05 (2)
RSN_Security_Min_Witness-Shortest-FlexScan-D1.wcnf.gz2.84 (42433)4.52 (42433)3.42 (42433)57.37 (42433)57.37 (42433)85.23 (42433)2199.72 (42433)
metro_9_9_10_35_13_7_500_2_6.lp.sm-extracted.wcnf.gz2.74 (15)16.92 (15)3.07 (15)25.36 (15)75.57 (15)21.4 (15)27.56 (15)
ped2.G.recomb10-0.20-14.wcnf.gz46.01 (41339)2330.02 (41339)49.53 (41339)59.18 (41339)100.19 (41339)29.33 (41339)114.46 (41339)
frb10-6-5.wcnf.gz0.51 (50)0.04 (50)0.01 (50)0.01 (50)0.02 (50)0.01 (50)0.32 (50)
sc-rel9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
frb15-9-3.wcnf.gz4.24 (120)1.12 (120)0.02 (120)0.04 (120)0.04 (120)0.07 (120)3.88 (120)
random-net-100-1_network-5.net.wcnf.gz2.03 (87920)0.29 (87920)0.85 (87920)2.11 (87920)2.3 (87920)3600.0 (-)1655.02 (87920)
ped2.G.recomb10-0.10-8.wcnf.gz27.12 (55874)1047.91 (55874)31.37 (55874)40.72 (55874)76.41 (55874)22.74 (55874)105.9 (55874)
Rounded_CorrelationClustering_Protein2_UNARY_N260.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tcp_students_91_it_1.wcnf.gz1.25 (2580)113.04 (2580)2.05 (2580)5.35 (2580)221.05 (2580)2.51 (2580)8.55 (2580)
driverlog04cc.wcsp.dir.wcnf.gz3.36 (2932)0.09 (2932)0.09 (2932)0.05 (2932)0.05 (2932)0.12 (2932)0.44 (2932)
power-distribution_12_3.wcnf.gz601.01 (216)0.52 (216)0.51 (216)0.33 (216)0.32 (216)0.36 (216)1.81 (216)
normalized-factor-size=9-P=127-Q=359.opb.wcnf.gz1.45 (127)0.01 (127)0.02 (127)0.01 (127)0.01 (127)0.01 (127)0.07 (127)
ram_k4_n20.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bnn_mnist_rot_1_label0_adversarial_norm_inf_totalizer.wcnf.gz2319.48 (1)1278.36 (1)2252.51 (1)383.98 (1)387.75 (1)407.01 (1)3600.0 (-)
test69--n-20000.wcnf.gz28.37 (18)18.71 (18)1.24 (18)2.46 (18)3.32 (18)0.23 (18)749.79 (18)
rail507.wcnf.gz256.05 (174)623.44 (174)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ar-2.wcnf.gz2437.59 (394748)26.49 (394748)2893.04 (394748)782.71 (394748)780.08 (394748)3600.0 (-)3600.0 (-)
drmx-am32-outof-70-eseqc-w.wcnf.gz606.59 (38)53.11 (38)3.28 (38)2.45 (38)5.13 (38)0.44 (38)3600.0 (-)
limits-10-10_data-1_inst-056_60m.sm-extracted.wcnf.gz47.6 (2072640)512.52 (2072640)50.63 (2072640)249.79 (2072640)270.63 (2072640)6.18 (2072640)132.7 (2072640)
downcast-antlr.wcnf.gz221.84 (76250)829.87 (76250)234.88 (76250)744.74 (76250)1325.45 (76250)3600.0 (-)3600.0 (-)
simNo_4-s_5-m_100-n_500-fp_0.01-fn_0.05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
power-distribution_6_7.wcnf.gz611.17 (4)8.53 (4)9.62 (4)5.11 (4)5.15 (4)6.29 (4)27.11 (4)
iku-fal17.wcnf.gz533.64 (0)304.28 (0)681.55 (0)138.15 (0)141.65 (0)81.51 (0)3600.0 (-)
3ebx_.6ebx_.g.wcnf.t.wcnf.gz26.0 (1740)96.96 (1740)23.38 (1740)7.95 (1740)8.02 (1740)11.33 (1740)1091.55 (1740)
scp46_weighted.wcnf.gz0.09 (560)0.07 (560)529.76 (560)2.8 (560)27.99 (560)3600.0 (-)1703.68 (560)
instance10.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
metro_8_8_5_20_10_6_500_1_9.lp.sm-extracted.wcnf.gz49.96 (105)1064.77 (105)43.66 (105)484.2 (105)561.16 (105)92.81 (105)1057.43 (105)
Rounded_CorrelationClustering_Protein1_BINARY_N360.wcnf.gz3600.0 (-)226.65 (27536228)3600.0 (-)871.2 (27536228)239.91 (27536228)3600.0 (-)3600.0 (-)
f49-DC_TotalLoss.seq-B-2-2-EDCBAir.wcnf.gz175.31 (84460802273)81.42 (84460802273)1.27 (84460802273)0.28 (84460802273)0.36 (84460802273)0.14 (84460802273)2.92 (84460802273)
bwt7.wcsp.wcnf.gz0.59 (780)0.49 (780)0.7 (780)0.1 (780)0.1 (780)0.08 (780)1.24 (780)
random-net-100-1_network-6.net.wcnf.gz9.04 (86337)0.27 (86337)4.31 (86337)2.18 (86337)6.32 (86337)37.6 (86337)3600.0 (-)
driverlog02bc.wcsp.wcnf.gz39.15 (2085)0.58 (2085)0.21 (2085)0.25 (2085)0.55 (2085)0.2 (2085)1.88 (2085)
credit_train_1_DNF_2_5.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scpnre3_weighted.wcnf.gz159.69 (27)37.47 (27)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
FinlandSecondarySchool.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis_stb_50_200_5.wcnf.gz1912.06 (102)3600.0 (-)2152.86 (102)3600.0 (-)3600.0 (-)442.92 (102)3600.0 (-)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_2.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_CorrelationClustering_Protein4_UNARY_N190.wcnf.gz3600.0 (-)312.66 (3553940)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
comp19.wcnf.gz39.2 (57)2350.51 (57)45.33 (57)186.4 (57)257.0 (57)20.19 (57)3600.0 (-)
test73--n-20000.wcnf.gz23.86 (7)18.73 (7)2.59 (7)3.72 (7)6.16 (7)0.51 (7)549.14 (7)
wdbc_train_9_DNF_5_10.wcnf.gz2597.51 (22)3600.0 (-)2411.85 (22)3600.0 (-)3600.0 (-)2222.19 (22)3600.0 (-)
Rounded_BTWBNSL_Zoo_TWBound_3.wcnf.gz619.0 (84773175)101.62 (84773175)17.41 (84773175)396.55 (84773175)164.28 (84773175)8.29 (84773175)231.49 (84773175)
muni-pdfx-fal17.wcnf.gz778.57 (0)3600.0 (-)1026.71 (0)518.35 (0)532.56 (0)653.33 (0)3600.0 (-)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_6.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SingleDay_37_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-3-17.wcnf.gz81.92 (1035)557.84 (1035)49.24 (1035)24.0 (1035)20.48 (1035)3600.0 (-)3600.0 (-)
MinWidthCB_mitdbsample_300_32_1k_15s_1t_15.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
simNo_2-s_5-m_300-n_300-fp_0.01-fn_0.20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
muni-fi-spr16.wcnf.gz2.14 (0)1.67 (0)2.77 (0)1.24 (0)1.24 (0)0.4 (0)7.8 (0)
310-31.wcnf.gz8.39 (46854)13.23 (46854)8.71 (46854)13.51 (46854)17.63 (46854)12.48 (46854)54.14 (46854)
instance6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-DE.wcnf.gz107.15 (241318)19.01 (241318)113.42 (241318)21.44 (241318)21.39 (241318)19.7 (241318)3600.0 (-)
ionosphere_test_7_DNF_1_5.wcnf.gz0.01 (19)0.03 (19)0.02 (19)0.01 (19)0.01 (19)0.02 (19)0.01 (19)
f1-DataDisplay_0_order4.seq-A-2-2-irEDCBA.wcnf.gz0.52 (2274838)0.06 (2274838)0.02 (2274838)0.01 (2274838)0.01 (2274838)0.01 (2274838)0.1 (2274838)
bnn_mnist_9_label9_adversarial_norm_inf_totalizer.wcnf.gz667.93 (1)1099.3 (1)716.75 (1)235.69 (1)233.53 (1)328.7 (1)3600.0 (-)
facebook1.dimacs.wcnf.gz290.78 (45581)66.49 (45581)1.6 (45581)15.16 (45581)18.78 (45581)14.75 (45581)20.33 (45581)
pa-2.wcnf.gz3600.0 (-)1192.89 (143)3600.0 (-)1061.98 (143)1054.43 (143)3600.0 (-)3600.0 (-)
random-same-4.rna.pre.wcnf.gz39.61 (491)0.14 (491)0.29 (491)0.11 (491)0.12 (491)0.37 (491)64.16 (491)
heart_test_8_DNF_3_5.wcnf.gz0.01 (55)0.01 (55)0.01 (55)0.01 (55)0.01 (55)0.01 (55)0.01 (55)
lisbon-wedding-7-19.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
geffe128_7.wcnf.gz645.33 (800)11.59 (800)42.12 (800)58.55 (800)59.91 (800)3600.0 (-)231.09 (800)
cap72.wcsp.wcnf.gz0.76 (9777981)0.14 (9777981)7.38 (9777981)11.61 (9777981)147.28 (9777981)99.61 (9777981)30.71 (9777981)
channel-500x100x100-b050.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
file_qc_wcnf_N8_H38_2.wcnf.gz4.39 (2)0.39 (2)0.06 (2)0.07 (2)0.07 (2)0.07 (2)0.17 (2)
file_qc_wcnf_N6_H21_0.wcnf.gz0.18 (2)0.05 (2)0.02 (2)0.03 (2)0.03 (2)0.01 (2)0.04 (2)
tcp_students_105_it_14.wcnf.gz1.77 (3213)145.41 (3213)1.98 (3213)4.71 (3213)79.2 (3213)1.58 (3213)9.08 (3213)
comp10.wcnf.gz36.15 (4)14.39 (4)32.94 (4)58.07 (4)51.05 (4)147.76 (4)341.54 (4)
RSN_Security_Min_Witness-Shortest-FlexScan-DC.wcnf.gz2.81 (42433)4.75 (42433)3.4 (42433)58.75 (42433)59.67 (42433)151.69 (42433)380.29 (42433)
bnn_mnist_rot_9_label1_adversarial_norm_inf_totalizer.wcnf.gz832.37 (1)767.16 (1)863.4 (1)159.94 (1)161.44 (1)255.86 (1)3600.0 (-)
RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-D5.wcnf.gz18.66 (98635)11.47 (98635)21.17 (98635)77.67 (98635)77.27 (98635)5.17 (98635)1079.21 (98635)
role_domino_0.05_17.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cat_paths_60_160_0002.txt.wcnf.gz0.61 (102352)0.03 (102352)77.58 (102352)2.08 (102352)2.43 (102352)238.15 (102352)2740.38 (102352)
p_hat1000-2.clq.wcnf.gz38.05 (752)509.01 (752)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
test2--n-5000.wcnf.gz3.49 (3)3.91 (3)0.81 (3)0.27 (3)0.33 (3)0.07 (3)62.9 (3)
role_smallcomp_0.85_8.wcnf.gz910.97 (369115)3600.0 (-)91.83 (369115)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ilpd_train_3_CNF_4_15.wcnf.gz600.96 (2149)6.42 (2149)0.87 (2149)2.62 (2149)8.92 (2149)3600.0 (-)3600.0 (-)
1vii_.1cph_.g.wcnf.t.wcnf.gz3.07 (165)0.41 (165)0.1 (165)0.01 (165)0.02 (165)0.02 (165)0.22 (165)
wolfram80_0.wcnf.gz64.49 (11440)89.15 (11440)62.94 (11440)95.74 (11440)93.99 (11440)3600.0 (-)403.61 (11440)
Rounded_CorrelationClustering_Protein3_BINARY_N400.wcnf.gz3600.0 (-)831.61 (41489718)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
random-same-19.rna.pre.wcnf.gz12.46 (337)0.11 (337)0.09 (337)0.06 (337)0.06 (337)0.16 (337)6.59 (337)
mancoosi-test-i1000d0u98-24.wcnf.gz1.94 (167273676)0.58 (167273676)0.45 (167273676)5.51 (167273676)5.53 (167273676)1.43 (167273676)33.68 (167273676)
cat_reg_60_110_0001.txt.wcnf.gz2.07 (106755)0.07 (106755)0.46 (106755)0.37 (106755)0.98 (106755)0.66 (106755)0.17 (106755)
Rounded_BTWBNSL_Zoo_TWBound2.wcnf.gz616.72 (84773175)541.32 (84773175)15.26 (84773175)307.82 (84773175)181.62 (84773175)10.14 (84773175)363.6 (84773175)
simNo_7-s_15-m_50-n_50-fp_0.01-fn_0.05.wcnf.gz1.08 (18693549643883)1.42 (18693549643883)1.34 (18693549643883)0.77 (18693549643883)1.0 (18693549643883)57.38 (18693549643883)3.35 (18693549643883)
CSGNaive60-60-53.wcnf.gz0.28 (9829)0.4 (9829)0.33 (9829)0.08 (9829)0.09 (9829)0.09 (9829)0.79 (9829)
f1-DataDisplay_0_order4.seq-B-2-combined-abcdeir.wcnf.gz0.3 (53533)0.05 (53533)0.02 (53533)0.01 (53533)0.01 (53533)0.01 (53533)0.1 (53533)
role_domino_0.9_18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
CSG140-140-6.wcnf.gz49.98 (52385)33.24 (52385)46.28 (52385)326.62 (52385)1461.73 (52385)171.56 (52385)51.55 (52385)
muni-fspsx-fal17.wcnf.gz18.57 (0)14.2 (0)24.62 (0)8.3 (0)8.23 (0)3.54 (0)68.04 (0)
k100-38-60.rna.pre.wcnf.gz27.73 (1878)249.8 (1878)28.68 (1878)62.54 (1878)65.17 (1878)213.36 (1878)3600.0 (-)
downcast-xalan.wcnf.gz155.16 (65491)559.53 (65491)163.06 (65491)379.76 (65491)803.68 (65491)3600.0 (-)3600.0 (-)
frb20-11-2.wcnf.gz26.08 (200)3.19 (200)0.04 (200)0.15 (200)0.15 (200)0.19 (200)47.25 (200)
cat_paths_60_140_0004.txt.wcnf.gz0.6 (96711)0.03 (96711)0.5 (96711)0.02 (96711)0.03 (96711)3.96 (96711)68.94 (96711)
simNo_10-s_5-m_100-n_100-fp_0.01-fn_0.20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ped2.G.recomb5-0.20-11.wcnf.gz37.7 (29122)2165.6 (29122)38.97 (29122)39.29 (29122)80.85 (29122)43.3 (29122)163.78 (29122)
rail2536.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
power-distribution_9_2.wcnf.gz0.49 (18)0.09 (18)0.02 (18)0.01 (18)0.01 (18)0.02 (18)0.04 (18)
WCNF_pathways_p20.wcnf.gz601.51 (247)2.58 (247)1.17 (247)1.4 (247)2.19 (247)0.91 (247)4.11 (247)
509.wcsp.dir.wcnf.gz35.51 (36446)223.0 (36446)0.18 (36446)0.14 (36446)0.23 (36446)1.04 (36446)3.5 (36446)
ram_k3_n18.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MultiDay_2_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
file_qc_wcnf_N6_H21_1.wcnf.gz0.15 (2)0.02 (2)0.02 (2)0.03 (2)0.04 (2)0.01 (2)0.04 (2)
test79--n-10000.wcnf.gz18.68 (1447)0.37 (1447)34.19 (1447)11.17 (1447)11.18 (1447)0.43 (1447)101.67 (1447)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-factor-size=9-P=107-Q=373.opb.wcnf.gz1.31 (107)0.02 (107)0.02 (107)0.02 (107)0.01 (107)0.01 (107)0.05 (107)
RSN_Security_Min_Witness-Shortest-FlexScan-DB.wcnf.gz2.88 (42433)4.55 (42433)3.46 (42433)59.7 (42433)60.39 (42433)147.22 (42433)321.62 (42433)
tcp_students_105_it_15.wcnf.gz50.27 (3258)154.55 (3258)10.36 (3258)459.82 (3258)378.04 (3258)172.03 (3258)3600.0 (-)
lisbon-wedding-7-18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tcp_students_112_it_15.wcnf.gz1.5 (3585)18.71 (3585)1.66 (3585)2.07 (3585)45.17 (3585)2.48 (3585)21.6 (3585)
rail582.wcnf.gz219.81 (211)190.31 (211)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
file_qc_wcnf_N8_H38_3.wcnf.gz0.37 (2)0.05 (2)0.06 (2)0.06 (2)0.06 (2)0.03 (2)0.13 (2)
MANN_a45.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
k100-35-86.rna.pre.wcnf.gz58.45 (2194)1198.53 (2194)54.79 (2194)116.44 (2194)123.65 (2194)547.91 (2194)3600.0 (-)
MinWidthCB_mitdbsample_300_64_1k_15s_2t_17.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_3.wcnf.gz.2.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
frb25-13-1.wcnf.gz304.96 (300)0.31 (300)0.28 (300)0.6 (300)0.6 (300)2.14 (300)3600.0 (-)
RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-D4.wcnf.gz18.61 (98635)11.45 (98635)21.07 (98635)77.57 (98635)76.0 (98635)5.53 (98635)3600.0 (-)
role_domino_0.55_9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.gz.2.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
simNo_1-s_15-m_100-n_500-fp_0.01-fn_0.20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
f1-DataDisplay_0_order4.seq-A-3-1-EDCBAir.wcnf.gz0.12 (6240245)0.03 (6240245)0.01 (6240245)0.01 (6240245)0.01 (6240245)0.01 (6240245)0.03 (6240245)
ar-1.wcnf.gz2.84 (25062)1.73 (25062)3.53 (25062)4.47 (25062)4.55 (25062)3600.0 (-)3600.0 (-)
scpnrf2_weighted.wcnf.gz140.63 (15)46.61 (15)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal_asia_10_100.wcnf.gz9.51 (53617)67.69 (53617)9.11 (53617)33.93 (53617)77.91 (53617)126.11 (53617)22.32 (53617)
BrazilInstance5.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal_Image_7_2310.wcnf.gz404.3 (431410)652.79 (431410)241.84 (431410)2317.23 (431410)3330.88 (431410)1730.14 (431410)3600.0 (-)
1bpi_.2knt_.g.wcnf.t.wcnf.gz153.97 (2407)436.58 (2407)127.83 (2407)77.36 (2407)138.27 (2407)97.66 (2407)3600.0 (-)
dblp.dimacs.wcnf.gz74.95 (25014)137.36 (25014)1.11 (25014)11.48 (25014)25.1 (25014)6.81 (25014)4.82 (25014)
role_smallcomp_0.1_1.wcnf.gz0.44 (78378)0.12 (78378)567.88 (78378)0.02 (78378)0.02 (78378)12.97 (78378)9.67 (78378)
driverlog02bc.wcsp.dir.wcnf.gz24.19 (2085)0.46 (2085)0.11 (2085)0.12 (2085)0.15 (2085)0.18 (2085)1.91 (2085)
scp49_weighted.wcnf.gz0.38 (641)0.08 (641)3600.0 (-)2955.62 (641)2552.31 (641)3600.0 (-)3600.0 (-)
frb20-11-3.wcnf.gz34.63 (200)5.73 (200)0.04 (200)0.15 (200)0.15 (200)0.16 (200)15.79 (200)
brock400_2.clq.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
file_qc_wcnf_N10_H60_4.wcnf.gz30.73 (2)0.45 (2)0.41 (2)1.33 (2)2.91 (2)0.53 (2)0.41 (2)
bwt3cc.wcsp.wcnf.gz0.06 (177)0.01 (177)0.01 (177)0.01 (177)0.01 (177)0.01 (177)0.02 (177)
ped2.G.recomb1-0.10-7.wcnf.gz9.48 (3522)164.25 (3522)11.93 (3522)6.78 (3522)10.09 (3522)3.95 (3522)106.11 (3522)
WCNF_pathways_p07.wcnf.gz615.67 (115)17.43 (115)10.96 (115)17.25 (115)27.66 (115)5.95 (115)60.31 (115)
WCNF_pathways_p17.wcnf.gz45.52 (223)91.59 (223)46.51 (223)144.49 (223)191.94 (223)46.06 (223)629.95 (223)
bn-human-BNU_1_0025865_session_1-bg.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mary-spr17.wcnf.gz29.04 (0)20.56 (0)38.37 (0)14.69 (0)14.72 (0)23.19 (0)104.66 (0)
instance11.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
CSGNaive150-150-55.wcnf.gz22.19 (30495)19.22 (30495)19.41 (30495)36.36 (30495)52.2 (30495)185.49 (30495)30.73 (30495)
ram_k3_n11.ra1.wcnf.gz642.95 (318)1035.38 (318)45.78 (318)542.17 (318)1357.55 (318)44.61 (318)161.22 (318)
af-synthesis_stb_50_120_5.wcnf.gz1705.92 (114)3600.0 (-)780.61 (114)3600.0 (-)3600.0 (-)481.86 (114)3600.0 (-)
test72--n-10000.wcnf.gz6.49 (15974)0.43 (15974)13.24 (15974)6.14 (15974)6.14 (15974)0.35 (15974)59.27 (15974)
c-fat200-1.clq.wcnf.gz0.06 (14)0.02 (14)0.01 (14)0.01 (14)0.02 (14)0.01 (14)0.03 (14)
role_domino_0.3_12.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
driverlog01cc.wcsp.dir.wcnf.gz0.1 (1106)0.02 (1106)0.01 (1106)0.01 (1106)0.02 (1106)0.01 (1106)0.02 (1106)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis_stb_50_140_8.wcnf.gz2602.53 (113)3600.0 (-)2354.24 (113)3600.0 (-)3600.0 (-)1489.36 (113)3600.0 (-)
1knt_.1bpi_.g.wcnf.t.wcnf.gz93.53 (2464)264.23 (2464)116.14 (2464)98.31 (2464)44.51 (2464)79.89 (2464)3600.0 (-)
test57--n-15000.wcnf.gz13.02 (11)9.81 (11)1.47 (11)1.2 (11)1.6 (11)1.03 (11)309.6 (11)
CSG140-140-46.wcnf.gz5.9 (16960)6.31 (16960)6.69 (16960)1.85 (16960)2.3 (16960)2.99 (16960)11.9 (16960)
bnn_mnist_30_label3_adversarial_norm_inf_totalizer.wcnf.gz1498.96 (1)834.18 (1)1507.2 (1)447.89 (1)457.76 (1)2932.95 (1)3600.0 (-)
adult_test_6_DNF_2_15.wcnf.gz0.08 (35436)0.04 (35436)0.06 (35436)0.08 (35436)0.07 (35436)0.16 (35436)0.11 (35436)
muni-fi-spr17.wcnf.gz2.43 (0)1.88 (0)3.15 (0)1.39 (0)1.39 (0)0.45 (0)8.95 (0)
test15--n-5000.wcnf.gz2.84 (16)0.32 (16)0.13 (16)0.18 (16)0.2 (16)0.02 (16)38.15 (16)
Subnetwork_7_weighted.wcnf.gz3600.0 (-)210.03 (43213)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
k100-42-56.rna.pre.wcnf.gz35.94 (1838)888.68 (1838)37.18 (1838)59.46 (1838)60.81 (1838)295.96 (1838)3600.0 (-)
causal_n6_i5_N1000_uai13_log_int.wcnf.gz55.73 (355929820)70.7 (355929820)54.53 (355929820)147.81 (355929820)419.61 (355929820)9.85 (355929820)214.13 (355929820)
polysite-xalan.wcnf.gz334.56 (114620)1293.31 (114620)348.28 (114620)1415.63 (114620)2593.09 (114620)3600.0 (-)3600.0 (-)
muni-fi-fal17.wcnf.gz2.49 (0)1.91 (0)3.24 (0)1.33 (0)1.33 (0)0.47 (0)8.93 (0)
normalized-factor-size=9-P=23-Q=379.opb.wcnf.gz0.85 (23)0.02 (23)0.01 (23)0.01 (23)0.01 (23)0.01 (23)0.06 (23)
pa-3.wcnf.gz3600.0 (-)1817.63 (192)3600.0 (-)1692.28 (192)2845.99 (192)3600.0 (-)3600.0 (-)
metro_9_8_7_22_10_6_500_1_1.lp.sm-extracted.wcnf.gz7.9 (52)82.46 (52)6.74 (52)51.54 (52)102.12 (52)20.91 (52)87.21 (52)
instance7.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bet-fal17.wcnf.gz87.4 (0)62.69 (0)118.18 (0)26.66 (0)26.83 (0)14.09 (0)311.9 (0)
role_smallcomp_0.25_2.wcnf.gz11.42 (161802)535.26 (161802)59.83 (161802)11.83 (161802)17.42 (161802)316.7 (161802)363.84 (161802)
drmx-am16-outof-45-etot-w.wcnf.gz81.7 (29)32.07 (29)5.29 (29)1.13 (29)1.86 (29)0.09 (29)38.07 (29)
role_domino_0.3_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
power-distribution_10_2.wcnf.gz105.77 (60)0.04 (60)0.03 (60)0.02 (60)0.02 (60)0.02 (60)0.11 (60)
iku-spr18.wcnf.gz519.06 (0)311.49 (0)671.69 (0)145.88 (0)150.38 (0)79.81 (0)3600.0 (-)
delaunay_n24.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
driverlog04cc.wcsp.wcnf.gz7.52 (2932)0.16 (2932)0.14 (2932)0.12 (2932)0.14 (2932)0.2 (2932)0.85 (2932)
ram_k3_n16.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
polysite-lusearch.wcnf.gz70.85 (421456)290.45 (421456)75.45 (421456)284.74 (421456)488.54 (421456)3600.0 (-)3600.0 (-)
EA12.lp.sm-extracted.wcnf.gz31.42 (2)91.81 (2)36.97 (2)93.83 (2)103.32 (2)3600.0 (-)114.66 (2)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_3.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
310-57.wcnf.gz4.9 (26986)8.85 (26986)5.19 (26986)5.36 (26986)7.44 (26986)23.31 (26986)52.26 (26986)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_4.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance2.wcnf.gz1792.97 (828)3600.0 (-)2377.02 (828)3247.86 (828)3600.0 (-)1359.59 (828)3600.0 (-)
Rounded_CorrelationClustering_Protein1_BINARY_N380.wcnf.gz3600.0 (-)245.77 (30275381)3600.0 (-)3600.0 (-)1046.62 (30275381)3600.0 (-)3600.0 (-)
dds1.wcnf.gz31.68 (48)2084.99 (48)30.91 (48)108.42 (48)288.08 (48)321.74 (48)3600.0 (-)
test61--n-10000.wcnf.gz6.24 (1904)1.28 (1904)29.39 (1904)16.31 (1904)16.36 (1904)0.39 (1904)180.3 (1904)
wg2.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RSN_Security_Min_Witness-Shortest-MBIST_100cores_100controllers_5memories_na-D1.wcnf.gz158.03 (482635)59.14 (482635)171.38 (482635)895.4 (482635)881.67 (482635)44.35 (482635)3600.0 (-)
file_qc_wcnf_N10_H60_1.wcnf.gz104.73 (2)0.38 (2)0.48 (2)0.32 (2)0.33 (2)0.39 (2)0.38 (2)
lisbon-wedding-1-19.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
scp51_weighted.wcnf.gz0.56 (253)0.16 (253)45.74 (253)3.29 (253)13.42 (253)3600.0 (-)3600.0 (-)
agh-ggos-spr17.wcnf.gz24.1 (0)17.5 (0)31.63 (0)10.86 (0)10.64 (0)3.95 (0)87.1 (0)
MinWidthCB_mitdbsample_300_32_1k_6s_1t_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)206.57 (32410)3600.0 (-)
414.wcsp.log.wcnf.gz600.32 (38478)120.32 (38478)0.18 (38478)0.23 (38478)0.38 (38478)1.26 (38478)76.64 (38478)
simNo_4-s_5-m_100-n_50-fp_0.0001-fn_0.20.wcnf.gz32.08 (179602802837766)1835.04 (179602802837766)32.4 (179602802837766)1066.68 (179602802837766)2913.01 (179602802837766)3600.0 (-)3600.0 (-)
WCNF_pathways_p02.wcnf.gz1.18 (3)0.03 (3)0.02 (3)0.01 (3)0.01 (3)0.01 (3)0.06 (3)
tg-fal17.wcnf.gz8.45 (0)4.29 (0)10.77 (0)5.12 (0)5.09 (0)38.0 (0)21.32 (0)
drmx-am28-outof-60-ekmtot-w.wcnf.gz602.82 (32)108.75 (32)3.7 (32)37.34 (32)31.38 (32)0.09 (32)3600.0 (-)
cat_sched_60_200_0002.txt.wcnf.gz1.06 (145851)0.1 (145851)0.03 (145851)0.01 (145851)0.01 (145851)0.18 (145851)1.52 (145851)
Rounded_BTWBNSL_asia_10000_1_3.scores_TWBound_3.wcnf.gz323.29 (2247205740)2.4 (2247205740)50.9 (2247205740)2227.69 (2247205740)1066.7 (2247205740)10.1 (2247205740)294.61 (2247205740)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_CorrelationClustering_Protein3_TRANSITIVE_N200.wcnf.gz3600.0 (-)98.09 (12826525)2389.56 (12826525)1755.89 (12826525)2536.21 (12826525)3600.0 (-)3600.0 (-)
MinWidthCB_milan_100_12_1k_2s_1t_2.wcnf.gz0.23 (112260)0.03 (112260)0.02 (112260)0.03 (112260)0.04 (112260)0.25 (112260)0.26 (112260)
r11.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
test10--n-5000.wcnf.gz4.68 (9)2.14 (9)0.49 (9)0.47 (9)0.72 (9)0.04 (9)78.76 (9)
lisbon-wedding-4-18.wcnf.gz15.77 (803)1693.72 (803)48.91 (803)25.95 (803)45.49 (803)3577.47 (803)3600.0 (-)
mancoosi-test-i3000d0u98-56.wcnf.gz2.06 (482868432)0.75 (482868432)0.46 (482868432)8.52 (482868432)8.45 (482868432)5.03 (482868432)19.15 (482868432)
rc-2.wcnf.gz47.52 (5722)2.39 (5722)55.79 (5722)47.24 (5722)46.64 (5722)3600.0 (-)734.53 (5722)
rail4872.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
brock200_3.clq.wcnf.gz302.08 (1102)759.01 (1102)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ItalyInstance1.xml.wcnf.gz1063.47 (12)759.28 (12)569.0 (12)120.56 (12)196.69 (12)2642.4 (12)3600.0 (-)
Rounded_CorrelationClustering_Protein1_TRANSITIVE_N250.wcnf.gz124.41 (14205411)173.14 (14205411)124.85 (14205411)305.3 (14205411)365.67 (14205411)3600.0 (-)74.16 (14205411)
lisbon-wedding-5-17.wcnf.gz20.8 (802)1172.81 (802)21.03 (802)3600.0 (-)3600.0 (-)2255.82 (802)3600.0 (-)
Rounded_CorrelationClustering_Protein1_BINARY_N320.wcnf.gz3600.0 (-)101.01 (19711940)3600.0 (-)115.84 (19711940)122.59 (19711940)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_Flag.BIC_TWBound_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
CSG60-60-88.wcnf.gz0.25 (7714)0.33 (7714)0.31 (7714)0.07 (7714)0.07 (7714)0.07 (7714)0.8 (7714)
simNo_10-s_5-m_100-n_500-fp_0.01-fn_0.05.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal_Adult_6_30162.wcnf.gz609.48 (601705)35.41 (601705)9.48 (601705)37.33 (601705)70.48 (601705)60.05 (601705)191.5 (601705)
cat_sched_60_70_0002.txt.wcnf.gz0.27 (39227)0.03 (39227)0.01 (39227)0.01 (39227)0.01 (39227)0.05 (39227)0.07 (39227)
af-synthesis_stb_50_100_3.wcnf.gz1377.61 (104)3600.0 (-)782.66 (104)3600.0 (-)3600.0 (-)296.03 (104)3600.0 (-)
file_qc_wcnf_N9_H48_1.wcnf.gz5.35 (2)0.26 (2)0.11 (2)0.25 (2)0.34 (2)0.06 (2)0.19 (2)
MinWidthCB_milan_200_12_1k_10s_2t_10.wcnf.gz601.39 (90750)0.63 (90750)1.28 (90750)1.69 (90750)2.31 (90750)12.39 (90750)4.31 (90750)
SingleDay_15_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
310-85.wcnf.gz12.95 (41962)13.97 (41962)13.13 (41962)6.8 (41962)11.22 (41962)9.84 (41962)41.14 (41962)
310-95.wcnf.gz9.52 (25854)6.87 (25854)9.77 (25854)4.78 (25854)5.83 (25854)4.42 (25854)35.95 (25854)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
frb10-6-3.wcnf.gz0.51 (50)0.03 (50)0.03 (50)0.01 (50)0.01 (50)0.02 (50)0.28 (50)
mancoosi-test-i20d0u98-15.wcnf.gz1.75 (16807359)0.37 (16807359)0.4 (16807359)3.76 (16807359)3.77 (16807359)0.34 (16807359)29.39 (16807359)
role_university_0.6_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
toms_test_3_DNF_4_20.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_domino_0.5_0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-9-18.wcnf.gz608.12 (395)3171.21 (395)596.0 (395)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
comp14.wcnf.gz14.11 (51)774.87 (51)16.51 (51)12.03 (51)56.42 (51)13.09 (51)3600.0 (-)
ped2.G.recomb5-0.01-4.wcnf.gz10.32 (21555)76.71 (21555)12.78 (21555)15.77 (21555)29.01 (21555)5.46 (21555)65.58 (21555)
youtube.dimacs.wcnf.gz32.08 (227167)3600.0 (-)22.11 (227167)443.4 (227167)1039.87 (227167)3600.0 (-)1347.66 (227167)
wolfram72_9.wcnf.gz615.43 (9288)36.57 (9288)15.97 (9288)2.46 (9288)2.44 (9288)3600.0 (-)406.28 (9288)
downcast-avrora.wcnf.gz317.45 (46642)538.48 (46642)324.96 (46642)263.67 (46642)559.61 (46642)3600.0 (-)3600.0 (-)
geffe128_3.wcnf.gz654.23 (800)86.28 (800)50.32 (800)40.72 (800)40.92 (800)3600.0 (-)419.78 (800)
rail4284.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis_stb_50_40_6.wcnf.gz1666.44 (115)3600.0 (-)1786.02 (115)3600.0 (-)3600.0 (-)493.62 (115)3600.0 (-)
330-81.wcnf.gz181.74 (48480)44.26 (48480)209.01 (48480)3504.62 (48480)3600.0 (-)3600.0 (-)3600.0 (-)
lums-fal17.wcnf.gz29.62 (0)23.91 (0)38.36 (0)8.27 (0)8.42 (0)5.37 (0)121.73 (0)
normalized-factor-size=9-P=263-Q=367.opb.wcnf.gz1.64 (263)0.03 (263)0.02 (263)0.01 (263)0.01 (263)0.01 (263)0.07 (263)
505.wcsp.dir.wcnf.gz4.71 (21253)13.44 (21253)0.05 (21253)0.05 (21253)0.09 (21253)0.36 (21253)28.34 (21253)
cap71.wcsp.wcnf.gz0.75 (9326144)0.14 (9326144)0.65 (9326144)2.8 (9326144)1.66 (9326144)78.68 (9326144)4.08 (9326144)
scp64_weighted.wcnf.gz1.44 (131)0.12 (131)2.0 (131)0.98 (131)1.59 (131)3600.0 (-)52.9 (131)
test42--n-7500.wcnf.gz1.78 (393)0.62 (393)3.85 (393)2.79 (393)2.79 (393)0.15 (393)34.44 (393)
random-net-50-2_network-10.net.wcnf.gz58.06 (45025)9.03 (45025)53.01 (45025)3.97 (45025)14.63 (45025)46.9 (45025)3600.0 (-)
BrazilInstance2.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
1knt_.5pti_.g.wcnf.t.wcnf.gz64.07 (2208)196.35 (2208)78.95 (2208)34.57 (2208)46.32 (2208)45.96 (2208)3600.0 (-)
frb25-13-4.wcnf.gz67.17 (300)18.75 (300)2.64 (300)0.47 (300)0.47 (300)0.89 (300)3600.0 (-)
54.wcsp.dir.wcnf.gz0.26 (37)0.03 (37)0.02 (37)0.02 (37)0.02 (37)0.02 (37)0.17 (37)
WCNF_storage_p06.wcnf.gz419.56 (173)1.65 (173)0.51 (173)0.36 (173)0.64 (173)0.31 (173)5.32 (173)
MinWidthCB_mitdbsample_100_43_1k_5s_1t_7.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wolfram80_5.wcnf.gz77.31 (11440)130.36 (11440)75.44 (11440)41.33 (11440)40.88 (11440)3600.0 (-)1637.17 (11440)
agh-ggis-spr17.wcnf.gz39.38 (0)27.46 (0)50.79 (0)18.63 (0)18.51 (0)6.36 (0)125.85 (0)
af-synthesis_stb_50_80_8.wcnf.gz2956.8 (116)3600.0 (-)1644.14 (116)3600.0 (-)3600.0 (-)410.35 (116)3600.0 (-)
mancoosi-test-i30d0u98-8.wcnf.gz1.77 (1780831)0.28 (1780831)0.41 (1780831)3.81 (1780831)3.82 (1780831)0.4 (1780831)28.29 (1780831)
ped2.B.recomb1-0.10-9.wcnf.gz1.41 (7)1.16 (7)1.73 (7)0.6 (7)0.86 (7)0.42 (7)51.61 (7)
MinWidthCB_milan_100_12_1k_5s_2t_7.wcnf.gz600.46 (83671)0.39 (83671)0.4 (83671)0.49 (83671)0.66 (83671)5.44 (83671)2.86 (83671)
frb10-6-2.wcnf.gz0.6 (50)0.06 (50)0.01 (50)0.02 (50)0.01 (50)0.01 (50)0.17 (50)
tcp_students_91_it_6.wcnf.gz11.28 (2877)12.45 (2877)0.99 (2877)1.96 (2877)17.28 (2877)1.73 (2877)16.61 (2877)
power-distribution_12_4.wcnf.gz4.75 (216)1.95 (216)4.71 (216)1.68 (216)1.22 (216)5.35 (216)15.7 (216)
geffe128_2.wcnf.gz624.5 (800)2.82 (800)23.14 (800)0.32 (800)0.32 (800)3600.0 (-)91.49 (800)
limits-10-10_data-1_inst-137_30m.sm-extracted.wcnf.gz287.3 (16167552)3600.0 (-)233.98 (16167552)3600.0 (-)2138.63 (16167552)111.43 (16167552)305.74 (16167552)
Rounded_BTWBNSL_Hepatitis.BIC_TWBound4.wcnf.gz3600.0 (-)1823.89 (132258419)1883.8 (132258419)3600.0 (-)3600.0 (-)267.77 (132258419)3600.0 (-)
driverlog02cc.wcsp.wcnf.gz27.88 (2428)0.34 (2428)0.18 (2428)0.2 (2428)0.27 (2428)0.23 (2428)1.03 (2428)
londonist.dimacs.wcnf.gz284.49 (70703)225.99 (70703)1.47 (70703)29.56 (70703)48.51 (70703)13.73 (70703)24.04 (70703)
tcp_students_105_it_11.wcnf.gz0.78 (3399)6.15 (3399)0.9 (3399)0.67 (3399)7.21 (3399)1.0 (3399)4.41 (3399)
MinWidthCB_mitdbsample_100_32_1k_5s_2t_7.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)127.07 (22430)3600.0 (-)
404.wcsp.log.wcnf.gz1.63 (114)10.6 (114)0.01 (114)0.02 (114)0.02 (114)0.07 (114)0.14 (114)
random-net-40-5_network-8.net.wcnf.gz3600.0 (-)1295.02 (35879)3600.0 (-)3600.0 (-)3600.0 (-)120.25 (35879)3600.0 (-)
BrazilInstance7.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
503.wcsp.log.wcnf.gz2.12 (11113)0.37 (11113)0.01 (11113)0.02 (11113)0.02 (11113)0.04 (11113)12.42 (11113)
metro_8_8_5_20_10_6_500_1_0.lp.sm-extracted.wcnf.gz7.56 (82)416.15 (82)7.43 (82)132.97 (82)413.27 (82)27.6 (82)403.12 (82)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ebay.dimacs.wcnf.gz609.46 (123941)3600.0 (-)7.57 (123941)108.06 (123941)372.27 (123941)86.61 (123941)104.87 (123941)
role_smallcomp_0.75_11.wcnf.gz3600.0 (-)3600.0 (-)754.76 (388010)3600.0 (-)3600.0 (-)3600.0 (-)22.76 (388010)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
simNo_2-s_15-m_100-n_500-fp_0.0001-fn_0.05.wcnf.gz268.08 (355912392501416)418.54 (355912392501416)282.59 (355912392501416)510.96 (355912392501416)660.08 (355912392501416)3600.0 (-)145.06 (355912392501416)
scpnre4_weighted.wcnf.gz258.24 (28)75.11 (28)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
simNo_10-s_15-m_50-n_50-fp_0.0001-fn_0.20.wcnf.gz1.09 (17694857422440)1.52 (17694857422440)1.38 (17694857422440)0.94 (17694857422440)1.23 (17694857422440)121.71 (17694857422440)4.25 (17694857422440)
role_smallcomp_0.65_8.wcnf.gz692.1 (315376)1613.28 (315376)108.88 (315376)497.25 (315376)3600.0 (-)2121.27 (315376)3600.0 (-)
WCNF_storage_p07.wcnf.gz7.62 (277)59.1 (277)7.3 (277)16.79 (277)30.17 (277)7.37 (277)540.49 (277)
test35--n-10000.wcnf.gz4.11 (8)0.36 (8)0.24 (8)0.43 (8)0.45 (8)0.04 (8)66.92 (8)
limits-10-10_data-2_inst-017_60m.sm-extracted.wcnf.gz94.63 (7295683)3600.0 (-)101.43 (7295683)327.26 (7295683)398.9 (7295683)24.61 (7295683)149.0 (7295683)
f1-DataDisplay_0_order4.seq-B-2-2-irabcde.wcnf.gz0.88 (2215743)0.07 (2215743)0.01 (2215743)0.01 (2215743)0.01 (2215743)0.02 (2215743)0.06 (2215743)
drmx-am12-outof-40-eseqc-w.wcnf.gz600.33 (28)102.5 (28)0.19 (28)0.15 (28)0.21 (28)0.05 (28)25.29 (28)
simNo_8-s_15-m_100-n_50-fp_0.0001-fn_0.20.wcnf.gz9.38 (64143858156345)30.43 (64143858156345)10.09 (64143858156345)19.51 (64143858156345)24.58 (64143858156345)3600.0 (-)12.31 (64143858156345)
CSGNaive140-140-6.wcnf.gz66.3 (56309)35.75 (56309)52.33 (56309)319.25 (56309)1860.42 (56309)143.07 (56309)43.39 (56309)
bnn_mnist_rot_15_label8_adversarial_norm_inf_totalizer.wcnf.gz586.13 (1)765.86 (1)635.75 (1)224.56 (1)226.19 (1)237.09 (1)3600.0 (-)
Rounded_BTWBNSL_hailfinder_100_1_3.scores_TWBound_3.wcnf.gz12.08 (601946991)21.17 (601946991)12.89 (601946991)20.35 (601946991)145.83 (601946991)35.55 (601946991)3600.0 (-)
power-distribution_10_3.wcnf.gz600.3 (60)0.16 (60)0.17 (60)0.15 (60)0.19 (60)0.11 (60)0.65 (60)
formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_2.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
test2.wcnf.gz13.53 (16)153.54 (16)16.4 (16)46.86 (16)72.46 (16)152.03 (16)313.02 (16)
normalized-factor-size=9-P=127-Q=211.opb.wcnf.gz1.42 (127)0.02 (127)0.01 (127)0.01 (127)0.01 (127)0.01 (127)0.07 (127)
310-34.wcnf.gz8.49 (31631)7.8 (31631)8.74 (31631)4.48 (31631)5.36 (31631)5.39 (31631)32.7 (31631)
guardian.dimacs.wcnf.gz13.92 (160777)1422.91 (160777)11.24 (160777)227.77 (160777)257.29 (160777)130.24 (160777)684.57 (160777)
ram_k3_n9.ra1.wcnf.gz25.1 (7)0.15 (7)0.12 (7)0.21 (7)0.18 (7)0.33 (7)0.58 (7)
threshold128_1.wcnf.gz633.81 (800)21.99 (800)31.68 (800)278.78 (800)285.99 (800)3600.0 (-)1065.13 (800)
instance3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bnn_mnist_back_image_35_label9_adversarial_norm_inf_totalizer.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
agh-fis-spr17.wcnf.gz17.37 (0)12.02 (0)22.57 (0)6.11 (0)6.19 (0)2.69 (0)61.13 (0)
ram_k3_n13.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
f49-DC_TotalLoss.seq-B-2-1-abcdeir.wcnf.gz243.2 (814659519)4.65 (814659519)1.26 (814659519)0.74 (814659519)1.15 (814659519)1519.59 (814659519)2.93 (814659519)
mancoosi-test-i3000d0u98-68.wcnf.gz2.05 (497931412)0.76 (497931412)0.48 (497931412)7.36 (497931412)7.41 (497931412)3.18 (497931412)20.7 (497931412)
hamming6-4.clq.wcnf.gz148.0 (1035)82.01 (1035)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ItalyInstance4.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_6.wcnf.gz.2.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
test13--n-2500.wcnf.gz0.84 (10769787)0.04 (10769787)0.35 (10769787)0.45 (10769787)0.46 (10769787)2.74 (10769787)10.59 (10769787)
sandiaprotein.g.wcnf.t.wcnf.gz60.94 (2248)174.92 (2248)66.33 (2248)39.85 (2248)28.16 (2248)40.63 (2248)3600.0 (-)
random-net-60-1_network-5.net.wcnf.gz3.5 (58912)0.18 (58912)0.41 (58912)0.66 (58912)0.9 (58912)19.2 (58912)0.58 (58912)
limits-10-10_data-1_inst-078_60m.sm-extracted.wcnf.gz50.91 (4065188)492.91 (4065188)40.66 (4065188)2609.57 (4065188)2639.61 (4065188)18.74 (4065188)110.05 (4065188)
lisbon-wedding-1-18.wcnf.gz153.3 (961)1725.51 (961)115.17 (961)80.0 (961)100.71 (961)3600.0 (-)3600.0 (-)
rc-3.wcnf.gz48.37 (5722)2.54 (5722)56.02 (5722)48.16 (5722)47.37 (5722)3600.0 (-)594.93 (5722)
f1-DataDisplay_0_order4.seq-A-2-2-abcdeir.wcnf.gz0.49 (481429)0.05 (481429)0.01 (481429)0.01 (481429)0.01 (481429)0.01 (481429)0.06 (481429)
formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_3.wcnf.gz.1.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-am20-outof-50-esortn-w.wcnf.gz709.66 (30)140.51 (30)61.02 (30)43.72 (30)335.43 (30)2.85 (30)1069.97 (30)
archlinux.dimacs.wcnf.gz7.16 (11744)2.35 (11744)0.09 (11744)0.48 (11744)0.65 (11744)0.34 (11744)0.19 (11744)
drmx-am32-outof-70-etot-w.wcnf.gz618.02 (38)130.21 (38)4.78 (38)5.74 (38)6.9 (38)0.23 (38)3600.0 (-)
310-69.wcnf.gz52.8 (41287)14.52 (41287)53.5 (41287)13.58 (41287)26.24 (41287)15.66 (41287)57.21 (41287)
polysite-hsqldb.wcnf.gz493.58 (172382)353.49 (172382)514.81 (172382)812.89 (172382)1291.97 (172382)1020.55 (172382)3600.0 (-)
role_domino_0.95_12.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_milan_200_12_1k_2s_2t_4.wcnf.gz11.05 (109448)0.18 (109448)0.13 (109448)0.19 (109448)0.26 (109448)1.61 (109448)0.3 (109448)
causal_n6_i10_N500_uai13_log_int.wcnf.gz215.64 (183312821)263.41 (183312821)204.57 (183312821)1147.18 (183312821)2623.67 (183312821)191.19 (183312821)480.69 (183312821)
heart_test_3_CNF_4_15.wcnf.gz0.02 (109)0.01 (109)0.01 (109)0.01 (109)0.01 (109)0.01 (109)0.01 (109)
cap132.wcsp.wcnf.gz2.54 (8514942)1.15 (8514942)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ped3.G.recomb10-0.10-8.wcnf.gz4.42 (15072)101.62 (15072)5.18 (15072)5.21 (15072)8.7 (15072)3.47 (15072)24.06 (15072)
simNo_7-s_5-m_100-n_100-fp_0.0001-fn_0.05.wcnf.gz35.32 (150735582721829)399.48 (150735582721829)33.58 (150735582721829)107.41 (150735582721829)299.91 (150735582721829)3600.0 (-)3600.0 (-)
bnn_mnist_rot_22_label8_adversarial_norm_inf_totalizer.wcnf.gz615.65 (1)731.05 (1)674.58 (1)185.63 (1)184.65 (1)152.98 (1)3600.0 (-)
instance8.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wolfram80_7.wcnf.gz21.61 (11440)21.48 (11440)22.4 (11440)11.5 (11440)11.51 (11440)3600.0 (-)563.83 (11440)
MultiDay_4_weighted.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-DB.wcnf.gz3600.0 (-)15.58 (24)21.2 (24)90.55 (24)92.71 (24)9.87 (24)1396.02 (24)
metro_9_8_7_30_10_6_500_1_6.lp.sm-extracted.wcnf.gz7.02 (31)51.69 (31)6.47 (31)70.78 (31)136.66 (31)32.85 (31)262.86 (31)
cat_sched_60_200_0004.txt.wcnf.gz2.87 (146947)0.1 (146947)0.03 (146947)0.02 (146947)0.02 (146947)0.14 (146947)1.37 (146947)
causal_n7_i9_N1000_uai14_log_int.wcnf.gz34.53 (43638470640)244.74 (43638470640)31.6 (43638470640)123.74 (43638470640)294.82 (43638470640)224.55 (43638470640)3600.0 (-)
c-fat500-5.clq.wcnf.gz1.09 (404)0.57 (404)0.43 (404)0.65 (404)1.23 (404)3600.0 (-)3600.0 (-)
408.wcsp.dir.wcnf.gz6.17 (6228)0.21 (6228)0.07 (6228)0.05 (6228)0.09 (6228)0.37 (6228)146.85 (6228)
lisbon-wedding-10-19.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
power-distribution_6_2.wcnf.gz0.38 (4)0.14 (4)0.01 (4)0.01 (4)0.01 (4)0.01 (4)0.03 (4)
WCNF_pathways_p08.wcnf.gz603.73 (182)5.85 (182)4.67 (182)3.89 (182)5.67 (182)3.66 (182)49.63 (182)
ram_k3_n10.ra1.wcnf.gz122.66 (232)66.77 (232)17.08 (232)53.61 (232)79.17 (232)8.09 (232)6.96 (232)
mancoosi-test-i40d0u98-10.wcnf.gz1.76 (1780825)0.23 (1780825)0.4 (1780825)3.78 (1780825)3.77 (1780825)0.38 (1780825)28.77 (1780825)
Rounded_CorrelationClustering_Protein2_BINARY_N220.wcnf.gz3600.0 (-)74.96 (13727551)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
random-same-20.rna.pre.wcnf.gz52.79 (463)0.32 (463)0.24 (463)0.19 (463)0.19 (463)0.48 (463)48.19 (463)
CSGNaive70-70-91.wcnf.gz0.39 (11177)0.46 (11177)0.47 (11177)0.09 (11177)0.09 (11177)0.08 (11177)1.17 (11177)
scpnrf4_weighted.wcnf.gz377.77 (14)301.79 (14)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mary-fal18.wcnf.gz31.59 (0)24.46 (0)41.53 (0)12.28 (0)12.38 (0)6.13 (0)121.32 (0)
toms_train_9_CNF_5_5.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
limits-10-10_data-1_inst-059_30m.sm-extracted.wcnf.gz201.37 (16994335)3600.0 (-)182.44 (16994335)3600.0 (-)3600.0 (-)81.7 (16994335)205.96 (16994335)
geffe128_0.wcnf.gz641.11 (800)100.21 (800)38.01 (800)66.0 (800)63.98 (800)3600.0 (-)195.75 (800)
rand869_l1.wcnf.gz11.56 (336103)6.87 (336103)1.21 (336103)2.53 (336103)3.5 (336103)1198.69 (336103)3600.0 (-)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance1.wcnf.gz88.36 (607)0.84 (607)0.15 (607)0.17 (607)0.29 (607)0.11 (607)0.55 (607)
Rounded_CorrelationClustering_Protein3_UNARY_N260.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
test52--n-7500.wcnf.gz5.06 (738)0.2 (738)6.05 (738)4.06 (738)4.07 (738)0.07 (738)42.49 (738)
scp65_weighted.wcnf.gz9.47 (161)0.64 (161)3600.0 (-)1018.57 (161)1506.35 (161)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_Wine_TWBound_3.wcnf.gz3600.0 (-)498.29 (127107900)3600.0 (-)3600.0 (-)3600.0 (-)814.88 (127107900)3600.0 (-)
amazon.dimacs.wcnf.gz630.89 (113575)3600.0 (-)21.63 (113575)235.64 (113575)2188.1 (113575)199.37 (113575)411.95 (113575)
comp08.lp.sm-extracted.wcnf.gz30.18 (19)176.71 (19)33.9 (19)242.86 (19)258.0 (19)340.85 (19)179.96 (19)
cat_sched_60_80_0000.txt.wcnf.gz0.33 (37448)0.04 (37448)0.01 (37448)0.01 (37448)0.01 (37448)0.07 (37448)0.06 (37448)
drmx-am20-outof-50-etot-w.wcnf.gz444.56 (30)111.32 (30)4.15 (30)6.29 (30)9.03 (30)0.08 (30)265.06 (30)
6ebx_.1era_.g.wcnf.t.wcnf.gz48.03 (1646)236.83 (1646)59.17 (1646)38.98 (1646)58.81 (1646)38.08 (1646)3600.0 (-)
wikipedia.dimacs.wcnf.gz32.3 (42676)3.1 (42676)0.18 (42676)1.37 (42676)1.55 (42676)0.93 (42676)0.98 (42676)
limits-10-10_data-1_inst-112_60m.sm-extracted.wcnf.gz38.11 (1595893)375.75 (1595893)29.58 (1595893)2367.88 (1595893)3401.59 (1595893)17.08 (1595893)62.22 (1595893)
polysite-avrora.wcnf.gz188.15 (51801)214.57 (51801)198.34 (51801)422.9 (51801)607.26 (51801)2743.38 (51801)3600.0 (-)
drmx-am28-outof-60-esortn-w.wcnf.gz618.85 (32)67.89 (32)33.29 (32)101.03 (32)190.21 (32)1.63 (32)3600.0 (-)
bf2030fvcons.wcnf.gz395.52 (3271)85.26 (3271)328.92 (3271)220.15 (3271)393.32 (3271)297.57 (3271)3600.0 (-)
BrazilInstance4.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
metro_8_8_5_20_10_6_500_1_3.lp.sm-extracted.wcnf.gz511.79 (138)3600.0 (-)456.18 (138)3600.0 (-)3600.0 (-)623.39 (138)3600.0 (-)
normalized-factor-size=9-P=157-Q=163.opb.wcnf.gz1.17 (157)0.03 (157)0.02 (157)0.01 (157)0.01 (157)0.02 (157)0.06 (157)
scpnre1_weighted.wcnf.gz199.31 (29)65.54 (29)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_domino_multiple_0.2_0.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_domino_multiple_1.0_1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_mitdbsample_300_64_1k_6s_1t_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cat_sched_60_150_0001.txt.wcnf.gz0.73 (87430)0.07 (87430)0.02 (87430)0.01 (87430)0.01 (87430)0.1 (87430)1.49 (87430)
power-distribution_3_7.wcnf.gz0.62 (1)0.98 (1)0.64 (1)0.4 (1)0.41 (1)0.43 (1)2.79 (1)
wolfram72_3.wcnf.gz609.39 (9288)8.21 (9288)10.1 (9288)2.65 (9288)2.63 (9288)3600.0 (-)310.25 (9288)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_5.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-am32-outof-70-esortn-w.wcnf.gz713.29 (38)43.27 (38)160.03 (38)57.18 (38)102.44 (38)7.42 (38)3600.0 (-)
random-net-180-1_network-2.net.wcnf.gz26.12 (161156)0.74 (161156)3600.0 (-)6.18 (161156)9.87 (161156)1944.57 (161156)3600.0 (-)
johnson16-2-4.clq.wcnf.gz123.87 (1170)256.52 (1170)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
random-net-280-1_network-3.net.wcnf.gz48.32 (257943)20.15 (257943)3600.0 (-)12.65 (257943)17.02 (257943)972.26 (257943)3600.0 (-)
ram_k3_n19.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
nbi-spr18.wcnf.gz3.65 (0)2.68 (0)4.68 (0)2.65 (0)2.64 (0)0.66 (0)12.78 (0)
normalized-factor-size=9-P=149-Q=509.opb.wcnf.gz1.75 (149)0.02 (149)0.02 (149)0.01 (149)0.01 (149)0.01 (149)0.07 (149)
WCNF_pathways_p11.wcnf.gz166.28 (118)0.2 (118)0.15 (118)0.07 (118)0.1 (118)0.04 (118)0.45 (118)
causal_n6_i8_N1000_uai14_log_int.wcnf.gz602.57 (19596713347)7.77 (19596713347)2.35 (19596713347)5.81 (19596713347)8.78 (19596713347)1.55 (19596713347)74.63 (19596713347)
WCNF_pathways_p01.wcnf.gz1.27 (2)0.02 (2)0.01 (2)0.01 (2)0.01 (2)0.01 (2)0.05 (2)
mprime03c.wcsp.dir.wcnf.gz0.04 (320)0.02 (320)0.01 (320)0.01 (320)0.01 (320)0.01 (320)0.01 (320)
random-dif-14.rna.pre.wcnf.gz66.74 (346)2.03 (346)0.14 (346)0.09 (346)0.09 (346)0.71 (346)28.03 (346)
f49-DC_TotalLoss.seq-A-2-combined-EDCBAir.wcnf.gz600.54 (85417548780)25.08 (85417548780)0.45 (85417548780)0.81 (85417548780)1.22 (85417548780)1871.37 (85417548780)6.93 (85417548780)
ped3.F.recomb10-0.01-2.wcnf.gz1.9 (8900)12.47 (8900)2.27 (8900)1.72 (8900)2.95 (8900)1.22 (8900)18.25 (8900)
role_smallcomp_0.85_6.wcnf.gz3600.0 (-)3600.0 (-)2614.78 (369639)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
1502.wcsp.log.wcnf.gz0.19 (28042)0.04 (28042)0.01 (28042)0.02 (28042)0.01 (28042)0.01 (28042)1.91 (28042)
random-net-50-5_network-4.net.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
1bpi_.5pti_.g.wcnf.t.wcnf.gz100.55 (2974)266.62 (2974)105.27 (2974)18.33 (2974)21.68 (2974)25.1 (2974)3600.0 (-)
BrazilInstance1.xml.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
random-net-50-3_network-10.net.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)37.68 (42897)3600.0 (-)
cat_reg_60_110_0000.txt.wcnf.gz1.5 (92053)0.09 (92053)1.4 (92053)0.15 (92053)0.21 (92053)1.63 (92053)0.31 (92053)
Rounded_BTWBNSL_Wine_TWBound_2.wcnf.gz3600.0 (-)412.69 (127107900)3600.0 (-)3600.0 (-)3600.0 (-)517.91 (127107900)3600.0 (-)
af-synthesis_stb_50_160_5.wcnf.gz3045.07 (113)3600.0 (-)2008.52 (113)3600.0 (-)3600.0 (-)590.64 (113)3600.0 (-)
comp20.wcnf.gz42.36 (4)161.35 (4)48.14 (4)256.85 (4)548.07 (4)256.55 (4)2570.58 (4)
SingleDay_3_weighted.wcnf.gz3600.0 (-)14.53 (35439)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cat_paths_60_90_0004.txt.wcnf.gz0.12 (56174)0.02 (56174)0.01 (56174)0.01 (56174)0.01 (56174)0.12 (56174)0.19 (56174)
ram_k4_n19.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
depot01cc.wcsp.dir.wcnf.gz0.32 (1605)0.02 (1605)0.02 (1605)0.02 (1605)0.01 (1605)0.04 (1605)0.03 (1605)
f49-DC_TotalLoss.seq-A-3-combined-irabcde.wcnf.gz600.72 (87178138817)1.3 (87178138817)0.53 (87178138817)0.35 (87178138817)0.5 (87178138817)0.54 (87178138817)1.56 (87178138817)
causal_n6_i7_N1000_uai14_log_int.wcnf.gz601.77 (1633212419)7.36 (1633212419)1.67 (1633212419)4.25 (1633212419)6.65 (1633212419)3.03 (1633212419)10.26 (1633212419)
310-3.wcnf.gz4.0 (36519)8.32 (36519)4.08 (36519)4.41 (36519)5.4 (36519)8.95 (36519)35.72 (36519)
formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_4.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ped3.G.recomb10-0.10-10.wcnf.gz5.47 (18485)310.26 (18485)6.29 (18485)7.16 (18485)11.78 (18485)7.55 (18485)43.17 (18485)
test55--n-7500.wcnf.gz0.58 (739302414)0.17 (739302414)1.61 (739302414)2.91 (739302414)2.9 (739302414)64.47 (739302414)24.66 (739302414)
file_qc_wcnf_N10_H60_3.wcnf.gz11.15 (2)0.11 (2)0.21 (2)0.69 (2)1.0 (2)0.1 (2)0.34 (2)
normalized-factor-size=9-P=307-Q=449.opb.wcnf.gz1.64 (307)0.02 (307)0.02 (307)0.01 (307)0.01 (307)0.01 (307)0.05 (307)
cap91.wcsp.wcnf.gz1.2 (7966472)0.31 (7966472)1.8 (7966472)3600.0 (-)3600.0 (-)533.21 (7966472)3600.0 (-)
comp10.lp.sm-extracted.wcnf.gz37.7 (2)103.6 (2)50.48 (2)1372.77 (2)622.78 (2)1828.94 (2)1269.86 (2)
hugebubbles-00020.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_domino_0.5_18.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis_stb_50_120_2.wcnf.gz964.73 (107)3600.0 (-)688.07 (107)3600.0 (-)3600.0 (-)340.41 (107)3600.0 (-)
ilpd_train_2_CNF_4_10.wcnf.gz601.18 (1396)5.64 (1396)1.24 (1396)0.92 (1396)1.48 (1396)2367.87 (1396)3600.0 (-)
limits-10-10_data-1_inst-005_60m.sm-extracted.wcnf.gz39.26 (1674983)320.86 (1674983)31.88 (1674983)450.93 (1674983)415.68 (1674983)5.6 (1674983)49.62 (1674983)
k100-14-38.rna.pre.wcnf.gz30.52 (1953)316.61 (1953)31.65 (1953)59.19 (1953)61.64 (1953)235.39 (1953)3600.0 (-)
test23--n-5000.wcnf.gz0.33 (251915559)0.09 (251915559)1.91 (251915559)2.13 (251915559)2.23 (251915559)11.86 (251915559)42.82 (251915559)
MinWidthCB_power_200_24_1k_4s_1t_6.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)161.46 (77839)3600.0 (-)
file_qc_wcnf_N9_H48_3.wcnf.gz13.98 (2)0.16 (2)0.25 (2)0.15 (2)0.15 (2)0.07 (2)0.2 (2)
causal_Mushroom_7_8124.wcnf.gz185.82 (5583570)189.76 (5583570)154.39 (5583570)2111.19 (5583570)3600.0 (-)342.94 (5583570)3600.0 (-)
tcp_students_91_it_5.wcnf.gz4.03 (2616)134.76 (2616)4.34 (2616)20.03 (2616)250.37 (2616)19.86 (2616)94.83 (2616)
limits-10-10_data-1_inst-081_60m.sm-extracted.wcnf.gz3.72 (501)1.72 (501)4.33 (501)8.83 (501)8.84 (501)0.96 (501)6.47 (501)
frb20-11-4.wcnf.gz17.67 (200)2.91 (200)0.3 (200)0.15 (200)0.16 (200)0.14 (200)31.37 (200)
downcast-hsqldb.wcnf.gz989.9 (30207)435.97 (30207)1003.33 (30207)741.82 (30207)1226.13 (30207)2021.29 (30207)3600.0 (-)
RSN_Security_Min_Witness-Shortest-FlexScan-D5.wcnf.gz2.8 (42433)4.4 (42433)3.44 (42433)62.57 (42433)62.45 (42433)105.84 (42433)527.2 (42433)
bnn_mnist_back_image_14_label9_adversarial_norm_inf_totalizer.wcnf.gz625.81 (1)607.59 (1)670.49 (1)235.82 (1)239.59 (1)65.1 (1)3600.0 (-)
RSN_Security_Min_Witness-Shortest-MBIST_100cores_20controllers_5memories_na-DC.wcnf.gz19.21 (24)19.59 (24)21.67 (24)95.84 (24)97.47 (24)8.11 (24)3600.0 (-)
Udine4.lp.sm-extracted.wcnf.gz20.56 (35)840.4 (35)22.06 (35)106.12 (35)226.83 (35)51.29 (35)80.35 (35)
power-distribution_6_3.wcnf.gz13.72 (4)0.05 (4)0.04 (4)0.02 (4)0.02 (4)0.02 (4)0.11 (4)
metro_9_9_10_35_13_7_500_2_4.lp.sm-extracted.wcnf.gz8.1 (35)74.53 (35)8.4 (35)84.14 (35)246.89 (35)49.05 (35)151.52 (35)
instance9.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
power-distribution_11_3.wcnf.gz601.04 (126)0.31 (126)0.24 (126)0.22 (126)0.3 (126)0.24 (126)1.06 (126)
random-net-60-2_network-2.net.wcnf.gz3600.0 (-)113.52 (55787)3600.0 (-)129.44 (55787)1296.32 (55787)139.64 (55787)3600.0 (-)
Rounded_BTWBNSL_Voting_TWBound_3.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
random-dif-21.rna.pre.wcnf.gz105.3 (473)5.6 (473)0.15 (473)0.15 (473)0.21 (473)1.19 (473)90.82 (473)
p1.wcnf.t.wcnf.gz198.78 (2407)238.3 (2407)166.91 (2407)126.61 (2407)199.26 (2407)146.75 (2407)3600.0 (-)
test61--n-20000.wcnf.gz39.18 (16)49.06 (16)4.02 (16)5.57 (16)9.11 (16)0.72 (16)924.94 (16)
WCNF_pathways_p09.wcnf.gz601.89 (157)0.4 (157)0.32 (157)0.26 (157)0.38 (157)0.28 (157)0.85 (157)
openstreetmap.dimacs.wcnf.gz218.82 (65915)92.62 (65915)1.1 (65915)29.03 (65915)74.3 (65915)12.53 (65915)10.35 (65915)
cat_reg_60_200_0000.txt.wcnf.gz10.0 (207529)0.35 (207529)3.14 (207529)5.33 (207529)14.42 (207529)4.55 (207529)5.69 (207529)
formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_5.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
f2030.wcnf.gz1714.32 (4195)3600.0 (-)3600.0 (-)175.0 (4195)3600.0 (-)261.52 (4195)3600.0 (-)
comp06.wcnf.gz43.49 (27)1478.27 (27)41.95 (27)80.84 (27)439.82 (27)286.23 (27)3600.0 (-)
bf2030fvslack.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tcp_students_112_it_12.wcnf.gz8.56 (3696)144.6 (3696)8.31 (3696)21.31 (3696)25.2 (3696)2.2 (3696)3.58 (3696)
Rounded_BTWBNSL_asia_1000_1_3.scores_TWBound_3.wcnf.gz155.1 (231945792)1.05 (231945792)0.87 (231945792)1.41 (231945792)17.54 (231945792)3.41 (231945792)3600.0 (-)
ram_k3_n15.ra1.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
CSG150-150-55.wcnf.gz18.16 (27533)19.52 (27533)17.98 (27533)51.66 (27533)78.86 (27533)152.49 (27533)51.07 (27533)
CSG40-40-95.wcnf.gz4.55 (8847)0.11 (8847)0.09 (8847)0.02 (8847)0.02 (8847)0.02 (8847)0.22 (8847)
8.wcsp.log.wcnf.gz0.01 (2)0.01 (2)0.01 (2)0.01 (2)0.01 (2)0.01 (2)0.01 (2)
SwitchingActivityMaximization_OpenRISC1200_200.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_64.wcnf.gz3050.46 (0)212.91 (0)2918.85 (0)701.51 (0)700.42 (0)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_74.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_80.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_90.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_52.wcnf.gz13.46 (0)7.01 (0)13.97 (0)9.28 (0)9.2 (0)49.97 (0)753.3 (0)
SwitchingActivityMaximization_OpenRISC1200_150.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_20.wcnf.gz10.63 (0)5.98 (0)10.95 (0)3.73 (0)3.78 (0)3.1 (0)28.68 (0)
SwitchingActivityMaximization_OpenRISC1200_30.wcnf.gz10.64 (0)8.0 (0)11.19 (0)2.91 (0)2.89 (0)4.45 (0)33.64 (0)
SwitchingActivityMaximization_OpenRISC1200_58.wcnf.gz11.18 (0)10.46 (0)11.76 (0)42.19 (0)41.68 (0)222.85 (0)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_76.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_66.wcnf.gz3600.0 (-)1373.64 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_50.wcnf.gz23.43 (0)14.0 (0)23.65 (0)3.81 (0)3.77 (0)71.37 (0)40.57 (0)
SwitchingActivityMaximization_OpenRISC1200_40.wcnf.gz18.55 (0)8.02 (0)18.87 (0)3.81 (0)3.76 (0)27.43 (0)26.54 (0)
SwitchingActivityMaximization_OpenRISC1200_72.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_62.wcnf.gz48.75 (0)66.51 (0)48.11 (0)3600.0 (-)3600.0 (-)1280.6 (0)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_10.wcnf.gz10.05 (0)6.75 (0)10.62 (0)2.65 (0)2.65 (0)2.67 (0)28.16 (0)
SwitchingActivityMaximization_OpenRISC1200_54.wcnf.gz28.69 (0)8.47 (0)28.24 (0)94.57 (0)93.46 (0)310.31 (0)83.37 (0)
SwitchingActivityMaximization_OpenRISC1200_60.wcnf.gz615.58 (0)215.45 (0)575.12 (0)3600.0 (-)3600.0 (-)1764.8 (0)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_70.wcnf.gz2403.51 (6)869.08 (6)2603.11 (6)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_100.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_56.wcnf.gz19.95 (0)14.82 (0)20.17 (0)267.14 (0)261.75 (0)170.65 (0)347.02 (0)
SwitchingActivityMaximization_OpenRISC1200_68.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_78.wcnf.gz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)