BenchmarkWMaxCDCL-S6-HS12WMaxCDCL-S9-HS9EvalMaxSAT-SCIPCASHWMAXSAT-CorePlusCASHWMAXSAT-CorePlus-mEvalMaxSATCGSS2-SCIPCGSS2WMaxCDCLPacosePacose-MaxPre2
CSG_wt-CSG140-140-46.wcnf.xz2.21 (16960)2.24 (16960)543.25 (16960)2.32 (16960)2.36 (16960)41.22 (16960)1.02 (16960)1.01 (16960)8.95 (16960)6.11 (16960)8.02 (16960)
CSG_wt-CSG140-140-6.wcnf.xz21.91 (52385)22.0 (52385)1206.72 (52385)27.37 (52385)27.67 (52385)759.52 (52385)24.37 (52385)24.27 (52385)23.27 (52385)436.23 (52385)329.84 (52385)
CSG_wt-CSG150-150-55.wcnf.xz7.93 (27533)7.81 (27533)720.68 (27533)8.99 (27533)8.93 (27533)228.25 (27533)11.73 (27533)11.91 (27533)25.36 (27533)379.66 (27533)128.12 (27533)
CSG_wt-CSG40-40-95.wcnf.xz1.59 (8847)1.57 (8847)1.89 (8847)1.68 (8847)1.64 (8847)1.03 (8847)1.85 (8847)0.04 (8847)1.05 (8847)0.07 (8847)2.85 (8847)
CSG_wt-CSG60-60-88.wcnf.xz2.57 (7714)2.51 (7714)2.28 (7714)0.11 (7714)2.48 (7714)1.4 (7714)2.71 (7714)0.07 (7714)0.98 (7714)0.18 (7714)3.06 (7714)
CSG_wt-CSGNaive140-140-0.wcnf.xz2.27 (18185)2.3 (18185)539.89 (18185)2.21 (18185)2.23 (18185)37.51 (18185)0.88 (18185)0.89 (18185)11.07 (18185)4.66 (18185)12.49 (18185)
CSG_wt-CSGNaive140-140-6.wcnf.xz29.74 (56309)30.14 (56309)1348.02 (56309)22.54 (56309)22.69 (56309)692.05 (56309)33.82 (56309)33.16 (56309)45.66 (56309)322.27 (56309)229.47 (56309)
CSG_wt-CSGNaive150-150-55.wcnf.xz8.15 (30495)8.17 (30495)730.46 (30495)7.59 (30495)7.67 (30495)219.96 (30495)28.05 (30495)28.07 (30495)30.63 (30495)479.14 (30495)112.53 (30495)
CSG_wt-CSGNaive60-60-53.wcnf.xz9.11 (9829)9.14 (9829)6.37 (9829)0.13 (9829)6.87 (9829)1.66 (9829)5.35 (9829)0.08 (9829)0.77 (9829)0.3 (9829)3.11 (9829)
CSG_wt-CSGNaive70-70-91.wcnf.xz0.14 (11177)0.15 (11177)4.44 (11177)0.16 (11177)4.96 (11177)0.29 (11177)0.1 (11177)0.09 (11177)0.79 (11177)0.21 (11177)4.34 (11177)
MaxSATQueriesinInterpretableClassifiers_wt-compas_test_1_CNF_3_15.wcnf.xz0.03 (5914)0.03 (5914)0.04 (5914)0.02 (5914)0.02 (5914)0.04 (5914)0.04 (5914)0.01 (5914)0.01 (5914)0.03 (5914)0.02 (5914)
MaxSATQueriesinInterpretableClassifiers_wt-compas_test_2_CNF_4_5.wcnf.xz0.02 (1454)0.02 (1454)0.06 (1454)0.03 (1454)0.02 (1454)0.05 (1454)0.07 (1454)0.02 (1454)0.01 (1454)0.04 (1454)0.03 (1454)
MaxSATQueriesinInterpretableClassifiers_wt-compas_train_0_CNF_3_5.wcnf.xz3600.0 (-)3600.0 (-)891.22 (10469)3600.0 (-)3600.0 (-)374.8 (10469)82.18 (10469)82.96 (10469)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers_wt-compas_train_1_DNF_1_15.wcnf.xz18.52 (34593)18.53 (34593)81.01 (34593)47.12 (34593)47.37 (34593)333.98 (34593)800.72 (34593)0.68 (34593)9.9 (34593)888.84 (34593)10.25 (34593)
MaxSATQueriesinInterpretableClassifiers_wt-credit_train_8_CNF_5_20.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers_wt-ilpd_test_1_CNF_4_5.wcnf.xz0.02 (74)0.02 (74)0.02 (74)0.02 (74)0.01 (74)0.02 (74)0.02 (74)0.01 (74)0.02 (74)0.02 (74)0.02 (74)
MaxSATQueriesinInterpretableClassifiers_wt-iris_train_0_DNF_5_20.wcnf.xz0.57 (92)0.57 (92)0.42 (92)0.37 (92)0.37 (92)0.8 (92)0.23 (92)0.02 (92)0.92 (92)0.05 (92)2.92 (92)
MaxSATQueriesinInterpretableClassifiers_wt-pima_test_1_CNF_4_15.wcnf.xz0.02 (393)0.02 (393)0.02 (393)0.02 (393)0.02 (393)0.02 (393)0.03 (393)0.02 (393)0.02 (393)0.04 (393)0.02 (393)
MaxSATQueriesinInterpretableClassifiers_wt-pima_train_6_CNF_3_20.wcnf.xz1923.56 (2757)1885.75 (2757)1179.05 (2757)3600.0 (-)3600.0 (-)785.84 (2757)3600.0 (-)3600.0 (-)82.06 (2757)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers_wt-tictactoe_test_2_CNF_2_15.wcnf.xz0.02 (216)0.02 (216)0.02 (216)0.02 (216)0.02 (216)0.02 (216)0.02 (216)0.01 (216)0.01 (216)0.02 (216)0.01 (216)
MaxSATQueriesinInterpretableClassifiers_wt-titanic_test_6_CNF_3_5.wcnf.xz0.02 (156)0.02 (156)0.02 (156)0.02 (156)0.02 (156)0.02 (156)0.02 (156)0.02 (156)0.02 (156)0.02 (156)0.01 (156)
MaxSATQueriesinInterpretableClassifiers_wt-toms_test_2_CNF_3_20.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers_wt-toms_test_3_CNF_1_20.wcnf.xz1.92 (1308)1.93 (1308)1009.72 (1308)12.88 (1308)12.93 (1308)531.16 (1308)4.35 (1308)4.32 (1308)117.9 (1308)641.28 (1308)3600.0 (-)
MaxSATQueriesinInterpretableClassifiers_wt-transfusion_test_7_DNF_3_5.wcnf.xz0.02 (96)0.02 (96)0.02 (96)0.02 (96)0.01 (96)0.02 (96)0.02 (96)0.02 (96)0.01 (96)0.02 (96)0.02 (96)
MaxSATQueriesinInterpretableClassifiers_wt-wdbc_test_5_DNF_1_15.wcnf.xz0.02 (49)0.02 (49)0.02 (49)0.01 (49)0.02 (49)0.01 (49)0.02 (49)0.0 (49)0.01 (49)0.02 (49)0.02 (49)
MinimumWeightDominatingSetProblem_wt-bn-human-BNU_1_0025865_session_1-bg.wcnf.xz1020.19 (119321020)1323.34 (119321020)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem_wt-channel-500x100x100-b050.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem_wt-delaunay_n24.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem_wt-hugebubbles-00020.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem_wt-inf-road-usa.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem_wt-rgg_n_2_24_s0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem_wt-sc-rel9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem_wt-soc-livejournal-user-groups.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinimumWeightDominatingSetProblem_wt-web-wikipedia2009.wcnf.xz906.47 (26809801)1205.89 (26809801)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.1_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.2_0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.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 (-)
ParametricRBACMaintenance_mse20_wt-role_domino_multiple_0.6_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.0_2.wcnf.xz1.27 (40896)1.26 (40896)8.09 (40896)1.24 (40896)1.22 (40896)59.24 (40896)1.64 (40896)0.46 (40896)1.91 (40896)2680.81 (40896)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.0_3.wcnf.xz0.52 (25980)0.52 (25980)0.58 (25980)0.48 (25980)0.48 (25980)21.24 (25980)0.53 (25980)0.08 (25980)0.29 (25980)10.22 (25980)10.05 (25980)
ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.7_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.7_6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.8_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_smallcomp_multiple_0.9_6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_university_multiple_0.1_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_university_multiple_0.4_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_university_multiple_0.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 (-)
ParametricRBACMaintenance_mse20_wt-role_university_multiple_0.5_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ParametricRBACMaintenance_mse20_wt-role_university_multiple_0.5_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Security-CriticalCyber-PhysicalComponents_wt-test13--n-5000.wcnf.xz0.17 (100)0.16 (100)1.08 (100)0.92 (100)0.92 (100)25.18 (100)1.01 (100)0.19 (100)0.97 (100)7.34 (100)31.93 (100)
Security-CriticalCyber-PhysicalComponents_wt-test15--n-5000.wcnf.xz0.15 (16)0.17 (16)0.15 (16)0.87 (16)0.86 (16)0.14 (16)0.98 (16)0.02 (16)0.05 (16)0.04 (16)1.11 (16)
Security-CriticalCyber-PhysicalComponents_wt-test17--n-5000.wcnf.xz0.16 (7)0.17 (7)0.14 (7)0.93 (7)0.91 (7)0.14 (7)1.03 (7)0.12 (7)0.05 (7)0.91 (7)1.9 (7)
Security-CriticalCyber-PhysicalComponents_wt-test2--n-5000.wcnf.xz0.35 (3)0.35 (3)0.25 (3)1.13 (3)1.15 (3)0.15 (3)1.22 (3)0.24 (3)0.13 (3)0.15 (3)1.88 (3)
Security-CriticalCyber-PhysicalComponents_wt-test34--n-10000.wcnf.xz0.37 (3)0.38 (3)0.31 (3)1.8 (3)1.78 (3)0.35 (3)1.93 (3)0.54 (3)0.07 (3)2.75 (3)1.17 (3)
Security-CriticalCyber-PhysicalComponents_wt-test35--n-10000.wcnf.xz0.38 (8)0.38 (8)0.32 (8)1.42 (8)1.42 (8)0.3 (8)1.53 (8)0.47 (8)0.07 (8)0.08 (8)1.16 (8)
Security-CriticalCyber-PhysicalComponents_wt-test40--n-10000.wcnf.xz0.36 (1)0.36 (1)0.64 (1)1.85 (1)1.83 (1)0.41 (1)1.94 (1)0.53 (1)0.05 (1)2.53 (1)1.18 (1)
Security-CriticalCyber-PhysicalComponents_wt-test43--n-15000.wcnf.xz1.23 (6)1.31 (6)1.06 (6)12.56 (6)12.58 (6)2.43 (6)2.27 (6)2.3 (6)0.26 (6)0.78 (6)4.89 (6)
Security-CriticalCyber-PhysicalComponents_wt-test52--n-15000.wcnf.xz0.8 (49)0.76 (49)1.46 (49)4.09 (49)4.13 (49)0.8 (49)0.97 (49)0.97 (49)0.13 (49)2.08 (49)2.02 (49)
Security-CriticalCyber-PhysicalComponents_wt-test54--n-15000.wcnf.xz0.66 (45)0.67 (45)1.22 (45)4.85 (45)4.93 (45)7.7 (45)1.42 (45)1.44 (45)0.61 (45)4.95 (45)35.94 (45)
Security-CriticalCyber-PhysicalComponents_wt-test57--n-15000.wcnf.xz0.73 (11)0.73 (11)0.86 (11)4.82 (11)4.86 (11)0.86 (11)1.05 (11)1.08 (11)0.13 (11)3.1 (11)2.04 (11)
Security-CriticalCyber-PhysicalComponents_wt-test63--n-20000.wcnf.xz1.94 (14)1.9 (14)3.11 (14)11.95 (14)11.59 (14)7.09 (14)2.35 (14)2.41 (14)0.41 (14)1.29 (14)7.02 (14)
Security-CriticalCyber-PhysicalComponents_wt-test66--n-20000.wcnf.xz1.88 (1)1.83 (1)1.09 (1)9.85 (1)9.9 (1)0.77 (1)2.57 (1)2.54 (1)0.15 (1)0.3 (1)1.45 (1)
Security-CriticalCyber-PhysicalComponents_wt-test68--n-20000.wcnf.xz1.83 (20)1.9 (20)7.6 (20)19.28 (20)19.25 (20)28.52 (20)4.72 (20)4.63 (20)0.51 (20)4.77 (20)9.02 (20)
Security-CriticalCyber-PhysicalComponents_wt-test75--n-20000.wcnf.xz0.91 (5)0.93 (5)0.82 (5)6.1 (5)6.25 (5)0.76 (5)1.63 (5)1.62 (5)0.17 (5)0.25 (5)3.08 (5)
abstraction-refinement_wt-downcast-antlr.wcnf.xz114.87 (76250)113.27 (76250)984.83 (76250)153.47 (76250)149.6 (76250)1035.63 (76250)307.11 (76250)315.37 (76250)217.67 (76250)3600.0 (-)3600.0 (-)
abstraction-refinement_wt-downcast-avrora.wcnf.xz61.93 (46642)61.89 (46642)778.02 (46642)76.95 (46642)75.71 (46642)806.11 (46642)148.77 (46642)148.98 (46642)142.62 (46642)3600.0 (-)3600.0 (-)
abstraction-refinement_wt-downcast-hsqldb.wcnf.xz273.51 (30207)273.19 (30207)897.49 (30207)293.68 (30207)289.93 (30207)947.84 (30207)336.71 (30207)335.02 (30207)336.9 (30207)2651.21 (30207)3600.0 (-)
abstraction-refinement_wt-downcast-pmd.wcnf.xz244.02 (4227)245.63 (4227)911.71 (4227)271.86 (4227)270.22 (4227)982.71 (4227)340.9 (4227)334.51 (4227)297.65 (4227)3600.0 (-)2750.49 (4227)
abstraction-refinement_wt-downcast-xalan.wcnf.xz82.63 (65491)81.22 (65491)826.4 (65491)108.57 (65491)107.4 (65491)915.33 (65491)190.86 (65491)191.61 (65491)149.0 (65491)3600.0 (-)3600.0 (-)
abstraction-refinement_wt-polysite-avrora.wcnf.xz84.9 (51801)85.07 (51801)635.07 (51801)99.45 (51801)96.54 (51801)679.02 (51801)130.19 (51801)128.92 (51801)125.81 (51801)3600.0 (-)818.13 (51801)
abstraction-refinement_wt-polysite-bloat.wcnf.xz1002.65 (36)696.52 (36)1090.18 (36)735.43 (36)718.01 (36)1263.99 (36)635.26 (36)625.91 (36)782.42 (36)3600.0 (-)3600.0 (-)
abstraction-refinement_wt-polysite-hsqldb.wcnf.xz233.43 (172382)232.63 (172382)778.05 (172382)258.35 (172382)256.87 (172382)791.19 (172382)335.95 (172382)333.27 (172382)259.28 (172382)1702.14 (172382)3600.0 (-)
abstraction-refinement_wt-polysite-lusearch.wcnf.xz39.49 (421456)39.31 (421456)595.21 (421456)59.69 (421456)59.06 (421456)626.93 (421456)106.98 (421456)108.74 (421456)48.66 (421456)3600.0 (-)3600.0 (-)
abstraction-refinement_wt-polysite-pmd.wcnf.xz206.51 (188398)206.09 (188398)826.95 (188398)246.47 (188398)247.55 (188398)889.75 (188398)362.33 (188398)363.13 (188398)259.81 (188398)3600.0 (-)3600.0 (-)
abstraction-refinement_wt-polysite-xalan.wcnf.xz154.08 (114620)152.34 (114620)1239.64 (114620)234.8 (114620)235.46 (114620)1300.15 (114620)579.39 (114620)599.65 (114620)276.34 (114620)3600.0 (-)3600.0 (-)
auctions_wt-cat_paths_60_100_0002.txt.wcnf.xz0.11 (63604)0.11 (63604)1.12 (63604)0.11 (63604)0.13 (63604)3.61 (63604)0.1 (63604)0.01 (63604)0.34 (63604)0.13 (63604)4.7 (63604)
auctions_wt-cat_paths_60_130_0002.txt.wcnf.xz0.13 (71385)0.14 (71385)2.59 (71385)0.15 (71385)0.13 (71385)2.85 (71385)0.15 (71385)0.03 (71385)0.69 (71385)6.34 (71385)9.32 (71385)
auctions_wt-cat_paths_60_150_0005.txt.wcnf.xz0.21 (112036)0.21 (112036)19.61 (112036)0.24 (112036)0.24 (112036)26.9 (112036)0.23 (112036)0.04 (112036)1.25 (112036)155.29 (112036)13.38 (112036)
auctions_wt-cat_paths_60_70_0003.txt.wcnf.xz0.07 (44555)0.07 (44555)0.11 (44555)0.07 (44555)0.07 (44555)0.1 (44555)0.04 (44555)0.02 (44555)0.18 (44555)0.07 (44555)6.34 (44555)
auctions_wt-cat_paths_60_90_0007.txt.wcnf.xz0.11 (58739)0.1 (58739)5.67 (58739)0.09 (58739)0.09 (58739)12.6 (58739)0.1 (58739)0.02 (58739)0.78 (58739)1.05 (58739)8.52 (58739)
auctions_wt-cat_reg_60_140_0002.txt.wcnf.xz0.89 (82680)0.89 (82680)61.06 (82680)0.7 (82680)0.68 (82680)297.22 (82680)0.66 (82680)0.04 (82680)4.14 (82680)17.93 (82680)14.04 (82680)
auctions_wt-cat_reg_60_150_0002.txt.wcnf.xz0.85 (109386)0.85 (109386)45.97 (109386)0.71 (109386)0.71 (109386)91.31 (109386)0.84 (109386)0.03 (109386)4.6 (109386)15.63 (109386)8.3 (109386)
auctions_wt-cat_reg_60_160_0005.txt.wcnf.xz0.96 (99819)0.95 (99819)61.42 (99819)0.85 (99819)0.8 (99819)271.99 (99819)1.04 (99819)0.27 (99819)2.36 (99819)24.51 (99819)19.15 (99819)
auctions_wt-cat_reg_60_230_0003.txt.wcnf.xz3.64 (117655)3.61 (117655)64.3 (117655)2.83 (117655)2.74 (117655)2482.4 (117655)3.85 (117655)12.96 (117655)28.5 (117655)892.29 (117655)2104.51 (117655)
auctions_wt-cat_sched_60_100_0004.txt.wcnf.xz0.16 (60696)0.16 (60696)0.12 (60696)0.11 (60696)0.09 (60696)0.12 (60696)0.12 (60696)0.01 (60696)0.02 (60696)0.07 (60696)1.17 (60696)
auctions_wt-cat_sched_60_130_0000.txt.wcnf.xz0.29 (108599)0.29 (108599)0.43 (108599)0.26 (108599)0.24 (108599)0.44 (108599)0.23 (108599)0.03 (108599)0.3 (108599)0.22 (108599)19.3 (108599)
auctions_wt-cat_sched_60_130_0002.txt.wcnf.xz0.28 (81955)0.28 (81955)0.46 (81955)0.27 (81955)0.29 (81955)0.48 (81955)0.22 (81955)0.02 (81955)0.34 (81955)0.24 (81955)6.54 (81955)
auctions_wt-cat_sched_60_170_0003.txt.wcnf.xz0.37 (169415)0.37 (169415)0.41 (169415)0.3 (169415)0.29 (169415)0.41 (169415)0.26 (169415)0.3 (169415)0.44 (169415)3.94 (169415)25.83 (169415)
auctions_wt-cat_sched_60_190_0000.txt.wcnf.xz0.65 (152878)0.65 (152878)0.62 (152878)0.49 (152878)0.48 (152878)0.56 (152878)0.44 (152878)0.04 (152878)1.03 (152878)0.47 (152878)2.5 (152878)
auctions_wt-cat_sched_60_70_0003.txt.wcnf.xz0.06 (61169)0.07 (61169)0.06 (61169)0.06 (61169)0.03 (61169)0.07 (61169)0.08 (61169)0.02 (61169)0.02 (61169)0.05 (61169)1.14 (61169)
causal-discovery_wt-causal_Diabetes_8_1000.wcnf.xz511.24 (54543894)498.5 (54543894)874.14 (54543894)38.0 (54543894)37.85 (54543894)808.36 (54543894)21.74 (54543894)21.82 (54543894)13.9 (54543894)427.03 (54543894)300.23 (54543894)
causal-discovery_wt-causal_Horse.23_7_300.wcnf.xz619.11 (98964)921.03 (98964)977.97 (98964)10.11 (98964)1418.82 (98964)449.36 (98964)9.77 (98964)9.88 (98964)21.24 (98964)227.89 (98964)159.29 (98964)
causal-discovery_wt-causal_Link_10_1000.wcnf.xz1888.43 (1917853)2463.76 (1917853)1586.47 (1917853)241.22 (1917853)275.98 (1917853)1733.44 (1917853)614.05 (1917853)605.05 (1917853)658.84 (1917853)3130.01 (1917853)1466.06 (1917853)
causal-discovery_wt-causal_Link_10_10000.wcnf.xz3600.0 (-)3600.0 (-)2711.49 (3948771)2772.89 (3948771)3051.43 (3948771)2911.21 (3948771)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery_wt-causal_Link_9_100.wcnf.xz282.84 (1516100)280.04 (1516100)2168.72 (1516100)699.35 (1516100)693.9 (1516100)2416.72 (1516100)448.63 (1516100)451.38 (1516100)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery_wt-causal_Meta_7_528.wcnf.xz736.68 (55120)1013.49 (55120)1154.4 (55120)58.72 (55120)1457.82 (55120)558.09 (55120)3078.7 (55120)3102.06 (55120)113.91 (55120)691.06 (55120)856.78 (55120)
causal-discovery_wt-causal_Mushroom_7_1000.wcnf.xz873.28 (191732)1194.24 (191732)1727.09 (191732)622.86 (191732)2024.61 (191732)1692.91 (191732)3600.0 (-)3600.0 (-)385.71 (191732)3574.74 (191732)2933.87 (191732)
causal-discovery_wt-causal_Pigs_6_1000.wcnf.xz68.2 (18211446)69.39 (18211446)1223.97 (18211446)333.17 (18211446)363.35 (18211446)1415.2 (18211446)226.26 (18211446)216.16 (18211446)1455.08 (18211446)1928.95 (18211446)1994.06 (18211446)
causal-discovery_wt-causal_Water_10_1000.wcnf.xz1907.95 (11339025)2902.78 (11339025)2274.77 (11339025)1425.84 (11339025)1371.01 (11339025)2491.14 (11339025)1049.91 (11339025)1043.33 (11339025)520.85 (11339025)2562.89 (11339025)1050.47 (11339025)
causal-discovery_wt-causal_Water_7_380.wcnf.xz664.04 (414473)968.31 (414473)1245.4 (414473)21.64 (414473)1420.94 (414473)744.75 (414473)84.53 (414473)84.48 (414473)61.16 (414473)1323.54 (414473)837.87 (414473)
causal-discovery_wt-causal_alarm_9_1000.wcnf.xz287.57 (1233992)273.86 (1233992)1876.46 (1233992)606.18 (1233992)603.9 (1233992)2065.6 (1233992)1673.42 (1233992)1711.33 (1233992)2114.92 (1233992)3302.92 (1233992)1176.47 (1233992)
causal-discovery_wt-causal_carpo_8_1000.wcnf.xz3600.0 (-)3600.0 (-)1999.23 (681472)2734.26 (681472)3600.0 (-)2211.81 (681472)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal-discovery_wt-causal_hailfinder_7_100.wcnf.xz1546.5 (2036684)1440.4 (2036684)1386.21 (2036684)20.84 (2036684)1420.33 (2036684)889.01 (2036684)122.03 (2036684)122.11 (2036684)727.04 (2036684)3600.0 (-)3600.0 (-)
causal-discovery_wt-causal_hailfinder_8_10000.wcnf.xz46.9 (115149390)47.21 (115149390)1120.24 (115149390)107.57 (115149390)111.87 (115149390)1153.4 (115149390)260.96 (115149390)256.39 (115149390)369.94 (115149390)689.84 (115149390)435.83 (115149390)
causal-discovery_wt-causal_n6_i10_N500_uai14_log_int.wcnf.xz242.27 (183312821)243.95 (183312821)661.49 (183312821)101.08 (183312821)1401.12 (183312821)211.72 (183312821)802.54 (183312821)2.58 (183312821)1.46 (183312821)14.7 (183312821)23.39 (183312821)
correlation-clustering_wt-Rounded_CorrelationClustering_Ionosphere_BINARY_N260_D0.200.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein1_BINARY_N300.wcnf.xz633.1 (18374849)933.22 (18374849)1487.91 (18374849)36.58 (18374849)36.55 (18374849)990.32 (18374849)27.51 (18374849)27.47 (18374849)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein1_BINARY_N320.wcnf.xz656.56 (19711940)953.16 (19711940)1546.24 (19711940)40.51 (19711940)40.46 (19711940)1067.5 (19711940)41.56 (19711940)41.82 (19711940)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein1_TRANSITIVE_N150.wcnf.xz7.13 (5099274)7.11 (5099274)93.54 (5099274)12.88 (5099274)12.82 (5099274)634.26 (5099274)5.99 (5099274)6.08 (5099274)153.41 (5099274)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein1_UNARY_N290.wcnf.xz3600.0 (-)3600.0 (-)2849.93 (17655241)3600.0 (-)3600.0 (-)2558.92 (17655241)1835.81 (17655241)1796.77 (17655241)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein2_BINARY_N220.wcnf.xz663.84 (13727551)965.31 (13727551)1376.25 (13727551)3600.0 (-)3600.0 (-)938.69 (13727551)188.63 (13727551)188.99 (13727551)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein2_BINARY_N240.wcnf.xz965.01 (16021618)1152.69 (16021618)3600.0 (-)3600.0 (-)3600.0 (-)1603.91 (16021618)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein2_BINARY_N380.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein2_UNARY_N220.wcnf.xz1365.22 (13727551)1763.88 (13727551)2318.26 (13727551)3600.0 (-)3600.0 (-)1722.35 (13727551)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein3_TRANSITIVE_N280.wcnf.xz760.5 (19642136)1061.27 (19642136)2222.45 (19642136)276.23 (19642136)277.94 (19642136)1981.9 (19642136)284.45 (19642136)288.48 (19642136)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein3_UNARY_N220.wcnf.xz1161.2 (13890288)1539.87 (13890288)1500.84 (13890288)3600.0 (-)3600.0 (-)1649.74 (13890288)1953.59 (13890288)1963.2 (13890288)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein4_BINARY_N320.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Protein4_UNARY_N250.wcnf.xz1386.59 (7581560)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Vowel_BINARY_N700_D0.200.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
correlation-clustering_wt-Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
css-refactoring_wt-amazon.dimacs.wcnf.xz556.58 (113575)560.58 (113575)1724.88 (113575)119.93 (113575)749.06 (113575)1424.75 (113575)34.44 (113575)34.8 (113575)55.81 (113575)386.24 (113575)715.36 (113575)
css-refactoring_wt-archlinux.dimacs.wcnf.xz1.94 (11744)1.94 (11744)1.53 (11744)1.54 (11744)1.55 (11744)47.78 (11744)1.85 (11744)0.05 (11744)0.58 (11744)0.61 (11744)5.93 (11744)
css-refactoring_wt-dblp.dimacs.wcnf.xz33.52 (25014)33.56 (25014)36.99 (25014)31.94 (25014)31.94 (25014)314.17 (25014)35.54 (25014)1.75 (25014)2.71 (25014)11.69 (25014)18.69 (25014)
css-refactoring_wt-ebay.dimacs.wcnf.xz432.39 (123941)437.66 (123941)447.01 (123941)106.33 (123941)422.36 (123941)697.65 (123941)8.74 (123941)8.9 (123941)24.3 (123941)152.01 (123941)145.7 (123941)
css-refactoring_wt-facebook1.dimacs.wcnf.xz135.54 (45581)135.21 (45581)171.57 (45581)101.26 (45581)143.26 (45581)117.72 (45581)121.67 (45581)1.11 (45581)5.53 (45581)28.31 (45581)25.04 (45581)
css-refactoring_wt-github.dimacs.wcnf.xz7.88 (187405)7.85 (187405)1777.87 (187405)13.03 (187405)13.11 (187405)1274.91 (187405)28.58 (187405)28.03 (187405)80.04 (187405)937.86 (187405)1876.26 (187405)
css-refactoring_wt-guardian.dimacs.wcnf.xz5.33 (160777)5.19 (160777)1201.26 (160777)10.05 (160777)1410.24 (160777)768.39 (160777)11.1 (160777)11.07 (160777)80.33 (160777)615.53 (160777)3600.0 (-)
css-refactoring_wt-londonist.dimacs.wcnf.xz62.08 (70703)62.42 (70703)501.11 (70703)63.15 (70703)63.59 (70703)470.96 (70703)101.53 (70703)2.01 (70703)3.42 (70703)38.14 (70703)3600.0 (-)
css-refactoring_wt-openstreetmap.dimacs.wcnf.xz64.82 (65915)65.3 (65915)647.6 (65915)81.72 (65915)82.01 (65915)579.33 (65915)83.77 (65915)2.86 (65915)3.8 (65915)28.74 (65915)25.07 (65915)
css-refactoring_wt-wikipedia.dimacs.wcnf.xz3.68 (42676)3.66 (42676)7.2 (42676)7.49 (42676)7.55 (42676)9.21 (42676)7.98 (42676)0.06 (42676)0.57 (42676)1.91 (42676)8.51 (42676)
css-refactoring_wt-youtube.dimacs.wcnf.xz9.99 (227167)10.01 (227167)1426.95 (227167)18.72 (227167)18.76 (227167)979.11 (227167)17.04 (227167)17.04 (227167)96.21 (227167)3600.0 (-)3600.0 (-)
dalculus_wt-f1-DataDisplay_0_order4.seq-A-2-2-irabcde.wcnf.xz0.08 (2220415)0.1 (2220415)0.27 (2220415)0.15 (2220415)0.15 (2220415)0.35 (2220415)0.15 (2220415)0.02 (2220415)0.4 (2220415)0.03 (2220415)3.1 (2220415)
dalculus_wt-f1-DataDisplay_0_order4.seq-A-3-1-EDCBAir.wcnf.xz0.05 (6240245)0.04 (6240245)0.06 (6240245)0.03 (6240245)0.02 (6240245)0.18 (6240245)0.03 (6240245)0.01 (6240245)0.18 (6240245)0.03 (6240245)2.97 (6240245)
dalculus_wt-f1-DataDisplay_0_order4.seq-A-3-2-EDCBAir.wcnf.xz0.06 (6247037)0.06 (6247037)0.06 (6247037)0.05 (6247037)0.03 (6247037)0.03 (6247037)0.03 (6247037)0.01 (6247037)0.02 (6247037)0.03 (6247037)4.32 (6247037)
dalculus_wt-f1-DataDisplay_0_order4.seq-A-3-combined-irEDCBA.wcnf.xz0.04 (5986663)0.06 (5986663)0.07 (5986663)0.04 (5986663)0.04 (5986663)0.11 (5986663)0.08 (5986663)0.02 (5986663)0.18 (5986663)0.02 (5986663)4.18 (5986663)
dalculus_wt-f1-DataDisplay_0_order4.seq-B-2-1-EDCBAir.wcnf.xz0.05 (5876811)0.06 (5876811)0.28 (5876811)0.18 (5876811)0.18 (5876811)0.55 (5876811)0.18 (5876811)0.02 (5876811)0.3 (5876811)0.02 (5876811)5.21 (5876811)
dalculus_wt-f1-DataDisplay_0_order4.seq-B-2-1-irEDCBA.wcnf.xz0.08 (2271302)0.07 (2271302)0.31 (2271302)0.14 (2271302)0.14 (2271302)0.49 (2271302)0.15 (2271302)0.02 (2271302)0.18 (2271302)0.05 (2271302)5.23 (2271302)
dalculus_wt-f1-DataDisplay_0_order4.seq-B-2-2-irabcde.wcnf.xz0.07 (2215743)0.07 (2215743)0.45 (2215743)0.2 (2215743)0.18 (2215743)0.56 (2215743)0.22 (2215743)0.02 (2215743)0.49 (2215743)0.04 (2215743)3.19 (2215743)
dalculus_wt-f1-DataDisplay_0_order4.seq-B-2-combined-abcdeir.wcnf.xz0.07 (53533)0.07 (53533)0.09 (53533)0.08 (53533)0.08 (53533)0.19 (53533)0.09 (53533)0.02 (53533)0.21 (53533)0.02 (53533)4.04 (53533)
dalculus_wt-f1-DataDisplay_0_order4.seq-B-3-2-irEDCBA.wcnf.xz0.05 (5985236)0.05 (5985236)0.07 (5985236)0.03 (5985236)0.03 (5985236)0.03 (5985236)0.06 (5985236)0.02 (5985236)0.18 (5985236)0.01 (5985236)4.23 (5985236)
dalculus_wt-f49-DC_TotalLoss.seq-A-3-2-EDCBAir.wcnf.xz8.43 (119591487863)8.45 (119591487863)505.29 (119591487863)41.22 (119591487863)40.9 (119591487863)6.12 (119591487863)0.18 (119591487863)0.18 (119591487863)1.57 (119591487863)1.6 (119591487863)275.03 (119591487863)
dalculus_wt-f49-DC_TotalLoss.seq-A-3-combined-EDCBAir.wcnf.xz35.02 (119565855313)34.94 (119565855313)127.09 (119565855313)100.46 (119565855313)240.04 (119565855313)18.58 (119565855313)0.33 (119565855313)0.33 (119565855313)1.82 (119565855313)1.4 (119565855313)56.92 (119565855313)
dalculus_wt-f49-DC_TotalLoss.seq-B-2-2-irabcde.wcnf.xz2.37 (14734224771)2.36 (14734224771)102.21 (14734224771)35.74 (14734224771)35.87 (14734224771)87.35 (14734224771)20.84 (14734224771)0.16 (14734224771)13.19 (14734224771)3600.0 (-)3600.0 (-)
dalculus_wt-f49-DC_TotalLoss.seq-B-2-combined-abcdeir.wcnf.xz22.42 (44321234)22.43 (44321234)38.94 (44321234)55.89 (44321234)55.72 (44321234)30.23 (44321234)39.54 (44321234)0.07 (44321234)2.08 (44321234)0.42 (44321234)223.82 (44321234)
dalculus_wt-f49-DC_TotalLoss.seq-B-3-combined-EDCBAir.wcnf.xz44.61 (117355113043)44.54 (117355113043)574.37 (117355113043)100.86 (117355113043)191.72 (117355113043)75.02 (117355113043)0.32 (117355113043)0.32 (117355113043)4.54 (117355113043)1.66 (117355113043)392.07 (117355113043)
dalculus_wt-f49-DC_TotalLoss.seq-B-3-combined-irEDCBA.wcnf.xz601.58 (87221947078)901.6 (87221947078)240.52 (87221947078)100.5 (87221947078)270.76 (87221947078)71.85 (87221947078)0.29 (87221947078)0.26 (87221947078)0.91 (87221947078)1.93 (87221947078)236.53 (87221947078)
decision-tree-anneal-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-anneal-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-australian-credit-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-heart-cleveland-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-primary-tumor-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-primary-tumor-un-formula_0.8_2021_atleast_127_max-6_reduced_incomplete_adaboost_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-primary-tumor-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-primary-tumor-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-primary-tumor-un-formula_0.8_2021_atleast_63_max-5_reduced_incomplete_adaboost_6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-tic-tac-toe-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-tic-tac-toe-un-formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
decision-tree-tic-tac-toe-un-formula_0.8_2021_atleast_31_max-4_reduced_incomplete_adaboost_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-geffe128_0.wcnf.xz638.37 (800)937.83 (800)17.6 (800)121.99 (800)1422.31 (800)17.7 (800)842.02 (800)42.14 (800)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-geffe128_1.wcnf.xz613.77 (800)914.02 (800)586.89 (800)108.02 (800)1408.02 (800)72.03 (800)878.08 (800)77.81 (800)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-geffe128_2.wcnf.xz608.67 (800)908.75 (800)14.71 (800)113.5 (800)1413.52 (800)14.7 (800)805.64 (800)5.51 (800)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-geffe128_3.wcnf.xz612.38 (800)912.47 (800)605.13 (800)130.12 (800)1429.93 (800)101.8 (800)840.7 (800)40.15 (800)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-geffe128_4.wcnf.xz622.18 (800)922.28 (800)587.0 (800)113.42 (800)1413.41 (800)125.8 (800)805.22 (800)5.26 (800)3600.0 (-)3600.0 (-)55.29 (800)
drmx-cryptogen_wt-geffe128_7.wcnf.xz664.95 (800)965.92 (800)615.44 (800)124.79 (800)1425.1 (800)81.24 (800)892.1 (800)93.4 (800)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-threshold128_0.wcnf.xz647.64 (800)947.77 (800)629.29 (800)238.94 (800)1537.15 (800)107.77 (800)945.69 (800)148.9 (800)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-threshold128_7.wcnf.xz655.51 (800)954.95 (800)609.7 (800)144.24 (800)1445.05 (800)123.74 (800)857.91 (800)59.33 (800)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-wolfram72_1.wcnf.xz608.79 (9288)908.75 (9288)1.46 (9288)108.47 (9288)1406.73 (9288)1.46 (9288)4.94 (9288)4.95 (9288)3600.0 (-)3600.0 (-)23.15 (9288)
drmx-cryptogen_wt-wolfram72_2.wcnf.xz607.16 (9288)907.16 (9288)10.44 (9288)113.72 (9288)1414.13 (9288)10.35 (9288)20.12 (9288)20.2 (9288)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-wolfram72_8.wcnf.xz605.75 (9288)905.68 (9288)11.36 (9288)107.31 (9288)1406.96 (9288)11.29 (9288)11.96 (9288)11.93 (9288)3600.0 (-)3600.0 (-)25.02 (9288)
drmx-cryptogen_wt-wolfram80_3.wcnf.xz20.89 (11440)21.21 (11440)1.53 (11440)20.88 (11440)1455.65 (11440)1.48 (11440)9.26 (11440)9.31 (11440)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-wolfram80_4.wcnf.xz13.24 (11440)13.19 (11440)17.33 (11440)13.13 (11440)1420.33 (11440)17.23 (11440)36.06 (11440)35.63 (11440)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-wolfram80_8.wcnf.xz6.63 (11440)6.84 (11440)4.73 (11440)6.72 (11440)1406.65 (11440)4.69 (11440)4.46 (11440)4.45 (11440)3600.0 (-)3600.0 (-)3600.0 (-)
drmx-cryptogen_wt-wolfram80_9.wcnf.xz4.45 (11440)4.37 (11440)3.5 (11440)4.25 (11440)1404.52 (11440)3.48 (11440)4.23 (11440)4.17 (11440)3600.0 (-)3600.0 (-)3600.0 (-)
frb_wt-frb10-6-1.wcnf.xz0.11 (50)0.11 (50)0.12 (50)0.1 (50)0.08 (50)0.09 (50)0.08 (50)0.02 (50)0.45 (50)0.05 (50)1.15 (50)
frb_wt-frb10-6-2.wcnf.xz0.16 (50)0.16 (50)0.19 (50)0.15 (50)0.13 (50)0.41 (50)0.12 (50)0.02 (50)0.94 (50)0.04 (50)1.15 (50)
frb_wt-frb10-6-3.wcnf.xz0.18 (50)0.18 (50)0.14 (50)0.13 (50)0.13 (50)0.03 (50)0.11 (50)0.01 (50)0.47 (50)0.04 (50)1.14 (50)
frb_wt-frb15-9-1.wcnf.xz0.3 (120)0.3 (120)0.97 (120)0.27 (120)0.27 (120)1.0 (120)1.42 (120)0.04 (120)6.45 (120)0.19 (120)1.18 (120)
frb_wt-frb15-9-2.wcnf.xz0.81 (120)0.81 (120)0.79 (120)0.78 (120)0.8 (120)3.14 (120)0.9 (120)0.05 (120)3.69 (120)0.28 (120)1.18 (120)
frb_wt-frb15-9-3.wcnf.xz0.65 (120)0.65 (120)1.11 (120)0.63 (120)0.61 (120)0.82 (120)1.48 (120)0.01 (120)8.33 (120)0.16 (120)1.18 (120)
frb_wt-frb20-11-2.wcnf.xz3.07 (200)3.08 (200)4.35 (200)5.67 (200)5.62 (200)22.67 (200)3.14 (200)0.08 (200)1206.84 (200)0.37 (200)1.32 (200)
frb_wt-frb25-13-1.wcnf.xz49.59 (300)49.25 (300)191.91 (300)36.18 (300)35.31 (300)135.48 (300)144.04 (300)117.47 (300)3600.0 (-)3.48 (300)1.9 (300)
frb_wt-frb25-13-3.wcnf.xz46.66 (300)46.64 (300)53.34 (300)34.09 (300)33.4 (300)455.03 (300)100.14 (300)0.67 (300)3600.0 (-)2.45 (300)1.55 (300)
frb_wt-frb25-13-5.wcnf.xz38.7 (300)38.66 (300)187.16 (300)50.99 (300)49.9 (300)3102.49 (300)20.97 (300)0.34 (300)3600.0 (-)3.29 (300)1.73 (300)
frb_wt-frb30-15-1.wcnf.xz507.95 (420)514.52 (420)388.95 (420)104.61 (420)571.71 (420)3600.0 (-)336.33 (420)131.24 (420)3600.0 (-)15.73 (420)12.15 (420)
frb_wt-frb30-15-3.wcnf.xz219.3 (420)219.23 (420)3600.0 (-)100.29 (420)275.2 (420)3600.0 (-)327.0 (420)0.85 (420)3600.0 (-)14.06 (420)6.29 (420)
frb_wt-frb30-15-4.wcnf.xz600.84 (420)619.06 (420)3600.0 (-)100.16 (420)228.22 (420)3600.0 (-)110.18 (420)939.33 (420)3600.0 (-)8.24 (420)10.32 (420)
frb_wt-frb35-17-5.wcnf.xz605.4 (560)905.41 (560)3600.0 (-)108.62 (560)1408.53 (560)3600.0 (-)2964.14 (560)2146.31 (560)3600.0 (-)54.92 (560)56.13 (560)
frb_wt-frb40-19-4.wcnf.xz607.07 (720)907.07 (720)3600.0 (-)149.26 (720)1450.14 (720)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1720.43 (720)475.0 (720)
generalized-ising_wt-IS11_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS12_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS13_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS15_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS16_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS17_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS20_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS22_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS23_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS3_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS4_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS5_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS6_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS7_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
generalized-ising_wt-IS9_5.0.5.0.0.5_softer_periodic.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
haplotyping-pedigrees_wt-ped2.B.recomb1-0.10-10.wcnf.xz112.84 (6)112.97 (6)8.21 (6)0.53 (6)0.55 (6)8.16 (6)0.38 (6)0.38 (6)2.16 (6)0.7 (6)8.22 (6)
haplotyping-pedigrees_wt-ped2.B.recomb1-0.10-6.wcnf.xz0.6 (7)0.58 (7)8.31 (7)0.59 (7)0.62 (7)8.25 (7)0.42 (7)0.42 (7)1.92 (7)0.85 (7)6.3 (7)
haplotyping-pedigrees_wt-ped2.B.recomb1-0.20-11.wcnf.xz0.84 (7)0.86 (7)17.55 (7)0.88 (7)0.92 (7)17.56 (7)0.7 (7)0.7 (7)3.11 (7)1.62 (7)25.9 (7)
haplotyping-pedigrees_wt-ped2.G.recomb1-0.01-3.wcnf.xz1.75 (5266)1.72 (5266)51.97 (5266)1.78 (5266)1.8 (5266)52.34 (5266)2.13 (5266)2.1 (5266)4.82 (5266)6.83 (5266)28.22 (5266)
haplotyping-pedigrees_wt-ped2.G.recomb1-0.01-4.wcnf.xz2.84 (7009)2.83 (7009)86.07 (7009)3.11 (7009)3.16 (7009)85.88 (7009)4.14 (7009)4.17 (7009)12.31 (7009)9.34 (7009)27.33 (7009)
haplotyping-pedigrees_wt-ped2.G.recomb1-0.10-7.wcnf.xz3.15 (3522)3.13 (3522)67.34 (3522)3.22 (3522)3.25 (3522)68.02 (3522)3.03 (3522)3.08 (3522)39.53 (3522)9.83 (3522)84.21 (3522)
haplotyping-pedigrees_wt-ped2.G.recomb1-0.20-11.wcnf.xz4.04 (4103)4.03 (4103)89.52 (4103)3.95 (4103)3.97 (4103)83.93 (4103)4.54 (4103)4.46 (4103)55.31 (4103)17.86 (4103)145.44 (4103)
haplotyping-pedigrees_wt-ped2.G.recomb1-0.20-13.wcnf.xz5.6 (6430)5.57 (6430)144.47 (6430)6.45 (6430)6.55 (6430)145.97 (6430)6.22 (6430)6.27 (6430)33.56 (6430)25.91 (6430)52.97 (6430)
haplotyping-pedigrees_wt-ped2.G.recomb10-0.01-5.wcnf.xz8.87 (59945)8.96 (59945)515.63 (59945)9.57 (59945)9.68 (59945)522.18 (59945)19.4 (59945)19.26 (59945)129.96 (59945)56.32 (59945)3600.0 (-)
haplotyping-pedigrees_wt-ped2.G.recomb5-0.01-4.wcnf.xz3.93 (21555)3.95 (21555)194.04 (21555)4.56 (21555)4.64 (21555)195.82 (21555)6.44 (21555)6.43 (21555)36.56 (21555)16.47 (21555)41.77 (21555)
haplotyping-pedigrees_wt-ped2.G.recomb5-0.10-6.wcnf.xz7.95 (27380)7.95 (27380)275.93 (27380)8.85 (27380)8.83 (27380)278.81 (27380)11.58 (27380)11.69 (27380)113.53 (27380)32.23 (27380)1074.28 (27380)
haplotyping-pedigrees_wt-ped2.G.recomb5-0.20-14.wcnf.xz10.66 (20976)10.82 (20976)336.68 (20976)10.66 (20976)10.7 (20976)335.52 (20976)14.43 (20976)14.45 (20976)183.73 (20976)58.73 (20976)3600.0 (-)
haplotyping-pedigrees_wt-ped3.F.recomb10-0.01-2.wcnf.xz363.71 (8900)363.77 (8900)609.63 (8900)0.8 (8900)0.81 (8900)110.97 (8900)0.88 (8900)0.89 (8900)26.91 (8900)5.09 (8900)16.09 (8900)
haplotyping-pedigrees_wt-ped3.F.recomb10-0.20-11.wcnf.xz1.17 (4807)1.16 (4807)599.4 (4807)1.41 (4807)1.42 (4807)98.14 (4807)1.29 (4807)1.32 (4807)50.11 (4807)7.16 (4807)341.16 (4807)
haplotyping-pedigrees_wt-ped3.G.recomb10-0.01-3.wcnf.xz1.3 (15414)1.33 (15414)700.2 (15414)1.44 (15414)1.45 (15414)199.12 (15414)2.03 (15414)2.05 (15414)33.09 (15414)13.14 (15414)48.4 (15414)
hs-timetabling_wt-BrazilInstance1.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling_wt-BrazilInstance2.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling_wt-BrazilInstance4.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling_wt-BrazilInstance5.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling_wt-BrazilInstance6.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling_wt-BrazilInstance7.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling_wt-FinlandSecondarySchool.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
hs-timetabling_wt-ItalyInstance1.xml.wcnf.xz678.23 (12)960.69 (12)516.09 (12)154.71 (12)1445.42 (12)15.85 (12)538.22 (12)538.1 (12)64.95 (12)3600.0 (-)3600.0 (-)
hs-timetabling_wt-ItalyInstance4.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00043-00000180.wcnf.xz460.27 (433)445.83 (433)218.33 (433)62.35 (433)63.67 (433)1035.9 (433)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000107.wcnf.xz4.71 (423)4.76 (423)65.25 (423)118.07 (423)118.15 (423)880.87 (423)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000287.wcnf.xz69.02 (782)69.4 (782)140.9 (782)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000300.wcnf.xz258.12 (776)259.06 (776)204.06 (776)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000334.wcnf.xz132.42 (542)131.97 (542)163.82 (542)3600.0 (-)103.12 (542)3600.0 (-)111.26 (542)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000353.wcnf.xz68.38 (554)68.84 (554)120.55 (554)47.95 (554)48.48 (554)836.42 (554)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000377.wcnf.xz117.23 (647)118.0 (647)225.17 (647)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000405.wcnf.xz1.76 (504)1.75 (504)62.37 (504)2.73 (504)2.73 (504)780.95 (504)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000451.wcnf.xz860.73 (928)1160.99 (928)388.81 (928)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000454.wcnf.xz3600.0 (-)805.06 (631)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000468.wcnf.xz88.92 (548)89.0 (548)139.46 (548)3600.0 (-)79.07 (548)3600.0 (-)84.16 (548)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00049-00000614.wcnf.xz34.79 (792)34.64 (792)101.96 (792)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00051-00000007.wcnf.xz613.18 (545)756.43 (545)153.61 (545)134.66 (545)135.97 (545)1137.26 (545)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00051-00000009.wcnf.xz146.38 (633)143.95 (633)174.41 (633)200.72 (633)198.39 (633)1323.09 (633)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
judgment-aggregation-ja-kemeny-preflib-00051-00000011.wcnf.xz1068.52 (694)1372.4 (694)407.68 (694)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability_wt-power-distribution_10_2.wcnf.xz4.07 (60)4.07 (60)9.82 (60)9.03 (60)8.96 (60)0.07 (60)10.24 (60)0.03 (60)0.27 (60)0.07 (60)3.89 (60)
max-realizability_wt-power-distribution_10_4.wcnf.xz600.53 (60)900.5 (60)502.76 (60)100.69 (60)1400.68 (60)2.63 (60)800.22 (60)0.16 (60)2.21 (60)3.43 (60)8.76 (60)
max-realizability_wt-power-distribution_11_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2882.21 (126)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability_wt-power-distribution_12_3.wcnf.xz600.79 (216)900.78 (216)505.88 (216)100.41 (216)1400.4 (216)5.13 (216)800.25 (216)0.19 (216)1.46 (216)1.67 (216)5.59 (216)
max-realizability_wt-power-distribution_12_4.wcnf.xz602.49 (216)902.5 (216)507.33 (216)1.85 (216)1402.05 (216)10.78 (216)2.88 (216)2.85 (216)10.63 (216)11.66 (216)15.33 (216)
max-realizability_wt-power-distribution_12_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
max-realizability_wt-power-distribution_2_2.wcnf.xz0.6 (10)0.6 (10)1.2 (10)3.31 (10)3.28 (10)0.09 (10)1.08 (10)0.03 (10)0.19 (10)0.05 (10)3.99 (10)
max-realizability_wt-power-distribution_3_3.wcnf.xz2.15 (1)2.15 (1)0.61 (1)2.35 (1)2.35 (1)0.09 (1)3.6 (1)0.04 (1)0.06 (1)0.06 (1)4.33 (1)
max-realizability_wt-power-distribution_3_4.wcnf.xz25.69 (1)25.66 (1)5.28 (1)11.95 (1)11.68 (1)0.17 (1)12.15 (1)0.03 (1)0.1 (1)0.05 (1)4.09 (1)
max-realizability_wt-power-distribution_3_5.wcnf.xz98.1 (1)98.29 (1)293.46 (1)100.23 (1)152.93 (1)0.53 (1)270.79 (1)0.08 (1)0.2 (1)0.16 (1)4.23 (1)
max-realizability_wt-power-distribution_3_8.wcnf.xz601.03 (1)901.05 (1)503.08 (1)0.99 (1)1401.25 (1)2.85 (1)0.9 (1)0.89 (1)1.11 (1)5.47 (1)4.84 (1)
max-realizability_wt-power-distribution_7_4.wcnf.xz429.24 (18)426.45 (18)500.38 (18)100.14 (18)1400.15 (18)0.27 (18)800.11 (18)0.09 (18)0.33 (18)0.21 (18)4.33 (18)
max-realizability_wt-power-distribution_9_4.wcnf.xz600.1 (18)900.12 (18)500.24 (18)100.1 (18)1400.12 (18)0.18 (18)800.12 (18)0.09 (18)0.44 (18)0.54 (18)4.12 (18)
max-realizability_wt-power-distribution_9_6.wcnf.xz603.0 (18)903.01 (18)507.25 (18)102.0 (18)1401.91 (18)7.68 (18)802.74 (18)2.69 (18)13.79 (18)66.28 (18)38.32 (18)
max-realizability_wt-robot-navigation_10.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
metro_wt-metro_8_8_5_20_10_6_500_1_0.lp.sm-extracted.wcnf.xz648.95 (82)939.29 (82)734.45 (82)5.51 (82)1405.72 (82)237.81 (82)27.08 (82)27.0 (82)8.06 (82)78.38 (82)311.05 (82)
metro_wt-metro_8_8_5_20_10_6_500_1_1.lp.sm-extracted.wcnf.xz657.4 (89)971.03 (89)952.55 (89)17.26 (89)1417.0 (89)425.14 (89)415.56 (89)413.61 (89)9.83 (89)162.79 (89)356.88 (89)
metro_wt-metro_8_8_5_20_10_6_500_1_3.lp.sm-extracted.wcnf.xz749.23 (138)1070.18 (138)1490.92 (138)458.11 (138)1865.27 (138)966.09 (138)1401.09 (138)1403.56 (138)85.37 (138)2067.26 (138)1014.15 (138)
metro_wt-metro_8_8_5_20_10_6_500_1_7.lp.sm-extracted.wcnf.xz587.43 (89)596.37 (89)629.71 (89)10.1 (89)1410.48 (89)140.81 (89)55.58 (89)54.98 (89)7.68 (89)125.25 (89)308.97 (89)
metro_wt-metro_9_8_7_22_10_6_500_1_1.lp.sm-extracted.wcnf.xz247.25 (52)244.67 (52)612.34 (52)6.01 (52)1406.12 (52)101.21 (52)12.01 (52)11.88 (52)4.05 (52)63.73 (52)22.91 (52)
metro_wt-metro_9_8_7_22_10_6_500_1_2.lp.sm-extracted.wcnf.xz603.34 (60)610.94 (60)607.8 (60)4.02 (60)1404.17 (60)106.26 (60)11.01 (60)11.04 (60)3.56 (60)63.27 (60)24.81 (60)
metro_wt-metro_9_8_7_22_10_6_500_1_4.lp.sm-extracted.wcnf.xz512.75 (64)511.92 (64)599.3 (64)2.91 (64)1141.91 (64)88.35 (64)6.13 (64)6.09 (64)2.26 (64)22.1 (64)22.0 (64)
metro_wt-metro_9_8_7_30_10_6_500_1_0.lp.sm-extracted.wcnf.xz607.97 (41)908.12 (41)623.08 (41)4.48 (41)4.51 (41)121.18 (41)17.67 (41)17.48 (41)5.17 (41)129.23 (41)103.04 (41)
metro_wt-metro_9_8_7_30_10_6_500_1_3.lp.sm-extracted.wcnf.xz607.65 (44)907.63 (44)817.99 (44)8.76 (44)8.83 (44)212.65 (44)40.22 (44)40.41 (44)7.99 (44)185.31 (44)40.07 (44)
metro_wt-metro_9_8_7_30_10_6_500_1_7.lp.sm-extracted.wcnf.xz607.25 (47)907.14 (47)803.34 (47)13.83 (47)13.94 (47)360.46 (47)61.49 (47)63.78 (47)15.0 (47)309.37 (47)46.16 (47)
metro_wt-metro_9_8_7_30_10_6_500_1_8.lp.sm-extracted.wcnf.xz633.0 (55)934.15 (55)387.89 (55)45.73 (55)45.67 (55)400.55 (55)131.63 (55)125.77 (55)32.3 (55)735.98 (55)96.14 (55)
metro_wt-metro_9_9_10_35_13_7_500_2_1.lp.sm-extracted.wcnf.xz313.01 (22)316.3 (22)81.75 (22)2.84 (22)2.81 (22)76.75 (22)12.54 (22)12.65 (22)2.25 (22)40.86 (22)37.9 (22)
metro_wt-metro_9_9_10_35_13_7_500_2_4.lp.sm-extracted.wcnf.xz639.12 (35)933.46 (35)134.9 (35)9.41 (35)9.46 (35)135.73 (35)30.5 (35)29.8 (35)7.83 (35)110.58 (35)40.87 (35)
metro_wt-metro_9_9_10_35_13_7_500_2_6.lp.sm-extracted.wcnf.xz176.82 (15)175.88 (15)70.98 (15)1.72 (15)1.71 (15)73.31 (15)7.65 (15)7.65 (15)3.0 (15)34.31 (15)34.27 (15)
metro_wt-metro_9_9_10_35_13_7_500_2_7.lp.sm-extracted.wcnf.xz621.62 (37)921.31 (37)212.63 (37)17.77 (37)17.7 (37)196.24 (37)99.07 (37)99.09 (37)16.05 (37)379.46 (37)82.29 (37)
mpe_wt-random-net-100-2_network-4.net.wcnf.xz542.4 (88623)543.26 (88623)248.63 (88623)103.7 (88623)313.94 (88623)685.66 (88623)802.93 (88623)2.94 (88623)275.69 (88623)242.4 (88623)3600.0 (-)
mpe_wt-random-net-120-1_network-9.net.wcnf.xz4.35 (109910)4.3 (109910)63.39 (109910)4.24 (109910)4.22 (109910)277.22 (109910)3.3 (109910)0.54 (109910)18.31 (109910)625.5 (109910)3600.0 (-)
mpe_wt-random-net-180-1_network-3.net.wcnf.xz7.42 (163447)7.4 (163447)68.01 (163447)7.3 (163447)7.3 (163447)475.25 (163447)7.47 (163447)0.99 (163447)90.35 (163447)2488.11 (163447)3600.0 (-)
mpe_wt-random-net-20-4_network-3.net.wcnf.xz1.71 (14993)1.72 (14993)1.21 (14993)0.88 (14993)0.9 (14993)25.93 (14993)1.73 (14993)0.08 (14993)1.22 (14993)4.29 (14993)11.28 (14993)
mpe_wt-random-net-20-4_network-7.net.wcnf.xz7.58 (17440)7.62 (17440)12.71 (17440)7.41 (17440)7.39 (17440)159.06 (17440)6.64 (17440)0.86 (17440)1.57 (17440)17.88 (17440)27.37 (17440)
mpe_wt-random-net-220-1_network-4.net.wcnf.xz4.54 (192973)4.55 (192973)66.39 (192973)5.34 (192973)5.37 (192973)572.07 (192973)5.32 (192973)1.71 (192973)133.08 (192973)449.99 (192973)3600.0 (-)
mpe_wt-random-net-30-2_network-10.net.wcnf.xz5.7 (26679)5.7 (26679)14.17 (26679)7.44 (26679)7.44 (26679)122.85 (26679)4.45 (26679)0.23 (26679)3.07 (26679)17.36 (26679)29.95 (26679)
mpe_wt-random-net-30-2_network-4.net.wcnf.xz12.84 (28871)12.8 (28871)10.19 (28871)17.96 (28871)17.93 (28871)197.98 (28871)16.24 (28871)0.23 (28871)2.49 (28871)19.2 (28871)78.67 (28871)
mpe_wt-random-net-30-3_network-3.net.wcnf.xz110.98 (27471)112.43 (27471)198.29 (27471)3600.0 (-)229.87 (27471)306.46 (27471)133.52 (27471)0.72 (27471)12.42 (27471)45.9 (27471)106.26 (27471)
mpe_wt-random-net-30-4_network-9.net.wcnf.xz810.01 (27749)1109.8 (27749)425.68 (27749)111.56 (27749)1411.6 (27749)505.99 (27749)804.46 (27749)4.44 (27749)88.0 (27749)35.79 (27749)128.33 (27749)
mpe_wt-random-net-30-5_network-10.net.wcnf.xz110.22 (20279)109.96 (20279)154.26 (20279)363.58 (20279)161.63 (20279)459.52 (20279)82.23 (20279)3.57 (20279)21.54 (20279)27.15 (20279)35.78 (20279)
mpe_wt-random-net-300-1_network-8.net.wcnf.xz16.64 (275919)16.63 (275919)79.45 (275919)20.91 (275919)20.75 (275919)842.39 (275919)19.15 (275919)3.61 (275919)528.4 (275919)2172.27 (275919)3600.0 (-)
mpe_wt-random-net-40-2_network-10.net.wcnf.xz18.27 (33893)18.2 (33893)27.43 (33893)16.15 (33893)16.21 (33893)155.95 (33893)23.53 (33893)0.32 (33893)2.34 (33893)36.28 (33893)211.5 (33893)
mpe_wt-random-net-50-4_network-2.net.wcnf.xz2060.19 (40906)2059.38 (40906)1427.24 (40906)3600.0 (-)3600.0 (-)920.58 (40906)833.07 (40906)32.89 (40906)472.4 (40906)154.22 (40906)278.8 (40906)
mpe_wt-random-net-50-5_network-8.net.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2866.0 (46535)3600.0 (-)2355.84 (46535)3600.0 (-)
mpmcs_wt-test13--n-2500.wcnf.xz0.08 (10769787)0.07 (10769787)0.14 (10769787)0.25 (10769787)0.26 (10769787)0.4 (10769787)0.3 (10769787)0.03 (10769787)0.21 (10769787)4.8 (10769787)1.87 (10769787)
mpmcs_wt-test17--n-2500.wcnf.xz0.4 (284520)0.4 (284520)0.13 (284520)0.44 (284520)0.44 (284520)0.14 (284520)0.48 (284520)0.03 (284520)0.05 (284520)0.24 (284520)1.28 (284520)
mpmcs_wt-test21--n-5000.wcnf.xz0.07 (217397271)0.06 (217397271)0.13 (217397271)0.06 (217397271)0.06 (217397271)0.09 (217397271)0.11 (217397271)0.04 (217397271)0.23 (217397271)10.19 (217397271)1.26 (217397271)
mpmcs_wt-test25--n-5000.wcnf.xz1.01 (1858)1.01 (1858)1.11 (1858)1.17 (1858)1.15 (1858)1.11 (1858)1.25 (1858)0.52 (1858)0.2 (1858)0.55 (1858)2.22 (1858)
mpmcs_wt-test30--n-5000.wcnf.xz0.77 (970)0.75 (970)1.04 (970)0.81 (970)0.79 (970)0.94 (970)0.93 (970)0.22 (970)0.09 (970)0.6 (970)1.33 (970)
mpmcs_wt-test31--n-5000.wcnf.xz0.83 (2530)0.85 (2530)0.45 (2530)1.03 (2530)1.03 (2530)0.45 (2530)1.1 (2530)0.11 (2530)0.08 (2530)0.85 (2530)1.17 (2530)
mpmcs_wt-test36--n-5000.wcnf.xz0.12 (19249301)0.12 (19249301)0.54 (19249301)0.71 (19249301)0.73 (19249301)1.83 (19249301)0.76 (19249301)0.03 (19249301)0.32 (19249301)2.36 (19249301)1.1 (19249301)
mpmcs_wt-test43--n-7500.wcnf.xz0.32 (1095)0.32 (1095)0.47 (1095)0.37 (1095)0.4 (1095)0.48 (1095)0.42 (1095)0.09 (1095)0.05 (1095)0.4 (1095)2.46 (1095)
mpmcs_wt-test45--n-7500.wcnf.xz0.14 (235979386)0.12 (235979386)0.34 (235979386)0.2 (235979386)0.2 (235979386)2.36 (235979386)0.26 (235979386)0.05 (235979386)0.07 (235979386)38.72 (235979386)1.3 (235979386)
mpmcs_wt-test47--n-7500.wcnf.xz0.11 (644477962)0.1 (644477962)0.42 (644477962)0.18 (644477962)0.18 (644477962)5.64 (644477962)0.28 (644477962)0.08 (644477962)0.29 (644477962)183.06 (644477962)1.29 (644477962)
mpmcs_wt-test52--n-7500.wcnf.xz1.6 (738)1.57 (738)0.89 (738)1.9 (738)1.88 (738)0.89 (738)2.02 (738)0.09 (738)0.12 (738)0.16 (738)1.47 (738)
mpmcs_wt-test63--n-10000.wcnf.xz1.59 (43)1.54 (43)2.97 (43)1.65 (43)1.64 (43)2.81 (43)1.85 (43)0.05 (43)0.12 (43)0.77 (43)5.76 (43)
mpmcs_wt-test64--n-10000.wcnf.xz1.18 (127)1.19 (127)2.89 (127)1.33 (127)1.33 (127)2.72 (127)1.42 (127)0.05 (127)0.11 (127)0.15 (127)8.2 (127)
mpmcs_wt-test75--n-10000.wcnf.xz0.1 (639112478)0.1 (639112478)0.57 (639112478)0.26 (639112478)0.27 (639112478)31.18 (639112478)0.43 (639112478)0.14 (639112478)3.52 (639112478)290.26 (639112478)11.83 (639112478)
mpmcs_wt-test76--n-10000.wcnf.xz0.1 (307525901)0.13 (307525901)0.62 (307525901)0.36 (307525901)0.34 (307525901)20.2 (307525901)0.47 (307525901)0.13 (307525901)1.3 (307525901)124.9 (307525901)8.92 (307525901)
planning-bnn-inventory_2_5.wcnf.xz16.6 (9)16.68 (9)32.28 (9)15.89 (9)15.75 (9)32.3 (9)5.68 (9)5.61 (9)93.8 (9)7.49 (9)15.58 (9)
planning-bnn-inventory_2_6.wcnf.xz21.0 (16)21.05 (16)36.74 (16)22.07 (16)22.09 (16)36.95 (16)5.66 (16)5.62 (16)100.1 (16)35.24 (16)17.27 (16)
planning-bnn-inventory_2_7.wcnf.xz26.11 (18)26.12 (18)62.38 (18)25.35 (18)25.58 (18)62.07 (18)8.23 (18)8.18 (18)102.69 (18)29.53 (18)25.13 (18)
planning-bnn-inventory_4_6.wcnf.xz35.97 (10)36.07 (10)68.01 (10)38.48 (10)38.39 (10)67.83 (10)10.87 (10)10.93 (10)107.91 (10)27.3 (10)35.78 (10)
planning-bnn-inventory_4_7.wcnf.xz47.6 (15)47.46 (15)85.24 (15)44.82 (15)45.21 (15)85.13 (15)12.37 (15)12.37 (15)114.7 (15)75.88 (15)45.87 (15)
planning-bnn-inventory_4_8.wcnf.xz53.81 (17)54.36 (17)112.57 (17)51.09 (17)50.34 (17)112.92 (17)19.65 (17)19.68 (17)126.47 (17)97.6 (17)64.39 (17)
planning_wt-bwt4bc.wcsp.wcnf.xz0.13 (355)0.13 (355)0.15 (355)0.11 (355)0.11 (355)0.04 (355)0.13 (355)0.02 (355)0.02 (355)0.04 (355)1.09 (355)
planning_wt-bwt5bc.wcsp.dir.wcnf.xz0.62 (410)0.62 (410)0.71 (410)0.67 (410)0.64 (410)0.08 (410)0.64 (410)0.04 (410)0.05 (410)0.07 (410)1.1 (410)
planning_wt-bwt7.wcsp.wcnf.xz2.76 (780)2.84 (780)5.3 (780)0.25 (780)0.26 (780)0.66 (780)0.1 (780)0.09 (780)0.37 (780)0.15 (780)1.74 (780)
planning_wt-depot01c.wcsp.dir.wcnf.xz0.1 (1680)0.11 (1680)0.05 (1680)0.11 (1680)0.11 (1680)0.03 (1680)0.09 (1680)0.01 (1680)0.17 (1680)0.07 (1680)1.17 (1680)
planning_wt-depot01c.wcsp.wcnf.xz0.04 (1720)0.04 (1720)0.05 (1720)0.04 (1720)0.02 (1720)0.02 (1720)0.04 (1720)0.02 (1720)0.02 (1720)0.02 (1720)1.16 (1720)
planning_wt-driverlog01bc.wcsp.dir.wcnf.xz0.05 (2245)0.05 (2245)0.06 (2245)0.03 (2245)0.03 (2245)0.07 (2245)0.06 (2245)0.02 (2245)0.19 (2245)0.02 (2245)3.01 (2245)
planning_wt-driverlog02c.wcsp.wcnf.xz8.17 (2010)8.21 (2010)8.08 (2010)7.7 (2010)7.64 (2010)9.37 (2010)6.95 (2010)0.14 (2010)0.85 (2010)0.5 (2010)4.33 (2010)
planning_wt-driverlog04cc.wcsp.wcnf.xz1.7 (2932)1.68 (2932)2.19 (2932)2.1 (2932)2.13 (2932)3.67 (2932)2.11 (2932)0.04 (2932)0.68 (2932)0.58 (2932)4.34 (2932)
planning_wt-driverlog08bc.wcsp.dir.wcnf.xz4.92 (2282)4.89 (2282)11.36 (2282)11.43 (2282)11.6 (2282)12.95 (2282)11.47 (2282)0.08 (2282)0.44 (2282)0.67 (2282)6.6 (2282)
planning_wt-logistics01bc.wcsp.wcnf.xz0.07 (8035)0.07 (8035)0.09 (8035)0.08 (8035)0.07 (8035)0.44 (8035)0.1 (8035)0.01 (8035)0.13 (8035)0.04 (8035)5.29 (8035)
planning_wt-mprime01ac.wcsp.wcnf.xz1.33 (250)1.31 (250)1.95 (250)1.8 (250)1.79 (250)2.47 (250)1.81 (250)0.04 (250)0.29 (250)0.06 (250)5.26 (250)
planning_wt-mprime01cc.wcsp.wcnf.xz1.37 (603)1.37 (603)2.06 (603)1.89 (603)1.89 (603)1.21 (603)1.87 (603)0.04 (603)0.28 (603)0.15 (603)7.52 (603)
planning_wt-mprime04cc.wcsp.dir.wcnf.xz0.16 (931)0.16 (931)0.37 (931)0.31 (931)0.34 (931)0.11 (931)0.37 (931)0.04 (931)0.21 (931)0.1 (931)5.54 (931)
planning_wt-mprime04cc.wcsp.wcnf.xz0.54 (931)0.53 (931)0.48 (931)0.55 (931)0.58 (931)0.11 (931)0.58 (931)0.04 (931)0.2 (931)0.12 (931)1.9 (931)
planning_wt-rovers02cc.wcsp.wcnf.xz0.41 (1668)0.41 (1668)1.1 (1668)1.05 (1668)1.07 (1668)0.05 (1668)1.07 (1668)0.01 (1668)0.24 (1668)0.04 (1668)5.23 (1668)
preference_planning_wt-WCNF_pathways_p01.wcnf.xz0.35 (2)0.35 (2)0.19 (2)0.4 (2)0.38 (2)0.15 (2)0.58 (2)0.01 (2)0.14 (2)0.01 (2)1.15 (2)
preference_planning_wt-WCNF_pathways_p02.wcnf.xz0.94 (3)0.95 (3)0.49 (3)0.29 (3)0.32 (3)0.17 (3)1.43 (3)0.02 (3)0.18 (3)0.02 (3)16.64 (3)
preference_planning_wt-WCNF_pathways_p06.wcnf.xz605.11 (64)905.08 (64)528.22 (64)103.33 (64)1403.81 (64)32.22 (64)3.52 (64)3.5 (64)7.83 (64)19.82 (64)51.98 (64)
preference_planning_wt-WCNF_pathways_p09.wcnf.xz108.93 (157)109.25 (157)318.27 (157)100.24 (157)295.07 (157)6.54 (157)482.33 (157)0.15 (157)1.28 (157)0.56 (157)16.09 (157)
preference_planning_wt-WCNF_pathways_p10.wcnf.xz602.71 (129)902.71 (129)583.02 (129)2.21 (129)1402.36 (129)72.5 (129)2.09 (129)2.09 (129)6.77 (129)10.99 (129)50.66 (129)
preference_planning_wt-WCNF_pathways_p11.wcnf.xz13.54 (118)13.6 (118)73.12 (118)27.74 (118)27.63 (118)3.35 (118)47.77 (118)0.04 (118)0.39 (118)0.16 (118)11.39 (118)
preference_planning_wt-WCNF_pathways_p16.wcnf.xz54.47 (257)53.75 (257)857.94 (257)41.4 (257)1440.36 (257)370.25 (257)55.51 (257)55.62 (257)124.3 (257)412.2 (257)340.84 (257)
preference_planning_wt-WCNF_pathways_p18.wcnf.xz105.79 (228)106.52 (228)277.09 (228)100.3 (228)384.47 (228)23.83 (228)583.4 (228)0.13 (228)1.06 (228)0.35 (228)14.34 (228)
preference_planning_wt-WCNF_pathways_p20.wcnf.xz601.06 (247)783.32 (247)532.04 (247)100.77 (247)1400.76 (247)49.58 (247)0.57 (247)0.57 (247)1.66 (247)4.15 (247)43.39 (247)
preference_planning_wt-WCNF_storage_p02.wcnf.xz377.98 (5)378.8 (5)502.28 (5)100.25 (5)592.42 (5)2.38 (5)800.19 (5)0.17 (5)0.87 (5)0.85 (5)6.96 (5)
preference_planning_wt-WCNF_storage_p03.wcnf.xz603.88 (18)903.85 (18)524.19 (18)105.46 (18)1407.44 (18)39.03 (18)806.66 (18)6.67 (18)5.73 (18)9.04 (18)18.15 (18)
preference_planning_wt-WCNF_storage_p04.wcnf.xz225.67 (38)227.54 (38)316.47 (38)100.46 (38)387.16 (38)10.41 (38)353.98 (38)0.3 (38)0.86 (38)1.02 (38)10.43 (38)
preference_planning_wt-WCNF_storage_p07.wcnf.xz627.04 (277)932.38 (277)675.34 (277)3.48 (277)3.52 (277)165.03 (277)4.67 (277)4.64 (277)10.5 (277)21.21 (277)53.23 (277)
protein_ins_wt-1bpi_.2knt_.g.wcnf.t.wcnf.xz49.66 (2407)49.04 (2407)869.33 (2407)42.1 (2407)42.54 (2407)234.64 (2407)37.36 (2407)37.32 (2407)188.77 (2407)347.9 (2407)164.69 (2407)
protein_ins_wt-1bpi_.5pti_.g.wcnf.t.wcnf.xz41.11 (2974)41.27 (2974)775.6 (2974)40.93 (2974)41.26 (2974)319.23 (2974)12.12 (2974)12.15 (2974)152.26 (2974)130.13 (2974)209.77 (2974)
protein_ins_wt-1knt_.1bpi_.g.wcnf.t.wcnf.xz48.81 (2464)49.12 (2464)912.6 (2464)37.42 (2464)37.56 (2464)385.82 (2464)28.48 (2464)28.54 (2464)174.68 (2464)328.92 (2464)166.48 (2464)
protein_ins_wt-1knt_.2knt_.g.wcnf.t.wcnf.xz8.04 (1767)7.96 (1767)581.4 (1767)8.24 (1767)8.2 (1767)93.4 (1767)1.04 (1767)1.02 (1767)16.0 (1767)7.69 (1767)63.34 (1767)
protein_ins_wt-1knt_.5pti_.g.wcnf.t.wcnf.xz48.01 (2208)47.33 (2208)770.61 (2208)28.36 (2208)28.25 (2208)312.87 (2208)26.89 (2208)27.13 (2208)181.01 (2208)203.69 (2208)107.79 (2208)
protein_ins_wt-1vii_.1cph_.g.wcnf.t.wcnf.xz0.24 (165)0.25 (165)0.91 (165)0.75 (165)0.75 (165)0.45 (165)1.58 (165)0.02 (165)0.48 (165)0.05 (165)3.87 (165)
protein_ins_wt-2knt_.5pti_.g.wcnf.t.wcnf.xz26.8 (2156)26.93 (2156)794.54 (2156)33.04 (2156)33.44 (2156)328.9 (2156)25.62 (2156)25.47 (2156)80.55 (2156)220.15 (2156)115.29 (2156)
protein_ins_wt-3ebx_.1era_.g.wcnf.t.wcnf.xz57.95 (2517)58.61 (2517)845.91 (2517)69.2 (2517)69.29 (2517)617.78 (2517)68.22 (2517)68.54 (2517)207.34 (2517)492.63 (2517)189.89 (2517)
protein_ins_wt-3ebx_.6ebx_.g.wcnf.t.wcnf.xz9.79 (1740)9.91 (1740)634.33 (1740)9.1 (1740)9.14 (1740)194.55 (1740)5.1 (1740)5.08 (1740)46.2 (1740)40.15 (1740)55.42 (1740)
protein_ins_wt-6ebx_.1era_.g.wcnf.t.wcnf.xz17.01 (1646)17.16 (1646)744.96 (1646)36.02 (1646)36.29 (1646)343.26 (1646)24.4 (1646)24.47 (1646)68.58 (1646)147.28 (1646)82.3 (1646)
protein_ins_wt-p1.wcnf.t.wcnf.xz65.29 (2407)65.6 (2407)838.48 (2407)54.26 (2407)54.77 (2407)377.66 (2407)30.74 (2407)30.81 (2407)150.41 (2407)723.75 (2407)171.22 (2407)
protein_ins_wt-sandiaprotein.g.wcnf.t.wcnf.xz28.59 (2248)28.64 (2248)744.73 (2248)33.94 (2248)33.76 (2248)262.97 (2248)17.38 (2248)17.19 (2248)161.8 (2248)159.0 (2248)111.52 (2248)
pseudoBoolean_wt-normalized-factor-size=9-P=101-Q=379.opb.wcnf.xz0.43 (101)0.44 (101)0.15 (101)0.41 (101)0.41 (101)0.06 (101)0.41 (101)0.02 (101)0.18 (101)0.03 (101)1.17 (101)
pseudoBoolean_wt-normalized-factor-size=9-P=127-Q=487.opb.wcnf.xz0.38 (127)0.37 (127)0.08 (127)0.38 (127)0.41 (127)0.05 (127)0.43 (127)0.02 (127)0.17 (127)0.01 (127)1.1 (127)
pseudoBoolean_wt-normalized-factor-size=9-P=149-Q=163.opb.wcnf.xz0.3 (149)0.3 (149)0.3 (149)0.39 (149)0.36 (149)0.05 (149)0.33 (149)0.02 (149)0.2 (149)0.05 (149)1.13 (149)
pseudoBoolean_wt-normalized-factor-size=9-P=17-Q=487.opb.wcnf.xz0.28 (17)0.28 (17)0.07 (17)0.23 (17)0.22 (17)0.06 (17)0.23 (17)0.02 (17)0.02 (17)0.01 (17)1.2 (17)
pseudoBoolean_wt-normalized-factor-size=9-P=173-Q=211.opb.wcnf.xz0.4 (173)0.4 (173)0.33 (173)0.34 (173)0.37 (173)0.06 (173)0.39 (173)0.02 (173)0.19 (173)0.03 (173)1.11 (173)
pseudoBoolean_wt-normalized-factor-size=9-P=223-Q=307.opb.wcnf.xz0.42 (223)0.41 (223)0.29 (223)0.43 (223)0.43 (223)0.07 (223)0.39 (223)0.02 (223)0.21 (223)0.02 (223)1.1 (223)
pseudoBoolean_wt-normalized-factor-size=9-P=23-Q=379.opb.wcnf.xz0.31 (23)0.31 (23)0.09 (23)0.24 (23)0.22 (23)0.05 (23)0.24 (23)0.02 (23)0.03 (23)0.02 (23)1.1 (23)
pseudoBoolean_wt-normalized-factor-size=9-P=251-Q=307.opb.wcnf.xz0.55 (251)0.54 (251)0.29 (251)0.5 (251)0.5 (251)0.07 (251)0.54 (251)0.02 (251)0.19 (251)0.02 (251)1.1 (251)
pseudoBoolean_wt-normalized-factor-size=9-P=31-Q=439.opb.wcnf.xz0.39 (31)0.4 (31)0.06 (31)0.36 (31)0.39 (31)0.05 (31)0.45 (31)0.01 (31)0.16 (31)0.02 (31)1.12 (31)
pseudoBoolean_wt-normalized-factor-size=9-P=317-Q=389.opb.wcnf.xz0.48 (317)0.48 (317)0.58 (317)0.49 (317)0.5 (317)0.05 (317)0.51 (317)0.01 (317)0.18 (317)0.03 (317)1.13 (317)
pseudoBoolean_wt-normalized-factor-size=9-P=347-Q=487.opb.wcnf.xz0.39 (347)0.39 (347)0.17 (347)0.38 (347)0.36 (347)0.04 (347)0.36 (347)0.01 (347)0.16 (347)0.02 (347)1.12 (347)
pseudoBoolean_wt-normalized-factor-size=9-P=397-Q=449.opb.wcnf.xz0.37 (397)0.37 (397)0.44 (397)0.37 (397)0.37 (397)0.05 (397)0.4 (397)0.01 (397)0.17 (397)0.02 (397)1.11 (397)
pseudoBoolean_wt-normalized-factor-size=9-P=443-Q=487.opb.wcnf.xz0.22 (443)0.22 (443)0.09 (443)0.18 (443)0.18 (443)0.04 (443)0.21 (443)0.01 (443)0.15 (443)0.01 (443)1.1 (443)
pseudoBoolean_wt-normalized-factor-size=9-P=89-Q=487.opb.wcnf.xz0.42 (89)0.41 (89)0.18 (89)0.37 (89)0.37 (89)0.05 (89)0.35 (89)0.01 (89)0.16 (89)0.03 (89)1.14 (89)
pseudoBoolean_wt-normalized-mps-v2-20-10-sentoy.opb.msat.wcnf.xz3120.51 (1688)3307.52 (1688)3600.0 (-)3600.0 (-)3600.0 (-)2481.14 (1688)3600.0 (-)3600.0 (-)1912.05 (1688)3600.0 (-)3600.0 (-)
qcp_wt-file_qc_wcnf_N10_H60_0.wcnf.xz3.06 (2)3.04 (2)5.91 (2)3.03 (2)2.98 (2)0.87 (2)5.13 (2)0.12 (2)0.87 (2)0.62 (2)6.33 (2)
qcp_wt-file_qc_wcnf_N10_H60_2.wcnf.xz8.44 (2)8.42 (2)5.19 (2)7.31 (2)7.27 (2)0.6 (2)5.6 (2)0.31 (2)0.97 (2)0.39 (2)1.93 (2)
qcp_wt-file_qc_wcnf_N10_H60_3.wcnf.xz3.45 (2)3.46 (2)2.33 (2)3.44 (2)3.43 (2)1.05 (2)2.45 (2)0.21 (2)0.91 (2)0.32 (2)2.95 (2)
qcp_wt-file_qc_wcnf_N6_H21_2.wcnf.xz0.1 (2)0.09 (2)0.2 (2)0.08 (2)0.08 (2)0.14 (2)0.14 (2)0.02 (2)0.23 (2)0.05 (2)6.54 (2)
qcp_wt-file_qc_wcnf_N6_H21_3.wcnf.xz0.11 (2)0.12 (2)0.1 (2)0.11 (2)0.11 (2)0.1 (2)0.11 (2)0.02 (2)0.37 (2)0.02 (2)6.68 (2)
qcp_wt-file_qc_wcnf_N6_H21_4.wcnf.xz0.19 (2)0.18 (2)0.15 (2)0.18 (2)0.16 (2)0.13 (2)0.06 (2)0.02 (2)0.34 (2)0.02 (2)6.55 (2)
qcp_wt-file_qc_wcnf_N7_H29_0.wcnf.xz0.22 (2)0.22 (2)0.39 (2)0.28 (2)0.3 (2)0.18 (2)0.37 (2)0.03 (2)0.36 (2)0.08 (2)5.48 (2)
qcp_wt-file_qc_wcnf_N7_H29_1.wcnf.xz0.1 (2)0.1 (2)0.13 (2)0.09 (2)0.07 (2)0.19 (2)0.12 (2)0.03 (2)0.39 (2)0.03 (2)5.35 (2)
qcp_wt-file_qc_wcnf_N7_H29_3.wcnf.xz0.65 (2)0.65 (2)0.61 (2)0.64 (2)0.66 (2)0.21 (2)0.34 (2)0.03 (2)0.42 (2)0.12 (2)6.64 (2)
qcp_wt-file_qc_wcnf_N7_H29_4.wcnf.xz0.28 (2)0.28 (2)0.32 (2)0.27 (2)0.27 (2)0.06 (2)0.25 (2)0.02 (2)0.32 (2)0.08 (2)5.38 (2)
qcp_wt-file_qc_wcnf_N8_H38_0.wcnf.xz0.42 (2)0.43 (2)0.87 (2)0.42 (2)0.39 (2)0.37 (2)0.46 (2)0.05 (2)0.56 (2)0.12 (2)5.22 (2)
qcp_wt-file_qc_wcnf_N8_H38_2.wcnf.xz0.69 (2)0.69 (2)0.84 (2)0.65 (2)0.67 (2)0.44 (2)0.62 (2)0.17 (2)0.55 (2)0.32 (2)4.14 (2)
qcp_wt-file_qc_wcnf_N8_H38_4.wcnf.xz0.69 (2)0.68 (2)0.91 (2)0.67 (2)0.64 (2)0.47 (2)0.97 (2)0.15 (2)0.55 (2)0.17 (2)4.18 (2)
qcp_wt-file_qc_wcnf_N9_H48_2.wcnf.xz1.61 (2)1.61 (2)2.07 (2)1.59 (2)1.59 (2)0.62 (2)0.78 (2)0.05 (2)0.68 (2)0.24 (2)4.04 (2)
qcp_wt-file_qc_wcnf_N9_H48_4.wcnf.xz3.16 (2)3.14 (2)7.67 (2)2.92 (2)2.88 (2)0.68 (2)4.53 (2)0.28 (2)0.1 (2)0.45 (2)5.34 (2)
quantum-circuit-ae_5_20_ibmq-casablanca_7.wcnf.xz1316.78 (15)1689.31 (15)547.85 (15)1.87 (15)1402.05 (15)131.65 (15)81.1 (15)81.08 (15)12.19 (15)81.63 (15)134.02 (15)
quantum-circuit-grover-noancilla_4_52_ibmq-casablanca_7.wcnf.xz19.08 (27)19.12 (27)642.63 (27)2.88 (27)2.91 (27)141.78 (27)23.59 (27)23.64 (27)440.93 (27)3600.0 (-)3600.0 (-)
quantum-circuit-grover-v-chain_4_52_ibmq-casablanca_7.wcnf.xz19.09 (27)19.2 (27)641.99 (27)2.87 (27)2.89 (27)147.82 (27)23.82 (27)23.59 (27)442.46 (27)3600.0 (-)3600.0 (-)
quantum-circuit-portfoliovqe_4_18_ibmq-casablanca_7.wcnf.xz1523.61 (24)1675.03 (24)638.77 (24)102.48 (24)1402.43 (24)171.85 (24)802.6 (24)2.52 (24)32.87 (24)3600.0 (-)3600.0 (-)
quantum-circuit-portfoliovqe_4_18_rigetti-agave_8.wcnf.xz816.52 (33)1113.76 (33)534.53 (33)100.24 (33)1400.24 (33)40.08 (33)800.25 (33)0.21 (33)1.54 (33)154.75 (33)562.96 (33)
quantum-circuit-qaoa_4_16_ibmq-casablanca_7.wcnf.xz623.08 (12)930.7 (12)603.23 (12)100.82 (12)1400.91 (12)110.69 (12)801.58 (12)1.53 (12)7.33 (12)34.48 (12)35.35 (12)
quantum-circuit-qft_5_26_ibmq-casablanca_7.wcnf.xz4.5 (15)4.43 (15)709.81 (15)4.48 (15)1408.28 (15)210.44 (15)5.53 (15)5.51 (15)19.54 (15)628.92 (15)255.53 (15)
quantum-circuit-qftentangled_4_21_ibmq-casablanca_7.wcnf.xz1429.56 (15)1763.29 (15)712.52 (15)2.83 (15)1403.0 (15)162.07 (15)40.39 (15)40.27 (15)12.76 (15)163.75 (15)144.87 (15)
quantum-circuit-qftentangled_5_30_ibmq-london_5.wcnf.xz672.18 (27)984.34 (27)606.54 (27)101.64 (27)1401.63 (27)123.82 (27)801.17 (27)1.12 (27)10.25 (27)1748.33 (27)1373.04 (27)
quantum-circuit-qftentangled_5_48_rigetti-agave_8.wcnf.xz1888.48 (24)1889.13 (24)701.51 (24)103.48 (24)1403.38 (24)211.6 (24)804.68 (24)4.7 (24)89.03 (24)1160.06 (24)1600.49 (24)
quantum-circuit-qwalk-v-chain_3_30_ibmq-casablanca_7.wcnf.xz1590.96 (30)1463.32 (30)609.83 (30)2.79 (30)1402.92 (30)110.39 (30)2.23 (30)2.24 (30)32.09 (30)3600.0 (-)3600.0 (-)
quantum-circuit-su2random_4_18_ibmq-casablanca_7.wcnf.xz1656.66 (24)1833.11 (24)675.44 (24)102.42 (24)1402.41 (24)162.07 (24)802.58 (24)2.51 (24)32.88 (24)3600.0 (-)3600.0 (-)
quantum-circuit-su2random_5_30_ibmq-london_5.wcnf.xz1174.71 (51)1490.62 (51)675.53 (51)144.48 (51)1444.78 (51)179.61 (51)801.81 (51)1.8 (51)481.43 (51)3600.0 (-)3600.0 (-)
quantum-circuit-vqe_4_12_ibmq-casablanca_7.wcnf.xz751.2 (15)1134.66 (15)530.49 (15)102.16 (15)1402.09 (15)51.94 (15)802.13 (15)2.08 (15)2.26 (15)265.24 (15)52.93 (15)
quantum-circuit-vqe_5_20_ibmq-london_5.wcnf.xz674.73 (33)1043.43 (33)611.48 (33)101.24 (33)1401.22 (33)109.12 (33)800.88 (33)0.86 (33)7.09 (33)3569.51 (33)3600.0 (-)
railway-transport_wt-bf2030fvcons.wcnf.xz179.07 (3271)180.03 (3271)698.3 (3271)136.86 (3271)136.84 (3271)229.41 (3271)105.96 (3271)105.81 (3271)262.04 (3271)790.74 (3271)98.88 (3271)
railway-transport_wt-bf2030fvslack.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport_wt-f2030.wcnf.xz3600.0 (-)3600.0 (-)1245.97 (4195)1510.04 (4195)1554.5 (4195)731.86 (4195)706.35 (4195)712.18 (4195)3600.0 (-)582.08 (4195)3600.0 (-)
railway-transport_wt-r11.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
railway-transport_wt-wg2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey_wt-ram_k3_n14.ra1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey_wt-ram_k3_n16.ra1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey_wt-ram_k3_n19.ra1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ramsey_wt-ram_k4_n19.ra1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
relational-inference_wt-ar-1.wcnf.xz1.56 (25062)1.57 (25062)2.13 (25062)1.13 (25062)1.14 (25062)2.15 (25062)44.97 (25062)44.35 (25062)0.29 (25062)3600.0 (-)3.85 (25062)
relational-inference_wt-ar-2.wcnf.xz657.04 (394748)956.12 (394748)1369.79 (394748)1303.11 (394748)1307.17 (394748)1431.64 (394748)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
relational-inference_wt-ar-3.wcnf.xz0.51 (43814)0.51 (43814)2.92 (43814)0.87 (43814)0.87 (43814)7.19 (43814)107.26 (43814)106.36 (43814)0.14 (43814)3600.0 (-)3.06 (43814)
relational-inference_wt-pa-1.wcnf.xz500.44 (820)514.2 (820)1266.98 (820)858.37 (820)848.37 (820)1367.59 (820)1788.53 (820)1794.35 (820)609.61 (820)3600.0 (-)1380.17 (820)
relational-inference_wt-pa-2.wcnf.xz1584.26 (143)1760.88 (143)1502.63 (143)3600.0 (-)3600.0 (-)1580.84 (143)3600.0 (-)3600.0 (-)389.83 (143)3600.0 (-)3600.0 (-)
relational-inference_wt-pa-3.wcnf.xz1638.12 (192)1689.86 (192)1888.13 (192)3600.0 (-)3600.0 (-)1988.99 (192)3600.0 (-)3600.0 (-)2690.07 (192)3600.0 (-)3600.0 (-)
relational-inference_wt-rc-2.wcnf.xz16.81 (5722)16.68 (5722)505.91 (5722)35.82 (5722)35.84 (5722)535.48 (5722)96.21 (5722)96.08 (5722)3600.0 (-)3600.0 (-)9.07 (5722)
relational-inference_wt-rc-3.wcnf.xz17.43 (5722)17.76 (5722)487.3 (5722)45.4 (5722)45.1 (5722)502.06 (5722)96.82 (5722)97.01 (5722)3600.0 (-)3600.0 (-)9.03 (5722)
rna-alignment_wt-k100-18-95.rna.pre.wcnf.xz14.89 (1930)14.91 (1930)646.43 (1930)15.55 (1930)15.89 (1930)162.03 (1930)1.59 (1930)1.6 (1930)37.78 (1930)418.62 (1930)2722.75 (1930)
rna-alignment_wt-k100-35-86.rna.pre.wcnf.xz24.95 (2194)25.22 (2194)664.54 (2194)26.06 (2194)26.51 (2194)121.56 (2194)3.74 (2194)3.73 (2194)52.34 (2194)398.27 (2194)127.09 (2194)
rna-alignment_wt-k100-42-56.rna.pre.wcnf.xz17.68 (1838)17.65 (1838)671.75 (1838)16.23 (1838)16.63 (1838)163.45 (1838)1.59 (1838)1.6 (1838)38.82 (1838)356.15 (1838)3600.0 (-)
rna-alignment_wt-k100-67-93.rna.pre.wcnf.xz10.04 (1682)10.23 (1682)695.36 (1682)11.6 (1682)11.63 (1682)135.65 (1682)1.64 (1682)1.63 (1682)18.52 (1682)323.12 (1682)3600.0 (-)
rna-alignment_wt-k100-71-84.rna.pre.wcnf.xz13.72 (1935)13.85 (1935)648.74 (1935)13.78 (1935)13.96 (1935)138.58 (1935)1.14 (1935)1.14 (1935)20.16 (1935)226.81 (1935)919.69 (1935)
rna-alignment_wt-k50-28-88.rna.pre.wcnf.xz39.96 (522)39.36 (522)35.4 (522)0.3 (522)45.72 (522)2.7 (522)60.77 (522)0.09 (522)1.75 (522)5.48 (522)42.07 (522)
rna-alignment_wt-k50-4-57.rna.pre.wcnf.xz32.65 (439)33.12 (439)19.92 (439)38.25 (439)36.53 (439)1.57 (439)34.23 (439)0.06 (439)0.84 (439)3.09 (439)16.51 (439)
rna-alignment_wt-random-dif-13.rna.pre.wcnf.xz14.79 (604)14.68 (604)14.3 (604)15.23 (604)14.83 (604)3.87 (604)28.1 (604)0.03 (604)1.36 (604)3.62 (604)6.7 (604)
rna-alignment_wt-random-dif-19.rna.pre.wcnf.xz15.18 (432)15.28 (432)12.68 (432)9.39 (432)9.19 (432)2.76 (432)14.22 (432)0.04 (432)0.65 (432)1.9 (432)5.49 (432)
rna-alignment_wt-random-dif-5.rna.pre.wcnf.xz135.64 (730)136.48 (730)77.26 (730)91.55 (730)90.18 (730)9.96 (730)106.3 (730)0.09 (730)3.54 (730)13.17 (730)19.33 (730)
rna-alignment_wt-random-dif-9.rna.pre.wcnf.xz3.87 (456)3.92 (456)4.67 (456)4.16 (456)4.06 (456)1.61 (456)8.09 (456)0.02 (456)0.38 (456)2.1 (456)3.44 (456)
rna-alignment_wt-random-same-17.rna.pre.wcnf.xz5.98 (434)5.94 (434)4.81 (434)6.29 (434)6.13 (434)0.69 (434)6.71 (434)0.04 (434)0.48 (434)1.75 (434)4.61 (434)
rna-alignment_wt-random-same-18.rna.pre.wcnf.xz14.32 (894)14.28 (894)0.87 (894)14.79 (894)14.4 (894)0.84 (894)17.72 (894)0.06 (894)0.58 (894)5.87 (894)7.96 (894)
rna-alignment_wt-random-same-20.rna.pre.wcnf.xz10.04 (463)10.09 (463)10.52 (463)8.53 (463)8.27 (463)0.72 (463)16.59 (463)0.05 (463)0.53 (463)1.59 (463)6.84 (463)
rna-alignment_wt-random-same-5.rna.pre.wcnf.xz7.11 (456)7.11 (456)4.05 (456)7.04 (456)6.77 (456)0.51 (456)6.54 (456)0.04 (456)0.63 (456)1.23 (456)5.01 (456)
setcover_wt-rail2536.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
setcover_wt-rail4284.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
setcover_wt-rail4872.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
setcover_wt-rail507.wcnf.xz178.01 (174)176.44 (174)224.18 (174)3600.0 (-)325.87 (174)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
setcover_wt-rail516.wcnf.xz87.8 (182)86.9 (182)80.65 (182)7.91 (182)7.94 (182)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
setcover_wt-rail582.wcnf.xz62.96 (211)62.24 (211)115.6 (211)63.16 (211)63.69 (211)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
shiftdesign_wt-limits-10-10_data-1_inst-005_60m.sm-extracted.wcnf.xz14.59 (1674983)14.65 (1674983)105.58 (1674983)14.76 (1674983)14.98 (1674983)105.11 (1674983)21.32 (1674983)21.85 (1674983)84.12 (1674983)12.88 (1674983)78.85 (1674983)
shiftdesign_wt-limits-10-10_data-1_inst-031_60m.sm-extracted.wcnf.xz40.8 (326)41.83 (326)13.64 (326)1.74 (326)1.73 (326)13.09 (326)0.52 (326)0.53 (326)5.72 (326)1.3 (326)6.11 (326)
shiftdesign_wt-limits-10-10_data-1_inst-048_60m.sm-extracted.wcnf.xz13.87 (1592498)13.87 (1592498)55.29 (1592498)13.97 (1592498)14.0 (1592498)55.97 (1592498)8.56 (1592498)8.59 (1592498)85.81 (1592498)8.05 (1592498)94.97 (1592498)
shiftdesign_wt-limits-10-10_data-1_inst-068_30m.sm-extracted.wcnf.xz32.57 (5536663)32.8 (5536663)2194.2 (5536663)35.06 (5536663)35.03 (5536663)253.04 (5536663)108.29 (5536663)106.94 (5536663)133.66 (5536663)69.09 (5536663)288.67 (5536663)
shiftdesign_wt-limits-10-10_data-1_inst-081_60m.sm-extracted.wcnf.xz15.23 (501)15.31 (501)12.89 (501)1.6 (501)1.6 (501)12.91 (501)0.54 (501)0.54 (501)4.34 (501)2.23 (501)6.17 (501)
shiftdesign_wt-limits-10-10_data-1_inst-084_30m.sm-extracted.wcnf.xz231.87 (28414665)230.18 (28414665)2360.53 (28414665)338.51 (28414665)336.59 (28414665)2644.61 (28414665)170.77 (28414665)169.91 (28414665)3600.0 (-)205.75 (28414665)341.28 (28414665)
shiftdesign_wt-limits-10-10_data-1_inst-099_60m.sm-extracted.wcnf.xz4.28 (761)4.25 (761)13.36 (761)4.32 (761)4.29 (761)13.5 (761)0.87 (761)0.87 (761)16.16 (761)3.88 (761)7.59 (761)
shiftdesign_wt-limits-10-10_data-1_inst-137_30m.sm-extracted.wcnf.xz108.97 (16167552)109.36 (16167552)1129.2 (16167552)132.75 (16167552)132.92 (16167552)1204.18 (16167552)375.18 (16167552)371.81 (16167552)492.22 (16167552)194.97 (16167552)328.41 (16167552)
shiftdesign_wt-limits-10-10_data-1_inst-182_30m.sm-extracted.wcnf.xz139.33 (14625180)137.81 (14625180)958.4 (14625180)167.79 (14625180)166.19 (14625180)1039.16 (14625180)89.75 (14625180)88.43 (14625180)482.94 (14625180)202.07 (14625180)343.98 (14625180)
shiftdesign_wt-limits-10-10_data-2_inst-003_30m.sm-extracted.wcnf.xz231.44 (29513967)231.16 (29513967)2689.21 (29513967)372.81 (29513967)368.32 (29513967)2956.6 (29513967)1236.83 (29513967)1275.4 (29513967)2700.74 (29513967)708.44 (29513967)417.99 (29513967)
shiftdesign_wt-limits-10-10_data-2_inst-025_30m.sm-extracted.wcnf.xz3600.0 (-)718.48 (42366243)1435.65 (42366243)1253.24 (42366243)1148.9 (42366243)1612.86 (42366243)1155.74 (42366243)1162.1 (42366243)3600.0 (-)1595.33 (42366243)827.95 (42366243)
shiftdesign_wt-limits-10-10_data-2_inst-030_30m.sm-extracted.wcnf.xz329.14 (33006575)332.7 (33006575)2565.9 (33006575)1065.78 (33006575)1076.42 (33006575)2667.2 (33006575)1017.05 (33006575)1027.41 (33006575)3039.31 (33006575)910.37 (33006575)398.64 (33006575)
shiftdesign_wt-limits-10-10_data-3_inst-002_30m.sm-extracted.wcnf.xz107.04 (24222877)106.53 (24222877)2562.77 (24222877)112.45 (24222877)113.54 (24222877)1851.6 (24222877)134.53 (24222877)134.62 (24222877)364.8 (24222877)162.68 (24222877)3600.0 (-)
shiftdesign_wt-limits-10-10_data-3_inst-003_30m.sm-extracted.wcnf.xz119.69 (24657583)119.17 (24657583)2056.57 (24657583)142.58 (24657583)140.52 (24657583)2317.46 (24657583)318.16 (24657583)317.41 (24657583)531.54 (24657583)310.85 (24657583)3600.0 (-)
shiftdesign_wt-limits-10-10_data-4_inst-003_60m.sm-extracted.wcnf.xz206.17 (9547398)210.13 (9547398)1249.45 (9547398)362.45 (9547398)366.24 (9547398)1172.22 (9547398)681.54 (9547398)663.59 (9547398)2552.61 (9547398)1103.99 (9547398)1378.48 (9547398)
spot5_wt-1401.wcsp.log.wcnf.xz1573.94 (459106)3600.0 (-)3600.0 (-)3204.35 (459106)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)607.72 (459106)3600.0 (-)
spot5_wt-1403.wcsp.dir.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1425.44 (459246)2713.48 (459246)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)74.62 (459246)3600.0 (-)
spot5_wt-1403.wcsp.log.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3223.28 (459246)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)673.24 (459246)3600.0 (-)
spot5_wt-1405.wcsp.dir.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1717.47 (459415)3021.18 (459415)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)114.69 (459415)3600.0 (-)
spot5_wt-1502.wcsp.log.wcnf.xz0.07 (28042)0.07 (28042)0.1 (28042)0.07 (28042)0.06 (28042)0.13 (28042)0.07 (28042)0.01 (28042)0.17 (28042)0.02 (28042)4.94 (28042)
spot5_wt-1506.wcsp.log.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1115.51 (354517)2603.8 (354517)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)198.28 (354517)3600.0 (-)
spot5_wt-28.wcsp.dir.wcnf.xz151.54 (270105)150.89 (270105)61.77 (270105)1.33 (270105)1.33 (270105)1136.49 (270105)1.55 (270105)123.61 (270105)451.0 (270105)18.99 (270105)1373.3 (270105)
spot5_wt-29.wcsp.log.wcnf.xz0.31 (8059)0.31 (8059)0.25 (8059)0.28 (8059)0.26 (8059)0.26 (8059)0.3 (8059)0.01 (8059)0.38 (8059)0.03 (8059)5.05 (8059)
spot5_wt-404.wcsp.dir.wcnf.xz0.33 (114)0.33 (114)0.16 (114)0.13 (114)0.15 (114)0.47 (114)0.15 (114)0.02 (114)0.4 (114)0.14 (114)6.65 (114)
spot5_wt-414.wcsp.dir.wcnf.xz38.37 (38478)38.77 (38478)65.18 (38478)5.52 (38478)5.38 (38478)62.97 (38478)5.66 (38478)0.09 (38478)4.87 (38478)2.83 (38478)38.96 (38478)
spot5_wt-42.wcsp.dir.wcnf.xz11.02 (155050)11.05 (155050)8.52 (155050)0.49 (155050)0.46 (155050)23.41 (155050)0.55 (155050)0.33 (155050)26.58 (155050)1.27 (155050)10.55 (155050)
spot5_wt-5.wcsp.log.wcnf.xz836.72 (261)1153.68 (261)1033.64 (261)733.1 (261)2036.83 (261)1167.45 (261)3600.0 (-)3600.0 (-)94.04 (261)1410.51 (261)1526.16 (261)
spot5_wt-505.wcsp.dir.wcnf.xz18.08 (21253)18.07 (21253)24.27 (21253)0.81 (21253)0.78 (21253)25.21 (21253)1.1 (21253)0.03 (21253)2.05 (21253)1.04 (21253)20.04 (21253)
spot5_wt-505.wcsp.log.wcnf.xz604.22 (21253)904.21 (21253)521.11 (21253)100.07 (21253)1400.34 (21253)21.45 (21253)800.04 (21253)0.03 (21253)4.56 (21253)1.55 (21253)7.01 (21253)
spot5_wt-54.wcsp.log.wcnf.xz0.42 (37)0.42 (37)0.56 (37)0.35 (37)0.37 (37)0.51 (37)0.47 (37)0.02 (37)0.33 (37)0.07 (37)5.04 (37)
staff-scheduling_wt-instance1.wcnf.xz20.48 (607)20.44 (607)25.04 (607)25.9 (607)25.76 (607)4.1 (607)27.45 (607)0.09 (607)0.71 (607)0.28 (607)5.29 (607)
staff-scheduling_wt-instance10.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling_wt-instance11.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling_wt-instance12.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling_wt-instance2.wcnf.xz2219.15 (828)2164.42 (828)2113.55 (828)747.35 (828)2046.92 (828)1177.64 (828)1586.8 (828)784.08 (828)969.29 (828)1681.2 (828)790.71 (828)
staff-scheduling_wt-instance3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)2648.61 (1002)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling_wt-instance4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling_wt-instance5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling_wt-instance6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling_wt-instance7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling_wt-instance8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
staff-scheduling_wt-instance9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_100.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_150.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_200.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_66.wcnf.xz3174.47 (2)3195.01 (2)1808.73 (2)3600.0 (-)3600.0 (-)1734.93 (2)3600.0 (-)3600.0 (-)1063.24 (2)3600.0 (-)3600.0 (-)
switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_68.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_70.wcnf.xz901.32 (6)1203.61 (6)1102.36 (6)1135.33 (6)1142.8 (6)1152.0 (6)3600.0 (-)3600.0 (-)346.41 (6)3600.0 (-)1847.09 (6)
switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_72.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2768.61 (2)3600.0 (-)3600.0 (-)
switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_80.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
switchingactivitymaximization-SwitchingActivityMaximization_OpenRISC1200_90.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
synplicate-AutoTaxi-run1-ms_0_62_0.9333333333333333_erm.wcnf.xz602.67 (202)902.69 (202)575.36 (202)101.74 (202)1401.19 (202)75.55 (202)801.94 (202)1.96 (202)17.42 (202)33.73 (202)18.72 (202)
synplicate-AutoTaxi-run2-ms_0_41_0.9429429429429429_erm.wcnf.xz601.34 (219)901.34 (219)569.35 (219)109.79 (219)1403.1 (219)69.0 (219)801.56 (219)1.57 (219)22.69 (219)91.78 (219)43.7 (219)
synplicate-AutoTaxi-run2-ms_0_62_0.9429429429429429_erm.wcnf.xz600.88 (198)900.89 (198)577.02 (198)103.01 (198)1401.36 (198)77.27 (198)801.85 (198)1.89 (198)8.32 (198)45.92 (198)15.62 (198)
synplicate-AutoTaxi-run2-ms_0_77_0.918918918918919_erm.wcnf.xz601.7 (184)901.7 (184)579.64 (184)112.96 (184)1411.58 (184)79.49 (184)882.9 (184)86.36 (184)40.68 (184)101.3 (184)113.42 (184)
synplicate-AutoTaxi-run3-ms_0_47_0.96_erm.wcnf.xz600.47 (204)900.5 (204)508.96 (204)100.57 (204)1401.02 (204)10.08 (204)800.55 (204)0.56 (204)2.05 (204)6.64 (204)13.19 (204)
synplicate-AutoTaxi-run3-ms_0_50_0.96_erm.wcnf.xz600.55 (201)900.57 (201)508.57 (201)100.43 (201)1400.46 (201)9.25 (201)800.78 (201)0.65 (201)1.94 (201)4.55 (201)8.5 (201)
synplicate-AutoTaxi-run3-ms_0_71_0.92_erm.wcnf.xz601.69 (181)901.67 (181)568.63 (181)102.15 (181)1402.11 (181)79.84 (181)806.95 (181)6.98 (181)6.22 (181)25.08 (181)25.09 (181)
synplicate-AutoTaxi-run4-ms_0_100_0_erm.wcnf.xz604.75 (287)904.77 (287)533.1 (287)101.51 (287)1402.88 (287)43.52 (287)802.13 (287)2.18 (287)3.38 (287)15.88 (287)15.14 (287)
synplicate-AutoTaxi-run4-ms_0_84_0.9015384615384615_erm.wcnf.xz606.53 (296)906.57 (296)553.13 (296)113.87 (296)1413.09 (296)61.01 (296)814.12 (296)14.26 (296)19.69 (296)120.23 (296)59.0 (296)
synplicate-AutoTaxi-run4-ms_0_96_0.8861538461538462_erm.wcnf.xz604.78 (289)904.71 (289)536.64 (289)102.74 (289)1402.71 (289)27.83 (289)803.45 (289)3.57 (289)4.45 (289)26.11 (289)12.74 (289)
synplicate-BankLoan-run1-ms_0_28_0.955_erm.wcnf.xz602.22 (284)902.21 (284)570.2 (284)140.44 (284)1438.81 (284)70.78 (284)821.46 (284)22.34 (284)18.32 (284)177.27 (284)35.99 (284)
synplicate-BankLoan-run2-ms_0_28_0.9671232876712329_erm.wcnf.xz602.09 (281)902.03 (281)528.94 (281)105.55 (281)1405.36 (281)28.49 (281)803.48 (281)3.59 (281)12.89 (281)76.76 (281)19.33 (281)
synplicate-BankLoan-run2-ms_0_65_0.9671232876712329_erm.wcnf.xz601.99 (245)901.95 (245)546.51 (245)113.1 (245)1412.71 (245)46.72 (245)830.8 (245)32.05 (245)12.08 (245)35.44 (245)12.32 (245)
synplicate-BankLoan-run2-ms_0_80_0.8191780821917808_erm.wcnf.xz601.83 (231)901.82 (231)533.17 (231)106.2 (231)1406.3 (231)34.71 (231)936.43 (231)142.82 (231)8.94 (231)64.02 (231)21.37 (231)
synplicate-BankLoan-run3-ms_0_38_0.9123287671232877_erm.wcnf.xz601.66 (276)901.67 (276)567.32 (276)163.23 (276)1461.18 (276)67.68 (276)805.06 (276)5.04 (276)10.76 (276)37.95 (276)15.89 (276)
synplicate-BankLoan-run3-ms_0_80_0.8273972602739726_erm.wcnf.xz602.44 (234)902.42 (234)541.61 (234)131.05 (234)1426.37 (234)63.83 (234)828.92 (234)30.41 (234)37.9 (234)161.12 (234)36.52 (234)
synplicate-BankLoan-run3-ms_0_86_0.8273972602739726_erm.wcnf.xz602.21 (229)902.21 (229)531.62 (229)103.22 (229)1403.15 (229)41.06 (229)804.89 (229)5.02 (229)10.64 (229)61.6 (229)24.76 (229)
synplicate-BankLoan-run4-ms_0_62_0.9325657894736842_erm.wcnf.xz604.25 (254)904.28 (254)571.24 (254)107.22 (254)1405.52 (254)69.9 (254)802.77 (254)2.86 (254)26.44 (254)51.68 (254)16.08 (254)
synplicate-BankLoan-run4-ms_0_71_0.9325657894736842_erm.wcnf.xz602.8 (245)902.79 (245)570.82 (245)3299.09 (245)3600.0 (-)70.7 (245)801.7 (245)1.75 (245)22.34 (245)65.2 (245)16.13 (245)
synplicate-TheoremProver-run1-ms_0_100_0_erm.wcnf.xz2.45 (289)2.46 (289)1.21 (289)11.11 (289)11.15 (289)0.07 (289)27.46 (289)0.03 (289)0.19 (289)0.12 (289)5.4 (289)
synplicate-TheoremProver-run1-ms_0_36_0.906060606060606_erm.wcnf.xz600.16 (353)900.15 (353)502.4 (353)100.12 (353)1400.19 (353)2.49 (353)800.18 (353)0.17 (353)0.88 (353)2.18 (353)5.9 (353)
synplicate-TheoremProver-run2-ms_0_80_0.8582278481012658_erm.wcnf.xz600.57 (277)900.57 (277)509.21 (277)101.4 (277)1401.31 (277)9.1 (277)803.28 (277)3.32 (277)6.43 (277)8.9 (277)9.84 (277)
synplicate-TheoremProver-run3-ms_0_17_0.8771653543307086_erm.wcnf.xz600.21 (341)900.22 (341)500.49 (341)100.27 (341)1400.25 (341)0.43 (341)800.12 (341)0.11 (341)0.4 (341)0.83 (341)5.57 (341)
synplicate-TheoremProver-run3-ms_0_32_0.8771653543307086_erm.wcnf.xz600.56 (326)900.58 (326)504.74 (326)101.12 (326)1401.12 (326)4.26 (326)801.08 (326)1.08 (326)1.55 (326)4.58 (326)9.16 (326)
synplicate-TheoremProver-run3-ms_0_68_0.8488188976377953_erm.wcnf.xz600.71 (290)900.7 (290)516.61 (290)103.2 (290)1403.32 (290)15.77 (290)801.45 (290)1.17 (290)2.39 (290)9.38 (290)9.93 (290)
tcp_wt-tcp_students_105_it_10.wcnf.xz1.44 (3510)1.46 (3510)3.07 (3510)0.18 (3510)2.0 (3510)3.06 (3510)0.21 (3510)0.21 (3510)0.34 (3510)0.29 (3510)2.94 (3510)
tcp_wt-tcp_students_105_it_12.wcnf.xz52.44 (3327)52.35 (3327)66.08 (3327)0.47 (3327)58.67 (3327)60.14 (3327)0.55 (3327)0.54 (3327)0.7 (3327)1.59 (3327)244.58 (3327)
tcp_wt-tcp_students_105_it_6.wcnf.xz1734.53 (2994)2047.17 (2994)2299.45 (2994)1222.14 (2994)2631.41 (2994)1491.27 (2994)1515.22 (2994)1499.26 (2994)259.58 (2994)1578.45 (2994)3558.04 (2994)
tcp_wt-tcp_students_105_it_8.wcnf.xz672.63 (3324)973.04 (3324)538.65 (3324)20.47 (3324)1420.17 (3324)383.03 (3324)28.39 (3324)28.62 (3324)71.65 (3324)170.42 (3324)369.88 (3324)
tcp_wt-tcp_students_105_it_9.wcnf.xz864.83 (3216)1164.4 (3216)480.93 (3216)16.61 (3216)1416.22 (3216)540.5 (3216)31.05 (3216)30.9 (3216)52.35 (3216)500.95 (3216)601.26 (3216)
tcp_wt-tcp_students_112_it_13.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
tcp_wt-tcp_students_112_it_2.wcnf.xz996.68 (3585)1278.99 (3585)1332.5 (3585)63.17 (3585)1462.04 (3585)789.03 (3585)61.02 (3585)62.07 (3585)202.25 (3585)2125.94 (3585)2914.82 (3585)
tcp_wt-tcp_students_91_it_12.wcnf.xz604.35 (2166)904.27 (2166)162.57 (2166)1.41 (2166)549.84 (2166)223.64 (2166)0.85 (2166)0.85 (2166)5.53 (2166)6.19 (2166)186.37 (2166)
tcp_wt-tcp_students_91_it_13.wcnf.xz1257.66 (2730)1562.84 (2730)630.45 (2730)112.56 (2730)1511.54 (2730)698.47 (2730)270.55 (2730)274.13 (2730)529.8 (2730)3470.57 (2730)3600.0 (-)
tcp_wt-tcp_students_91_it_14.wcnf.xz624.91 (2208)925.1 (2208)233.46 (2208)4.27 (2208)1164.14 (2208)324.06 (2208)5.08 (2208)5.1 (2208)17.57 (2208)47.09 (2208)151.97 (2208)
tcp_wt-tcp_students_91_it_2.wcnf.xz408.11 (3024)407.86 (3024)88.47 (3024)0.4 (3024)219.6 (3024)69.75 (3024)0.36 (3024)0.37 (3024)0.82 (3024)3.95 (3024)218.34 (3024)
tcp_wt-tcp_students_91_it_5.wcnf.xz633.82 (2616)933.09 (2616)166.24 (2616)1.81 (2616)1401.85 (2616)171.45 (2616)2.13 (2616)2.13 (2616)12.81 (2616)57.48 (2616)152.79 (2616)
tcp_wt-tcp_students_98_it_14.wcnf.xz2376.96 (3063)2376.44 (3063)3600.0 (-)361.72 (3063)1757.93 (3063)3600.0 (-)1403.32 (3063)1365.69 (3063)679.36 (3063)3600.0 (-)3600.0 (-)
tcp_wt-tcp_students_98_it_2.wcnf.xz2920.19 (2580)2903.83 (2580)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)736.68 (2580)743.79 (2580)1061.81 (2580)3600.0 (-)3600.0 (-)
tcp_wt-tcp_students_98_it_3.wcnf.xz778.01 (3024)1076.45 (3024)1611.32 (3024)74.39 (3024)1473.71 (3024)1322.03 (3024)127.09 (3024)129.9 (3024)128.77 (3024)280.11 (3024)933.08 (3024)
timetabling_wt-EA09.lp.sm-extracted.wcnf.xz43.25 (2)42.95 (2)305.13 (2)39.56 (2)39.42 (2)306.38 (2)153.42 (2)153.89 (2)50.61 (2)504.02 (2)316.05 (2)
timetabling_wt-Udine2.lp.sm-extracted.wcnf.xz23.22 (4)23.21 (4)330.03 (4)23.1 (4)23.07 (4)344.42 (4)137.73 (4)140.01 (4)44.95 (4)3600.0 (-)3517.42 (4)
timetabling_wt-comp02.wcnf.xz3600.0 (-)3600.0 (-)1145.12 (24)1946.41 (24)1953.02 (24)862.11 (24)446.27 (24)445.74 (24)3600.0 (-)3600.0 (-)3600.0 (-)
timetabling_wt-comp08.lp.sm-extracted.wcnf.xz12.08 (19)12.16 (19)417.12 (19)12.34 (19)12.45 (19)421.33 (19)83.41 (19)85.85 (19)266.01 (19)1164.47 (19)3600.0 (-)
timetabling_wt-comp09.wcnf.xz3600.0 (-)3600.0 (-)1069.31 (96)3600.0 (-)3600.0 (-)1972.61 (96)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
timetabling_wt-comp10.wcnf.xz15.27 (4)15.56 (4)80.86 (4)14.55 (4)14.83 (4)76.52 (4)29.73 (4)29.31 (4)35.68 (4)1372.06 (4)3600.0 (-)
timetabling_wt-comp12.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
timetabling_wt-comp13.lp.sm-extracted.wcnf.xz17.39 (31)17.67 (31)763.97 (31)15.38 (31)15.39 (31)811.46 (31)144.95 (31)144.48 (31)2026.31 (31)2450.69 (31)3600.0 (-)
timetabling_wt-comp14.wcnf.xz6.94 (51)6.88 (51)237.59 (51)7.45 (51)7.47 (51)213.17 (51)5.14 (51)5.17 (51)742.29 (51)38.96 (51)314.45 (51)
timetabling_wt-dds4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
upgradeability_wt-deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcnf.xz0.08 (4569599)0.1 (4569599)12.8 (4569599)0.25 (4569599)0.26 (4569599)35.06 (4569599)0.35 (4569599)0.21 (4569599)2.63 (4569599)400.73 (4569599)6.57 (4569599)
upgradeability_wt-f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.wcnf.xz0.08 (4661351)0.08 (4661351)4.12 (4661351)0.15 (4661351)0.13 (4661351)5.6 (4661351)0.25 (4661351)0.06 (4661351)0.72 (4661351)126.57 (4661351)5.87 (4661351)
upgradeability_wt-mancoosi-test-i10d0u98-16.wcnf.xz0.39 (1780806)0.39 (1780806)1.88 (1780806)0.48 (1780806)0.47 (1780806)1.81 (1780806)0.17 (1780806)0.16 (1780806)0.09 (1780806)0.43 (1780806)1.35 (1780806)
upgradeability_wt-mancoosi-test-i10d0u98-8.wcnf.xz0.42 (1780768)0.41 (1780768)1.8 (1780768)0.48 (1780768)0.48 (1780768)1.83 (1780768)0.17 (1780768)0.16 (1780768)0.07 (1780768)0.42 (1780768)1.36 (1780768)
upgradeability_wt-mancoosi-test-i2000d0u98-36.wcnf.xz0.44 (332566184)0.47 (332566184)4.26 (332566184)0.53 (332566184)0.55 (332566184)3.95 (332566184)0.32 (332566184)0.32 (332566184)0.35 (332566184)3.5 (332566184)35.04 (332566184)
upgradeability_wt-mancoosi-test-i2000d0u98-37.wcnf.xz0.44 (362510425)0.47 (362510425)3.7 (362510425)0.54 (362510425)0.54 (362510425)18.08 (362510425)0.31 (362510425)0.31 (362510425)0.36 (362510425)14.75 (362510425)30.9 (362510425)
upgradeability_wt-mancoosi-test-i2000d0u98-39.wcnf.xz0.44 (347556415)0.47 (347556415)4.29 (347556415)0.54 (347556415)0.55 (347556415)9.65 (347556415)0.3 (347556415)0.3 (347556415)0.37 (347556415)5.01 (347556415)18.33 (347556415)
upgradeability_wt-mancoosi-test-i20d0u98-0.wcnf.xz0.39 (1780797)0.41 (1780797)2.11 (1780797)0.47 (1780797)0.48 (1780797)1.88 (1780797)0.21 (1780797)0.2 (1780797)0.07 (1780797)0.47 (1780797)1.34 (1780797)
upgradeability_wt-mancoosi-test-i20d0u98-16.wcnf.xz0.39 (1780789)0.42 (1780789)1.81 (1780789)0.48 (1780789)0.48 (1780789)1.84 (1780789)0.17 (1780789)0.17 (1780789)0.09 (1780789)0.43 (1780789)1.34 (1780789)
upgradeability_wt-mancoosi-test-i3000d0u98-61.wcnf.xz0.49 (558019587)0.49 (558019587)4.53 (558019587)0.56 (558019587)0.57 (558019587)43.74 (558019587)0.39 (558019587)0.4 (558019587)0.5 (558019587)55.7 (558019587)28.46 (558019587)
upgradeability_wt-mancoosi-test-i30d0u98-3.wcnf.xz0.4 (1780860)0.4 (1780860)2.19 (1780860)0.49 (1780860)0.48 (1780860)6.82 (1780860)0.23 (1780860)0.23 (1780860)0.32 (1780860)0.85 (1780860)4.2 (1780860)
upgradeability_wt-mancoosi-test-i4000d0u98-80.wcnf.xz0.51 (828516449)0.49 (828516449)6.65 (828516449)0.59 (828516449)0.57 (828516449)22.84 (828516449)0.38 (828516449)0.38 (828516449)0.54 (828516449)265.48 (828516449)15.29 (828516449)
upgradeability_wt-mancoosi-test-i4000d0u98-81.wcnf.xz0.47 (1038888656)0.47 (1038888656)6.75 (1038888656)0.59 (1038888656)0.59 (1038888656)11.5 (1038888656)0.46 (1038888656)0.46 (1038888656)0.56 (1038888656)3600.0 (-)44.53 (1038888656)
upgradeability_wt-rand393_l1.wcnf.xz0.17 (231003)0.17 (231003)60.54 (231003)0.23 (231003)0.21 (231003)79.38 (231003)0.24 (231003)0.09 (231003)6.25 (231003)76.58 (231003)3600.0 (-)
upgradeability_wt-rand981_l2.wcnf.xz1.48 (1878056)1.46 (1878056)61.67 (1878056)3.01 (1878056)3.09 (1878056)768.46 (1878056)3.62 (1878056)1.24 (1878056)26.1 (1878056)1344.47 (1878056)3600.0 (-)
warehouses_wt-cap131.wcsp.wcnf.xz0.91 (7934385)0.92 (7934385)60.95 (7934385)0.92 (7934385)0.9 (7934385)3600.0 (-)1.0 (7934385)4.78 (7934385)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses_wt-cap132.wcsp.wcnf.xz0.91 (8514942)0.91 (8514942)60.97 (8514942)0.93 (8514942)0.92 (8514942)3600.0 (-)1.0 (8514942)6.49 (8514942)3600.0 (-)3600.0 (-)3600.0 (-)
warehouses_wt-cap71.wcsp.wcnf.xz0.24 (9326144)0.25 (9326144)60.32 (9326144)0.24 (9326144)0.23 (9326144)438.43 (9326144)0.28 (9326144)0.18 (9326144)13.8 (9326144)231.77 (9326144)3600.0 (-)
warehouses_wt-cap72.wcsp.wcnf.xz0.24 (9777981)0.24 (9777981)60.28 (9777981)0.23 (9777981)0.26 (9777981)551.33 (9777981)0.26 (9777981)0.25 (9777981)29.9 (9777981)355.29 (9777981)3600.0 (-)
warehouses_wt-cap91.wcsp.wcnf.xz0.4 (7966472)0.4 (7966472)60.44 (7966472)0.41 (7966472)0.39 (7966472)3600.0 (-)0.43 (7966472)0.58 (7966472)45.94 (7966472)1473.54 (7966472)3600.0 (-)
warehouses_wt-cap92.wcsp.wcnf.xz0.39 (8547029)0.4 (8547029)60.43 (8547029)0.42 (8547029)0.39 (8547029)3600.0 (-)0.45 (8547029)0.71 (8547029)48.99 (8547029)3582.44 (8547029)3600.0 (-)
warehouses_wt-warehouse0.wcsp.wcnf.xz0.03 (328)0.03 (328)0.04 (328)0.02 (328)0.02 (328)0.83 (328)0.03 (328)0.02 (328)0.51 (328)0.18 (328)1.87 (328)
warehouses_wt-warehouse1.wcsp.wcnf.xz0.11 (730567)0.11 (730567)60.25 (730567)0.1 (730567)0.13 (730567)369.24 (730567)0.11 (730567)0.11 (730567)1.21 (730567)19.94 (730567)381.38 (730567)