Benchmarkcashwmaxsat-corepluscashwmaxsat-plusuwrmaxsat-scipmaxhsevalmaxsatmaxcdcluwrmaxsatcgssopen-wbo-mergesatopen-wbo-glucoseexact
1bpi_.2knt_.g.wcnf.t.wcnf.xz136.86 (35)97.15 (35)108.95 (35)1109.05 (35)984.07 (35)480.35 (35)109.82 (35)114.36 (35)212.96 (35)654.48 (35)3600.0 (-)
1bpi_.5pti_.g.wcnf.t.wcnf.xz106.51 (29)112.91 (29)106.41 (29)690.03 (29)237.33 (29)286.53 (29)107.41 (29)56.07 (29)116.88 (29)117.64 (29)3600.0 (-)
1knt_.1bpi_.g.wcnf.t.wcnf.xz95.71 (35)87.37 (35)109.57 (35)1001.28 (35)774.12 (35)261.83 (35)109.6 (35)68.99 (35)422.76 (35)359.2 (35)3600.0 (-)
1knt_.2knt_.g.wcnf.t.wcnf.xz20.05 (16)19.69 (16)19.44 (16)13.49 (16)6.44 (16)23.87 (16)19.58 (16)13.86 (16)13.41 (16)4.12 (16)444.98 (16)
1knt_.5pti_.g.wcnf.t.wcnf.xz57.25 (29)67.45 (29)101.35 (29)651.22 (29)473.5 (29)202.41 (29)102.72 (29)65.2 (29)224.62 (29)74.42 (29)3600.0 (-)
1vii_.1cph_.g.wcnf.t.wcnf.xz2.73 (7)2.73 (7)0.55 (7)0.0 (7)0.0 (7)0.0 (7)0.1 (7)0.0 (7)0.0 (7)0.0 (7)0.0 (7)
2knt_.5pti_.g.wcnf.t.wcnf.xz63.91 (32)74.38 (32)62.42 (32)739.7 (32)377.23 (32)182.03 (32)62.83 (32)58.94 (32)164.38 (32)136.36 (32)3600.0 (-)
3ebx_.1era_.g.wcnf.t.wcnf.xz197.8 (34)141.9 (34)128.73 (34)1174.83 (34)1024.25 (34)642.31 (34)128.27 (34)216.38 (34)428.45 (34)585.88 (34)3600.0 (-)
3ebx_.6ebx_.g.wcnf.t.wcnf.xz21.98 (23)29.16 (23)23.14 (23)45.04 (23)68.35 (23)105.42 (23)23.39 (23)20.62 (23)50.63 (23)53.74 (23)3600.0 (-)
6ebx_.1era_.g.wcnf.t.wcnf.xz42.99 (30)36.39 (30)36.16 (30)370.06 (30)233.92 (30)124.43 (30)36.09 (30)34.09 (30)210.39 (30)74.96 (30)3600.0 (-)
AES1-30-1.wcnf.xz1.38 (1)1.45 (1)1.43 (1)2.1 (1)0.78 (1)2.53 (1)1.48 (1)5.38 (1)18.57 (1)18.49 (1)2.67 (1)
AES1-30-2.wcnf.xz1.44 (1)1.45 (1)1.45 (1)2.05 (1)0.67 (1)2.4 (1)1.48 (1)5.29 (1)31.14 (1)23.69 (1)2.69 (1)
AES1-30-5.wcnf.xz1.44 (1)1.45 (1)1.37 (1)10.76 (1)0.69 (1)12.38 (1)1.46 (1)7.54 (1)34.14 (1)22.64 (1)2.47 (1)
AES1-50-15.wcnf.xz1.45 (1)1.46 (1)1.48 (1)2.06 (1)0.76 (1)2.31 (1)1.47 (1)5.36 (1)33.74 (1)26.04 (1)2.62 (1)
AES1-60-18.wcnf.xz4.66 (1)3600.0 (-)1.63 (1)10.22 (1)54.25 (1)11.22 (1)1.57 (1)8.64 (1)46.26 (1)36.55 (1)3.11 (1)
AES1-60-19.wcnf.xz1.5 (1)1.43 (1)1.39 (1)2.04 (1)0.77 (1)2.37 (1)1.44 (1)5.37 (1)38.4 (1)28.73 (1)2.8 (1)
AES1-60-20.wcnf.xz1.57 (1)1.47 (1)1.43 (1)2.11 (1)1.01 (1)8.74 (1)1.44 (1)6.3 (1)48.68 (1)22.11 (1)2.66 (1)
AES1-70-21.wcnf.xz2.25 (1)2.27 (1)2.27 (1)3.93 (1)1.35 (1)4.19 (1)2.3 (1)6.33 (1)38.07 (1)34.41 (1)42.45 (1)
AES1-70-23.wcnf.xz27.73 (1)18.32 (1)8.11 (1)269.67 (1)101.59 (1)115.29 (1)8.14 (1)16.0 (1)140.92 (1)69.46 (1)3600.0 (-)
AES1-70-25.wcnf.xz5.24 (1)6.23 (1)2.74 (1)115.84 (1)25.65 (1)49.89 (1)2.75 (1)9.09 (1)29.46 (1)23.12 (1)98.03 (1)
AES1-72-26.wcnf.xz10.34 (1)9.74 (1)15.19 (1)47.57 (1)111.58 (1)84.88 (1)15.4 (1)20.52 (1)35.73 (1)22.72 (1)590.13 (1)
AES1-74-34.wcnf.xz2.47 (1)2.48 (1)2.48 (1)7.03 (1)9.46 (1)3.87 (1)2.48 (1)7.06 (1)29.4 (1)22.0 (1)18.45 (1)
AES1-76-38.wcnf.xz586.75 (1)900.79 (1)492.22 (1)904.5 (1)176.43 (1)331.21 (1)491.57 (1)2097.2 (1)968.15 (1)1810.81 (1)3600.0 (-)
AES2-40-50.wcnf.xz1.66 (2)1.47 (2)1.48 (2)6.18 (2)0.76 (2)6.41 (2)1.51 (2)6.01 (2)36.28 (2)23.64 (2)2.53 (2)
AES2-70-64.wcnf.xz55.08 (2)43.04 (2)11.04 (2)2148.46 (2)57.26 (2)340.35 (2)11.19 (2)625.36 (2)164.36 (2)85.16 (2)3600.0 (-)
AES2-74-75.wcnf.xz8.05 (2)224.24 (2)222.18 (2)129.96 (2)27.89 (2)116.84 (2)219.8 (2)17.47 (2)44.35 (2)29.61 (2)275.65 (2)
AMAZON.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
DBLP.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
FOOTBALL.wcnf.xz0.0 (13)0.0 (13)0.0 (13)0.0 (13)0.0 (13)0.0 (13)0.0 (13)0.0 (13)0.0 (13)0.0 (13)0.0 (13)
GenHyperTW_adder_15.wcnf.xz60.48 (2)60.82 (2)59.32 (2)170.88 (2)595.79 (2)56.99 (2)61.73 (2)433.16 (2)81.22 (2)681.07 (2)560.58 (2)
GenHyperTW_aim-50-1_6-no-3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_aim-50-1_6-yes1-3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_aim-50-3_4-yes1-3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_b01.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1297.21 (5)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3266.07 (5)3600.0 (-)3600.0 (-)
GenHyperTW_b06.wcnf.xz86.53 (4)114.71 (4)115.06 (4)193.74 (4)774.3 (4)88.56 (4)115.75 (4)189.97 (4)248.21 (4)241.46 (4)872.09 (4)
GenHyperTW_flat30-50.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_flat30-99.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_hole6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_hole8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_hole9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_par8-4-c.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_par8-5-c.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_s208.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GenHyperTW_s27.wcnf.xz510.08 (2)513.99 (2)223.27 (2)0.0 (2)0.0 (2)0.0 (2)0.04 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)
GenHyperTW_uf20-050.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
GreeceWesternGreeceUniversityInstance4.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
KARATE.wcnf.xz0.02 (4)0.0 (4)0.0 (4)0.0 (4)0.0 (4)0.0 (4)0.0 (4)0.0 (4)0.0 (4)0.01 (4)0.0 (4)
MLI.ionosphere_train_1_DNF_4_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MLI.twitter_train_1_CNF_4_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_miles1500.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)803.83 (218)1645.2 (218)3600.0 (-)3600.0 (-)1099.8 (218)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_mulsol.i.3.wcnf.xz741.76 (240)1048.78 (240)3600.0 (-)792.29 (240)632.9 (240)3600.0 (-)3600.0 (-)323.85 (240)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_mulsol.i.4.wcnf.xz469.52 (240)3600.0 (-)3600.0 (-)1106.43 (240)614.38 (240)3600.0 (-)3600.0 (-)287.87 (240)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_mulsol.i.5.wcnf.xz523.16 (240)2470.17 (240)3600.0 (-)817.9 (240)602.11 (240)3600.0 (-)3600.0 (-)367.56 (240)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_myciel4.wcnf.xz606.45 (46)607.38 (46)810.34 (46)49.38 (46)1.98 (46)5.82 (46)2.44 (46)1.38 (46)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_myciel5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)375.26 (196)1643.59 (196)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_myciel7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_queen11_11.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_queen6_6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R0_queen7_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R10_anna.wcnf.xz610.45 (37)610.97 (37)825.71 (37)37.21 (37)5.66 (37)6.07 (37)19.14 (37)1.99 (37)1585.66 (37)3600.0 (-)3600.0 (-)
MinFill_R3_david.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)69.19 (61)134.85 (61)69.67 (61)3600.0 (-)1548.7 (61)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R3_huck.wcnf.xz10.98 (2)10.95 (2)4.59 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)
MinFill_R3_miles750.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R4_miles500.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinFill_R5_jean.wcnf.xz606.73 (11)606.31 (11)808.37 (11)0.0 (11)0.0 (11)0.0 (11)0.0 (11)0.0 (11)2.44 (11)0.61 (11)4.81 (11)
POLITICSBOOK.wcnf.xz0.1 (17)0.0 (17)0.1 (17)0.0 (17)0.0 (17)0.0 (17)0.0 (17)0.0 (17)0.0 (17)0.0 (17)0.0 (17)
Q12_OPTIONS_1.wcnf.xz1106.94 (11)1009.22 (11)850.31 (11)2135.78 (11)1240.86 (11)3600.0 (-)850.12 (11)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Q13_OPTIONS_1.wcnf.xz310.38 (21)320.84 (21)306.01 (21)907.66 (21)707.62 (21)1135.26 (21)300.74 (21)1435.07 (21)3600.0 (-)1478.69 (21)3600.0 (-)
Q34_YESNO_2.wcnf.xz27.83 (1)28.04 (1)27.74 (1)11.26 (1)3.42 (1)23.93 (1)27.76 (1)17.4 (1)2.78 (1)2.06 (1)8.66 (1)
Q41_YESNO_3.wcnf.xz11.57 (1)11.66 (1)11.46 (1)7.33 (1)5.63 (1)7.17 (1)11.6 (1)7.74 (1)36.93 (1)25.84 (1)2.88 (1)
Q45_YESNO_3.wcnf.xz9.28 (1)9.66 (1)9.53 (1)8.77 (1)5.1 (1)3.56 (1)9.53 (1)8.64 (1)35.44 (1)30.79 (1)4.67 (1)
Q46_OPTIONS_1.wcnf.xz111.12 (3)118.68 (3)94.76 (3)128.3 (3)164.99 (3)162.09 (3)94.22 (3)553.98 (3)2809.14 (3)522.19 (3)3600.0 (-)
Q46_YESNO_2.wcnf.xz9.57 (1)9.59 (1)9.66 (1)9.12 (1)15.14 (1)7.23 (1)9.57 (1)16.43 (1)13.34 (1)6.02 (1)16.46 (1)
Q47_YESNO_2.wcnf.xz11.54 (1)11.82 (1)11.83 (1)9.73 (1)4.52 (1)7.9 (1)11.75 (1)17.39 (1)3.82 (1)4.33 (1)11.76 (1)
Q53_YESNO_3.wcnf.xz3.8 (1)3.83 (1)3.81 (1)4.8 (1)1.37 (1)2.75 (1)3.78 (1)6.58 (1)32.18 (1)16.21 (1)2.57 (1)
Q6_YESNO_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1189.43 (2)1179.49 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
RAILWAY.wcnf.xz0.0 (44)0.0 (44)0.0 (44)0.0 (44)0.0 (44)0.0 (44)0.0 (44)0.0 (44)0.0 (44)0.0 (44)0.17 (44)
RISKMAP.wcnf.xz0.0 (9)0.0 (9)0.0 (9)0.0 (9)0.0 (9)0.0 (9)0.0 (9)0.0 (9)0.0 (9)0.01 (9)0.0 (9)
SAT02__industrial__goldberg__fpga_routing__vda_gr_rcs_w9.shuffled.cnf.wcnf.2.wcnf.xz47.53 (16)2.2 (16)30.54 (16)73.93 (16)19.76 (16)81.22 (16)2.3 (16)22.98 (16)18.9 (16)4.56 (16)3.67 (16)
SAT04__industrial__vangelder__cnf-color__abb313GPIA-9-tr.used-as.sat04-321.cnf.wcnf.6.wcnf.xz28.93 (25)3.14 (25)1.86 (25)802.92 (25)115.27 (25)196.77 (25)1.82 (25)24.44 (25)2.17 (25)2.05 (25)2.01 (25)
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug4_q0.used-as.sat04-723.cnf.wcnf.8.wcnf.xz369.08 (86)197.85 (86)98.42 (86)707.05 (86)91.02 (86)588.41 (86)98.79 (86)300.25 (86)14.5 (86)5.5 (86)29.07 (86)
SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.7.wcnf.xz259.69 (60)162.47 (60)81.57 (60)714.9 (60)65.37 (60)487.27 (60)82.05 (60)215.08 (60)6.38 (60)4.68 (60)51.97 (60)
SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_15_SAT.cnf.wcnf.9.wcnf.xz45.3 (26)7.55 (26)3.71 (26)601.43 (26)257.71 (26)314.64 (26)3.71 (26)192.16 (26)3600.0 (-)3600.0 (-)280.68 (26)
SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_18_SAT.cnf.wcnf.2.wcnf.xz6.82 (7)0.95 (7)0.84 (7)98.63 (7)0.66 (7)308.98 (7)0.83 (7)10.66 (7)10.98 (7)10.38 (7)2.78 (7)
SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.5.wcnf.xz123.97 (578)131.14 (578)848.53 (578)246.79 (578)92.07 (578)78.22 (578)34.54 (578)56.31 (578)3600.0 (-)432.68 (578)3600.0 (-)
SAT11__application__fuhs__AProVE11__AProVE11-16.cnf.wcnf.1.wcnf.xz467.54 (263)214.83 (263)42.55 (263)93.53 (263)132.67 (263)150.96 (263)42.62 (263)89.08 (263)199.86 (263)69.08 (263)19.67 (263)
SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.2.wcnf.xz2.56 (1)2.59 (1)2.5 (1)11.53 (1)3.38 (1)5.17 (1)2.55 (1)12.83 (1)85.04 (1)41.2 (1)5.98 (1)
SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.3.wcnf.xz84.15 (17)61.41 (17)17.97 (17)133.62 (17)31.69 (17)65.76 (17)18.14 (17)59.11 (17)14.72 (17)14.04 (17)254.85 (17)
SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.9.wcnf.xz187.99 (82)26.88 (82)822.66 (82)1081.89 (82)256.55 (82)369.76 (82)13.81 (82)100.64 (82)84.49 (82)61.04 (82)3600.0 (-)
SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.4.wcnf.xz273.24 (78)135.13 (78)50.75 (78)1773.36 (78)1187.48 (78)354.75 (78)50.79 (78)406.33 (78)28.43 (78)16.04 (78)168.52 (78)
SAT11__application__manthey__traffic__traffic_r_sat.cnf.wcnf.6.wcnf.xz172.72 (120)102.32 (120)38.5 (120)1177.03 (120)1238.85 (120)468.53 (120)38.4 (120)319.23 (120)97.1 (120)36.75 (120)597.45 (120)
SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.180-SAT.cnf.wcnf.2.wcnf.xz91.89 (35)87.05 (35)63.49 (35)343.9 (35)769.27 (35)178.7 (35)63.36 (35)1011.05 (35)627.67 (35)164.46 (35)70.05 (35)
SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.2.wcnf.xz113.71 (25)63.34 (25)47.22 (25)518.22 (25)82.36 (25)254.8 (25)47.43 (25)169.42 (25)46.22 (25)10.86 (25)38.03 (25)
TWComp_barley-pp_N26.wcnf.xz606.61 (7)606.06 (7)807.85 (7)0.75 (7)0.01 (7)0.68 (7)0.01 (7)0.73 (7)4.01 (7)2.85 (7)0.83 (7)
TWComp_barley2_N48.wcnf.xz3.52 (7)3.5 (7)3.5 (7)5.15 (7)3.71 (7)5.46 (7)3.47 (7)4.85 (7)81.16 (7)72.03 (7)11.7 (7)
TWComp_celar02_N100.wcnf.xz13.94 (10)13.81 (10)13.78 (10)11.74 (10)4.88 (10)11.36 (10)13.83 (10)28.17 (10)5.92 (10)3.29 (10)25.42 (10)
TWComp_celar09pp_N67.wcnf.xz2.63 (7)2.6 (7)2.66 (7)3.29 (7)1.14 (7)3.06 (7)2.66 (7)8.29 (7)18.54 (7)18.01 (7)3.61 (7)
TWComp_david-pp_N29.wcnf.xz610.61 (13)607.83 (13)809.62 (13)0.83 (13)0.79 (13)0.76 (13)1.86 (13)4.38 (13)15.04 (13)5.51 (13)1.97 (13)
TWComp_david_N87.wcnf.xz23.26 (13)23.14 (13)22.6 (13)27.55 (13)24.73 (13)25.72 (13)23.02 (13)30.85 (13)38.51 (13)16.42 (13)64.41 (13)
TWComp_hailfinder_N56.wcnf.xz3.29 (4)3.25 (4)3.29 (4)1.82 (4)0.57 (4)1.8 (4)3.25 (4)4.89 (4)18.13 (4)17.96 (4)2.95 (4)
TWComp_hepar2_N70.wcnf.xz3.21 (6)3.21 (6)3.2 (6)3.66 (6)1.18 (6)3.09 (6)3.19 (6)9.59 (6)18.65 (6)18.8 (6)4.69 (6)
TWComp_mildew_35.wcnf.xz0.03 (4)0.03 (4)809.44 (4)0.48 (4)0.03 (4)0.02 (4)0.03 (4)1.25 (4)10.86 (4)10.78 (4)0.96 (4)
TWComp_miles500_N128.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)93.16 (22)509.03 (22)93.6 (22)3600.0 (-)3558.1 (22)1227.51 (22)624.18 (22)291.1 (22)
TWComp_mulsol.i.5-pp_N119.wcnf.xz2598.46 (31)2572.64 (31)2539.85 (31)90.44 (31)93.69 (31)99.64 (31)2560.91 (31)3198.92 (31)3600.0 (-)3600.0 (-)197.56 (31)
TWComp_myciel4_N23.wcnf.xz622.12 (10)621.55 (10)823.7 (10)5.58 (10)3.65 (10)5.57 (10)16.46 (10)12.01 (10)53.62 (10)13.47 (10)53.36 (10)
TWComp_myciel5_N47.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1668.71 (19)1023.12 (19)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
TWComp_oesoca4_N42.wcnf.xz1.26 (3)1.21 (3)1.21 (3)0.72 (3)0.04 (3)0.65 (3)1.2 (3)2.09 (3)28.78 (3)28.56 (3)1.21 (3)
TWComp_queen5_5_N25.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)2664.72 (18)1310.59 (18)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
TWComp_win95pts_N76.wcnf.xz5.01 (8)5.02 (8)5.03 (8)13.16 (8)2.46 (8)12.58 (8)4.97 (8)12.84 (8)9.62 (8)2.04 (8)10.35 (8)
YOUTUBE.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ann.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
aus.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
australian.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
b14_C-mbd14-0248.wcnf.xz608.51 (25)607.4 (25)586.29 (25)3600.0 (-)10.22 (25)584.05 (25)1.5 (25)12.3 (25)20.82 (25)8.52 (25)13.22 (25)
b14_opt_bug2_vec1-gate-0.dimacs.seq.filtered.wcnf.xz4.06 (1)4.42 (1)3.73 (1)43.16 (1)6.81 (1)282.53 (1)3.62 (1)15.23 (1)1.37 (1)1.25 (1)478.78 (1)
b15_C-mbd14-0259.wcnf.xz518.7 (22)514.15 (22)142.29 (22)18.49 (22)0.96 (22)153.32 (22)0.01 (22)1.21 (22)0.62 (22)0.01 (22)6.73 (22)
b17_C-mbd14-0261.wcnf.xz141.9 (21)140.76 (21)17.26 (21)5.96 (21)2.81 (21)116.11 (21)0.92 (21)2.81 (21)0.73 (21)0.67 (21)48.88 (21)
b20_C-mbd14-0252.wcnf.xz609.81 (21)608.16 (21)423.7 (21)41.72 (21)1.2 (21)185.9 (21)0.76 (21)2.25 (21)3.67 (21)1.28 (21)15.23 (21)
b20_C-mbd14-0267.wcnf.xz611.82 (20)608.07 (20)809.42 (20)113.4 (20)3.37 (20)568.74 (20)1.19 (20)4.97 (20)8.23 (20)5.21 (20)24.03 (20)
b20_C-mbd14-0298.wcnf.xz613.23 (18)608.59 (18)691.07 (18)228.12 (18)1.69 (18)389.85 (18)1.2 (18)3.18 (18)2.96 (18)1.44 (18)13.39 (18)
b20_C-mbd14-0358.wcnf.xz631.41 (19)615.29 (19)811.59 (19)3600.0 (-)9.67 (19)630.18 (19)3.74 (19)21.3 (19)30.78 (19)15.56 (19)2168.08 (19)
b21_C-mbd14-0250.wcnf.xz612.3 (20)607.95 (20)809.6 (20)389.28 (20)6.16 (20)594.53 (20)1.55 (20)8.07 (20)9.6 (20)2.39 (20)21.11 (20)
b21_C-mbd14-0295.wcnf.xz631.68 (21)620.4 (21)816.63 (21)1931.95 (21)52.13 (21)694.21 (21)8.4 (21)24.68 (21)45.86 (21)19.69 (21)2993.55 (21)
b21_C-mbd14-0304.wcnf.xz617.78 (24)607.92 (24)810.98 (24)3600.0 (-)5.94 (24)646.63 (24)2.95 (24)8.92 (24)28.52 (24)11.33 (24)288.21 (24)
b21_C-mbd14-0308.wcnf.xz613.93 (18)608.93 (18)809.4 (18)271.91 (18)3.99 (18)445.84 (18)1.38 (18)4.38 (18)15.35 (18)1.93 (18)13.76 (18)
b21_C-mbd14-0394.wcnf.xz619.16 (23)613.73 (23)810.47 (23)997.78 (23)14.16 (23)582.19 (23)2.51 (23)27.99 (23)33.92 (23)5.7 (23)157.82 (23)
b22_C-mbd14-0225.wcnf.xz619.16 (25)609.05 (25)810.16 (25)270.71 (25)5.61 (25)576.34 (25)1.77 (25)4.99 (25)1.23 (25)1.03 (25)29.88 (25)
b22_C-mbd14-0250.wcnf.xz616.73 (22)611.32 (22)811.46 (22)346.72 (22)5.3 (22)594.2 (22)3.23 (22)6.12 (22)5.29 (22)1.94 (22)40.79 (22)
b22_C-mbd14-0308.wcnf.xz621.9 (24)613.78 (24)608.97 (24)10.55 (24)3.11 (24)393.28 (24)1.41 (24)3.3 (24)0.99 (24)0.91 (24)18.95 (24)
b22_C-mbd14-0318.wcnf.xz620.81 (20)613.31 (20)593.71 (20)28.36 (20)3.3 (20)124.66 (20)1.73 (20)3.3 (20)1.09 (20)0.91 (20)29.33 (20)
bip.maxcut-140-630-0.7-13.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bip.maxcut-140-630-0.7-37.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bip.maxcut-140-630-0.7-42.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bip.maxcut-140-630-0.7-44.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bip.maxcut-140-630-0.8-24.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bre-res-str.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bupa.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
c1_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf.xz9.72 (4)9.36 (4)7.54 (4)30.52 (4)43.15 (4)87.77 (4)7.57 (4)39.75 (4)3.85 (4)3.37 (4)826.62 (4)
c2_DD_s3_f1_e2_v1-bug-onevec-gate-0.dimacs.seq.filtered.wcnf.xz1.91 (1)3.02 (1)1.62 (1)81.37 (1)4.08 (1)287.78 (1)1.66 (1)9.65 (1)1.91 (1)0.82 (1)132.66 (1)
c5_DD_s3_f1_e1_v2-bug-gate-0.dimacs.seq.filtered.wcnf.xz6.47 (8)10.72 (8)3.58 (8)8.83 (8)41.99 (8)205.91 (8)3.56 (8)23.58 (8)2.73 (8)2.13 (8)422.22 (8)
c7552-bug-gate-0.dimacs.seq.filtered.wcnf.xz8.45 (1)8.53 (1)1.29 (1)0.0 (1)0.72 (1)2.67 (1)0.25 (1)0.63 (1)0.0 (1)0.0 (1)2.95 (1)
car.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
car.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)827.4 (143)3600.0 (-)3156.42 (143)3600.0 (-)2482.94 (143)3600.0 (-)
causal_n5_i5_N10000_uai13_constant_int.wcnf.xz5.52 (5)4.64 (5)4.45 (5)8.9 (5)21.9 (5)14.83 (5)4.48 (5)8.21 (5)37.91 (5)5.28 (5)61.7 (5)
causal_n5_i7_N1000_uai13_constant_int.wcnf.xz5.37 (11)6.99 (11)4.73 (11)6.86 (11)13.74 (11)25.98 (11)4.67 (11)13.6 (11)47.73 (11)6.98 (11)203.24 (11)
causal_n5_i9_N10000_uai13_harddeps_int.wcnf.xz6.32 (17)6.8 (17)6.67 (17)11.52 (17)14.27 (17)18.39 (17)6.68 (17)16.0 (17)127.46 (17)15.43 (17)186.0 (17)
causal_n5_i9_N1000_uai13_constant_int.wcnf.xz5.34 (12)7.64 (12)4.91 (12)10.32 (12)13.74 (12)23.05 (12)4.94 (12)8.34 (12)27.21 (12)6.79 (12)65.96 (12)
causal_n5_i9_N1000_uai13_harddeps_int.wcnf.xz6.18 (17)9.12 (17)5.98 (17)12.92 (17)14.39 (17)23.95 (17)6.03 (17)15.71 (17)112.18 (17)13.99 (17)185.55 (17)
causal_n6_i10_N500_uai14_constant_int.wcnf.xz607.6 (28)607.43 (28)808.76 (28)7.08 (28)7.02 (28)19.48 (28)0.86 (28)3.36 (28)22.28 (28)3.11 (28)390.96 (28)
causal_n6_i2_N10000_uai14_harddeps_int.wcnf.xz608.87 (48)609.16 (48)811.47 (48)6.37 (48)9.76 (48)17.38 (48)3.52 (48)12.64 (48)40.27 (48)10.74 (48)189.57 (48)
causal_n6_i2_N1000_uai13_constant_int.wcnf.xz154.78 (15)108.86 (15)110.74 (15)253.02 (15)1037.86 (15)438.81 (15)110.58 (15)217.04 (15)1320.42 (15)172.32 (15)3600.0 (-)
causal_n6_i8_N10000_uai14_constant_int.wcnf.xz608.52 (26)607.28 (26)809.02 (26)3.65 (26)5.53 (26)21.34 (26)1.08 (26)2.44 (26)9.2 (26)1.92 (26)181.01 (26)
causal_n6_i8_N1000_uai14_constant_int.wcnf.xz609.55 (26)608.93 (26)808.5 (26)3.57 (26)6.17 (26)23.45 (26)0.76 (26)3.17 (26)7.3 (26)1.25 (26)107.61 (26)
causal_n7_i10_N1000_uai14_constant_int.wcnf.xz14.46 (42)6.98 (42)814.8 (42)95.31 (42)70.01 (42)108.4 (42)6.26 (42)23.55 (42)48.51 (42)11.23 (42)3600.0 (-)
causal_n7_i5_N10000_uai14_constant_int.wcnf.xz17.57 (48)7.57 (48)815.36 (48)156.53 (48)56.33 (48)221.0 (48)5.94 (48)23.47 (48)80.94 (48)19.02 (48)3600.0 (-)
causal_n7_i5_N1000_uai14_constant_int.wcnf.xz15.83 (48)7.56 (48)814.52 (48)178.71 (48)55.04 (48)161.97 (48)6.76 (48)28.9 (48)70.88 (48)17.76 (48)3600.0 (-)
causal_n7_i6_N500_uai14_harddeps_int.wcnf.xz67.39 (116)138.01 (116)1226.38 (116)413.66 (116)205.04 (116)228.56 (116)427.27 (116)477.23 (116)327.03 (116)162.86 (116)3600.0 (-)
causal_n7_i8_N1000_uai14_constant_int.wcnf.xz2.3 (24)1.68 (24)810.48 (24)5.05 (24)7.45 (24)7.14 (24)1.35 (24)7.73 (24)11.09 (24)3.07 (24)2.02 (24)
causal_n7_i8_N1000_uai14_harddeps_int.wcnf.xz27.56 (94)16.38 (94)821.84 (94)180.5 (94)86.97 (94)204.73 (94)16.13 (94)96.07 (94)110.14 (94)24.71 (94)3600.0 (-)
cellda_x_10.wcnf.xz1193.69 (9)1196.92 (9)1165.42 (9)2164.44 (9)1013.23 (9)1140.82 (9)1148.0 (9)2040.18 (9)700.83 (9)495.18 (9)3600.0 (-)
cellda_x_12.wcnf.xz1956.2 (9)1834.42 (9)1897.34 (9)2437.21 (9)2826.12 (9)1760.92 (9)1823.16 (9)3600.0 (-)1356.89 (9)642.45 (9)3600.0 (-)
cellda_y_10.wcnf.xz2237.36 (6)2766.33 (6)1673.94 (6)1908.42 (6)3600.0 (-)1380.72 (6)3280.75 (6)3600.0 (-)1160.04 (6)1448.13 (6)3600.0 (-)
cleveland.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cloud.wcnf.xz0.48 (254)0.02 (254)0.5 (254)0.93 (254)6.93 (254)6.41 (254)0.89 (254)4.85 (254)0.54 (254)0.02 (254)3.53 (254)
cnf.10.p.6.wcnf.xz7.04 (10)11.64 (10)6.99 (10)1282.0 (10)87.75 (10)659.69 (10)7.03 (10)82.75 (10)37.0 (10)22.92 (10)34.04 (10)
cnf.10.p.7.wcnf.xz15.97 (10)6.84 (10)28.33 (10)670.84 (10)106.91 (10)990.87 (10)28.23 (10)58.07 (10)81.89 (10)34.88 (10)503.16 (10)
cnf.10.p.8.wcnf.xz26.61 (10)14.49 (10)8.96 (10)3600.0 (-)481.41 (10)645.28 (10)8.94 (10)96.64 (10)80.93 (10)35.99 (10)1631.07 (10)
cnf.13.p.6.wcnf.xz10.55 (13)20.54 (13)16.0 (13)247.3 (13)44.16 (13)567.84 (13)16.05 (13)59.33 (13)55.2 (13)29.93 (13)70.24 (13)
cnf.13.p.7.wcnf.xz11.51 (13)7.76 (13)23.89 (13)642.55 (13)84.04 (13)2503.71 (13)23.97 (13)71.08 (13)51.14 (13)68.75 (13)159.85 (13)
cnf.14.p.4.wcnf.xz11.19 (14)12.13 (14)18.76 (14)50.01 (14)29.54 (14)284.8 (14)18.98 (14)42.91 (14)39.06 (14)23.61 (14)256.75 (14)
cnf.14.t.7.wcnf.xz13.09 (14)5.42 (14)5.41 (14)53.73 (14)16.45 (14)170.6 (14)5.39 (14)36.86 (14)23.44 (14)14.87 (14)3.61 (14)
cnf.15.p.6.wcnf.xz110.78 (15)39.98 (15)49.34 (15)3600.0 (-)311.62 (15)3600.0 (-)49.29 (15)137.93 (15)133.67 (15)39.65 (15)3600.0 (-)
cnf.16.p.8.wcnf.xz74.17 (16)190.69 (16)70.58 (16)3600.0 (-)1924.89 (16)3600.0 (-)70.37 (16)310.19 (16)178.27 (16)234.43 (16)3600.0 (-)
cnf.17.p.8.wcnf.xz46.22 (17)26.72 (17)84.01 (17)1791.97 (17)517.03 (17)3600.0 (-)84.67 (17)181.63 (17)106.6 (17)94.3 (17)3600.0 (-)
cnf.17.t.8.wcnf.xz24.75 (17)8.22 (17)7.35 (17)856.38 (17)97.34 (17)484.69 (17)7.39 (17)56.67 (17)26.9 (17)15.13 (17)26.04 (17)
cnf.18.p.10.wcnf.xz121.87 (18)616.54 (18)42.55 (18)3600.0 (-)682.15 (18)3600.0 (-)42.75 (18)262.0 (18)284.25 (18)349.09 (18)3600.0 (-)
cnf.18.p.7.wcnf.xz71.49 (18)30.98 (18)42.78 (18)2386.23 (18)144.81 (18)3600.0 (-)42.37 (18)158.62 (18)90.6 (18)101.81 (18)3600.0 (-)
cnf.19.p.5.wcnf.xz24.68 (19)18.05 (19)18.68 (19)281.17 (19)46.28 (19)499.39 (19)18.74 (19)76.86 (19)62.78 (19)60.86 (19)407.07 (19)
cnf.20.p.7.wcnf.xz108.44 (20)120.66 (20)265.97 (20)3600.0 (-)301.72 (20)3600.0 (-)257.96 (20)253.65 (20)228.63 (20)272.22 (20)3600.0 (-)
cnf.20.p.9.wcnf.xz93.74 (20)111.71 (20)777.48 (20)3600.0 (-)1620.06 (20)3600.0 (-)748.4 (20)3600.0 (-)396.42 (20)352.23 (20)3600.0 (-)
cnf_10.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cnf_10_center.wcnf.xz53.53 (159)123.33 (159)506.98 (159)1424.57 (159)211.06 (159)1801.66 (159)484.96 (159)3501.8 (159)1881.1 (159)3600.0 (-)3600.0 (-)
cnf_12.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cnf_12_center.wcnf.xz40.14 (237)32.88 (237)47.13 (237)607.59 (237)125.77 (237)482.71 (237)47.32 (237)82.07 (237)308.9 (237)270.02 (237)3600.0 (-)
cnf_small.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1045.54 (28)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
colic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
corral.wcnf.xz0.0 (12)0.0 (12)0.0 (12)0.02 (12)0.0 (12)0.0 (12)0.0 (12)0.0 (12)0.0 (12)0.0 (12)0.0 (12)
cra-scp.scpclr13_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
cra-scp.scpcyc10_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
d4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
data.135.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
data.243.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
data.405.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
data.729.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dermatology.wcnf.xz152.75 (40)177.42 (40)863.84 (40)3600.0 (-)336.24 (40)499.58 (40)51.53 (40)214.12 (40)130.67 (40)106.02 (40)2054.44 (40)
dim.MANN_a9.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dim.brock400_3.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1095.43 (238)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dim.brock400_4.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1550.8 (249)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dim.hamming10-4.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dim.hamming8-2.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
divider-problem.dimacs_3.filtered.wcnf.xz6.07 (1)8.61 (1)5.47 (1)52.69 (1)12.48 (1)290.98 (1)5.46 (1)33.68 (1)12.61 (1)5.46 (1)3600.0 (-)
dp43.wcnf.xz20.88 (47)16.45 (47)16.0 (47)125.04 (47)62.62 (47)140.51 (47)16.08 (47)44.68 (47)33.64 (47)5.74 (47)66.25 (47)
drmx-am12-outof-40-ekmtot.wcnf.xz12.29 (28)12.16 (28)23.9 (28)0.65 (28)1.17 (28)3.42 (28)3.16 (28)0.72 (28)0.0 (28)0.0 (28)9.06 (28)
drmx-am12-outof-40-emtot.wcnf.xz21.92 (28)21.89 (28)61.36 (28)0.0 (28)0.97 (28)9.54 (28)3.12 (28)0.81 (28)2.16 (28)0.72 (28)33.93 (28)
drmx-am16-outof-45-ecardn.wcnf.xz615.19 (29)609.54 (29)830.66 (29)0.0 (29)5.16 (29)49.75 (29)22.99 (29)4.6 (29)3.84 (29)1.67 (29)16.67 (29)
drmx-am16-outof-45-esortn.wcnf.xz608.73 (29)609.28 (29)810.76 (29)0.0 (29)6.95 (29)40.76 (29)2.04 (29)4.85 (29)1.54 (29)0.55 (29)19.12 (29)
drmx-am16-outof-45-etot.wcnf.xz64.12 (29)64.16 (29)413.68 (29)1.25 (29)2.96 (29)21.36 (29)1.36 (29)1.63 (29)0.57 (29)0.0 (29)24.04 (29)
drmx-am20-outof-50-emtot.wcnf.xz104.26 (30)104.0 (30)809.58 (30)1.12 (30)8.04 (30)128.34 (30)1.34 (30)7.01 (30)0.77 (30)0.0 (30)466.31 (30)
drmx-am20-outof-50-eseqc.wcnf.xz606.7 (30)639.16 (30)829.86 (30)2.76 (30)3.63 (30)56.04 (30)21.68 (30)1.45 (30)5.72 (30)1.76 (30)3178.35 (30)
drmx-am20-outof-50-etot.wcnf.xz139.89 (30)139.57 (30)809.58 (30)1.34 (30)9.27 (30)134.38 (30)1.07 (30)9.88 (30)1.83 (30)0.73 (30)187.89 (30)
drmx-am24-outof-55-ecardn.wcnf.xz617.79 (31)643.18 (31)860.61 (31)0.0 (31)53.05 (31)105.96 (31)55.63 (31)148.36 (31)30.74 (31)22.06 (31)3600.0 (-)
drmx-am24-outof-55-ekmtot.wcnf.xz533.26 (31)258.12 (31)820.18 (31)3.06 (31)6.98 (31)130.17 (31)12.48 (31)6.99 (31)1.06 (31)0.0 (31)3600.0 (-)
drmx-am28-outof-60-ecardn.wcnf.xz1248.29 (32)650.05 (32)833.97 (32)0.0 (32)38.97 (32)187.82 (32)26.29 (32)125.73 (32)79.0 (32)30.97 (32)3600.0 (-)
drmx-am28-outof-60-emtot.wcnf.xz675.08 (32)608.47 (32)865.12 (32)1.74 (32)20.02 (32)150.26 (32)56.34 (32)23.71 (32)0.88 (32)0.0 (32)3600.0 (-)
drmx-am32-outof-70-ekmtot.wcnf.xz748.97 (38)617.03 (38)2029.01 (38)29.94 (38)8.14 (38)213.86 (38)1228.6 (38)4.91 (38)1.95 (38)0.54 (38)3600.0 (-)
drmx-am32-outof-70-eseqc.wcnf.xz611.19 (38)627.21 (38)816.89 (38)25.04 (38)10.29 (38)154.47 (38)9.33 (38)2.59 (38)29.61 (38)8.49 (38)3600.0 (-)
drmx-am32-outof-70-esortn.wcnf.xz760.97 (38)791.65 (38)962.74 (38)0.85 (38)27.1 (38)161.09 (38)157.24 (38)110.96 (38)7.09 (38)9.91 (38)3600.0 (-)
drmx-am32-outof-70-etot.wcnf.xz623.48 (38)620.61 (38)831.52 (38)30.67 (38)6.4 (38)215.01 (38)24.1 (38)5.11 (38)7.0 (38)3.29 (38)3600.0 (-)
ecoli.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_non-strict_stb_150_0.1_2_8_2.wcnf.xz339.09 (8)342.01 (8)616.49 (8)837.12 (8)3600.0 (-)2730.53 (8)695.66 (8)3600.0 (-)3600.0 (-)2773.19 (8)3600.0 (-)
extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)467.83 (7)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_non-strict_stb_200_0.05_1_10_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)329.24 (9)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_non-strict_stb_200_0.05_3_10_4.wcnf.xz371.35 (7)3600.0 (-)716.09 (7)463.16 (7)3600.0 (-)3600.0 (-)208.26 (7)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf.xz1725.22 (7)3600.0 (-)3600.0 (-)466.0 (7)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf.xz3600.0 (-)3600.0 (-)700.46 (8)993.64 (8)3600.0 (-)3600.0 (-)1027.89 (8)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_non-strict_stb_200_0.1_4_10_2.wcnf.xz3126.98 (8)728.72 (8)265.79 (8)2605.16 (8)3600.0 (-)3534.72 (8)990.9 (8)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
extension-enforcement_strict_com_100_0.05_4_20_3.wcnf.xz7.52 (15)1.67 (15)8.57 (15)45.63 (15)3.6 (15)364.92 (15)1.07 (15)4.51 (15)37.09 (15)12.49 (15)4.82 (15)
extension-enforcement_strict_com_150_0.05_0_15_2.wcnf.xz27.52 (39)8.22 (39)9.66 (39)3600.0 (-)17.94 (39)151.55 (39)9.66 (39)13.96 (39)16.84 (39)15.34 (39)13.91 (39)
extension-enforcement_strict_com_150_0.05_3_30_0.wcnf.xz69.49 (33)8.6 (33)8.23 (33)89.84 (33)37.24 (33)154.02 (33)8.21 (33)16.05 (33)488.68 (33)350.46 (33)14.28 (33)
extension-enforcement_strict_com_150_0.05_4_30_4.wcnf.xz30.88 (27)9.66 (27)8.62 (27)87.39 (27)35.51 (27)166.7 (27)8.58 (27)31.03 (27)18.84 (27)13.87 (27)18.63 (27)
extension-enforcement_strict_com_150_0.1_2_15_0.wcnf.xz35.97 (26)5.15 (26)4.03 (26)333.21 (26)11.78 (26)164.5 (26)4.08 (26)9.8 (26)16.62 (26)3600.0 (-)14.54 (26)
extension-enforcement_strict_com_150_0.1_4_15_1.wcnf.xz27.03 (24)4.83 (24)4.29 (24)91.6 (24)17.31 (24)153.39 (24)4.34 (24)8.48 (24)111.33 (24)40.06 (24)15.8 (24)
extension-enforcement_strict_com_200_0.05_0_40_1.wcnf.xz52.42 (26)15.64 (26)13.24 (26)69.33 (26)29.99 (26)110.35 (26)13.21 (26)37.18 (26)3600.0 (-)3600.0 (-)39.05 (26)
extension-enforcement_strict_com_200_0.1_0_10_1.wcnf.xz38.12 (35)8.43 (35)5.43 (35)30.33 (35)19.48 (35)50.22 (35)5.45 (35)17.18 (35)2793.59 (35)3600.0 (-)26.57 (35)
flush_reload_min.wcnf.xz290.54 (45)277.31 (45)296.91 (45)300.37 (45)391.69 (45)3600.0 (-)303.96 (45)720.57 (45)834.35 (45)260.9 (45)2494.91 (45)
fpu4-problem.dimacs_19.filtered.wcnf.xz3.05 (1)5.24 (1)2.84 (1)16.75 (1)8.63 (1)49.1 (1)2.75 (1)15.79 (1)1.99 (1)1.69 (1)550.21 (1)
fpu5-problem.dimacs_20.filtered.wcnf.xz9.98 (1)9.47 (1)8.37 (1)56.96 (1)26.82 (1)149.19 (1)8.4 (1)44.51 (1)13.19 (1)6.18 (1)2062.34 (1)
frb10-6-2.wcnf.xz0.55 (50)0.6 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.01 (50)0.0 (50)0.0 (50)0.0 (50)0.09 (50)
frb10-6-3.wcnf.xz0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.01 (50)0.08 (50)
frb10-6-5.wcnf.xz0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)0.0 (50)
frb20-11-2.partial.wcnf.xz11.32 (200)11.33 (200)3.47 (200)0.0 (200)0.0 (200)1.94 (200)0.0 (200)0.0 (200)0.0 (200)0.0 (200)20.78 (200)
frb20-11-3.partial.wcnf.xz22.87 (200)23.07 (200)13.06 (200)0.0 (200)0.0 (200)3.87 (200)0.0 (200)0.0 (200)0.0 (200)0.0 (200)88.89 (200)
frb20-11-4.partial.wcnf.xz38.65 (200)38.92 (200)40.89 (200)0.0 (200)0.0 (200)9.34 (200)0.0 (200)0.0 (200)24.78 (200)3.48 (200)43.45 (200)
frb20-11-5.partial.wcnf.xz13.03 (200)13.01 (200)12.15 (200)0.0 (200)0.0 (200)18.03 (200)0.0 (200)0.0 (200)3.26 (200)0.93 (200)46.0 (200)
frb25-13-2.partial.wcnf.xz176.48 (300)177.58 (300)85.59 (300)0.0 (300)0.0 (300)99.93 (300)0.0 (300)0.51 (300)2.75 (300)0.0 (300)2233.54 (300)
frb25-13-5.partial.wcnf.xz133.97 (300)134.65 (300)228.54 (300)0.52 (300)0.0 (300)104.43 (300)0.0 (300)0.0 (300)0.0 (300)0.0 (300)3600.0 (-)
frb30-15-1.partial.wcnf.xz608.67 (420)607.57 (420)732.79 (420)0.94 (420)0.0 (420)124.1 (420)4.86 (420)0.85 (420)8.32 (420)2.58 (420)3600.0 (-)
frb30-15-2.partial.wcnf.xz299.56 (420)300.36 (420)808.77 (420)2.29 (420)1.95 (420)0.75 (420)0.0 (420)3.8 (420)11.74 (420)0.97 (420)3600.0 (-)
frb30-15-5.partial.wcnf.xz413.67 (420)410.92 (420)303.18 (420)0.0 (420)0.0 (420)0.0 (420)0.0 (420)0.62 (420)10.24 (420)0.92 (420)3600.0 (-)
frb35-17-2.partial.wcnf.xz634.91 (560)618.73 (560)813.18 (560)25.15 (560)30.59 (560)184.71 (560)4.48 (560)22.52 (560)60.78 (560)24.72 (560)3600.0 (-)
frb35-17-3.partial.wcnf.xz615.35 (560)612.92 (560)819.82 (560)6.84 (560)0.0 (560)175.73 (560)11.62 (560)34.7 (560)17.23 (560)4.06 (560)3600.0 (-)
frb40-19-3.partial.wcnf.xz948.17 (720)911.43 (720)2500.85 (720)3600.0 (-)398.53 (720)758.79 (720)1709.12 (720)1504.14 (720)121.21 (720)1001.12 (720)3600.0 (-)
frb40-19-5.partial.wcnf.xz729.75 (720)734.01 (720)932.56 (720)32.44 (720)240.05 (720)801.16 (720)127.17 (720)770.16 (720)286.3 (720)260.93 (720)3600.0 (-)
geffe128_1.wcnf.xz614.72 (800)614.16 (800)816.41 (800)42.17 (800)184.63 (800)87.01 (800)8.64 (800)54.57 (800)17.36 (800)25.73 (800)78.88 (800)
geffe128_6.wcnf.xz616.49 (800)616.78 (800)818.75 (800)28.5 (800)111.3 (800)3.51 (800)10.73 (800)55.98 (800)44.49 (800)29.38 (800)276.36 (800)
geffe128_9.wcnf.xz630.59 (800)629.68 (800)831.16 (800)22.37 (800)89.47 (800)15.29 (800)24.37 (800)29.61 (800)53.64 (800)34.99 (800)63.95 (800)
gen_add_4_33.wcnf.xz140.42 (158)140.8 (158)116.67 (158)151.16 (158)0.0 (158)3600.0 (-)0.0 (158)0.56 (158)0.63 (158)0.28 (158)32.59 (158)
gen_add_4_carry_33.wcnf.xz3289.47 (188)3102.67 (188)3600.0 (-)3600.0 (-)956.08 (188)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_add_4_carry_991.wcnf.xz85.99 (56)85.52 (56)102.96 (56)26.6 (56)18.63 (56)162.67 (56)3600.0 (-)2583.41 (56)3600.0 (-)3600.0 (-)3600.0 (-)
gen_add_5_carry_299.wcnf.xz1.83 (948)1.85 (948)0.77 (948)0.0 (948)3.19 (948)2.23 (948)0.0 (948)2.59 (948)35.74 (948)3600.0 (-)1.7 (948)
gen_add_6_991.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)179.23 (102)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_cvc-add3-carry2-gadget_33.wcnf.xz23.17 (51)23.12 (51)16.63 (51)59.24 (51)2.36 (51)5.68 (51)33.07 (51)2.85 (51)17.31 (51)3.3 (51)61.85 (51)
gen_cvc-add7to3_991.wcnf.xz82.52 (158)80.82 (158)98.96 (158)48.9 (158)3600.0 (-)62.64 (158)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_cvc-mult4_4_991.wcnf.xz26.99 (85)26.9 (85)19.39 (85)13.02 (85)49.58 (85)10.7 (85)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_cvc-mult4_4_9999.wcnf.xz47.82 (98)47.78 (98)23.85 (98)5.8 (98)85.21 (98)7.28 (98)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_mult_4_4_9999.wcnf.xz35.24 (98)35.2 (98)21.57 (98)3.73 (98)97.59 (98)4.04 (98)3600.0 (-)3600.0 (-)3381.94 (98)3600.0 (-)3600.0 (-)
gen_mult_4_5_299.wcnf.xz3.11 (1106)3.12 (1106)1.12 (1106)1.21 (1106)6.75 (1106)9.0 (1106)1.27 (1106)7.77 (1106)0.81 (1106)0.49 (1106)4.45 (1106)
gen_mult_4_5_9999.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_mult_4_6_991.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_mult_4_7_991.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_mult_5_5_399.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
gen_mult_5_5_991.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
glass.wcnf.xz7.96 (299)113.59 (299)2.9 (299)8.6 (299)26.36 (299)18.66 (299)13.23 (299)83.8 (299)252.43 (299)209.5 (299)733.35 (299)
hea.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hepatitis.wcnf.xz73.27 (58)1535.35 (58)1170.57 (58)3600.0 (-)158.83 (58)574.94 (58)362.34 (58)193.48 (58)3600.0 (-)3600.0 (-)3600.0 (-)
hip-sim.simp-abcd_5.01.wcnf.xz0.04 (7)0.0 (7)0.0 (7)0.0 (7)0.0 (7)0.01 (7)0.0 (7)0.0 (7)0.0 (7)0.01 (7)0.01 (7)
hip-sim.simp-ace_25.06.wcnf.xz2.21 (11)2.22 (11)0.73 (11)0.0 (11)0.0 (11)0.0 (11)0.0 (11)0.0 (11)0.0 (11)0.0 (11)0.0 (11)
hip-sim.simp-cf_10.09.wcnf.xz0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.02 (15)
hip-sim.simp-ibd_25.01.wcnf.xz320.44 (31)326.03 (31)123.14 (31)0.0 (31)0.0 (31)0.0 (31)0.0 (31)0.0 (31)0.0 (31)0.0 (31)0.0 (31)
hip-sim.simp-nonunif-100_100.11.wcnf.xz606.6 (38)606.22 (38)808.49 (38)0.01 (38)0.01 (38)1.15 (38)0.11 (38)0.55 (38)0.91 (38)0.75 (38)0.56 (38)
hip-sim.simp-nonunif-100_50.14.wcnf.xz5.4 (25)5.45 (25)2.66 (25)0.0 (25)0.0 (25)0.0 (25)0.0 (25)0.0 (25)0.0 (25)0.09 (25)0.0 (25)
hip-sim.simp-test_chr21_CEU_75.wcnf.xz30.8 (14)30.95 (14)4.7 (14)0.05 (14)0.02 (14)0.0 (14)0.0 (14)0.0 (14)0.0 (14)0.0 (14)0.0 (14)
hip-su.SU1__simp-genos.haps.48.wcnf.xz126.64 (129)126.88 (129)10.67 (129)0.0 (129)0.0 (129)0.0 (129)0.0 (129)0.0 (129)0.0 (129)0.0 (129)0.0 (129)
hip-su.SU3__simp-genos.haps.41.wcnf.xz1.27 (158)1.26 (158)0.0 (158)0.0 (158)0.0 (158)0.0 (158)0.0 (158)0.0 (158)0.0 (158)0.0 (158)0.0 (158)
hyp.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
i2c_master1.dimacs.filtered.wcnf.xz1.8 (1)4.0 (1)1.57 (1)221.81 (1)6.83 (1)257.56 (1)1.56 (1)766.6 (1)3.62 (1)1.04 (1)310.72 (1)
indo.wcnf.xz543.8 (13)570.11 (13)542.71 (13)561.06 (13)1883.79 (13)3600.0 (-)544.82 (13)840.02 (13)3600.0 (-)3600.0 (-)3600.0 (-)
iris.wcnf.xz30.35 (87)30.35 (87)21.16 (87)1.29 (87)1.23 (87)3.42 (87)2.17 (87)1.62 (87)1717.94 (87)735.42 (87)129.72 (87)
kbtree9_7_3_5_20_5.wcsp.wcnf.xz12.47 (1)12.5 (1)26.62 (1)1.69 (1)0.0 (1)1.33 (1)0.0 (1)0.0 (1)0.0 (1)0.0 (1)0.35 (1)
kbtree9_7_3_5_40_1.wcsp.wcnf.xz195.62 (27)195.92 (27)186.61 (27)40.21 (27)3600.0 (-)584.92 (27)3600.0 (-)3600.0 (-)2653.45 (27)1625.09 (27)3600.0 (-)
kbtree9_7_3_5_50_1.wcsp.wcnf.xz177.59 (36)176.96 (36)141.46 (36)198.41 (36)3600.0 (-)879.22 (36)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_50_3.wcsp.wcnf.xz155.92 (37)155.53 (37)161.09 (37)220.42 (37)3600.0 (-)595.49 (37)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_50_4.wcsp.wcnf.xz137.65 (38)137.52 (38)130.66 (38)52.09 (38)3600.0 (-)730.06 (38)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_60_3.wcsp.wcnf.xz217.18 (59)214.32 (59)184.87 (59)83.92 (59)3600.0 (-)100.89 (59)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_60_4.wcsp.wcnf.xz208.26 (59)211.66 (59)189.9 (59)70.88 (59)3600.0 (-)61.5 (59)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_60_6.wcsp.wcnf.xz240.21 (57)241.9 (57)209.19 (57)48.01 (57)3600.0 (-)61.0 (57)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_70_5.wcsp.wcnf.xz114.51 (72)112.6 (72)115.86 (72)60.11 (72)3600.0 (-)51.54 (72)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_70_6.wcsp.wcnf.xz172.88 (74)173.02 (74)195.28 (74)91.93 (74)3600.0 (-)88.59 (74)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_80_2.wcsp.wcnf.xz54.16 (103)53.99 (103)58.62 (103)55.9 (103)3600.0 (-)37.03 (103)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_90_3.wcsp.wcnf.xz15.84 (121)15.74 (121)13.83 (121)11.62 (121)106.59 (121)3.31 (121)95.01 (121)378.67 (121)3600.0 (-)2707.41 (121)3600.0 (-)
kbtree9_7_3_5_90_4.wcsp.wcnf.xz23.83 (126)23.64 (126)20.55 (126)12.41 (126)404.07 (126)19.33 (126)2606.95 (126)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
kbtree9_7_3_5_90_5.wcsp.wcnf.xz28.75 (124)28.52 (124)27.28 (124)22.25 (124)640.73 (124)21.56 (124)2634.27 (124)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-100-frag12-0.wcnf.xz954.86 (41)898.79 (41)1420.02 (41)1607.15 (41)711.26 (41)2264.63 (41)1437.71 (41)860.25 (41)1308.01 (41)1144.92 (41)3600.0 (-)
lam.20-100-frag12-45.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-100-frag12-56.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1897.29 (42)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-100-frag12-79.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-100-lambda100-53.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-100-lambda100-59.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-100-lambda100-89.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)2526.99 (74)3600.0 (-)2050.62 (74)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-100-lambda100-95.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2789.63 (75)3600.0 (-)3600.0 (-)
lam.20-100-p100-55.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-100-p100-72.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-100-p100-86.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3395.88 (76)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-100-p100-97.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2021.41 (75)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lam.20-500-18.wcnf.xz8.92 (168)9.07 (168)100.43 (168)92.54 (168)22.07 (168)124.9 (168)100.64 (168)12.21 (168)35.92 (168)9.46 (168)2767.91 (168)
lam.20-500-55.wcnf.xz4.01 (173)3.82 (173)817.92 (173)74.4 (173)11.8 (173)118.85 (173)3.3 (173)7.25 (173)5.94 (173)1.37 (173)32.72 (173)
lam.20-500-74.wcnf.xz6.36 (174)6.05 (174)18.93 (174)92.09 (174)22.42 (174)130.69 (174)18.97 (174)11.22 (174)18.49 (174)5.63 (174)766.88 (174)
lam.20-500-89.wcnf.xz10.29 (169)8.74 (169)9.29 (169)85.09 (169)17.27 (169)140.01 (169)9.39 (169)9.97 (169)17.34 (169)5.59 (169)688.91 (169)
liver-disorder.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lym.formula_0.8_2021_atleast_31_max-4_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max.uaq-max-nc-nr10-np400-rpp5-nc10-n8-t3-plb10-n0.wcnf.xz0.0 (84)0.0 (84)0.55 (84)0.0 (84)0.0 (84)0.0 (84)0.0 (84)0.0 (84)0.0 (84)0.0 (84)0.0 (84)
max.uaq-max-nc-nr10-np400-rpp5-nc100-n8-t3-plb10-n4.wcnf.xz0.54 (80)0.54 (80)0.0 (80)0.0 (80)0.0 (80)0.63 (80)0.0 (80)0.0 (80)0.0 (80)0.0 (80)0.0 (80)
max.uaq-max-np-nr200-np700-rpp5-nc50-n8-t3-plb10-n5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max.uaq-max-nr-nr160-np400-rpp5-nc50-n8-t3-plb10-n7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max.uaq-max-nr-nr70-np400-rpp5-nc50-n8-t3-plb10-n7.wcnf.xz1419.12 (61)1612.34 (61)3600.0 (-)2293.84 (61)3147.55 (61)371.33 (61)3600.0 (-)1736.24 (61)1155.53 (61)738.73 (61)3600.0 (-)
meltdown_min.wcnf.xz572.31 (69)364.4 (69)1316.05 (69)1152.64 (69)1517.75 (69)3600.0 (-)1323.36 (69)2476.34 (69)1746.63 (69)931.05 (69)3600.0 (-)
mem_ctrl1.dimacs.filtered.wcnf.xz27.12 (1)26.48 (1)22.39 (1)324.74 (1)175.53 (1)292.78 (1)22.3 (1)2182.68 (1)13.53 (1)10.16 (1)3600.0 (-)
mes.atcoss_mesat_01.wcnf.xz50.63 (20)50.12 (20)50.97 (20)31.6 (20)35.4 (20)43.59 (20)51.98 (20)204.61 (20)375.46 (20)187.73 (20)537.51 (20)
mes.atcoss_mesat_04.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mes.atcoss_mesat_05.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1218.8 (10)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mes.atcoss_mesat_06.wcnf.xz68.84 (20)56.93 (20)76.69 (20)47.49 (20)65.18 (20)53.6 (20)152.11 (20)397.0 (20)363.67 (20)393.53 (20)3600.0 (-)
mes.atcoss_mesat_10.wcnf.xz1005.83 (13)1012.27 (13)1092.06 (13)301.41 (13)373.51 (13)1045.03 (13)1082.72 (13)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
min.uaq-min-nr-nr50-np400-rpp5-nc0-rs0-t0-plb2-n4.wcnf.xz0.0 (53)0.0 (53)0.0 (53)0.0 (53)0.0 (53)0.0 (53)0.0 (53)0.0 (53)0.0 (53)0.0 (53)0.0 (53)
min.uaq-min-nr-nr70-np400-rpp5-nc0-rs0-t0-plb2-n9.wcnf.xz0.0 (39)0.0 (39)0.0 (39)0.04 (39)0.0 (39)0.0 (39)0.0 (39)0.0 (39)0.0 (39)0.0 (39)0.0 (39)
min.uaq-min-plb-nr10-np400-rpp5-nc0-rs0-t0-plb40-n0.wcnf.xz0.25 (328)0.0 (328)0.0 (328)0.0 (328)0.0 (328)0.0 (328)0.0 (328)0.0 (328)9.98 (328)8.64 (328)0.0 (328)
min.uaq-min-rpp-nr200-np400-rpp2-nc0-rs0-t0-plb4-n3.wcnf.xz0.0 (10)0.0 (10)0.0 (10)0.0 (10)0.02 (10)0.0 (10)0.0 (10)0.0 (10)0.0 (10)0.0 (10)0.0 (10)
min.uaq-min-rpp-nr200-np400-rpp3-nc0-rs0-t0-plb4-n4.wcnf.xz0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.04 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.39 (15)
min.uaq-min-rpp-nr200-np400-rpp4-nc0-rs0-t0-plb4-n4.wcnf.xz0.0 (25)0.15 (25)0.0 (25)0.0 (25)0.0 (25)0.0 (25)0.02 (25)0.0 (25)0.0 (25)0.0 (25)0.4 (25)
ms_100_20_20-0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_100_40_10-0.wcnf.xz627.35 (16)619.25 (16)617.52 (16)2551.28 (16)662.47 (16)3600.0 (-)620.39 (16)745.09 (16)3600.0 (-)3600.0 (-)3600.0 (-)
ms_150_10_40-0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3221.55 (98)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_10_40-0.wcnf.xz680.55 (88)802.28 (88)627.95 (88)1095.36 (88)1406.84 (88)3600.0 (-)628.51 (88)943.81 (88)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_20_12-1.wcnf.xz667.19 (46)703.56 (46)662.43 (46)887.08 (46)1075.07 (46)3600.0 (-)664.26 (46)1045.68 (46)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_20_20-8.wcnf.xz899.36 (69)1190.89 (69)900.62 (69)1583.07 (69)1407.07 (69)3600.0 (-)889.0 (69)1451.07 (69)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_20_24-1.wcnf.xz233.06 (51)354.9 (51)118.85 (51)409.3 (51)343.04 (51)305.6 (51)119.08 (51)235.31 (51)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_20_24-2.wcnf.xz426.95 (106)410.51 (106)153.22 (106)786.63 (106)436.18 (106)910.9 (106)153.39 (106)264.27 (106)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_22_20-0.wcnf.xz1037.44 (76)1174.21 (76)924.97 (76)3600.0 (-)2086.38 (76)3600.0 (-)922.76 (76)1651.01 (76)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_22_20-3.wcnf.xz2436.76 (80)1762.79 (80)2425.66 (80)3600.0 (-)3195.86 (80)3600.0 (-)2431.02 (80)2482.8 (80)3600.0 (-)3600.0 (-)3600.0 (-)
ms_200_36_20-1.wcnf.xz19.02 (1)28.96 (1)18.8 (1)21.38 (1)25.69 (1)25.83 (1)18.98 (1)60.78 (1)3.24 (1)3.08 (1)3600.0 (-)
ms_200_40_10-0.wcnf.xz69.22 (8)73.51 (8)56.88 (8)111.61 (8)79.48 (8)81.94 (8)57.12 (8)142.85 (8)34.85 (8)90.91 (8)3600.0 (-)
ms_200_6_20-0.wcnf.xz3600.0 (-)3600.0 (-)3596.28 (133)3600.0 (-)3600.0 (-)3600.0 (-)3596.97 (133)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ms_250_20_20-0.wcnf.xz1542.1 (74)1567.25 (74)1036.23 (74)3600.0 (-)3000.93 (74)3600.0 (-)1038.19 (74)3680.86 (74)3600.0 (-)3600.0 (-)3600.0 (-)
ms_300_20_20-0.wcnf.xz126.59 (33)98.78 (33)57.47 (33)49.19 (33)88.66 (33)60.7 (33)57.85 (33)123.64 (33)11.83 (33)295.23 (33)3600.0 (-)
msp.normalized-aim-100-1_6-yes1-2.wcnf.xz0.0 (100)0.0 (100)0.0 (100)0.0 (100)0.0 (100)0.0 (100)0.01 (100)0.0 (100)0.0 (100)0.0 (100)0.0 (100)
msp.normalized-aim-200-6_0-yes1-4.wcnf.xz0.92 (200)0.91 (200)0.73 (200)0.0 (200)0.0 (200)0.0 (200)0.0 (200)0.0 (200)0.0 (200)0.0 (200)0.0 (200)
msp.normalized-ii8b1.wcnf.xz4.95 (191)4.98 (191)3.19 (191)0.0 (191)0.32 (191)0.0 (191)0.0 (191)0.5 (191)63.05 (191)161.6 (191)0.51 (191)
msp.normalized-par16-3-c.wcnf.xz89.75 (334)88.56 (334)88.49 (334)0.0 (334)0.49 (334)0.57 (334)0.72 (334)0.95 (334)3.3 (334)2.28 (334)2.01 (334)
msp.normalized-ssa7552-038.wcnf.xz2.75 (1448)2.74 (1448)1.92 (1448)0.0 (1448)11.4 (1448)0.51 (1448)0.0 (1448)15.54 (1448)2.44 (1448)2.46 (1448)2.65 (1448)
mtg.apex2_Fv1@1.wcnf.xz0.83 (21)0.82 (21)0.53 (21)0.0 (21)0.0 (21)0.0 (21)0.0 (21)0.0 (21)0.0 (21)0.0 (21)0.0 (21)
mtg.c1355_F543gat@1.wcnf.xz290.6 (33)291.87 (33)237.8 (33)0.0 (33)0.01 (33)0.09 (33)0.0 (33)0.0 (33)0.0 (33)0.12 (33)0.0 (33)
mul.role_domino_multiple_0.0_1.wcnf.xz166.43 (73)79.03 (73)63.62 (73)198.12 (73)519.92 (73)470.61 (73)63.22 (73)84.02 (73)3.4 (73)1.94 (73)117.17 (73)
mul.role_domino_multiple_0.0_4.wcnf.xz82.81 (55)60.24 (55)48.91 (55)249.53 (55)658.01 (55)359.29 (55)48.99 (55)67.72 (55)2.29 (55)1.69 (55)111.63 (55)
mul.role_smallcomp_multiple_0.0_2.wcnf.xz2.29 (36)2.3 (36)2.96 (36)43.93 (36)0.0 (36)211.18 (36)0.0 (36)0.0 (36)0.0 (36)0.0 (36)0.65 (36)
mul.role_smallcomp_multiple_0.0_3.wcnf.xz1.68 (20)1.66 (20)1.27 (20)2.14 (20)0.15 (20)6.27 (20)0.0 (20)0.0 (20)0.0 (20)0.0 (20)0.57 (20)
mul.role_smallcomp_multiple_0.0_4.wcnf.xz10.22 (33)10.24 (33)12.06 (33)92.8 (33)16.79 (33)190.65 (33)0.0 (33)0.74 (33)0.0 (33)0.0 (33)3.06 (33)
mul.role_university_multiple_0.0_2.wcnf.xz72.27 (21)89.68 (21)71.54 (21)86.7 (21)118.76 (21)190.52 (21)70.47 (21)98.03 (21)3.45 (21)2.51 (21)139.35 (21)
mul.role_university_multiple_0.0_8.wcnf.xz40.12 (29)50.89 (29)40.47 (29)100.57 (29)66.88 (29)116.11 (29)39.83 (29)66.9 (29)3.53 (29)2.61 (29)152.21 (29)
mul_8_11.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul_8_13.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul_8_14.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul_8_3.wcnf.xz1518.57 (36)3600.0 (-)3600.0 (-)157.11 (36)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul_8_9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mus.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.xz2804.98 (7)6735.46 (7)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
navigation_3x3_5.wcnf.xz6.23 (4)6.2 (4)6.27 (4)7.25 (4)12.71 (4)5.6 (4)6.28 (4)12.05 (4)16.73 (4)10.68 (4)20.34 (4)
navigation_3x3_6.wcnf.xz9.04 (4)9.52 (4)10.35 (4)13.14 (4)14.14 (4)11.81 (4)10.25 (4)15.44 (4)38.5 (4)16.46 (4)50.79 (4)
navigation_4x4_5.wcnf.xz78.97 (5)100.14 (5)108.89 (5)91.5 (5)270.2 (5)109.0 (5)107.75 (5)259.95 (5)479.05 (5)156.13 (5)1691.52 (5)
navigation_4x4_6.wcnf.xz137.51 (5)157.75 (5)147.15 (5)152.52 (5)183.63 (5)143.09 (5)146.94 (5)671.81 (5)491.42 (5)168.49 (5)1495.76 (5)
navigation_4x4_7.wcnf.xz210.93 (5)209.89 (5)201.82 (5)145.58 (5)457.6 (5)268.13 (5)207.83 (5)543.0 (5)789.41 (5)285.64 (5)1205.94 (5)
navigation_5x5_10.wcnf.xz3406.67 (8)2690.47 (8)1913.53 (8)1957.33 (8)3594.42 (8)3676.59 (8)1734.72 (8)3600.0 (-)3181.95 (8)1682.43 (8)3600.0 (-)
navigation_5x5_8.wcnf.xz701.2 (8)917.87 (8)1015.56 (8)427.86 (8)1282.52 (8)1380.87 (8)992.76 (8)3326.04 (8)3182.45 (8)906.66 (8)3600.0 (-)
navigation_5x5_9.wcnf.xz800.6 (8)1150.01 (8)1694.26 (8)794.19 (8)2139.2 (8)1642.42 (8)1671.05 (8)3504.68 (8)2547.56 (8)1510.42 (8)3600.0 (-)
new-thyroid.wcnf.xz23.05 (126)23.53 (126)830.5 (126)10.73 (126)3.21 (126)15.32 (126)22.1 (126)5.2 (126)23.72 (126)11.83 (126)7.84 (126)
normalized-5xp1.b.opb.msat.wcnf.xz1.74 (12)1.78 (12)1.25 (12)0.0 (12)1.17 (12)0.31 (12)0.0 (12)0.84 (12)0.71 (12)0.0 (12)1.57 (12)
normalized-9sym.b.opb.msat.wcnf.xz11.34 (5)11.34 (5)3.44 (5)0.0 (5)0.09 (5)0.0 (5)0.05 (5)0.0 (5)0.0 (5)0.0 (5)0.0 (5)
normalized-apex4.a.opb.msat.wcnf.xz0.62 (776)0.62 (776)0.42 (776)2.12 (776)7.69 (776)13.46 (776)2.43 (776)5.21 (776)0.0 (776)0.0 (776)2.02 (776)
normalized-bench1.pi.opb.msat.wcnf.xz16.68 (121)16.67 (121)8.12 (121)1.17 (121)3600.0 (-)8.68 (121)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-clip.b.opb.msat.wcnf.xz0.0 (15)0.0 (15)0.96 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)
normalized-count.b.opb.msat.wcnf.xz0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)
normalized-e64.b.opb.msat.wcnf.xz8.59 (47)8.72 (47)6.81 (47)0.57 (47)0.6 (47)0.85 (47)0.55 (47)0.59 (47)1.23 (47)0.0 (47)5.34 (47)
normalized-ex5.pi.opb.msat.wcnf.xz6.33 (65)6.32 (65)13.65 (65)4.1 (65)842.33 (65)4.58 (65)3600.0 (-)1689.66 (65)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-exam.pi.opb.msat.wcnf.xz7.3 (63)7.3 (63)3.76 (63)0.9 (63)1346.68 (63)6.29 (63)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-f51m.b.opb.msat.wcnf.xz0.82 (18)0.81 (18)0.52 (18)0.0 (18)0.98 (18)0.0 (18)0.0 (18)0.56 (18)0.0 (18)0.0 (18)1.32 (18)
normalized-jac3.opb.msat.wcnf.xz1.36 (15)1.35 (15)0.55 (15)0.0 (15)4.89 (15)3.55 (15)0.83 (15)0.62 (15)152.96 (15)436.9 (15)0.64 (15)
normalized-max1024.pi.opb.msat.wcnf.xz21.9 (259)21.82 (259)16.5 (259)1.17 (259)5.99 (259)2.15 (259)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-prom2.pi.opb.msat.wcnf.xz1.05 (287)1.03 (287)0.83 (287)0.61 (287)20.67 (287)3.55 (287)3600.0 (-)102.89 (287)3600.0 (-)1311.81 (287)3600.0 (-)
normalized-rot.b.opb.msat.wcnf.xz3.9 (115)3.94 (115)4.38 (115)0.0 (115)94.85 (115)1.43 (115)3433.59 (115)100.04 (115)3600.0 (-)3600.0 (-)3600.0 (-)
normalized-sao2.b.opb.msat.wcnf.xz2.48 (25)2.49 (25)1.94 (25)0.0 (25)0.0 (25)0.0 (25)0.0 (25)0.2 (25)118.34 (25)43.18 (25)0.0 (25)
normalized-test4.pi.opb.msat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
p1.wcnf.t.wcnf.xz138.88 (35)145.52 (35)162.26 (35)1103.94 (35)1127.38 (35)563.06 (35)162.84 (35)188.29 (35)674.54 (35)374.82 (35)3600.0 (-)
p15.wcnf.xz8.92 (5)4.42 (5)6.7 (5)90.92 (5)63.08 (5)101.55 (5)6.76 (5)15.56 (5)78.23 (5)58.09 (5)198.03 (5)
pesp_18Min.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pesp_5min.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pri.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
promoters.wcnf.xz0.0 (92)0.01 (92)0.01 (92)0.01 (92)0.01 (92)0.01 (92)0.01 (92)0.65 (92)0.0 (92)0.01 (92)0.01 (92)
ram_k3_n19.ra0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k4_n18.ra0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scp43_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scp47_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scp48_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scp510_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scp58_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scp59_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scp61_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scp65_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnre1_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrf4_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrf5_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrg1_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrh1_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrh5_maxsat.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_clq_150-13-6258-1.clq.wcnf.xz94.5 (138)95.66 (138)75.2 (138)2.42 (138)2.15 (138)27.21 (138)3.33 (138)2.54 (138)38.63 (138)8.81 (138)859.51 (138)
ran.max_clq_150-14-6705-2.clq.wcnf.xz116.68 (137)116.73 (137)153.58 (137)4.58 (137)8.29 (137)44.41 (137)11.34 (137)7.65 (137)52.42 (137)11.44 (137)1661.21 (137)
ran.max_clq_150-16-7599-3.clq.wcnf.xz224.73 (134)224.61 (134)143.78 (134)14.41 (134)9.76 (134)37.99 (134)17.53 (134)9.17 (134)109.8 (134)36.61 (134)3600.0 (-)
ran.max_clq_150-17-8046-3.clq.wcnf.xz291.42 (132)287.17 (132)238.67 (132)23.49 (132)22.74 (132)50.19 (132)14.88 (132)17.68 (132)153.49 (132)121.28 (132)3600.0 (-)
ran.max_clq_150-3-1788-2.clq.wcnf.xz15.53 (145)15.6 (145)13.18 (145)0.0 (145)0.0 (145)5.98 (145)0.0 (145)0.0 (145)7.1 (145)3.85 (145)0.58 (145)
ran.max_clq_150-3-1788-3.clq.wcnf.xz19.34 (145)19.3 (145)14.1 (145)0.0 (145)0.0 (145)5.9 (145)0.0 (145)0.0 (145)6.07 (145)3.87 (145)0.62 (145)
ran.max_clq_150-4-2235-1.clq.wcnf.xz82.95 (144)85.34 (144)62.13 (144)0.0 (144)0.0 (144)7.05 (144)0.0 (144)0.0 (144)7.61 (144)4.01 (144)0.83 (144)
ran.max_clq_150-7-3576-2.clq.wcnf.xz34.66 (143)34.69 (143)22.09 (143)0.0 (143)0.38 (143)11.65 (143)0.0 (143)0.0 (143)18.03 (143)5.75 (143)6.43 (143)
ran.max_clq_150-8-4023-3.clq.wcnf.xz63.69 (143)64.42 (143)132.16 (143)0.59 (143)0.58 (143)24.66 (143)0.0 (143)0.7 (143)22.79 (143)6.28 (143)11.57 (143)
ran.max_clq_150-9-4470-1.clq.wcnf.xz99.9 (142)100.46 (142)60.03 (142)0.7 (142)0.97 (142)30.62 (142)0.0 (142)0.84 (142)22.79 (142)6.57 (142)50.78 (142)
ran.max_cut_60_500_10.asc.wcnf.xz3600.0 (-)3600.0 (-)245.94 (174)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_500_6.asc.wcnf.xz262.91 (173)300.67 (173)226.74 (173)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_600_4.asc.wcnf.xz514.82 (213)511.48 (213)423.63 (213)3600.0 (-)3600.0 (-)798.4 (213)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_600_9.asc.wcnf.xz584.83 (218)583.68 (218)594.51 (218)3600.0 (-)3600.0 (-)1681.97 (218)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rev44-10.wcnf.xz143.62 (5)143.61 (5)83.96 (5)0.91 (5)2.39 (5)8.78 (5)0.85 (5)1.42 (5)1.97 (5)0.6 (5)3.53 (5)
rev66-14.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rev66-16.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rev66-20.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rev66-4.wcnf.xz5.22 (34)5.17 (34)1.44 (34)0.0 (34)0.0 (34)1.16 (34)0.0 (34)0.0 (34)0.0 (34)0.0 (34)0.0 (34)
rsdecoder-problem.dimacs_41.filtered.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1951.5 (2)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rsdecoder1.dimacs.filtered.wcnf.xz278.51 (1)119.61 (1)10.36 (1)127.51 (1)45.48 (1)434.41 (1)10.22 (1)786.16 (1)77.67 (1)9.99 (1)2171.46 (1)
rsdecoder1_blackbox_KESblock-problem.dimacs_30.filtered.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rsdecoder2.dimacs.filtered.wcnf.xz3600.0 (-)3600.0 (-)23.46 (1)126.1 (1)72.68 (1)257.46 (1)23.31 (1)385.59 (1)49.68 (1)10.74 (1)3600.0 (-)
s01423_nan_explicit_3_0.wcnf.xz0.61 (69)0.6 (69)0.06 (69)0.05 (69)0.97 (69)0.33 (69)0.05 (69)2.09 (69)0.05 (69)0.26 (69)0.57 (69)
s01423_nan_explicit_9_0.wcnf.xz0.53 (70)0.53 (70)0.04 (70)0.04 (70)0.04 (70)0.04 (70)0.04 (70)1.69 (70)0.04 (70)0.04 (70)0.6 (70)
s15850-bug-onevec-gate-0.dimacs.seq.filtered.wcnf.xz11.38 (1)10.85 (1)1.15 (1)1.35 (1)1.3 (1)3.43 (1)0.01 (1)2.88 (1)0.02 (1)0.01 (1)60.55 (1)
s38417_nan_explicit_10_0.wcnf.xz0.12 (65)0.11 (65)0.62 (65)0.53 (65)0.52 (65)0.66 (65)0.11 (65)3.71 (65)0.68 (65)0.65 (65)1.46 (65)
s38417_nan_explicit_13_0.wcnf.xz0.11 (67)0.1 (67)0.79 (67)0.62 (67)0.57 (67)0.67 (67)0.11 (67)3.65 (67)0.97 (67)0.93 (67)1.38 (67)
s38417_nan_explicit_14_0.wcnf.xz0.49 (55)0.49 (55)9.26 (55)0.7 (55)3.03 (55)0.61 (55)0.06 (55)2.6 (55)0.06 (55)0.07 (55)1.03 (55)
s38417_nan_explicit_18_0.wcnf.xz0.09 (63)0.09 (63)0.53 (63)0.08 (63)0.09 (63)0.57 (63)0.09 (63)3.02 (63)0.83 (63)0.75 (63)1.13 (63)
s38417_nan_explicit_1_0.wcnf.xz1.44 (58)1.28 (58)1.08 (58)1.19 (58)2.55 (58)3.91 (58)1.09 (58)8.93 (58)1.43 (58)1.38 (58)3.2 (58)
s38417_nan_explicit_29_0.wcnf.xz0.06 (69)0.06 (69)2.22 (69)0.52 (69)0.49 (69)0.52 (69)0.06 (69)2.5 (69)1.04 (69)0.84 (69)1.08 (69)
s38417_nan_explicit_8_0.wcnf.xz0.81 (70)0.76 (70)1.05 (70)0.6 (70)0.65 (70)0.77 (70)0.76 (70)4.42 (70)0.99 (70)0.97 (70)1.6 (70)
s38584_nan_explicit_12_0.wcnf.xz227.39 (191)189.3 (191)184.99 (191)3600.0 (-)188.16 (191)450.63 (191)185.93 (191)181.8 (191)402.81 (191)112.1 (191)1254.06 (191)
s38584_nan_explicit_16_0.wcnf.xz115.44 (188)96.15 (188)92.15 (188)3600.0 (-)177.77 (188)634.1 (188)93.02 (188)183.87 (188)340.17 (188)100.93 (188)3600.0 (-)
s38584_nan_explicit_17_0.wcnf.xz50.02 (185)43.17 (185)36.78 (185)3600.0 (-)103.09 (185)418.74 (185)36.98 (185)74.48 (185)134.91 (185)59.11 (185)458.25 (185)
s38584_nan_explicit_24_0.wcnf.xz103.85 (177)55.9 (177)50.62 (177)3600.0 (-)116.43 (177)414.56 (177)50.88 (177)98.74 (177)56.8 (177)17.58 (177)50.14 (177)
s38584_nan_explicit_39_0.wcnf.xz92.82 (198)64.01 (198)56.71 (198)3600.0 (-)138.83 (198)430.81 (198)55.96 (198)103.81 (198)1195.11 (198)52.86 (198)984.32 (198)
s38584_nan_explicit_44_0.wcnf.xz53.01 (168)56.94 (168)52.58 (168)684.1 (168)96.66 (168)398.89 (168)52.81 (168)58.26 (168)51.79 (168)17.04 (168)318.72 (168)
s38584_nan_explicit_7_0.wcnf.xz95.83 (188)860.76 (188)3490.39 (188)3600.0 (-)586.5 (188)512.19 (188)3468.42 (188)1997.08 (188)3600.0 (-)3600.0 (-)3600.0 (-)
sandiaprotein.g.wcnf.t.wcnf.xz63.54 (28)60.71 (28)67.27 (28)549.38 (28)243.13 (28)207.07 (28)66.94 (28)50.97 (28)164.79 (28)209.63 (28)3600.0 (-)
sbox_4.wcnf.xz1.96 (22)1.95 (22)1.49 (22)51.36 (22)0.18 (22)0.65 (22)1.11 (22)0.61 (22)0.0 (22)0.0 (22)2.26 (22)
sbox_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sol.g2_n26e25_n34e40.wcnf.xz236.07 (12)239.62 (12)58.28 (12)0.0 (12)0.0 (12)1.76 (12)0.0 (12)0.0 (12)0.0 (12)0.0 (12)0.0 (12)
sol.g2_n32e31_n35e41.wcnf.xz1813.36 (21)1590.71 (21)631.9 (21)565.68 (21)659.09 (21)1052.67 (21)560.61 (21)1678.92 (21)1419.2 (21)3053.51 (21)77.41 (21)
sol.g2_n43e42_n90e107.wcnf.xz3480.34 (22)3251.6 (22)3600.0 (-)1244.75 (22)727.05 (22)1540.75 (22)2990.94 (22)2079.82 (22)1978.23 (22)1575.47 (22)23.19 (22)
sol.g2_n60e83_n77e84.wcnf.xz629.1 (60)630.59 (60)848.01 (60)294.13 (60)15.69 (60)5.59 (60)41.62 (60)21.24 (60)49.95 (60)102.3 (60)10.62 (60)
sol.g2_n74e91_n76e86.wcnf.xz612.16 (51)611.57 (51)1639.86 (51)882.11 (51)7.01 (51)270.54 (51)11.14 (51)11.84 (51)28.54 (51)19.82 (51)709.61 (51)
sol.g3_n25e24_n35e34_n37e37.wcnf.xz641.83 (10)648.12 (10)836.78 (10)17.85 (10)33.49 (10)363.82 (10)28.56 (10)30.71 (10)62.85 (10)33.01 (10)871.99 (10)
sol.g3_n30e43_n33e37_n40e53.wcnf.xz715.59 (30)722.74 (30)73.71 (30)469.42 (30)202.64 (30)537.49 (30)426.15 (30)295.76 (30)291.58 (30)859.34 (30)3.42 (30)
sol.g3_n37e47_n38e49_n54e63.wcnf.xz611.32 (24)609.01 (24)216.04 (24)6.14 (24)5.24 (24)28.19 (24)6.17 (24)3.42 (24)30.85 (24)18.33 (24)3.79 (24)
sol.g4_n28e40_n47e56_n47e56_n58e77.wcnf.xz741.36 (30)714.38 (30)341.87 (30)170.41 (30)183.61 (30)55.27 (30)82.36 (30)167.14 (30)151.31 (30)3600.0 (-)17.87 (30)
sol.g4_n34e43_n59e60_n69e85_n288e287.wcnf.xz262.84 (34)99.95 (34)53.18 (34)106.26 (34)94.81 (34)23.69 (34)53.58 (34)76.18 (34)417.43 (34)117.55 (34)7.4 (34)
sol.g4_n42e55_n45e54_n55e66_n78e101.wcnf.xz940.76 (41)871.39 (41)1091.01 (41)741.73 (41)489.88 (41)42.2 (41)286.04 (41)373.25 (41)539.95 (41)727.31 (41)231.51 (41)
sol.g5_n32e44_n33e41_n35e48_n48e62_n50e64.wcnf.xz803.31 (34)816.4 (34)703.21 (34)228.26 (34)83.74 (34)119.26 (34)241.13 (34)303.35 (34)320.52 (34)275.03 (34)2.35 (34)
sol.g5_n39e38_n43e43_n61e61_n67e68_n82e119.wcnf.xz17.32 (22)75.39 (22)10.89 (22)23.09 (22)10.87 (22)27.05 (22)10.92 (22)9.07 (22)1272.34 (22)1244.62 (22)19.68 (22)
sol.g5_n41e56_n49e61_n51e60_n99e132_n109e132.wcnf.xz118.05 (38)94.09 (38)95.69 (38)414.29 (38)128.51 (38)824.27 (38)96.83 (38)189.65 (38)194.29 (38)309.2 (38)10.15 (38)
sol.g5_n67e69_n67e69_n82e119_n92e101_n92e101.wcnf.xz237.17 (41)300.78 (41)165.56 (41)581.73 (41)110.24 (41)307.88 (41)165.99 (41)317.89 (41)292.43 (41)453.03 (41)22.8 (41)
sol.g7_n35e48_n39e54_n41e57_n42e58_n47e66_n53e75_n59e84.wcnf.xz52.42 (33)53.7 (33)36.19 (33)838.54 (33)125.19 (33)180.06 (33)36.62 (33)60.29 (33)83.88 (33)73.97 (33)1485.51 (33)
soy.formula_0.8_2021_atleast_127_max-6_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spectre_min.wcnf.xz1430.3 (89)2199.48 (89)3600.0 (-)2383.7 (89)3600.0 (-)3600.0 (-)3600.0 (-)1508.09 (89)3600.0 (-)3600.0 (-)3600.0 (-)
spi-Han.spinglass4_9.pm3.wcnf.xz9.71 (40)9.75 (40)11.26 (40)9.01 (40)2.42 (40)8.04 (40)0.0 (40)7.06 (40)8.42 (40)1.84 (40)23.56 (40)
spi-Han.spinglass5_2.pm3.wcnf.xz69.7 (75)68.38 (75)82.03 (75)1769.62 (75)61.11 (75)2197.07 (75)52.3 (75)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
spl.formula_0.8_2021_atleast_63_max-5_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
splitedReads_0.matrix.wcnf.xz896.65 (1500)2789.22 (1500)860.48 (1500)3600.0 (-)185.93 (1500)3600.0 (-)54.61 (1500)185.79 (1500)3600.0 (-)3600.0 (-)3600.0 (-)
splitedReads_137.matrix.wcnf.xz234.92 (90)236.39 (90)87.89 (90)2.22 (90)3.39 (90)16.71 (90)0.88 (90)1.91 (90)0.78 (90)0.64 (90)5.82 (90)
splitedReads_158.matrix.wcnf.xz359.34 (173)366.01 (173)228.03 (173)4.49 (173)8.67 (173)71.95 (173)1.94 (173)4.48 (173)0.77 (173)0.53 (173)8.01 (173)
splitedReads_160.matrix.wcnf.xz609.94 (186)610.19 (186)215.86 (186)5.97 (186)10.87 (186)50.93 (186)2.49 (186)5.39 (186)0.89 (186)0.61 (186)9.88 (186)
splitedReads_18.matrix.wcnf.xz291.11 (138)287.58 (138)189.68 (138)3.55 (138)5.58 (138)29.19 (138)1.48 (138)2.82 (138)1.28 (138)1.06 (138)5.35 (138)
splitedReads_414.matrix.wcnf.xz608.56 (171)608.51 (171)403.71 (171)13.95 (171)7.41 (171)44.76 (171)1.79 (171)3.85 (171)1.5 (171)1.68 (171)5.93 (171)
str.hamming8-2.clq.wcnf.xz0.0 (128)0.0 (128)0.0 (128)0.0 (128)0.0 (128)0.0 (128)0.0 (128)0.0 (128)0.0 (128)0.0 (128)0.0 (128)
str.johnson32-2-4.clq.wcnf.xz10.06 (480)10.12 (480)6.37 (480)695.0 (480)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3.03 (480)
str.johnson8-2-4.clq.wcnf.xz0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.01 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.01 (24)0.0 (24)
str.p_hat1000-1.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
str.p_hat700-3.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
str.san200_0.9_1.clq.wcnf.xz0.63 (130)0.62 (130)0.87 (130)0.01 (130)0.0 (130)0.0 (130)0.0 (130)0.0 (130)0.0 (130)0.0 (130)0.0 (130)
sug.atcoss_sugar_01.wcnf.xz30.3 (20)31.13 (20)33.33 (20)24.02 (20)27.65 (20)34.97 (20)33.12 (20)48.96 (20)162.33 (20)72.48 (20)120.82 (20)
sug.atcoss_sugar_04.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sug.atcoss_sugar_05.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sug.atcoss_sugar_10.wcnf.xz3505.17 (13)3120.55 (13)3481.71 (13)1555.45 (13)1698.02 (13)3600.0 (-)3550.1 (13)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sug.atcoss_sugar_11.wcnf.xz2.72 (50)3.99 (50)2.69 (50)5.74 (50)9.35 (50)6.14 (50)2.68 (50)15.55 (50)30.66 (50)29.25 (50)41.2 (50)
sug.atcoss_sugar_12.wcnf.xz24.41 (12)22.75 (12)24.14 (12)33.44 (12)48.72 (12)57.02 (12)24.67 (12)51.67 (12)152.3 (12)59.13 (12)395.14 (12)
sug.atcoss_sugar_15.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sug.atcoss_sugar_18.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sysadmin_4_3.wcnf.xz431.0 (2)313.49 (2)272.65 (2)575.03 (2)1005.07 (2)873.26 (2)262.76 (2)1269.81 (2)2262.65 (2)652.43 (2)3600.0 (-)
sysadmin_4_4.wcnf.xz651.89 (3)890.6 (3)987.15 (3)1038.18 (3)1049.1 (3)2011.94 (3)927.97 (3)1936.86 (3)3600.0 (-)2340.03 (3)3600.0 (-)
sysadmin_5_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sysadmin_5_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
teams16_l6a.cnf.wcnf.xz10.13 (14)10.17 (14)6.31 (14)38.02 (14)7.28 (14)42.76 (14)1.04 (14)5.83 (14)11.86 (14)2.56 (14)3.91 (14)
threshold128_2.wcnf.xz698.41 (800)711.75 (800)900.85 (800)4.12 (800)1151.29 (800)671.66 (800)95.1 (800)567.08 (800)267.65 (800)165.92 (800)1417.86 (800)
threshold128_3.wcnf.xz667.71 (800)668.32 (800)869.35 (800)19.53 (800)349.16 (800)83.6 (800)62.86 (800)160.01 (800)44.25 (800)73.37 (800)1965.16 (800)
threshold128_4.wcnf.xz630.81 (800)630.41 (800)832.6 (800)74.19 (800)601.73 (800)124.83 (800)25.11 (800)79.67 (800)261.29 (800)32.79 (800)1527.4 (800)
threshold128_5.wcnf.xz668.58 (800)670.38 (800)871.38 (800)107.05 (800)514.51 (800)84.4 (800)64.23 (800)151.45 (800)137.47 (800)330.89 (800)3123.96 (800)
threshold128_8.wcnf.xz925.84 (800)904.39 (800)1101.22 (800)119.38 (800)977.18 (800)275.26 (800)295.03 (800)2089.29 (800)719.62 (800)65.87 (800)442.24 (800)
tic.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_tree.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
titanic.wcnf.xz0.0 (7)0.0 (7)0.0 (7)0.0 (7)0.0 (7)0.01 (7)0.0 (7)0.0 (7)0.01 (7)0.0 (7)0.0 (7)
uaq-nr-nr110-nc36-n3-k2-rpp4-ppr2-plb50.wcnf.xz6.35 (45)6.34 (45)4.89 (45)5.07 (45)3.87 (45)2.33 (45)1.16 (45)1.84 (45)11.23 (45)3.43 (45)236.91 (45)
uaq-nr-nr160-nc53-n3-k2-rpp4-ppr2-plb50.wcnf.xz7.62 (52)7.66 (52)2.97 (52)52.87 (52)5.43 (52)1.81 (52)2.74 (52)15.92 (52)66.35 (52)28.74 (52)905.23 (52)
uaq-nr-nr170-nc56-n3-k2-rpp4-ppr2-plb50.wcnf.xz4.48 (48)4.5 (48)3.19 (48)52.35 (48)0.96 (48)1.44 (48)1.47 (48)1.86 (48)38.55 (48)20.75 (48)25.89 (48)
uaq-nr-nr180-nc60-n3-k2-rpp4-ppr2-plb50.wcnf.xz7.8 (54)7.78 (54)4.24 (54)52.45 (54)5.48 (54)2.65 (54)3.18 (54)13.93 (54)304.56 (54)385.77 (54)564.4 (54)
uaq-nr-nr220-nc73-n3-k2-rpp4-ppr2-plb50.wcnf.xz6.78 (60)6.78 (60)3.34 (60)52.7 (60)20.39 (60)1.97 (60)2.28 (60)10.11 (60)1407.31 (60)934.59 (60)3600.0 (-)
uaq-nr-nr240-nc80-n3-k2-rpp4-ppr2-plb50.wcnf.xz7.5 (63)7.5 (63)4.29 (63)53.74 (63)14.03 (63)2.3 (63)4.16 (63)6.75 (63)2292.88 (63)2562.22 (63)471.4 (63)
uaq-nr-nr260-nc86-n3-k2-rpp4-ppr2-plb50.wcnf.xz6.63 (66)6.64 (66)3.89 (66)35.66 (66)29.9 (66)51.58 (66)1.01 (66)9.9 (66)3600.0 (-)3600.0 (-)3600.0 (-)
uaq-nr-nr360-nc120-n3-k2-rpp4-ppr2-plb50.wcnf.xz0.0 (65)0.0 (65)0.2 (65)0.0 (65)0.0 (65)0.0 (65)0.0 (65)0.0 (65)0.0 (65)0.0 (65)0.0 (65)
uaq-nr-nr470-nc156-n3-k2-rpp4-ppr2-plb50.wcnf.xz0.09 (71)0.0 (71)0.04 (71)0.0 (71)0.0 (71)0.0 (71)0.0 (71)0.0 (71)0.0 (71)0.0 (71)0.08 (71)
uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb90.wcnf.xz35.04 (79)34.91 (79)25.28 (79)57.63 (79)61.52 (79)5.37 (79)60.19 (79)1032.5 (79)2539.21 (79)2838.98 (79)3600.0 (-)
uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr14-plb100.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3515.07 (68)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr6-plb100.wcnf.xz88.4 (66)88.97 (66)81.84 (66)89.5 (66)750.35 (66)33.74 (66)2722.06 (66)2739.35 (66)3600.0 (-)3600.0 (-)3600.0 (-)
uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr10-plb100.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr7-plb100.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1177.84 (67)3600.0 (-)1121.74 (67)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
uaq-rpp-nr100-nc33-n3-k2-rpp29-ppr2-plb20.wcnf.xz104.86 (78)104.28 (78)110.66 (78)30.11 (78)82.09 (78)193.59 (78)22.88 (78)17.31 (78)56.96 (78)20.49 (78)3600.0 (-)
uaq-rpp-nr100-nc33-n3-k2-rpp30-ppr2-plb20.wcnf.xz513.97 (80)516.91 (80)362.65 (80)29.82 (80)101.55 (80)226.38 (80)36.06 (80)17.23 (80)60.72 (80)17.05 (80)3600.0 (-)
uci_mammo_data.wcnf.xz1196.25 (58)1027.45 (58)1421.35 (58)1324.33 (58)558.21 (58)3600.0 (-)622.47 (58)407.16 (58)114.43 (58)151.54 (58)3600.0 (-)
unw.MultiDay_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
unw.MultiDay_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
unw.MultiDay_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
unw.RSN_Security_Min_Witness-Direct-FlexScan-D2.wcnf.xz2.87 (9)2.85 (9)3.35 (9)16.32 (9)6.04 (9)11.18 (9)2.85 (9)117.95 (9)6.88 (9)6.71 (9)328.88 (9)
unw.RSN_Security_Min_Witness-Direct-FlexScan-D4.wcnf.xz2.85 (9)2.82 (9)3.31 (9)16.5 (9)5.76 (9)5.75 (9)2.83 (9)74.1 (9)6.78 (9)6.58 (9)330.03 (9)
unw.RSN_Security_Min_Witness-Direct-FlexScan-D6.wcnf.xz2.81 (9)2.81 (9)3.28 (9)16.36 (9)1.62 (9)5.62 (9)2.81 (9)13.23 (9)6.48 (9)6.42 (9)427.24 (9)
unw.RSN_Security_Min_Witness-Direct-FlexScan-D7.wcnf.xz2.85 (9)2.8 (9)3.33 (9)16.41 (9)1.66 (9)5.31 (9)2.81 (9)13.2 (9)6.63 (9)6.4 (9)428.23 (9)
unw.RSN_Security_Min_Witness-Direct-FlexScan-DC.wcnf.xz2.83 (9)2.83 (9)3.29 (9)16.38 (9)5.86 (9)5.8 (9)2.86 (9)60.23 (9)6.63 (9)6.54 (9)326.2 (9)
unw.RSN_Security_Min_Witness-Direct-FlexScan-DD.wcnf.xz2.82 (9)2.77 (9)3.2 (9)16.54 (9)1.62 (9)5.25 (9)2.8 (9)13.2 (9)6.37 (9)6.38 (9)426.65 (9)
unw.RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D2.wcnf.xz504.35 (45)511.02 (45)500.75 (45)520.14 (45)402.28 (45)363.43 (45)498.88 (45)1108.8 (45)169.04 (45)125.87 (45)3600.0 (-)
unw.RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D3.wcnf.xz490.69 (43)501.34 (43)488.42 (43)490.43 (43)348.83 (43)333.19 (43)492.06 (43)1234.76 (43)96.71 (43)75.61 (43)3600.0 (-)
unw.RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D6.wcnf.xz489.36 (43)495.65 (43)489.98 (43)517.49 (43)348.51 (43)331.1 (43)488.91 (43)1238.41 (43)97.23 (43)74.19 (43)3600.0 (-)
unw.RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-D7.wcnf.xz504.51 (45)507.31 (45)502.84 (45)476.15 (45)398.68 (45)363.44 (45)500.61 (45)1122.76 (45)168.88 (45)127.76 (45)3600.0 (-)
unw.RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-DC.wcnf.xz502.43 (45)508.42 (45)498.86 (45)533.17 (45)409.85 (45)355.7 (45)500.87 (45)1212.72 (45)153.43 (45)120.68 (45)3600.0 (-)
unw.RSN_Security_Min_Witness-Direct-MBIST_100cores_100controllers_5memories_na-DD.wcnf.xz490.57 (43)499.57 (43)491.43 (43)459.81 (43)348.99 (43)333.65 (43)488.79 (43)1240.01 (43)96.32 (43)74.03 (43)3600.0 (-)
unw.RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-D1.wcnf.xz70.12 (43)74.79 (43)65.85 (43)301.03 (43)145.64 (43)81.14 (43)65.5 (43)265.75 (43)43.77 (43)36.93 (43)3600.0 (-)
unw.RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-D7.wcnf.xz69.66 (43)73.59 (43)65.75 (43)301.28 (43)286.1 (43)81.29 (43)65.09 (43)264.06 (43)43.76 (43)37.41 (43)3600.0 (-)
unw.RSN_Security_Min_Witness-Direct-MBIST_5cores_100controllers_100memories_na-DE.wcnf.xz70.11 (43)75.27 (43)65.48 (43)301.9 (43)145.11 (43)80.98 (43)65.19 (43)266.5 (43)43.93 (43)37.99 (43)3600.0 (-)
unw.RSN_Security_Min_Witness-Direct-p93791-D7.wcnf.xz6.85 (8)6.77 (8)0.04 (8)0.41 (8)0.04 (8)0.04 (8)0.04 (8)1.51 (8)0.04 (8)0.04 (8)3.92 (8)
unw.SingleDay_15.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
unw.SingleDay_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
unw.SingleDay_37.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
unw.Subnetwork_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
unw.Subnetwork_9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
vio.role_domino_violations_0.0_12.wcnf.xz3.54 (1)3.55 (1)3.54 (1)13.0 (1)24.16 (1)5.03 (1)3.57 (1)14.83 (1)0.96 (1)0.84 (1)43.26 (1)
vio.role_domino_violations_0.0_3.wcnf.xz3.54 (5)3.55 (5)3.53 (5)13.05 (5)24.15 (5)4.98 (5)3.57 (5)14.54 (5)0.95 (5)0.92 (5)42.02 (5)
vio.role_domino_violations_0.0_9.wcnf.xz3.57 (4)4.1 (4)3.57 (4)13.04 (4)24.21 (4)5.05 (4)3.6 (4)14.58 (4)0.97 (4)0.83 (4)41.92 (4)
vio.role_smallcomp_violations_0.0_3.wcnf.xz0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.16 (2)0.0 (2)0.02 (2)0.0 (2)
vio.role_smallcomp_violations_0.0_4.wcnf.xz0.0 (1)0.0 (1)0.16 (1)0.0 (1)0.0 (1)0.0 (1)0.02 (1)0.0 (1)0.0 (1)0.0 (1)0.0 (1)
vio.role_smallcomp_violations_0.0_5.wcnf.xz0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)
vio.role_university_violations_0.0_0.wcnf.xz6.44 (6)6.4 (6)6.53 (6)33.12 (6)5.09 (6)12.96 (6)6.55 (6)31.29 (6)2.91 (6)2.22 (6)107.22 (6)
vio.role_university_violations_0.0_3.wcnf.xz6.53 (8)6.43 (8)6.49 (8)33.31 (8)5.13 (8)12.89 (8)6.58 (8)31.34 (8)3.22 (8)2.33 (8)122.14 (8)
vio.role_university_violations_0.0_5.wcnf.xz6.47 (17)6.49 (17)6.42 (17)33.01 (17)5.11 (17)12.89 (17)6.63 (17)31.77 (17)3.71 (17)2.78 (17)117.35 (17)
wb_4m8s-problem.dimacs_47.filtered.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wcn.adult_test_9_CNF_1_1.wcnf.xz0.0 (2363)0.0 (2363)0.0 (2363)0.0 (2363)0.0 (2363)0.01 (2363)0.0 (2363)2.76 (2363)0.0 (2363)0.0 (2363)0.08 (2363)
wcn.compas_test_3_DNF_5_1.wcnf.xz0.0 (396)0.0 (396)0.0 (396)0.0 (396)0.0 (396)0.0 (396)0.0 (396)0.0 (396)0.0 (396)0.0 (396)0.0 (396)
wcn.heart_test_9_CNF_4_1.wcnf.xz0.0 (22)0.0 (22)0.0 (22)0.0 (22)0.0 (22)0.0 (22)0.0 (22)0.0 (22)0.01 (22)0.0 (22)0.0 (22)
wcn.heart_train_6_DNF_3_1.wcnf.xz1654.19 (42)1893.61 (42)2717.61 (42)1864.57 (42)1545.93 (42)431.29 (42)1893.53 (42)2313.44 (42)3600.0 (-)3600.0 (-)3600.0 (-)
wcn.ionosphere_test_8_CNF_2_1.wcnf.xz0.01 (15)0.02 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)0.0 (15)
wcn.ionosphere_train_8_CNF_4_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wcn.ionosphere_train_8_DNF_5_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wcn.parkinsons_train_3_DNF_2_1.wcnf.xz362.94 (17)367.82 (17)180.61 (17)4.88 (17)3.24 (17)15.87 (17)0.0 (17)0.65 (17)5.9 (17)1.09 (17)41.33 (17)
wcn.parkinsons_train_7_CNF_2_1.wcnf.xz48.08 (14)48.42 (14)31.36 (14)14.14 (14)1.95 (14)12.46 (14)0.0 (14)0.52 (14)1.77 (14)0.95 (14)10.18 (14)
wcn.pima_test_4_CNF_2_1.wcnf.xz0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.01 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)0.0 (24)
wcn.tictactoe_test_9_DNF_4_1.wcnf.xz0.0 (33)0.0 (33)0.0 (33)0.0 (33)0.01 (33)0.0 (33)0.0 (33)0.0 (33)0.0 (33)0.0 (33)0.0 (33)
wcn.tictactoe_train_7_DNF_4_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wcn.toms_test_4_CNF_3_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wcn.transfusion_train_7_CNF_2_1.wcnf.xz99.17 (160)99.44 (160)23.68 (160)0.13 (160)0.0 (160)0.0 (160)0.0 (160)0.38 (160)0.0 (160)0.0 (160)0.84 (160)
we.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.MultiDay_0_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)134.57 (27639)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.MultiDay_1_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.SingleDay_2_weighted.wcnf.xz303.16 (6150)296.08 (6150)168.46 (6150)5.14 (6150)501.55 (6150)18.83 (6150)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wolfram72_0.wcnf.xz613.12 (9288)612.97 (9288)859.53 (9288)8.01 (9288)10.74 (9288)14.8 (9288)6.14 (9288)210.39 (9288)40.6 (9288)14.89 (9288)118.39 (9288)
wolfram72_1.wcnf.xz621.14 (9288)621.5 (9288)940.17 (9288)14.98 (9288)25.8 (9288)8.53 (9288)13.49 (9288)224.41 (9288)36.24 (9288)26.66 (9288)130.6 (9288)
wolfram72_3.wcnf.xz613.28 (9288)613.09 (9288)815.63 (9288)12.95 (9288)26.56 (9288)9.3 (9288)6.16 (9288)215.24 (9288)38.56 (9288)16.57 (9288)123.08 (9288)
wolfram72_5.wcnf.xz619.46 (9288)618.57 (9288)961.88 (9288)37.44 (9288)49.42 (9288)9.92 (9288)11.84 (9288)228.84 (9288)39.17 (9288)29.03 (9288)146.31 (9288)
wolfram72_8.wcnf.xz625.64 (9288)625.76 (9288)977.5 (9288)29.48 (9288)22.66 (9288)30.93 (9288)19.04 (9288)219.06 (9288)25.74 (9288)28.15 (9288)355.3 (9288)
wolfram72_9.wcnf.xz613.87 (9288)613.95 (9288)859.46 (9288)40.77 (9288)27.94 (9288)38.2 (9288)5.94 (9288)229.61 (9288)29.94 (9288)35.84 (9288)882.22 (9288)
wolfram80_3.wcnf.xz625.95 (11440)626.51 (11440)828.04 (11440)46.65 (11440)65.4 (11440)30.84 (11440)19.17 (11440)335.2 (11440)41.35 (11440)43.26 (11440)1628.01 (11440)
wolfram80_5.wcnf.xz641.08 (11440)642.1 (11440)843.05 (11440)168.59 (11440)133.51 (11440)135.14 (11440)35.03 (11440)369.42 (11440)45.09 (11440)84.42 (11440)1031.63 (11440)