BenchmarkCASHWMaxSAT-CorePlusCASHWMaxSAT-PlusUWrMaxSat-SCIPMaxHSWMaxCDCLWMaxCDCL-bandallUWrMaxSatEvalMaxSATCGSSExact
BrazilInstance1.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BrazilInstance2.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BrazilInstance4.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BrazilInstance5.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BrazilInstance6.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
BrazilInstance7.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
CSG140-140-46.wcnf.xz5.74 (16960)5.9 (16960)5.67 (16960)10.71 (16960)7.75 (16960)7.88 (16960)5.65 (16960)6.83 (16960)15.45 (16960)8.01 (16960)
CSG140-140-6.wcnf.xz58.46 (52385)67.32 (52385)48.22 (52385)106.56 (52385)31.93 (52385)31.94 (52385)47.88 (52385)359.28 (52385)113.4 (52385)476.32 (52385)
CSG150-150-55.wcnf.xz20.52 (27533)17.44 (27533)17.78 (27533)122.14 (27533)22.63 (27533)23.03 (27533)17.98 (27533)64.35 (27533)62.84 (27533)190.86 (27533)
CSG40-40-95.wcnf.xz4.0 (8847)3.98 (8847)3.59 (8847)0.0 (8847)0.16 (8847)0.01 (8847)0.01 (8847)0.01 (8847)0.0 (8847)0.0 (8847)
CSG60-60-88.wcnf.xz0.03 (7714)0.03 (7714)5.63 (7714)0.03 (7714)0.43 (7714)0.43 (7714)0.23 (7714)0.03 (7714)1.16 (7714)0.03 (7714)
CSGNaive140-140-0.wcnf.xz5.82 (18185)5.75 (18185)5.7 (18185)7.27 (18185)7.73 (18185)7.78 (18185)5.67 (18185)4.92 (18185)15.54 (18185)8.17 (18185)
CSGNaive140-140-6.wcnf.xz52.13 (56309)50.71 (56309)63.78 (56309)137.81 (56309)32.77 (56309)32.54 (56309)63.36 (56309)716.87 (56309)188.16 (56309)1122.59 (56309)
CSGNaive150-150-55.wcnf.xz21.52 (30495)17.14 (30495)18.49 (30495)101.77 (30495)22.71 (30495)22.9 (30495)18.47 (30495)93.34 (30495)80.98 (30495)48.31 (30495)
CSGNaive60-60-53.wcnf.xz0.03 (9829)0.03 (9829)18.75 (9829)0.46 (9829)0.51 (9829)0.5 (9829)0.27 (9829)0.03 (9829)1.21 (9829)0.46 (9829)
CSGNaive70-70-91.wcnf.xz0.05 (11177)0.36 (11177)0.05 (11177)0.65 (11177)0.6 (11177)0.6 (11177)0.05 (11177)0.19 (11177)1.62 (11177)0.59 (11177)
EA01.lp.sm-extracted.wcnf.xz82.29 (55)83.15 (55)76.58 (55)529.51 (55)338.73 (55)442.79 (55)75.96 (55)500.1 (55)608.43 (55)450.91 (55)
FinlandSecondarySchool.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ItalyInstance1.xml.wcnf.xz1310.15 (12)787.73 (12)907.38 (12)602.55 (12)408.99 (12)414.76 (12)407.0 (12)189.33 (12)2795.43 (12)3600.0 (-)
ItalyInstance4.xml.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MLI.ilpd_train_0_DNF_5_5.wcnf.xz606.98 (700)607.64 (700)506.13 (700)79.95 (700)175.14 (700)539.38 (700)0.85 (700)4.4 (700)9.68 (700)56.99 (700)
MinWidthCB_milan_100_12_1k_1s_2t_3.wcnf.xz3.47 (109520)3.43 (109520)0.52 (109520)13.57 (109520)5.3 (109520)5.2 (109520)0.0 (109520)1.2 (109520)0.32 (109520)409.87 (109520)
MinWidthCB_milan_200_12_1k_4s_1t_4.wcnf.xz32.58 (108863)32.62 (108863)15.27 (108863)28.16 (108863)0.0 (108863)0.0 (108863)0.13 (108863)0.0 (108863)0.0 (108863)0.0 (108863)
MinWidthCB_mitdbsample_100_43_1k_2s_2t_2.wcnf.xz38.92 (38570)39.01 (38570)9.37 (38570)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1565.97 (38570)181.62 (38570)3600.0 (-)
MinWidthCB_mitdbsample_100_64_1k_2s_1t_2.wcnf.xz19.69 (66045)19.5 (66045)9.0 (66045)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_mitdbsample_200_43_1k_2s_2t_2.wcnf.xz35.19 (50615)35.09 (50615)10.54 (50615)3600.0 (-)1606.49 (50615)1661.44 (50615)14.77 (50615)343.38 (50615)31.73 (50615)3600.0 (-)
MinWidthCB_mitdbsample_200_64_1k_10s_2t_12.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_mitdbsample_200_64_1k_10s_3t_12.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_mitdbsample_200_64_1k_2s_1t_2.wcnf.xz83.8 (78400)84.31 (78400)12.04 (78400)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_mitdbsample_200_64_1k_2s_3t_2.wcnf.xz42.55 (73730)42.78 (73730)75.32 (73730)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_mitdbsample_300_26_1k_3s_2t_3.wcnf.xz163.52 (32420)164.55 (32420)18.59 (32420)3600.0 (-)1187.53 (32420)1096.79 (32420)8.58 (32420)99.53 (32420)17.8 (32420)3600.0 (-)
MinWidthCB_mitdbsample_300_26_1k_3s_2t_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_mitdbsample_300_26_1k_6s_1t_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_mitdbsample_300_64_1k_3s_1t_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_mitdbsample_300_64_1k_6s_1t_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_power_1000_24_1k_20s_2t_22.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
MinWidthCB_power_600_24_1k_6s_1t_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_Flag.BIC_TWBound_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_Heart.BIC_TWBound_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)349.7 (239742296)293.1 (239742296)3600.0 (-)3600.0 (-)2175.16 (239742296)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_Housing_TWBound_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_Voting_TWBound_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_4.wcnf.xz3600.0 (-)1097.95 (1326306453)980.41 (1326306453)1584.82 (1326306453)3600.0 (-)3600.0 (-)481.45 (1326306453)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_adult15N_TWBound_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_asia_10000_1_3.scores_TWBound_2.wcnf.xz182.9 (2247208255)180.12 (2247208255)265.17 (2247208255)8.4 (2247208255)2.33 (2247208255)2.36 (2247208255)14.86 (2247208255)38.12 (2247208255)327.95 (2247208255)70.99 (2247208255)
Rounded_BTWBNSL_asia_100_1_3.scores_TWBound_2.wcnf.xz6.41 (24564427)6.38 (24564427)56.19 (24564427)0.35 (24564427)0.0 (24564427)0.0 (24564427)0.0 (24564427)0.0 (24564427)0.0 (24564427)0.11 (24564427)
Rounded_BTWBNSL_asia_100_1_3.scores_TWBound_3.wcnf.xz6.67 (24564427)6.65 (24564427)25.14 (24564427)0.0 (24564427)0.0 (24564427)0.0 (24564427)0.0 (24564427)0.0 (24564427)0.0 (24564427)0.0 (24564427)
Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_hailfinder_100_1_3.scores_TWBound_2.wcnf.xz10.66 (602126938)13.28 (602126938)514.87 (602126938)2151.54 (602126938)16.5 (602126938)16.38 (602126938)9.65 (602126938)13.41 (602126938)9.75 (602126938)3600.0 (-)
Rounded_BTWBNSL_hailfinder_100_1_3.scores_TWBound_3.wcnf.xz14.42 (601946991)13.28 (601946991)519.1 (601946991)2144.29 (601946991)27.22 (601946991)22.97 (601946991)13.95 (601946991)20.68 (601946991)12.28 (601946991)3600.0 (-)
Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)2016.22 (1389279780)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)2415.33 (1388734978)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1363.9 (1388734978)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)2850.08 (170760179)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_CorrelationClustering_Ionosphere_BINARY_N200_D0.200.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)2552.4 (4604640)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_CorrelationClustering_Orl_BINARY_N320_D0.200.wcnf.xz127.02 (4429109)156.22 (4429109)96.62 (4429109)73.9 (4429109)237.67 (4429109)222.91 (4429109)97.27 (4429109)150.6 (4429109)61.5 (4429109)3600.0 (-)
Rounded_CorrelationClustering_Protein1_BINARY_N360.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)251.96 (27536228)295.32 (27536228)271.5 (27536228)3600.0 (-)225.19 (27536228)779.17 (27536228)3600.0 (-)
Rounded_CorrelationClustering_Protein2_BINARY_N220.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)119.39 (13727551)125.32 (13727551)129.8 (13727551)3600.0 (-)108.58 (13727551)3600.0 (-)3600.0 (-)
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 (-)
Rounded_CorrelationClustering_Protein2_BINARY_N400.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N200.wcnf.xz155.76 (12682853)67.61 (12682853)122.27 (12682853)108.72 (12682853)104.11 (12682853)104.16 (12682853)122.16 (12682853)324.38 (12682853)431.32 (12682853)3600.0 (-)
Rounded_CorrelationClustering_Protein2_UNARY_N100.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)53.45 (3913145)54.99 (3913145)61.39 (3913145)3600.0 (-)70.89 (3913145)80.49 (3913145)3600.0 (-)
Rounded_CorrelationClustering_Protein3_TRANSITIVE_N200.wcnf.xz213.83 (12826525)238.45 (12826525)1219.5 (12826525)104.76 (12826525)105.23 (12826525)105.07 (12826525)1212.12 (12826525)370.52 (12826525)626.28 (12826525)978.21 (12826525)
Rounded_CorrelationClustering_Protein3_TRANSITIVE_N240.wcnf.xz553.41 (15173042)3600.0 (-)3600.0 (-)147.81 (15173042)160.78 (15173042)161.94 (15173042)3600.0 (-)624.61 (15173042)929.03 (15173042)3600.0 (-)
Rounded_CorrelationClustering_Protein3_TRANSITIVE_N280.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)380.46 (19642136)3600.0 (-)3274.66 (19642136)3600.0 (-)1431.24 (19642136)2713.51 (19642136)3600.0 (-)
Rounded_CorrelationClustering_Protein4_TRANSITIVE_N230.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)113.57 (5567863)112.31 (5567863)112.78 (5567863)3600.0 (-)658.63 (5567863)3600.0 (-)3600.0 (-)
Rounded_CorrelationClustering_Protein4_UNARY_N230.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1042.46 (5567863)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Rounded_CorrelationClustering_Protein4_UNARY_N250.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_100.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_150.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_200.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_66.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3110.13 (2)3037.94 (2)3600.0 (-)1616.21 (2)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_70.wcnf.xz1892.14 (6)2043.26 (6)2045.51 (6)520.17 (6)1995.19 (6)2020.81 (6)2071.11 (6)772.02 (6)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_74.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_80.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
SwitchingActivityMaximization_OpenRISC1200_90.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
Udine2.lp.sm-extracted.wcnf.xz59.92 (4)61.14 (4)55.92 (4)216.04 (4)390.83 (4)389.2 (4)56.01 (4)357.37 (4)584.18 (4)3600.0 (-)
WCNF_pathways_p01.wcnf.xz1.02 (2)0.99 (2)0.8 (2)0.0 (2)0.0 (2)0.0 (2)0.01 (2)0.0 (2)0.0 (2)0.0 (2)
WCNF_pathways_p03.wcnf.xz20.33 (30)20.36 (30)7.02 (30)0.0 (30)0.0 (30)0.0 (30)0.0 (30)0.0 (30)0.0 (30)0.0 (30)
WCNF_pathways_p05.wcnf.xz358.41 (60)360.07 (60)99.17 (60)0.01 (60)1.16 (60)1.16 (60)0.01 (60)0.01 (60)0.69 (60)1.33 (60)
WCNF_pathways_p06.wcnf.xz620.84 (64)618.92 (64)515.08 (64)10.61 (64)16.06 (64)14.96 (64)9.88 (64)5.72 (64)10.19 (64)94.83 (64)
WCNF_pathways_p08.wcnf.xz610.35 (182)613.51 (182)507.89 (182)4.68 (182)6.28 (182)6.34 (182)2.71 (182)6.38 (182)4.71 (182)30.9 (182)
WCNF_pathways_p09.wcnf.xz606.49 (157)606.31 (157)239.33 (157)0.52 (157)0.58 (157)0.6 (157)0.01 (157)0.02 (157)0.86 (157)0.79 (157)
WCNF_pathways_p10.wcnf.xz4.44 (129)4.42 (129)509.97 (129)5.65 (129)13.05 (129)17.2 (129)4.48 (129)13.22 (129)4.37 (129)34.2 (129)
WCNF_pathways_p12.wcnf.xz606.51 (188)607.27 (188)329.26 (188)0.64 (188)0.72 (188)0.74 (188)0.01 (188)0.02 (188)0.88 (188)1.34 (188)
WCNF_pathways_p14.wcnf.xz607.23 (207)606.5 (207)140.8 (207)0.76 (207)0.94 (207)0.94 (207)0.01 (207)0.01 (207)0.9 (207)1.36 (207)
WCNF_pathways_p16.wcnf.xz55.86 (257)92.86 (257)105.26 (257)74.94 (257)136.8 (257)153.05 (257)103.55 (257)184.68 (257)109.5 (257)3434.37 (257)
WCNF_storage_p02.wcnf.xz606.58 (5)606.23 (5)506.21 (5)0.94 (5)1.65 (5)1.67 (5)0.01 (5)0.9 (5)0.64 (5)1.06 (5)
WCNF_storage_p06.wcnf.xz526.94 (173)588.66 (173)425.65 (173)1.9 (173)4.49 (173)4.48 (173)0.03 (173)1.25 (173)1.43 (173)2.19 (173)
ae_5_20_ibmq-casablanca_7.wcnf.xz3.91 (15)3.87 (15)510.23 (15)906.14 (15)562.46 (15)569.46 (15)4.87 (15)511.09 (15)1000.73 (15)158.88 (15)
af-synthesis_stb_50_100_3.wcnf.xz1501.94 (104)659.78 (104)1242.78 (104)543.59 (104)657.33 (104)720.91 (104)1237.73 (104)3600.0 (-)1774.23 (104)3600.0 (-)
af-synthesis_stb_50_120_3.wcnf.xz630.04 (100)386.44 (100)786.13 (100)414.22 (100)596.09 (100)630.8 (100)786.45 (100)3600.0 (-)1184.52 (100)3600.0 (-)
af-synthesis_stb_50_140_1.wcnf.xz2334.56 (127)2753.97 (127)3600.0 (-)1573.8 (127)1690.87 (127)1426.76 (127)2269.97 (127)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis_stb_50_140_3.wcnf.xz317.07 (96)324.05 (96)216.15 (96)411.41 (96)515.28 (96)491.43 (96)210.74 (96)2422.75 (96)1482.9 (96)3600.0 (-)
af-synthesis_stb_50_140_8.wcnf.xz1918.29 (113)2878.55 (113)2502.35 (113)3600.0 (-)1074.67 (113)1009.18 (113)2497.2 (113)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis_stb_50_160_5.wcnf.xz2214.8 (113)2314.25 (113)3600.0 (-)3600.0 (-)1274.89 (113)1330.77 (113)2286.81 (113)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis_stb_50_180_1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2754.68 (130)3191.16 (130)3604.93 (130)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis_stb_50_200_4.wcnf.xz572.51 (105)706.62 (105)636.58 (105)1318.6 (105)617.92 (105)637.35 (105)650.54 (105)3600.0 (-)1978.68 (105)3600.0 (-)
af-synthesis_stb_50_200_5.wcnf.xz1024.16 (102)1065.8 (102)2114.43 (102)699.05 (102)878.73 (102)906.08 (102)2165.58 (102)3600.0 (-)1630.92 (102)3600.0 (-)
af-synthesis_stb_50_200_6.wcnf.xz3581.53 (111)2499.29 (111)3600.0 (-)3600.0 (-)1360.46 (111)1276.27 (111)3600.0 (-)3600.0 (-)1746.75 (111)3600.0 (-)
af-synthesis_stb_50_20_8.wcnf.xz1741.66 (120)1736.03 (120)2582.49 (120)1094.39 (120)883.6 (120)944.78 (120)1889.02 (120)3600.0 (-)3600.0 (-)3600.0 (-)
af-synthesis_stb_50_40_0.wcnf.xz886.58 (111)321.31 (111)1489.68 (111)260.53 (111)596.57 (111)587.17 (111)985.4 (111)3600.0 (-)482.43 (111)3600.0 (-)
af-synthesis_stb_50_40_8.wcnf.xz1176.63 (117)858.86 (117)2725.71 (117)780.41 (117)836.11 (117)911.65 (117)2243.47 (117)3600.0 (-)3148.2 (117)3600.0 (-)
af-synthesis_stb_50_60_3.wcnf.xz323.3 (115)438.11 (115)521.93 (115)826.94 (115)718.26 (115)818.46 (115)524.87 (115)3600.0 (-)1483.52 (115)3600.0 (-)
af-synthesis_stb_50_80_7.wcnf.xz3179.3 (115)1861.6 (115)3262.18 (115)1233.34 (115)908.68 (115)939.27 (115)3406.56 (115)3600.0 (-)3573.47 (115)3600.0 (-)
af-synthesis_stb_50_80_8.wcnf.xz1371.14 (116)2475.78 (116)2880.55 (116)3600.0 (-)1012.02 (116)1042.96 (116)2800.89 (116)3600.0 (-)3600.0 (-)3600.0 (-)
amazon.dimacs.wcnf.xz633.73 (113575)626.79 (113575)525.62 (113575)3600.0 (-)404.44 (113575)407.41 (113575)21.36 (113575)1699.91 (113575)52.56 (113575)267.95 (113575)
ann.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 (-)
ann.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 (-)
ann.formula_0.8_2021_atleast_63_max-5_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 (-)
ar-1.wcnf.xz3.32 (25062)3.24 (25062)3.8 (25062)6.5 (25062)3.49 (25062)3.56 (25062)3.18 (25062)3.97 (25062)121.83 (25062)21.49 (25062)
ar-2.wcnf.xz3522.3 (394748)6922.21 (394748)2550.19 (394748)144.37 (394748)243.89 (394748)253.16 (394748)2622.45 (394748)1653.18 (394748)3600.0 (-)3600.0 (-)
ar-3.wcnf.xz2.05 (43814)2.02 (43814)1.2 (43814)3.89 (43814)0.83 (43814)0.88 (43814)7.36 (43814)5.16 (43814)390.18 (43814)8.46 (43814)
archlinux.dimacs.wcnf.xz8.25 (11744)8.21 (11744)4.46 (11744)0.56 (11744)4.15 (11744)4.2 (11744)0.0 (11744)0.62 (11744)1.04 (11744)0.0 (11744)
auc.cat_paths_60_100_0006.txt.wcnf.xz0.0 (70929)0.0 (70929)0.0 (70929)0.0 (70929)0.0 (70929)0.0 (70929)0.0 (70929)0.0 (70929)0.0 (70929)25.84 (70929)
auc.cat_paths_60_150_0007.txt.wcnf.xz0.63 (100364)0.53 (100364)0.62 (100364)15.24 (100364)0.0 (100364)0.0 (100364)0.0 (100364)0.0 (100364)46.58 (100364)944.09 (100364)
auc.cat_paths_60_170_0007.txt.wcnf.xz0.61 (94165)0.61 (94165)0.0 (94165)66.78 (94165)0.0 (94165)0.0 (94165)0.0 (94165)0.0 (94165)166.46 (94165)432.83 (94165)
auc.cat_paths_60_200_0009.txt.wcnf.xz0.71 (157873)0.78 (157873)0.56 (157873)183.14 (157873)0.06 (157873)0.0 (157873)0.45 (157873)1.12 (157873)3600.0 (-)1034.55 (157873)
auc.cat_reg_60_110_0004.txt.wcnf.xz1.67 (75602)1.67 (75602)1.23 (75602)10.44 (75602)0.0 (75602)0.0 (75602)3.08 (75602)5.25 (75602)22.53 (75602)0.52 (75602)
auc.cat_reg_60_130_0001.txt.wcnf.xz2.55 (104032)2.56 (104032)1.11 (104032)17.64 (104032)0.0 (104032)0.0 (104032)4.31 (104032)5.01 (104032)30.81 (104032)1.61 (104032)
auc.cat_reg_60_160_0002.txt.wcnf.xz5.01 (164897)5.01 (164897)2.87 (164897)13.47 (164897)0.21 (164897)0.0 (164897)2.22 (164897)5.88 (164897)41.65 (164897)0.0 (164897)
auc.cat_sched_60_100_0003.txt.wcnf.xz0.0 (34771)0.0 (34771)0.0 (34771)0.0 (34771)0.0 (34771)0.0 (34771)0.0 (34771)0.0 (34771)0.0 (34771)0.0 (34771)
auc.cat_sched_60_120_0004.txt.wcnf.xz0.0 (82385)0.0 (82385)0.56 (82385)0.0 (82385)0.0 (82385)0.0 (82385)0.0 (82385)0.02 (82385)0.0 (82385)0.0 (82385)
auc.cat_sched_60_150_0001.txt.wcnf.xz0.86 (155865)0.83 (155865)0.62 (155865)0.0 (155865)0.07 (155865)0.0 (155865)0.0 (155865)0.0 (155865)0.0 (155865)0.0 (155865)
auc.cat_sched_60_150_0005.txt.wcnf.xz0.0 (72866)0.0 (72866)0.0 (72866)0.0 (72866)0.0 (72866)0.0 (72866)0.0 (72866)0.0 (72866)0.0 (72866)0.0 (72866)
auc.cat_sched_60_150_0009.txt.wcnf.xz0.0 (58699)0.0 (58699)0.46 (58699)0.0 (58699)0.0 (58699)0.0 (58699)0.0 (58699)0.0 (58699)0.0 (58699)0.0 (58699)
auc.cat_sched_60_160_0003.txt.wcnf.xz0.62 (118883)0.7 (118883)0.5 (118883)0.0 (118883)0.0 (118883)0.0 (118883)0.01 (118883)0.0 (118883)0.0 (118883)2.16 (118883)
auc.cat_sched_60_200_0005.txt.wcnf.xz0.93 (172768)0.95 (172768)0.85 (172768)0.0 (172768)0.0 (172768)0.0 (172768)0.0 (172768)0.0 (172768)0.0 (172768)0.0 (172768)
auc.cat_sched_60_80_0005.txt.wcnf.xz0.0 (34950)0.3 (34950)0.0 (34950)0.0 (34950)0.0 (34950)0.04 (34950)0.0 (34950)0.0 (34950)0.0 (34950)0.0 (34950)
auc.cat_sched_60_90_0001.txt.wcnf.xz0.0 (82847)0.0 (82847)0.0 (82847)0.02 (82847)0.0 (82847)0.04 (82847)0.0 (82847)0.01 (82847)0.0 (82847)0.0 (82847)
aus.formula_0.8_2021_atleast_127_max-6_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 (-)
aus.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 (-)
aus.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 (-)
aus.formula_0.8_2021_atleast_63_max-5_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 (-)
aus.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 (-)
bf2030fvcons.wcnf.xz388.96 (3271)332.29 (3271)354.79 (3271)87.62 (3271)106.18 (3271)107.92 (3271)351.59 (3271)125.94 (3271)262.6 (3271)3600.0 (-)
bf2030fvslack.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bn-human-BNU_1_0025865_session_1-bg.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)743.39 (119321020)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bnn_mnist_0_label7_adversarial_norm_inf_totalizer.wcnf.xz2920.38 (1)2884.4 (1)2916.45 (1)923.6 (1)1462.89 (1)1474.3 (1)2905.98 (1)638.32 (1)3600.0 (-)3600.0 (-)
bnn_mnist_11_label6_adversarial_norm_inf_totalizer.wcnf.xz674.54 (1)666.65 (1)666.23 (1)809.59 (1)1321.03 (1)1339.13 (1)663.85 (1)328.58 (1)3600.0 (-)3600.0 (-)
bnn_mnist_17_label7_adversarial_norm_inf_totalizer.wcnf.xz702.11 (1)670.15 (1)663.66 (1)1427.76 (1)1882.07 (1)1904.4 (1)1297.27 (1)1148.09 (1)3600.0 (-)3600.0 (-)
bnn_mnist_1_label2_adversarial_norm_inf_totalizer.wcnf.xz830.94 (1)811.92 (1)817.48 (1)865.58 (1)1279.65 (1)1280.52 (1)814.6 (1)868.02 (1)3600.0 (-)3600.0 (-)
bnn_mnist_9_label9_adversarial_norm_inf_totalizer.wcnf.xz713.94 (1)704.03 (1)705.05 (1)673.86 (1)1513.87 (1)1525.01 (1)707.44 (1)266.35 (1)3600.0 (-)3600.0 (-)
bnn_mnist_back_image_12_label6_adversarial_norm_inf_totalizer.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bnn_mnist_back_image_14_label9_adversarial_norm_inf_totalizer.wcnf.xz603.24 (1)579.22 (1)574.87 (1)960.57 (1)1354.68 (1)1378.2 (1)579.75 (1)354.5 (1)3600.0 (-)3600.0 (-)
bnn_mnist_back_image_32_label3_adversarial_norm_inf_totalizer.wcnf.xz801.67 (2)805.24 (2)799.97 (2)3600.0 (-)1519.04 (2)1555.07 (2)796.71 (2)2316.86 (2)3600.0 (-)3600.0 (-)
bnn_mnist_back_image_3_label6_adversarial_norm_inf_totalizer.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bnn_mnist_back_image_5_label2_adversarial_norm_inf_totalizer.wcnf.xz799.04 (3)687.28 (3)790.53 (3)2556.33 (3)2696.84 (3)2679.59 (3)785.39 (3)2483.07 (3)3600.0 (-)3600.0 (-)
bnn_mnist_back_image_9_label1_adversarial_norm_inf_totalizer.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
bnn_mnist_rot_0_label6_adversarial_norm_inf_totalizer.wcnf.xz511.66 (1)501.64 (1)500.23 (1)729.91 (1)1247.17 (1)1269.43 (1)502.45 (1)248.61 (1)3600.0 (-)3600.0 (-)
bnn_mnist_rot_10_label4_adversarial_norm_inf_totalizer.wcnf.xz573.93 (1)567.26 (1)563.91 (1)723.13 (1)1249.11 (1)1278.74 (1)571.1 (1)230.91 (1)3600.0 (-)3600.0 (-)
bnn_mnist_rot_15_label8_adversarial_norm_inf_totalizer.wcnf.xz625.04 (1)617.66 (1)617.81 (1)747.68 (1)1284.21 (1)1319.55 (1)617.75 (1)316.54 (1)3600.0 (-)3600.0 (-)
bnn_mnist_rot_1_label0_adversarial_norm_inf_totalizer.wcnf.xz1035.38 (1)1024.32 (1)1029.83 (1)1491.9 (1)1768.37 (1)1809.84 (1)1023.39 (1)598.74 (1)3600.0 (-)3600.0 (-)
bnn_mnist_rot_3_label2_adversarial_norm_inf_totalizer.wcnf.xz502.39 (1)508.29 (1)492.27 (1)723.73 (1)1251.96 (1)1280.46 (1)494.2 (1)258.22 (1)3600.0 (-)3600.0 (-)
cap131.wcsp.wcnf.xz2.23 (7934385)2.24 (7934385)2.14 (7934385)1.12 (7934385)3.6 (7934385)3.66 (7934385)3600.0 (-)9.37 (7934385)25.71 (7934385)3600.0 (-)
cap132.wcsp.wcnf.xz2.23 (8514942)2.21 (8514942)2.17 (8514942)1.13 (8514942)3.64 (8514942)3.7 (8514942)3600.0 (-)17.53 (8514942)214.86 (8514942)3600.0 (-)
cap71.wcsp.wcnf.xz0.62 (9326144)0.63 (9326144)0.54 (9326144)0.0 (9326144)0.0 (9326144)0.0 (9326144)0.74 (9326144)0.85 (9326144)0.75 (9326144)1.9 (9326144)
cap72.wcsp.wcnf.xz0.63 (9777981)0.62 (9777981)0.54 (9777981)0.0 (9777981)0.0 (9777981)0.0 (9777981)2.51 (9777981)2.99 (9777981)0.91 (9777981)2.13 (9777981)
cap91.wcsp.wcnf.xz0.99 (7966472)1.01 (7966472)0.96 (7966472)0.0 (7966472)1.02 (7966472)1.06 (7966472)1.64 (7966472)5.49 (7966472)1.83 (7966472)74.64 (7966472)
cap92.wcsp.wcnf.xz1.03 (8547029)1.01 (8547029)0.96 (8547029)0.0 (8547029)1.02 (8547029)1.02 (8547029)157.68 (8547029)329.96 (8547029)2.65 (8547029)886.23 (8547029)
car.formula_0.8_2021_atleast_15_max-3_reduced_incomplete_adaboost_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3027.93 (232)2951.82 (232)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
causal_Heart_10_212.wcnf.xz3042.13 (1453924)2662.13 (1453924)1972.34 (1453924)3600.0 (-)3600.0 (-)3600.0 (-)1986.04 (1453924)3600.0 (-)3600.0 (-)987.15 (1453924)
causal_Hepatitis_10_126.wcnf.xz1525.79 (405352)1295.27 (405352)978.88 (405352)3296.73 (405352)981.75 (405352)681.17 (405352)991.78 (405352)1781.52 (405352)3282.55 (405352)77.06 (405352)
causal_Link_10_1000.wcnf.xz2944.64 (1917853)2577.44 (1917853)2675.45 (1917853)3600.0 (-)3565.04 (1917853)3600.0 (-)2637.09 (1917853)3600.0 (-)2678.85 (1917853)97.69 (1917853)
causal_Meta_7_528.wcnf.xz204.43 (55120)302.9 (55120)783.58 (55120)249.52 (55120)288.52 (55120)270.76 (55120)282.73 (55120)1587.72 (55120)3400.93 (55120)3600.0 (-)
causal_Pigs_6_10000.wcnf.xz145.89 (25539892)66.05 (25539892)66.69 (25539892)896.77 (25539892)346.81 (25539892)346.24 (25539892)66.63 (25539892)2426.79 (25539892)658.31 (25539892)151.83 (25539892)
causal_Statlog_7_752.wcnf.xz437.81 (380356)572.81 (380356)1164.89 (380356)594.29 (380356)498.98 (380356)675.67 (380356)650.25 (380356)2604.58 (380356)3600.0 (-)3600.0 (-)
causal_Voting_7_435.wcnf.xz31.73 (930263)16.01 (930263)519.42 (930263)149.32 (930263)109.04 (930263)76.74 (930263)13.92 (930263)121.13 (930263)99.96 (930263)187.97 (930263)
causal_Water_7_380.wcnf.xz45.26 (414473)24.78 (414473)522.77 (414473)136.66 (414473)126.31 (414473)151.4 (414473)18.66 (414473)442.32 (414473)156.72 (414473)282.93 (414473)
causal_hailfinder_9_1000.wcnf.xz591.61 (54962937)386.68 (54962937)263.09 (54962937)1771.28 (54962937)447.53 (54962937)694.72 (54962937)265.59 (54962937)1591.74 (54962937)1662.52 (54962937)2754.9 (54962937)
causal_insurance_9_100.wcnf.xz2019.26 (3211332)1462.64 (3211332)1444.95 (3211332)3600.0 (-)3600.0 (-)3600.0 (-)1436.56 (3211332)3600.0 (-)3600.0 (-)3600.0 (-)
causal_n5_i5_N1000_uai13_log_int.wcnf.xz5.1 (46030289)5.03 (46030289)4.99 (46030289)13.59 (46030289)11.57 (46030289)11.34 (46030289)4.95 (46030289)18.6 (46030289)16.06 (46030289)35.63 (46030289)
causal_n6_i1_N10000_uai14_log_int.wcnf.xz607.9 (1510725680)607.32 (1510725680)506.28 (1510725680)20.9 (1510725680)5.73 (1510725680)5.59 (1510725680)1.07 (1510725680)8.11 (1510725680)18.81 (1510725680)12.79 (1510725680)
causal_n6_i2_N500_uai13_log_int.wcnf.xz115.19 (877436991)111.92 (877436991)114.37 (877436991)141.61 (877436991)210.94 (877436991)237.12 (877436991)114.67 (877436991)1872.52 (877436991)811.81 (877436991)641.18 (877436991)
causal_n6_i6_N1000_uai14_log_int.wcnf.xz607.59 (126257527700)1208.8 (126257527700)505.71 (126257527700)23.41 (126257527700)4.3 (126257527700)4.3 (126257527700)1.0 (126257527700)6.69 (126257527700)27.36 (126257527700)11.13 (126257527700)
causal_n7_i10_N1000_uai14_log_int.wcnf.xz32.2 (3246397504)14.4 (3246397504)520.19 (3246397504)142.65 (3246397504)153.02 (3246397504)134.54 (3246397504)13.51 (3246397504)331.71 (3246397504)255.23 (3246397504)71.4 (3246397504)
causal_n7_i8_N10000_uai14_log_int.wcnf.xz10.19 (11486104693)6.33 (11486104693)511.62 (11486104693)25.11 (11486104693)36.04 (11486104693)37.28 (11486104693)5.91 (11486104693)17.06 (11486104693)9.15 (11486104693)75.34 (11486104693)
channel-500x100x100-b050.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
comp04.wcnf.xz8.61 (35)8.9 (35)9.17 (35)123.75 (35)118.74 (35)181.16 (35)9.21 (35)14.75 (35)11.48 (35)11.31 (35)
comp05.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
comp06.lp.sm-extracted.wcnf.xz62.67 (14)54.08 (14)114.38 (14)958.97 (14)2069.28 (14)1378.46 (14)58.4 (14)288.32 (14)1326.15 (14)3600.0 (-)
comp06.wcnf.xz48.29 (27)56.53 (27)61.99 (27)3600.0 (-)2221.32 (27)3600.0 (-)62.18 (27)327.48 (27)119.27 (27)3600.0 (-)
comp07.wcnf.xz75.86 (6)140.47 (6)137.68 (6)202.24 (6)215.92 (6)223.11 (6)135.69 (6)3600.0 (-)3600.0 (-)3600.0 (-)
comp08.lp.sm-extracted.wcnf.xz28.77 (19)27.53 (19)27.25 (19)186.15 (19)361.33 (19)316.43 (19)27.12 (19)185.58 (19)257.69 (19)503.07 (19)
comp10.lp.sm-extracted.wcnf.xz35.78 (2)35.88 (2)35.05 (2)121.0 (2)117.41 (2)119.86 (2)34.51 (2)407.0 (2)703.55 (2)3600.0 (-)
comp15.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
comp17.wcnf.xz148.47 (56)100.51 (56)164.65 (56)3600.0 (-)3600.0 (-)3600.0 (-)174.18 (56)637.68 (56)253.14 (56)3600.0 (-)
dblp.dimacs.wcnf.xz71.8 (25014)72.71 (25014)72.44 (25014)213.16 (25014)240.5 (25014)266.77 (25014)1.14 (25014)14.07 (25014)6.62 (25014)4.04 (25014)
dds4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
delaunay_n24.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dim.MANN_a81.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dim.brock800_3.clq.wcnf.xz403.91 (1079)401.46 (1079)344.16 (1079)587.83 (1079)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dim.c-fat200-1.clq.wcnf.xz0.0 (14)0.0 (14)0.0 (14)0.0 (14)0.0 (14)0.0 (14)0.01 (14)0.0 (14)0.14 (14)0.0 (14)
dim.c-fat500-1.clq.wcnf.xz0.0 (10)0.0 (10)0.0 (10)0.0 (10)0.0 (10)0.0 (10)0.0 (10)0.01 (10)0.0 (10)0.0 (10)
dim.hamming10-4.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dim.johnson8-4-4.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dim.san400_0.7_3.clq.wcnf.xz447.54 (1201)445.86 (1201)352.24 (1201)889.16 (1201)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dim.san400_0.9_1.clq.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
dir.1403.wcsp.dir.wcnf.xz3589.79 (459246)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2913.16 (459246)3600.0 (-)3600.0 (-)3600.0 (-)
dir.1502.wcsp.dir.wcnf.xz0.0 (28042)0.0 (28042)0.02 (28042)0.0 (28042)0.0 (28042)0.0 (28042)0.0 (28042)0.02 (28042)0.0 (28042)0.0 (28042)
dir.1506.wcsp.dir.wcnf.xz2147.23 (354517)2159.11 (354517)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1447.46 (354517)1290.25 (354517)1315.54 (354517)3600.0 (-)
dir.28.wcsp.dir.wcnf.xz8.51 (270105)8.58 (270105)353.42 (270105)1591.05 (270105)0.0 (270105)0.0 (270105)692.56 (270105)2368.01 (270105)396.44 (270105)3600.0 (-)
dir.404.wcsp.dir.wcnf.xz0.51 (114)0.0 (114)0.71 (114)0.0 (114)0.0 (114)0.0 (114)0.0 (114)0.0 (114)0.0 (114)0.0 (114)
dir.408.wcsp.dir.wcnf.xz5.87 (6228)5.93 (6228)7.7 (6228)9.5 (6228)0.0 (6228)0.0 (6228)0.0 (6228)0.0 (6228)0.0 (6228)9.37 (6228)
dir.5.wcsp.dir.wcnf.xz153.84 (261)152.47 (261)3600.0 (-)3600.0 (-)621.19 (261)603.7 (261)715.38 (261)3600.0 (-)911.04 (261)3600.0 (-)
dir.507.wcsp.dir.wcnf.xz25.5 (27390)25.57 (27390)190.6 (27390)24.67 (27390)108.62 (27390)170.68 (27390)0.0 (27390)0.0 (27390)0.0 (27390)1.5 (27390)
dir.509.wcsp.dir.wcnf.xz33.77 (36446)33.74 (36446)225.37 (36446)71.28 (36446)245.94 (36446)178.63 (36446)0.16 (36446)0.0 (36446)0.0 (36446)3.1 (36446)
dir.54.wcsp.dir.wcnf.xz0.0 (37)0.0 (37)0.0 (37)0.0 (37)0.0 (37)0.0 (37)0.0 (37)0.0 (37)0.0 (37)0.0 (37)
downcast-antlr.wcnf.xz295.32 (76250)244.4 (76250)240.16 (76250)1152.57 (76250)945.62 (76250)853.0 (76250)234.35 (76250)609.3 (76250)829.44 (76250)3600.0 (-)
downcast-avrora.wcnf.xz164.45 (46642)135.35 (46642)133.11 (46642)357.67 (46642)1093.53 (46642)828.46 (46642)130.93 (46642)258.36 (46642)431.47 (46642)1337.48 (46642)
downcast-hsqldb.wcnf.xz635.0 (30207)570.74 (30207)574.52 (30207)492.68 (30207)1217.27 (30207)1183.59 (30207)568.75 (30207)513.81 (30207)1045.2 (30207)2670.23 (30207)
downcast-pmd.wcnf.xz565.86 (4227)523.61 (4227)516.85 (4227)515.1 (4227)1020.92 (4227)1001.02 (4227)508.96 (4227)602.07 (4227)991.44 (4227)2911.82 (4227)
downcast-xalan.wcnf.xz222.25 (65491)175.85 (65491)175.3 (65491)437.43 (65491)697.93 (65491)677.35 (65491)174.91 (65491)267.17 (65491)626.45 (65491)1571.24 (65491)
drmx-am12-outof-40-ecardn-w.wcnf.xz609.01 (28)608.48 (28)507.64 (28)0.0 (28)12.08 (28)11.94 (28)2.57 (28)2.51 (28)2.65 (28)7.42 (28)
drmx-am12-outof-40-esortn-w.wcnf.xz658.43 (28)609.42 (28)560.13 (28)0.0 (28)12.33 (28)12.25 (28)57.17 (28)3.1 (28)3.12 (28)12.51 (28)
drmx-am16-outof-45-emtot-w.wcnf.xz113.72 (29)115.94 (29)57.94 (29)1.12 (29)61.74 (29)61.65 (29)1.44 (29)3.76 (29)3.23 (29)27.4 (29)
drmx-am16-outof-45-eseqc-w.wcnf.xz607.46 (29)606.75 (29)506.29 (29)1.27 (29)62.3 (29)62.73 (29)1.02 (29)2.75 (29)0.94 (29)172.89 (29)
drmx-am20-outof-50-ekmtot-w.wcnf.xz152.79 (30)153.42 (30)255.03 (30)0.98 (30)134.83 (30)136.04 (30)32.53 (30)9.34 (30)7.71 (30)3555.99 (30)
drmx-am20-outof-50-emtot-w.wcnf.xz264.98 (30)262.98 (30)352.13 (30)1.16 (30)127.46 (30)128.0 (30)48.14 (30)6.68 (30)10.72 (30)1069.16 (30)
drmx-am20-outof-50-eseqc-w.wcnf.xz607.15 (30)608.45 (30)506.56 (30)2.74 (30)46.43 (30)54.71 (30)1.37 (30)4.29 (30)1.97 (30)3490.12 (30)
drmx-am24-outof-55-emtot-w.wcnf.xz607.21 (31)607.05 (31)506.21 (31)1.82 (31)143.49 (31)142.47 (31)1.04 (31)3.18 (31)3.55 (31)3600.0 (-)
drmx-am24-outof-55-etot-w.wcnf.xz618.21 (31)612.69 (31)518.94 (31)2.36 (31)145.15 (31)145.4 (31)14.39 (31)4.63 (31)4.09 (31)3600.0 (-)
drmx-am28-outof-60-emtot-w.wcnf.xz677.72 (32)608.37 (32)545.99 (32)1.76 (32)150.87 (32)150.96 (32)43.55 (32)20.61 (32)24.5 (32)3600.0 (-)
drmx-am28-outof-60-eseqc-w.wcnf.xz607.94 (32)607.73 (32)506.02 (32)6.58 (32)124.3 (32)124.62 (32)0.86 (32)5.86 (32)1.75 (32)3600.0 (-)
drmx-am28-outof-60-etot-w.wcnf.xz617.95 (32)614.69 (32)512.93 (32)2.13 (32)156.91 (32)157.34 (32)8.34 (32)18.09 (32)23.01 (32)3600.0 (-)
drmx-am32-outof-70-ecardn-w.wcnf.xz682.83 (38)645.21 (38)573.94 (38)0.85 (38)159.54 (38)156.68 (38)64.6 (38)28.81 (38)118.23 (38)3600.0 (-)
drmx-am32-outof-70-ekmtot-w.wcnf.xz1162.18 (38)610.57 (38)3600.0 (-)30.12 (38)214.13 (38)212.61 (38)590.31 (38)7.48 (38)4.8 (38)3600.0 (-)
drmx-am32-outof-70-emtot-w.wcnf.xz1196.4 (38)615.14 (38)2450.18 (38)34.35 (38)213.37 (38)210.55 (38)797.55 (38)8.18 (38)5.22 (38)3600.0 (-)
drmx-am32-outof-70-etot-w.wcnf.xz615.8 (38)609.63 (38)523.05 (38)30.48 (38)214.53 (38)215.51 (38)17.8 (38)7.98 (38)6.53 (38)3600.0 (-)
eas.310-15.wcnf.xz6.51 (30501)6.12 (30501)73.49 (30501)8.36 (30501)42.53 (30501)43.05 (30501)6.14 (30501)7.31 (30501)9.73 (30501)22.44 (30501)
eas.310-24.wcnf.xz6.48 (24752)6.44 (24752)10.44 (24752)6.33 (24752)21.97 (24752)22.19 (24752)6.39 (24752)5.19 (24752)7.25 (24752)7.78 (24752)
eas.310-28.wcnf.xz7.23 (33151)7.17 (33151)57.68 (33151)12.28 (33151)27.58 (33151)28.39 (33151)7.09 (33151)8.2 (33151)9.6 (33151)9.03 (33151)
eas.310-29.wcnf.xz10.54 (34431)10.19 (34431)10.09 (34431)13.55 (34431)71.68 (34431)71.4 (34431)9.94 (34431)23.11 (34431)29.08 (34431)63.85 (34431)
eas.310-33.wcnf.xz7.08 (35463)6.74 (35463)512.41 (35463)17.37 (35463)82.33 (35463)79.56 (35463)6.55 (35463)16.57 (35463)20.62 (35463)16.85 (35463)
eas.310-43.wcnf.xz7.75 (33138)7.54 (33138)278.06 (33138)10.9 (33138)50.1 (33138)50.5 (33138)7.51 (33138)10.45 (33138)14.15 (33138)10.71 (33138)
eas.310-44.wcnf.xz9.06 (50871)8.28 (50871)514.21 (50871)106.61 (50871)63.06 (50871)63.42 (50871)8.47 (50871)11.55 (50871)24.81 (50871)301.2 (50871)
eas.310-55.wcnf.xz5.41 (21952)5.34 (21952)99.54 (21952)7.15 (21952)29.88 (21952)29.71 (21952)5.24 (21952)3.79 (21952)5.65 (21952)7.24 (21952)
eas.310-56.wcnf.xz8.59 (46155)8.01 (46155)8.08 (46155)20.7 (46155)87.9 (46155)94.95 (46155)7.91 (46155)22.07 (46155)27.64 (46155)22.73 (46155)
eas.310-74.wcnf.xz3.02 (21867)2.97 (21867)14.39 (21867)4.1 (21867)18.29 (21867)18.26 (21867)2.95 (21867)4.39 (21867)4.84 (21867)6.39 (21867)
eas.310-91.wcnf.xz10.49 (37183)9.61 (37183)9.64 (37183)8.24 (37183)34.41 (37183)34.54 (37183)9.51 (37183)7.41 (37183)11.9 (37183)9.48 (37183)
eas.310-93.wcnf.xz3.9 (19146)3.88 (19146)14.97 (19146)3.98 (19146)15.9 (19146)16.55 (19146)3.87 (19146)3.17 (19146)4.16 (19146)4.33 (19146)
eas.310-94.wcnf.xz7.87 (26160)7.63 (26160)7.57 (26160)7.65 (26160)34.94 (26160)35.6 (26160)7.63 (26160)6.55 (26160)9.01 (26160)8.11 (26160)
eas.310-95.wcnf.xz9.87 (25854)9.74 (25854)30.53 (25854)5.85 (25854)26.87 (25854)26.84 (25854)9.69 (25854)4.64 (25854)7.15 (25854)7.75 (25854)
eas.310-97.wcnf.xz6.58 (35249)6.44 (35249)511.72 (35249)20.71 (35249)94.53 (35249)92.59 (35249)6.23 (35249)50.31 (35249)25.24 (35249)413.59 (35249)
ebay.dimacs.wcnf.xz615.32 (123941)615.23 (123941)512.26 (123941)3600.0 (-)362.96 (123941)367.83 (123941)7.25 (123941)264.5 (123941)21.77 (123941)95.17 (123941)
f1-DataDisplay_0_order4.seq-A-2-1-EDCBAir.wcnf.xz0.93 (6223203)0.92 (6223203)0.0 (6223203)0.0 (6223203)0.0 (6223203)0.0 (6223203)0.0 (6223203)0.0 (6223203)0.0 (6223203)0.0 (6223203)
f1-DataDisplay_0_order4.seq-A-2-2-abcdeir.wcnf.xz0.0 (481429)0.0 (481429)0.0 (481429)0.0 (481429)0.0 (481429)0.0 (481429)0.0 (481429)0.0 (481429)0.16 (481429)0.0 (481429)
f1-DataDisplay_0_order4.seq-A-2-2-irabcde.wcnf.xz0.0 (2220415)0.0 (2220415)0.0 (2220415)0.0 (2220415)0.06 (2220415)0.0 (2220415)0.0 (2220415)0.0 (2220415)0.17 (2220415)0.0 (2220415)
f1-DataDisplay_0_order4.seq-A-3-1-EDCBAir.wcnf.xz0.0 (6240245)0.0 (6240245)0.0 (6240245)0.0 (6240245)0.0 (6240245)0.0 (6240245)0.0 (6240245)0.0 (6240245)0.0 (6240245)0.0 (6240245)
f1-DataDisplay_0_order4.seq-A-3-1-irabcde.wcnf.xz0.0 (5960556)0.0 (5960556)0.0 (5960556)0.0 (5960556)0.0 (5960556)0.0 (5960556)0.02 (5960556)0.02 (5960556)0.0 (5960556)0.02 (5960556)
f1-DataDisplay_0_order4.seq-A-3-2-irabcde.wcnf.xz0.0 (5955300)0.0 (5955300)0.0 (5955300)0.03 (5955300)0.0 (5955300)0.0 (5955300)0.0 (5955300)0.01 (5955300)0.0 (5955300)0.0 (5955300)
f1-DataDisplay_0_order4.seq-B-2-2-abcdeir.wcnf.xz0.0 (53533)0.0 (53533)0.0 (53533)0.0 (53533)0.06 (53533)0.0 (53533)0.0 (53533)0.0 (53533)0.0 (53533)0.0 (53533)
f1-DataDisplay_0_order4.seq-B-2-2-irEDCBA.wcnf.xz0.77 (2273346)0.75 (2273346)0.0 (2273346)0.0 (2273346)0.0 (2273346)0.13 (2273346)0.0 (2273346)0.0 (2273346)0.0 (2273346)0.0 (2273346)
f2030.wcnf.xz2733.0 (4195)3136.64 (4195)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3308.31 (4195)172.06 (4195)3008.58 (4195)3600.0 (-)
f49-DC_TotalLoss.seq-A-2-1-abcdeir.wcnf.xz252.66 (27698412327)247.01 (27698412327)245.62 (27698412327)11.51 (27698412327)7.5 (27698412327)7.59 (27698412327)0.0 (27698412327)0.88 (27698412327)1.09 (27698412327)37.88 (27698412327)
f49-DC_TotalLoss.seq-A-2-1-irEDCBA.wcnf.xz422.4 (14779649425)434.12 (14779649425)38.77 (14779649425)1.66 (14779649425)2.94 (14779649425)2.94 (14779649425)0.0 (14779649425)0.7 (14779649425)0.82 (14779649425)0.63 (14779649425)
f49-DC_TotalLoss.seq-A-2-combined-irabcde.wcnf.xz82.76 (14735114187)83.75 (14735114187)3.61 (14735114187)12.99 (14735114187)1.67 (14735114187)1.64 (14735114187)0.18 (14735114187)0.85 (14735114187)0.76 (14735114187)0.01 (14735114187)
f49-DC_TotalLoss.seq-A-3-2-irEDCBA.wcnf.xz381.19 (87222797189)375.59 (87222797189)57.37 (87222797189)4.6 (87222797189)1.6 (87222797189)1.64 (87222797189)0.02 (87222797189)0.89 (87222797189)1.23 (87222797189)0.93 (87222797189)
f49-DC_TotalLoss.seq-B-2-2-abcdeir.wcnf.xz198.08 (44321234)195.95 (44321234)47.09 (44321234)1.08 (44321234)1.79 (44321234)1.74 (44321234)1.05 (44321234)3.45 (44321234)0.52 (44321234)0.76 (44321234)
f49-DC_TotalLoss.seq-B-2-combined-EDCBAir.wcnf.xz608.19 (83838199998)608.2 (83838199998)87.36 (83838199998)451.83 (83838199998)294.53 (83838199998)260.04 (83838199998)1.4 (83838199998)0.98 (83838199998)1.09 (83838199998)7.23 (83838199998)
f49-DC_TotalLoss.seq-B-3-combined-EDCBAir.wcnf.xz608.45 (117355113043)608.51 (117355113043)100.34 (117355113043)3.48 (117355113043)4.9 (117355113043)4.91 (117355113043)1.29 (117355113043)0.7 (117355113043)1.59 (117355113043)2.69 (117355113043)
f49-DC_TotalLoss.seq-B-3-combined-irabcde.wcnf.xz606.29 (87177360578)606.19 (87177360578)143.36 (87177360578)1.97 (87177360578)2.37 (87177360578)2.38 (87177360578)0.03 (87177360578)1.47 (87177360578)1.36 (87177360578)1.21 (87177360578)
facebook1.dimacs.wcnf.xz327.69 (45581)331.14 (45581)300.67 (45581)78.46 (45581)73.34 (45581)63.23 (45581)1.51 (45581)17.39 (45581)5.53 (45581)8.87 (45581)
github.dimacs.wcnf.xz17.97 (187405)16.35 (187405)16.58 (187405)2536.69 (187405)489.24 (187405)494.2 (187405)16.5 (187405)1133.97 (187405)54.05 (187405)460.51 (187405)
graphstate_6_6_rigetti-agave_8.wcnf.xz576.46 (6)573.78 (6)246.25 (6)5.71 (6)47.89 (6)62.13 (6)0.0 (6)4.62 (6)3.03 (6)0.59 (6)
grover-noancilla_4_52_rigetti-agave_8.wcnf.xz606.81 (42)606.45 (42)505.61 (42)48.1 (42)187.36 (42)132.4 (42)0.57 (42)1.64 (42)1.8 (42)11.81 (42)
grover-v-chain_4_52_ibmq-casablanca_7.wcnf.xz5.98 (27)131.15 (27)40.13 (27)300.01 (27)718.36 (27)736.73 (27)40.01 (27)225.87 (27)151.45 (27)82.91 (27)
guardian.dimacs.wcnf.xz14.91 (160777)14.86 (160777)10.39 (160777)220.54 (160777)3600.0 (-)465.1 (160777)10.5 (160777)379.92 (160777)34.93 (160777)301.63 (160777)
har.330-55.wcnf.xz71.77 (47945)30.38 (47945)51.46 (47945)42.23 (47945)138.34 (47945)143.49 (47945)52.88 (47945)390.56 (47945)182.82 (47945)3600.0 (-)
hea.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 (-)
hea.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 (-)
hea.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 (-)
hea.formula_0.8_2021_atleast_63_max-5_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 (-)
hugebubbles-00020.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inf-road-usa.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inst10.lp.sm-extracted.wcnf.xz608.11 (105)608.72 (105)507.04 (105)3.2 (105)3.06 (105)3.09 (105)1.54 (105)6.67 (105)4.68 (105)18.05 (105)
inst2.lp.sm-extracted.wcnf.xz105.83 (97)105.95 (97)66.64 (97)2.59 (97)7.82 (97)7.9 (97)1.78 (97)3.78 (97)4.04 (97)4.87 (97)
inst22.lp.sm-extracted.wcnf.xz11.49 (180)9.75 (180)491.73 (180)5.84 (180)51.31 (180)45.82 (180)9.46 (180)21.66 (180)32.38 (180)43.21 (180)
instance1.wcnf.xz77.53 (607)79.64 (607)46.67 (607)0.0 (607)0.81 (607)0.79 (607)0.0 (607)0.0 (607)0.0 (607)0.62 (607)
instance10.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance11.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance12.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance2.wcnf.xz1731.49 (828)2945.9 (828)1811.97 (828)3600.0 (-)1163.86 (828)1715.12 (828)1775.17 (828)1687.34 (828)3600.0 (-)3600.0 (-)
instance3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
instance9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
inventory_2_5.wcnf.xz33.64 (9)33.36 (9)33.52 (9)31.43 (9)21.41 (9)21.3 (9)33.27 (9)13.37 (9)58.6 (9)48.35 (9)
inventory_2_6.wcnf.xz42.98 (16)42.79 (16)42.78 (16)36.28 (16)29.74 (16)30.12 (16)42.23 (16)40.73 (16)69.97 (16)54.57 (16)
inventory_2_7.wcnf.xz53.81 (18)54.68 (18)52.74 (18)50.17 (18)74.67 (18)74.87 (18)52.36 (18)38.16 (18)87.1 (18)56.01 (18)
inventory_4_6.wcnf.xz71.8 (10)71.85 (10)71.64 (10)82.79 (10)71.89 (10)71.99 (10)71.61 (10)75.74 (10)87.5 (10)195.63 (10)
inventory_4_7.wcnf.xz95.25 (15)96.39 (15)94.8 (15)72.84 (15)84.23 (15)83.93 (15)93.89 (15)59.66 (15)139.67 (15)249.8 (15)
inventory_4_8.wcnf.xz108.05 (17)108.68 (17)107.74 (17)107.08 (17)109.06 (17)109.47 (17)107.36 (17)127.36 (17)165.14 (17)236.46 (17)
k100-14-38.rna.pre.wcnf.xz30.46 (1953)30.19 (1953)30.0 (1953)381.59 (1953)238.7 (1953)354.65 (1953)30.62 (1953)60.63 (1953)18.34 (1953)3600.0 (-)
k100-20-63.rna.pre.wcnf.xz36.48 (2030)37.08 (2030)37.27 (2030)337.55 (2030)279.53 (2030)365.21 (2030)37.3 (2030)93.43 (2030)20.91 (2030)3600.0 (-)
k100-38-60.rna.pre.wcnf.xz27.35 (1878)27.23 (1878)27.24 (1878)649.05 (1878)216.52 (1878)183.0 (1878)27.34 (1878)83.84 (1878)17.55 (1878)3600.0 (-)
k100-40-52.rna.pre.wcnf.xz33.57 (1861)32.74 (1861)31.52 (1861)1443.42 (1861)359.95 (1861)369.59 (1861)32.31 (1861)85.55 (1861)22.88 (1861)3600.0 (-)
k100-73-76.rna.pre.wcnf.xz40.85 (2008)40.8 (2008)39.2 (2008)1792.18 (2008)369.38 (2008)372.68 (2008)39.61 (2008)111.74 (2008)26.16 (2008)3600.0 (-)
k100-78-85.rna.pre.wcnf.xz25.67 (1744)25.58 (1744)25.5 (1744)822.32 (1744)345.39 (1744)342.65 (1744)26.09 (1744)78.59 (1744)18.33 (1744)3600.0 (-)
k50-18-30.rna.pre.wcnf.xz205.05 (462)207.74 (462)85.32 (462)1.26 (462)5.29 (462)5.38 (462)0.01 (462)0.75 (462)1.19 (462)313.11 (462)
k50-21-38.rna.pre.wcnf.xz0.65 (497)0.57 (497)100.5 (497)1.48 (497)4.01 (497)3.98 (497)0.59 (497)0.76 (497)1.34 (497)417.18 (497)
limits-10-10_data-1_inst-005_60m.sm-extracted.wcnf.xz29.45 (1674983)29.77 (1674983)29.26 (1674983)328.26 (1674983)487.69 (1674983)490.47 (1674983)29.06 (1674983)484.54 (1674983)53.0 (1674983)139.42 (1674983)
limits-10-10_data-1_inst-010_30m.sm-extracted.wcnf.xz509.29 (19021817)468.59 (19021817)442.54 (19021817)3600.0 (-)1198.11 (19021817)1265.32 (19021817)446.85 (19021817)3600.0 (-)251.59 (19021817)324.32 (19021817)
limits-10-10_data-1_inst-018_60m.sm-extracted.wcnf.xz93.5 (4638351)99.06 (4638351)84.89 (4638351)934.11 (4638351)473.54 (4638351)476.15 (4638351)83.38 (4638351)1339.34 (4638351)73.82 (4638351)93.35 (4638351)
limits-10-10_data-1_inst-044_30m.sm-extracted.wcnf.xz429.74 (30028201)440.76 (30028201)338.86 (30028201)3600.0 (-)3600.0 (-)3600.0 (-)337.19 (30028201)3600.0 (-)682.4 (30028201)1082.82 (30028201)
limits-10-10_data-1_inst-045_30m.sm-extracted.wcnf.xz183.97 (4726335)149.84 (4726335)142.59 (4726335)3474.77 (4726335)817.43 (4726335)859.71 (4726335)142.61 (4726335)3600.0 (-)1054.24 (4726335)405.49 (4726335)
limits-10-10_data-1_inst-048_60m.sm-extracted.wcnf.xz28.09 (1592498)28.52 (1592498)28.07 (1592498)199.21 (1592498)295.75 (1592498)296.28 (1592498)27.84 (1592498)388.25 (1592498)32.88 (1592498)53.14 (1592498)
limits-10-10_data-1_inst-059_30m.sm-extracted.wcnf.xz198.6 (16994335)176.55 (16994335)162.14 (16994335)3600.0 (-)995.97 (16994335)1002.0 (16994335)161.17 (16994335)3548.02 (16994335)559.58 (16994335)3600.0 (-)
limits-10-10_data-1_inst-060_60m.sm-extracted.wcnf.xz56.63 (3688454)41.52 (3688454)38.47 (3688454)238.59 (3688454)296.23 (3688454)314.01 (3688454)38.47 (3688454)358.3 (3688454)120.24 (3688454)1965.02 (3688454)
limits-10-10_data-1_inst-068_30m.sm-extracted.wcnf.xz69.35 (5536663)64.48 (5536663)64.24 (5536663)2118.11 (5536663)590.78 (5536663)608.46 (5536663)63.8 (5536663)1840.63 (5536663)240.07 (5536663)164.11 (5536663)
limits-10-10_data-1_inst-122_30m.sm-extracted.wcnf.xz310.72 (15804703)280.16 (15804703)270.56 (15804703)3600.0 (-)1305.05 (15804703)1454.26 (15804703)269.91 (15804703)3600.0 (-)684.9 (15804703)696.38 (15804703)
limits-10-10_data-1_inst-137_30m.sm-extracted.wcnf.xz243.33 (16167552)216.73 (16167552)210.94 (16167552)2835.25 (16167552)1037.42 (16167552)1295.02 (16167552)209.37 (16167552)3600.0 (-)1540.36 (16167552)340.58 (16167552)
limits-10-10_data-1_inst-182_30m.sm-extracted.wcnf.xz337.61 (14625180)334.52 (14625180)284.37 (14625180)3600.0 (-)1747.77 (14625180)1971.03 (14625180)287.01 (14625180)3600.0 (-)376.13 (14625180)340.38 (14625180)
limits-10-10_data-2_inst-017_60m.sm-extracted.wcnf.xz110.98 (7295683)113.67 (7295683)91.1 (7295683)2143.08 (7295683)1146.57 (7295683)860.76 (7295683)90.53 (7295683)1049.2 (7295683)87.12 (7295683)172.86 (7295683)
limits-10-10_data-2_inst-030_30m.sm-extracted.wcnf.xz2103.46 (33006575)2186.44 (33006575)717.39 (33006575)3600.0 (-)3600.0 (-)3600.0 (-)713.46 (33006575)3600.0 (-)3600.0 (-)592.54 (33006575)
limits-10-10_data-3_inst-002_30m.sm-extracted.wcnf.xz213.77 (24222877)221.13 (24222877)216.81 (24222877)3600.0 (-)1968.5 (24222877)4136.12 (24222877)216.02 (24222877)3600.0 (-)314.92 (24222877)351.52 (24222877)
limits-10-10_data-3_inst-028_60m.sm-extracted.wcnf.xz119.45 (7231899)129.31 (7231899)107.61 (7231899)1516.35 (7231899)811.66 (7231899)834.26 (7231899)107.01 (7231899)1175.82 (7231899)217.43 (7231899)344.96 (7231899)
lisbon-wedding-1-17.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-1-18.wcnf.xz79.31 (961)60.71 (961)91.04 (961)2307.42 (961)3600.0 (-)3600.0 (-)92.86 (961)61.79 (961)1678.54 (961)293.54 (961)
lisbon-wedding-1-19.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-10-17.wcnf.xz740.6 (377)650.05 (377)544.51 (377)611.15 (377)3600.0 (-)3600.0 (-)41.09 (377)58.32 (377)3600.0 (-)3600.0 (-)
lisbon-wedding-10-18.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-10-19.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-2-18.wcnf.xz76.54 (1137)60.88 (1137)91.13 (1137)2275.21 (1137)3600.0 (-)3600.0 (-)93.08 (1137)50.76 (1137)1717.66 (1137)142.69 (1137)
lisbon-wedding-3-17.wcnf.xz19.52 (1035)14.22 (1035)14.22 (1035)1982.45 (1035)2172.07 (1035)3600.0 (-)14.53 (1035)9.89 (1035)843.41 (1035)3600.0 (-)
lisbon-wedding-3-18.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-4-18.wcnf.xz22.14 (803)10.29 (803)16.85 (803)2040.44 (803)3306.12 (803)2010.7 (803)16.34 (803)15.95 (803)36.87 (803)3600.0 (-)
lisbon-wedding-5-17.wcnf.xz723.98 (802)13.84 (802)890.77 (802)2721.06 (802)1716.19 (802)1561.45 (802)918.74 (802)23.41 (802)47.7 (802)3600.0 (-)
lisbon-wedding-5-19.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1667.55 (805)3600.0 (-)
lisbon-wedding-7-19.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-8-18.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-8-19.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
lisbon-wedding-9-17.wcnf.xz3600.0 (-)3561.71 (394)482.9 (394)3049.3 (394)3600.0 (-)3600.0 (-)484.49 (394)89.79 (394)3600.0 (-)3600.0 (-)
log.1401.wcsp.log.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1066.88 (459106)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
log.1405.wcsp.log.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
log.28.wcsp.log.wcnf.xz1264.4 (270105)1293.99 (270105)3600.0 (-)3600.0 (-)3393.43 (270105)3600.0 (-)660.53 (270105)3600.0 (-)3600.0 (-)3600.0 (-)
log.408.wcsp.log.wcnf.xz123.06 (6228)124.53 (6228)127.95 (6228)8.39 (6228)123.94 (6228)124.15 (6228)0.0 (6228)0.0 (6228)0.0 (6228)37.91 (6228)
log.505.wcsp.log.wcnf.xz606.07 (21253)606.2 (21253)505.24 (21253)8.24 (21253)567.25 (21253)566.37 (21253)0.0 (21253)0.0 (21253)0.0 (21253)1.48 (21253)
log.8.wcsp.log.wcnf.xz0.0 (2)0.02 (2)0.0 (2)0.01 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)0.0 (2)
londonist.dimacs.wcnf.xz279.29 (70703)281.64 (70703)139.56 (70703)245.62 (70703)206.49 (70703)229.02 (70703)1.29 (70703)101.82 (70703)34.16 (70703)8.23 (70703)
metro_8_8_5_20_10_6_500_1_0.lp.sm-extracted.wcnf.xz11.58 (82)8.06 (82)512.31 (82)52.35 (82)316.32 (82)309.65 (82)7.31 (82)64.13 (82)58.92 (82)195.73 (82)
metro_8_8_5_20_10_6_500_1_7.lp.sm-extracted.wcnf.xz14.21 (89)12.0 (89)512.48 (89)64.79 (89)136.59 (89)104.98 (89)7.77 (89)34.03 (89)87.96 (89)134.92 (89)
metro_8_8_5_20_10_6_500_1_9.lp.sm-extracted.wcnf.xz38.91 (105)42.96 (105)549.18 (105)119.03 (105)364.54 (105)340.66 (105)43.93 (105)174.79 (105)236.21 (105)1726.59 (105)
metro_9_8_7_22_10_6_500_1_1.lp.sm-extracted.wcnf.xz6.68 (52)6.05 (52)510.28 (52)5.96 (52)89.41 (52)93.71 (52)4.91 (52)18.67 (52)35.02 (52)133.59 (52)
metro_9_8_7_22_10_6_500_1_2.lp.sm-extracted.wcnf.xz9.0 (60)10.72 (60)514.0 (60)6.95 (60)42.43 (60)41.19 (60)9.17 (60)26.85 (60)23.25 (60)127.88 (60)
metro_9_8_7_22_10_6_500_1_3.lp.sm-extracted.wcnf.xz4.71 (44)2.19 (44)362.07 (44)6.79 (44)32.02 (44)31.86 (44)2.08 (44)10.82 (44)13.86 (44)16.69 (44)
metro_9_8_7_30_10_6_500_1_5.lp.sm-extracted.wcnf.xz28.08 (47)25.57 (47)527.05 (47)28.35 (47)324.45 (47)322.83 (47)23.99 (47)89.22 (47)191.4 (47)439.56 (47)
metro_9_8_7_30_10_6_500_1_6.lp.sm-extracted.wcnf.xz8.64 (31)6.4 (31)510.97 (31)8.83 (31)50.78 (31)55.57 (31)6.17 (31)65.35 (31)66.79 (31)155.39 (31)
metro_9_8_7_30_10_6_500_1_7.lp.sm-extracted.wcnf.xz35.52 (47)23.2 (47)526.69 (47)14.86 (47)239.52 (47)230.57 (47)22.51 (47)81.88 (47)126.41 (47)634.85 (47)
metro_9_8_7_30_10_6_500_1_8.lp.sm-extracted.wcnf.xz78.64 (55)93.19 (55)569.11 (55)69.41 (55)363.37 (55)362.3 (55)64.02 (55)212.25 (55)440.65 (55)3600.0 (-)
metro_9_9_10_35_13_7_500_2_2.lp.sm-extracted.wcnf.xz8.22 (32)5.33 (32)511.37 (32)95.62 (32)125.26 (32)105.32 (32)6.01 (32)76.16 (32)65.09 (32)235.44 (32)
metro_9_9_10_35_13_7_500_2_6.lp.sm-extracted.wcnf.xz4.12 (15)2.92 (15)384.49 (15)9.25 (15)21.62 (15)21.5 (15)2.63 (15)21.32 (15)28.88 (15)48.01 (15)
metro_9_9_10_35_13_7_500_2_7.lp.sm-extracted.wcnf.xz39.06 (37)34.14 (37)537.23 (37)43.7 (37)344.78 (37)252.28 (37)34.04 (37)111.41 (37)238.49 (37)1500.36 (37)
mul.role_domino_multiple_0.8_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul.role_domino_multiple_1.0_4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul.role_smallcomp_multiple_0.3_6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)19.12 (139251)
mul.role_smallcomp_multiple_0.9_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
mul.role_smallcomp_multiple_1.0_6.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1.73 (295598)
mul.role_university_multiple_0.1_0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
openstreetmap.dimacs.wcnf.xz222.88 (65915)223.69 (65915)124.11 (65915)104.52 (65915)101.1 (65915)101.08 (65915)0.95 (65915)60.53 (65915)5.13 (65915)9.68 (65915)
pa-1.wcnf.xz999.22 (820)1228.05 (820)1109.13 (820)220.39 (820)7075.2 (820)3600.0 (-)1102.97 (820)896.04 (820)3499.64 (820)3600.0 (-)
pa-2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)1733.48 (143)2741.43 (143)3600.0 (-)3600.0 (-)1804.01 (143)3600.0 (-)3600.0 (-)
pa-3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)2586.66 (192)2757.2 (192)2751.93 (192)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
pac.80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.wcnf.xz0.0 (1924238)0.01 (1924238)0.01 (1924238)0.0 (1924238)0.14 (1924238)0.13 (1924238)0.0 (1924238)0.84 (1924238)3.33 (1924238)6.97 (1924238)
pac.fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.wcnf.xz0.68 (4569599)0.69 (4569599)0.01 (4569599)0.01 (4569599)0.7 (4569599)0.66 (4569599)0.75 (4569599)3.69 (4569599)7.3 (4569599)5.87 (4569599)
pac.rand179_l1.wcnf.xz4.52 (493118)4.46 (493118)4.91 (493118)2.98 (493118)16.85 (493118)16.81 (493118)0.8 (493118)4.05 (493118)2.15 (493118)50.5 (493118)
pac.rand892_l1.wcnf.xz0.0 (224702)0.0 (224702)0.0 (224702)0.13 (224702)0.95 (224702)0.94 (224702)0.0 (224702)0.54 (224702)0.61 (224702)5.41 (224702)
pac.rand984_l1.wcnf.xz1.33 (345082)1.33 (345082)1.17 (345082)0.9 (345082)10.15 (345082)10.45 (345082)0.57 (345082)2.59 (345082)1.93 (345082)9.5 (345082)
ped2.B.recomb1-0.01-2.wcnf.xz0.86 (7)0.85 (7)68.87 (7)1.17 (7)1.21 (7)1.24 (7)0.83 (7)1.02 (7)4.68 (7)14.1 (7)
ped2.B.recomb1-0.10-7.wcnf.xz1.41 (588)1.48 (588)507.35 (588)2.2 (588)3.58 (588)3.66 (588)1.41 (588)1.51 (588)6.46 (588)43.7 (588)
ped2.B.recomb1-0.20-13.wcnf.xz2.35 (7)2.48 (7)2.29 (7)4.63 (7)13.13 (7)13.3 (7)2.26 (7)4.44 (7)7.7 (7)46.86 (7)
ped2.G.recomb10-0.20-11.wcnf.xz262.72 (50061)218.53 (50061)1293.41 (50061)3600.0 (-)3600.0 (-)3600.0 (-)1332.2 (50061)113.43 (50061)126.2 (50061)3600.0 (-)
ped2.G.recomb10-0.20-13.wcnf.xz75.91 (40755)50.21 (40755)68.5 (40755)3600.0 (-)3600.0 (-)3600.0 (-)68.61 (40755)82.94 (40755)102.07 (40755)3600.0 (-)
ped2.G.recomb5-0.01-1.wcnf.xz13.56 (29116)12.41 (29116)12.59 (29116)30.35 (29116)514.75 (29116)597.24 (29116)12.51 (29116)36.46 (29116)41.77 (29116)46.62 (29116)
ped2.G.recomb5-0.01-3.wcnf.xz13.94 (31442)13.22 (31442)12.96 (31442)28.46 (31442)453.45 (31442)410.97 (31442)12.91 (31442)37.21 (31442)41.17 (31442)43.97 (31442)
ped2.G.recomb5-0.10-7.wcnf.xz25.14 (25626)22.65 (25626)21.26 (25626)79.44 (25626)1083.77 (25626)746.28 (25626)21.2 (25626)51.73 (25626)59.76 (25626)49.51 (25626)
ped2.G.recomb5-0.10-9.wcnf.xz30.24 (31445)24.44 (31445)23.44 (31445)81.83 (31445)833.81 (31445)972.48 (31445)23.47 (31445)55.01 (31445)60.0 (31445)42.32 (31445)
ped2.G.recomb5-0.20-13.wcnf.xz51.47 (30286)47.15 (30286)39.61 (30286)1055.91 (30286)3600.0 (-)3397.73 (30286)39.69 (30286)70.14 (30286)90.37 (30286)3600.0 (-)
ped3.D.recomb10-0.20-12.wcnf.xz0.69 (349)0.72 (349)506.38 (349)1.32 (349)3.06 (349)6.17 (349)0.67 (349)0.71 (349)3.51 (349)7.94 (349)
ped3.D.recomb10-0.20-14.wcnf.xz0.77 (7)0.78 (7)506.65 (7)1.25 (7)3.06 (7)3.14 (7)0.75 (7)1.25 (7)3.62 (7)15.47 (7)
ped3.E.recomb10-0.20-13.wcnf.xz3.97 (8559)3.54 (8559)3.45 (8559)41.03 (8559)560.09 (8559)612.73 (8559)3.44 (8559)6.05 (8559)12.21 (8559)16.35 (8559)
ped3.F.recomb10-0.20-14.wcnf.xz4.47 (5482)3.37 (5482)3.45 (5482)137.6 (5482)744.87 (5482)415.74 (5482)3.41 (5482)7.14 (5482)11.16 (5482)15.62 (5482)
ped3.G.recomb10-0.20-12.wcnf.xz44.34 (13027)17.93 (13027)25.66 (13027)371.24 (13027)3600.0 (-)3600.0 (-)25.94 (13027)22.97 (13027)25.51 (13027)232.97 (13027)
polysite-avrora.wcnf.xz210.0 (51801)180.56 (51801)180.41 (51801)335.08 (51801)567.55 (51801)563.07 (51801)178.09 (51801)190.02 (51801)363.55 (51801)1168.58 (51801)
polysite-hsqldb.wcnf.xz536.32 (172382)501.49 (172382)497.83 (172382)485.97 (172382)1015.27 (172382)994.92 (172382)493.52 (172382)427.85 (172382)2378.66 (172382)3600.0 (-)
polysite-lusearch.wcnf.xz126.61 (421456)86.96 (421456)85.73 (421456)411.18 (421456)550.52 (421456)550.6 (421456)167.07 (421456)160.43 (421456)273.81 (421456)1065.6 (421456)
polysite-pmd.wcnf.xz496.04 (188398)448.64 (188398)434.9 (188398)459.36 (188398)961.54 (188398)911.33 (188398)441.8 (188398)408.31 (188398)1071.28 (188398)3600.0 (-)
polysite-xalan.wcnf.xz435.34 (114620)325.22 (114620)319.08 (114620)531.15 (114620)906.26 (114620)1035.51 (114620)316.45 (114620)744.62 (114620)1610.46 (114620)3600.0 (-)
portfoliovqe_4_18_rigetti-agave_8.wcnf.xz606.32 (33)606.33 (33)505.56 (33)393.45 (33)9.28 (33)9.23 (33)0.0 (33)0.0 (33)0.53 (33)2.14 (33)
power-distribution_11_6.wcnf.xz2755.65 (126)3600.0 (-)453.86 (126)167.84 (126)54.56 (126)65.92 (126)2444.03 (126)151.2 (126)291.18 (126)3600.0 (-)
power-distribution_12_2.wcnf.xz247.6 (216)247.73 (216)146.53 (216)0.0 (216)0.0 (216)0.0 (216)0.0 (216)0.0 (216)0.0 (216)0.0 (216)
power-distribution_12_5.wcnf.xz92.32 (216)52.02 (216)131.42 (216)102.29 (216)16.0 (216)15.93 (216)137.1 (216)51.12 (216)54.16 (216)1596.81 (216)
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 (-)
power-distribution_1_2.wcnf.xz0.0 (3)0.0 (3)0.0 (3)0.0 (3)0.0 (3)0.06 (3)0.0 (3)0.0 (3)0.0 (3)0.0 (3)
power-distribution_1_4.wcnf.xz62.53 (3)61.24 (3)28.24 (3)0.0 (3)0.0 (3)0.0 (3)0.0 (3)0.0 (3)0.0 (3)0.0 (3)
power-distribution_1_6.wcnf.xz607.19 (3)607.7 (3)506.18 (3)0.99 (3)1.16 (3)1.15 (3)1.04 (3)0.76 (3)1.51 (3)2.35 (3)
power-distribution_1_8.wcnf.xz933.08 (3)979.77 (3)831.35 (3)72.44 (3)74.45 (3)74.16 (3)335.01 (3)13.57 (3)94.84 (3)420.7 (3)
power-distribution_2_2.wcnf.xz8.64 (10)8.71 (10)1.33 (10)0.0 (10)3.54 (10)3.53 (10)0.0 (10)0.0 (10)0.0 (10)0.0 (10)
power-distribution_2_8.wcnf.xz2022.2 (10)2036.11 (10)1515.67 (10)1439.75 (10)1148.35 (10)1145.89 (10)2083.31 (10)882.87 (10)2247.01 (10)3600.0 (-)
power-distribution_3_4.wcnf.xz50.95 (1)51.42 (1)61.78 (1)0.0 (1)0.0 (1)0.0 (1)0.0 (1)0.0 (1)0.0 (1)0.0 (1)
power-distribution_4_8.wcnf.xz201.06 (6)199.77 (6)195.87 (6)143.51 (6)496.7 (6)496.92 (6)200.05 (6)130.04 (6)234.23 (6)1543.61 (6)
power-distribution_7_6.wcnf.xz1.69 (18)1.67 (18)509.23 (18)4.9 (18)5.94 (18)5.93 (18)1.7 (18)3.54 (18)3.86 (18)12.34 (18)
power-distribution_8_4.wcnf.xz607.58 (40)606.72 (40)506.65 (40)0.82 (40)0.98 (40)1.05 (40)0.02 (40)0.02 (40)1.44 (40)0.89 (40)
power-distribution_8_7.wcnf.xz90.44 (40)94.05 (40)95.64 (40)122.92 (40)290.08 (40)187.32 (40)97.2 (40)147.02 (40)74.25 (40)1157.57 (40)
power-distribution_9_2.wcnf.xz0.0 (18)0.0 (18)1.72 (18)0.0 (18)0.0 (18)0.0 (18)0.01 (18)0.0 (18)0.0 (18)0.0 (18)
pri.formula_0.8_2021_atleast_127_max-6_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 (-)
pri.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 (-)
qaoa_4_16_ibmq-casablanca_7.wcnf.xz607.77 (12)607.3 (12)506.55 (12)51.04 (12)118.2 (12)77.89 (12)1.08 (12)242.34 (12)17.13 (12)29.86 (12)
qft_5_26_ibmq-casablanca_7.wcnf.xz9.45 (15)24.96 (15)9.24 (15)225.23 (15)463.55 (15)445.76 (15)9.3 (15)828.53 (15)419.61 (15)52.4 (15)
qftentangled_4_21_ibmq-casablanca_7.wcnf.xz5.7 (15)13.18 (15)555.24 (15)1182.75 (15)571.23 (15)570.33 (15)51.57 (15)1351.34 (15)749.37 (15)190.92 (15)
qftentangled_4_39_rigetti-agave_8.wcnf.xz606.27 (18)606.18 (18)505.3 (18)3.04 (18)6.71 (18)6.72 (18)0.28 (18)2.12 (18)0.66 (18)4.48 (18)
qftentangled_5_30_ibmq-london_5.wcnf.xz608.8 (27)627.45 (27)1081.87 (27)272.55 (27)568.65 (27)470.43 (27)38.62 (27)38.87 (27)5.21 (27)174.05 (27)
qftentangled_5_48_rigetti-agave_8.wcnf.xz613.01 (24)695.18 (24)535.06 (24)2255.53 (24)756.67 (24)902.23 (24)31.3 (24)42.97 (24)176.01 (24)3195.27 (24)
qgan_6_15_ibmq-casablanca_7.wcnf.xz83.92 (24)703.46 (24)1022.7 (24)3600.0 (-)654.07 (24)655.58 (24)539.46 (24)2322.39 (24)3600.0 (-)360.63 (24)
qpeexact_5_26_ibmq-casablanca_7.wcnf.xz4.6 (15)4.78 (15)12.72 (15)248.86 (15)290.9 (15)582.45 (15)12.67 (15)336.88 (15)66.99 (15)224.26 (15)
qwalk-v-chain_3_30_ibmq-casablanca_7.wcnf.xz5.73 (30)3.82 (30)509.7 (30)640.31 (30)577.95 (30)563.14 (30)3.6 (30)7.35 (30)3600.0 (-)93.36 (30)
qwalk-v-chain_5_102_ibmq-london_5.wcnf.xz8.44 (81)3600.0 (-)3600.0 (-)1058.86 (81)1177.26 (81)1183.11 (81)3600.0 (-)9.38 (81)12.58 (81)3600.0 (-)
r11.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rail2536.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)943.5 (689)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rail4284.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rail4872.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rail507.wcnf.xz258.81 (174)260.64 (174)381.36 (174)672.19 (174)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rail516.wcnf.xz17.33 (182)17.44 (182)184.32 (182)257.42 (182)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
rail582.wcnf.xz222.97 (211)223.88 (211)133.83 (211)188.28 (211)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
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 (-)
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 (-)
ram_k3_n17.ra1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ram_k4_n20.ra1.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scp410_weighted.wcnf.xz0.0 (514)0.0 (514)0.0 (514)0.07 (514)0.0 (514)0.29 (514)0.0 (514)0.82 (514)1.05 (514)2.18 (514)
ran-scp.scp41_weighted.wcnf.xz0.05 (429)0.0 (429)0.0 (429)0.0 (429)0.0 (429)0.0 (429)0.36 (429)1.23 (429)0.74 (429)2.59 (429)
ran-scp.scp48_weighted.wcnf.xz0.55 (492)0.6 (492)0.53 (492)0.0 (492)0.0 (492)0.0 (492)3600.0 (-)2336.22 (492)7.01 (492)3600.0 (-)
ran-scp.scp49_weighted.wcnf.xz0.0 (641)0.0 (641)0.0 (641)0.0 (641)0.28 (641)0.0 (641)3600.0 (-)193.9 (641)5.67 (641)427.32 (641)
ran-scp.scp51_weighted.wcnf.xz0.52 (253)0.54 (253)0.0 (253)0.0 (253)0.63 (253)0.52 (253)6.4 (253)104.36 (253)73.62 (253)5.96 (253)
ran-scp.scp54_weighted.wcnf.xz0.0 (242)0.0 (242)0.0 (242)0.0 (242)0.76 (242)0.75 (242)8.44 (242)131.34 (242)11.51 (242)4.61 (242)
ran-scp.scp56_weighted.wcnf.xz0.0 (213)0.0 (213)0.0 (213)0.0 (213)0.66 (213)0.66 (213)1.93 (213)2.38 (213)2.61 (213)3.51 (213)
ran-scp.scp58_weighted.wcnf.xz0.0 (288)0.0 (288)0.0 (288)0.0 (288)0.69 (288)0.7 (288)3.7 (288)1953.18 (288)221.82 (288)3600.0 (-)
ran-scp.scp65_weighted.wcnf.xz9.33 (161)9.35 (161)4.31 (161)0.62 (161)0.74 (161)0.75 (161)3600.0 (-)830.71 (161)357.63 (161)3600.0 (-)
ran-scp.scpnre5_weighted.wcnf.xz114.7 (28)114.74 (28)92.13 (28)34.94 (28)36.5 (28)36.16 (28)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrf1_weighted.wcnf.xz190.07 (14)188.52 (14)185.77 (14)73.47 (14)83.97 (14)83.65 (14)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrf4_weighted.wcnf.xz366.19 (14)358.01 (14)275.05 (14)130.15 (14)405.55 (14)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrf5_weighted.wcnf.xz576.64 (13)577.26 (13)3600.0 (-)813.7 (13)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrg3_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrg4_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran-scp.scpnrh5_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_420_2.asc.wcnf.xz79.22 (703)77.58 (703)63.01 (703)45.28 (703)44.99 (703)45.14 (703)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_420_5.asc.wcnf.xz75.88 (715)75.99 (715)71.02 (715)64.96 (715)69.52 (715)69.89 (715)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_420_9.asc.wcnf.xz43.52 (674)43.23 (674)34.04 (674)25.51 (674)25.76 (674)25.77 (674)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_500_2.asc.wcnf.xz308.67 (900)339.31 (900)312.3 (900)508.99 (900)671.86 (900)673.69 (900)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_560_3.asc.wcnf.xz353.44 (1054)356.87 (1054)217.15 (1054)505.28 (1054)2878.64 (1054)2887.65 (1054)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_560_7.asc.wcnf.xz289.22 (1053)289.33 (1053)198.76 (1053)571.98 (1053)2288.45 (1053)2296.9 (1053)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_600_1.asc.wcnf.xz335.2 (1156)331.89 (1156)319.73 (1156)898.65 (1156)1170.92 (1156)1170.23 (1156)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
ran.max_cut_60_600_9.asc.wcnf.xz394.19 (1149)388.67 (1149)365.9 (1149)2247.69 (1149)1134.81 (1149)1182.19 (1149)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
random-dif-16.rna.pre.wcnf.xz344.5 (768)348.92 (768)100.1 (768)2.91 (768)14.11 (768)14.03 (768)0.01 (768)0.0 (768)0.74 (768)734.03 (768)
random-dif-2.rna.pre.wcnf.xz192.78 (929)194.35 (929)206.98 (929)2.15 (929)22.34 (929)22.34 (929)0.0 (929)1.54 (929)0.77 (929)1019.08 (929)
random-dif-25.rna.pre.wcnf.xz95.71 (512)95.72 (512)37.4 (512)0.82 (512)3.5 (512)3.51 (512)0.0 (512)0.61 (512)0.8 (512)740.01 (512)
random-dif-9.rna.pre.wcnf.xz23.9 (456)23.53 (456)9.19 (456)0.0 (456)1.16 (456)1.15 (456)0.0 (456)0.0 (456)0.0 (456)5.29 (456)
random-net-100-1_network-3.net.wcnf.xz4.84 (91570)4.69 (91570)4.9 (91570)0.0 (91570)1.07 (91570)1.13 (91570)0.77 (91570)1.37 (91570)2.3 (91570)201.22 (91570)
random-net-120-1_network-5.net.wcnf.xz7.88 (117198)7.95 (117198)7.11 (117198)0.54 (117198)1.77 (117198)1.82 (117198)3600.0 (-)1.87 (117198)7.48 (117198)529.28 (117198)
random-net-20-5_network-4.net.wcnf.xz178.64 (19602)177.84 (19602)245.33 (19602)28.06 (19602)29.24 (19602)29.25 (19602)313.13 (19602)42.25 (19602)92.05 (19602)3600.0 (-)
random-net-220-1_network-7.net.wcnf.xz19.95 (203783)19.92 (203783)20.22 (203783)8.69 (203783)51.05 (203783)52.43 (203783)7.01 (203783)7.76 (203783)14.64 (203783)3600.0 (-)
random-net-240-1_network-7.net.wcnf.xz29.1 (219252)29.41 (219252)39.71 (219252)10.02 (219252)61.39 (219252)68.38 (219252)3600.0 (-)6.63 (219252)15.97 (219252)3600.0 (-)
random-net-260-1_network-4.net.wcnf.xz31.43 (238131)31.56 (238131)35.41 (238131)14.61 (238131)76.06 (238131)75.15 (238131)3600.0 (-)8.76 (238131)26.1 (238131)3600.0 (-)
random-net-30-3_network-2.net.wcnf.xz9.95 (27606)9.9 (27606)8.93 (27606)0.61 (27606)1.23 (27606)1.25 (27606)0.38 (27606)1.58 (27606)0.91 (27606)0.0 (27606)
random-net-30-4_network-3.net.wcnf.xz458.63 (24925)456.13 (24925)361.97 (24925)125.1 (24925)83.42 (24925)84.06 (24925)1804.08 (24925)82.6 (24925)223.38 (24925)3600.0 (-)
random-net-40-2_network-8.net.wcnf.xz470.86 (38289)479.22 (38289)358.99 (38289)52.86 (38289)66.68 (38289)66.43 (38289)3600.0 (-)3.59 (38289)6.37 (38289)3600.0 (-)
random-net-40-2_network-9.net.wcnf.xz33.5 (35951)42.52 (35951)61.54 (35951)3.29 (35951)8.62 (35951)8.63 (35951)0.6 (35951)2.28 (35951)3.13 (35951)205.65 (35951)
random-net-40-3_network-5.net.wcnf.xz36.42 (35488)36.39 (35488)52.13 (35488)5.0 (35488)6.73 (35488)6.68 (35488)350.19 (35488)1.75 (35488)4.09 (35488)493.45 (35488)
random-net-40-4_network-2.net.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)362.85 (36427)943.8 (36427)3600.0 (-)3600.0 (-)3600.0 (-)499.99 (36427)3600.0 (-)
random-net-50-3_network-5.net.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)2464.99 (41356)1387.28 (41356)1436.4 (41356)3600.0 (-)362.21 (41356)114.94 (41356)3600.0 (-)
random-net-50-4_network-8.net.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)390.28 (43243)3600.0 (-)
random-net-50-5_network-8.net.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
random-net-60-3_network-3.net.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)541.68 (50929)703.06 (50929)552.73 (50929)3600.0 (-)128.68 (50929)186.07 (50929)3600.0 (-)
random-same-12.rna.pre.wcnf.xz48.67 (597)48.26 (597)18.54 (597)0.0 (597)1.35 (597)1.34 (597)0.0 (597)0.0 (597)0.0 (597)125.24 (597)
random-same-19.rna.pre.wcnf.xz11.18 (337)11.26 (337)7.1 (337)0.0 (337)0.0 (337)0.0 (337)0.0 (337)0.0 (337)0.0 (337)6.65 (337)
random-same-25.rna.pre.wcnf.xz13.39 (224)13.35 (224)6.65 (224)0.0 (224)0.0 (224)0.0 (224)0.0 (224)0.0 (224)0.0 (224)10.63 (224)
random-same-5.rna.pre.wcnf.xz39.34 (456)39.48 (456)16.85 (456)0.0 (456)0.0 (456)0.0 (456)0.0 (456)0.0 (456)0.0 (456)107.14 (456)
rc-2.wcnf.xz94.08 (5722)127.34 (5722)43.32 (5722)11.74 (5722)19.7 (5722)19.36 (5722)86.12 (5722)300.56 (5722)2160.6 (5722)1317.91 (5722)
rc-3.wcnf.xz108.42 (5722)115.78 (5722)45.61 (5722)11.72 (5722)21.04 (5722)21.23 (5722)45.43 (5722)290.98 (5722)2157.84 (5722)1155.19 (5722)
realamprandom_4_72_rigetti-agave_8.wcnf.xz608.87 (36)611.57 (36)508.47 (36)89.29 (36)343.14 (36)218.56 (36)3.2 (36)25.16 (36)7.75 (36)730.71 (36)
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 (-)
role_domino_0.05_15.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_domino_0.1_18.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_domino_0.1_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_domino_0.3_15.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_domino_0.6_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_domino_0.9_0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_smallcomp_0.75_8.wcnf.xz674.26 (348219)687.41 (348219)569.87 (348219)804.1 (348219)1712.47 (348219)1614.44 (348219)67.58 (348219)199.95 (348219)64.92 (348219)7.03 (348219)
role_smallcomp_0.7_11.wcnf.xz684.64 (333834)700.39 (333834)586.5 (333834)983.82 (333834)912.52 (333834)619.1 (333834)84.56 (333834)132.48 (333834)54.43 (333834)3.26 (333834)
role_smallcomp_0.85_4.wcnf.xz800.76 (369639)1928.61 (369639)1018.45 (369639)3600.0 (-)3600.0 (-)3600.0 (-)522.28 (369639)3600.0 (-)3600.0 (-)3600.0 (-)
role_smallcomp_0.85_7.wcnf.xz895.8 (369639)733.09 (369639)649.04 (369639)3600.0 (-)3600.0 (-)3600.0 (-)146.82 (369639)3600.0 (-)3600.0 (-)3600.0 (-)
role_university_0.15_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_university_0.25_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_university_0.25_8.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_university_0.5_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_university_0.75_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
role_university_1.0_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
sc-rel9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
simNo_1-s_15-m_50-n_50-fp_0.0001-fn_0.20.wcnf.xz1.46 (11501657324586)1.02 (11501657324586)0.66 (11501657324586)1.28 (11501657324586)3.01 (11501657324586)3.09 (11501657324586)0.7 (11501657324586)0.96 (11501657324586)2.47 (11501657324586)4.99 (11501657324586)
simNo_1-s_5-m_100-n_500-fp_0.0001-fn_0.05.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
simNo_10-s_15-m_100-n_100-fp_0.0001-fn_0.20.wcnf.xz83.41 (82981983123459)36.62 (82981983123459)20.19 (82981983123459)97.82 (82981983123459)120.08 (82981983123459)113.13 (82981983123459)20.22 (82981983123459)69.94 (82981983123459)39.57 (82981983123459)24.55 (82981983123459)
simNo_10-s_15-m_100-n_50-fp_0.01-fn_0.20.wcnf.xz73.29 (84803002848794)21.65 (84803002848794)12.64 (84803002848794)94.21 (84803002848794)106.6 (84803002848794)113.88 (84803002848794)12.71 (84803002848794)64.97 (84803002848794)66.35 (84803002848794)32.44 (84803002848794)
simNo_2-s_5-m_100-n_100-fp_0.0001-fn_0.05.wcnf.xz64.5 (99635408482313)39.99 (99635408482313)22.23 (99635408482313)110.87 (99635408482313)3600.0 (-)3600.0 (-)22.22 (99635408482313)216.23 (99635408482313)38.55 (99635408482313)23.81 (99635408482313)
simNo_2-s_5-m_100-n_500-fp_0.01-fn_0.05.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
simNo_3-s_5-m_50-n_50-fp_0.0001-fn_0.05.wcnf.xz1.4 (18938961942919)1.08 (18938961942919)0.7 (18938961942919)1.37 (18938961942919)4.05 (18938961942919)3.97 (18938961942919)0.69 (18938961942919)1.24 (18938961942919)2.41 (18938961942919)3.19 (18938961942919)
simNo_5-s_15-m_100-n_100-fp_0.0001-fn_0.20.wcnf.xz141.12 (113321765415159)49.78 (113321765415159)29.31 (113321765415159)98.99 (113321765415159)108.81 (113321765415159)115.69 (113321765415159)29.29 (113321765415159)114.72 (113321765415159)51.89 (113321765415159)21.24 (113321765415159)
simNo_5-s_15-m_100-n_500-fp_0.0001-fn_0.05.wcnf.xz913.25 (333774338659545)565.51 (333774338659545)247.63 (333774338659545)439.18 (333774338659545)3600.0 (-)3600.0 (-)237.49 (333774338659545)1045.83 (333774338659545)309.6 (333774338659545)129.1 (333774338659545)
simNo_6-s_15-m_100-n_50-fp_0.01-fn_0.05.wcnf.xz28.67 (60142712649443)10.25 (60142712649443)6.24 (60142712649443)28.04 (60142712649443)41.19 (60142712649443)40.0 (60142712649443)6.25 (60142712649443)25.66 (60142712649443)16.63 (60142712649443)12.32 (60142712649443)
simNo_6-s_5-m_100-n_50-fp_0.01-fn_0.05.wcnf.xz44.02 (90981027155327)16.58 (90981027155327)9.7 (90981027155327)66.37 (90981027155327)87.61 (90981027155327)88.11 (90981027155327)9.66 (90981027155327)72.67 (90981027155327)21.84 (90981027155327)15.13 (90981027155327)
simNo_7-s_5-m_100-n_100-fp_0.0001-fn_0.20.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
simNo_8-s_5-m_100-n_100-fp_0.0001-fn_0.05.wcnf.xz43.87 (74156301822200)26.43 (74156301822200)16.62 (74156301822200)88.09 (74156301822200)1399.5 (74156301822200)1408.83 (74156301822200)16.63 (74156301822200)49.83 (74156301822200)30.8 (74156301822200)15.98 (74156301822200)
simNo_8-s_5-m_100-n_100-fp_0.0001-fn_0.20.wcnf.xz210.13 (166147813008927)136.33 (166147813008927)58.71 (166147813008927)3600.0 (-)3600.0 (-)3600.0 (-)58.62 (166147813008927)3600.0 (-)97.37 (166147813008927)3600.0 (-)
simNo_9-s_5-m_100-n_100-fp_0.0001-fn_0.05.wcnf.xz87.87 (131749300472480)46.98 (131749300472480)25.57 (131749300472480)105.83 (131749300472480)3600.0 (-)3600.0 (-)25.7 (131749300472480)572.17 (131749300472480)43.55 (131749300472480)17.35 (131749300472480)
simNo_9-s_5-m_300-n_300-fp_0.0001-fn_0.20.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
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 (-)
socfb-uci-uni.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
su2random_4_18_ibmq-casablanca_7.wcnf.xz611.83 (24)619.59 (24)564.66 (24)1116.55 (24)559.05 (24)630.76 (24)61.76 (24)110.01 (24)25.11 (24)118.41 (24)
su2random_5_30_ibmq-london_5.wcnf.xz701.62 (51)3600.0 (-)572.59 (51)1102.59 (51)1255.01 (51)1269.29 (51)63.34 (51)143.26 (51)7.52 (51)3600.0 (-)
tcp_students_105_it_13.wcnf.xz1.88 (3360)1.28 (3360)506.1 (3360)5.59 (3360)61.39 (3360)80.37 (3360)1.21 (3360)1.62 (3360)4.08 (3360)5.9 (3360)
tcp_students_105_it_15.wcnf.xz11.49 (3258)17.04 (3258)521.64 (3258)1113.94 (3258)351.78 (3258)670.87 (3258)17.92 (3258)635.94 (3258)33.79 (3258)3600.0 (-)
tcp_students_105_it_7.wcnf.xz46.53 (3024)47.68 (3024)549.11 (3024)73.41 (3024)575.48 (3024)537.18 (3024)48.52 (3024)199.47 (3024)1528.53 (3024)3600.0 (-)
tcp_students_112_it_1.wcnf.xz6.24 (3513)5.41 (3513)510.75 (3513)28.84 (3513)250.33 (3513)361.43 (3513)5.38 (3513)21.78 (3513)14.09 (3513)741.98 (3513)
tcp_students_112_it_15.wcnf.xz1.46 (3585)1.35 (3585)506.26 (3585)7.53 (3585)26.82 (3585)26.04 (3585)1.39 (3585)4.85 (3585)5.04 (3585)72.52 (3585)
tcp_students_112_it_3.wcnf.xz64.48 (2916)63.83 (2916)591.83 (2916)3511.26 (2916)720.95 (2916)788.61 (2916)80.4 (2916)3600.0 (-)531.92 (2916)3600.0 (-)
tcp_students_112_it_5.wcnf.xz768.7 (3366)639.46 (3366)1104.11 (3366)1023.22 (3366)657.51 (3366)755.19 (3366)615.07 (3366)3600.0 (-)2706.45 (3366)3600.0 (-)
tcp_students_112_it_7.wcnf.xz7.0 (3513)4.41 (3513)509.24 (3513)41.56 (3513)277.04 (3513)201.31 (3513)4.61 (3513)20.45 (3513)30.82 (3513)2382.59 (3513)
tcp_students_91_it_13.wcnf.xz288.13 (2730)408.71 (2730)862.02 (2730)1187.67 (2730)1105.29 (2730)1091.04 (2730)374.86 (2730)3600.0 (-)788.06 (2730)3600.0 (-)
tcp_students_91_it_2.wcnf.xz0.66 (3024)0.64 (3024)505.97 (3024)4.19 (3024)12.74 (3024)12.79 (3024)0.72 (3024)1.17 (3024)2.48 (3024)1.48 (3024)
tcp_students_91_it_3.wcnf.xz4.73 (2430)4.02 (2430)508.59 (2430)17.09 (2430)141.85 (2430)502.55 (2430)3.95 (2430)38.13 (2430)14.08 (2430)25.27 (2430)
tcp_students_91_it_6.wcnf.xz0.78 (2877)11.58 (2877)515.99 (2877)6.27 (2877)58.53 (2877)57.61 (2877)11.43 (2877)1.75 (2877)3.21 (2877)26.28 (2877)
tcp_students_91_it_7.wcnf.xz6.33 (2505)5.56 (2505)511.1 (2505)30.07 (2505)206.85 (2505)434.92 (2505)6.66 (2505)81.94 (2505)15.22 (2505)545.71 (2505)
tcp_students_98_it_12.wcnf.xz5.73 (2994)5.42 (2994)509.67 (2994)88.02 (2994)114.69 (2994)93.83 (2994)5.17 (2994)67.39 (2994)14.08 (2994)224.29 (2994)
tcp_students_98_it_8.wcnf.xz2.16 (2727)1.84 (2727)506.93 (2727)8.84 (2727)76.79 (2727)117.06 (2727)1.98 (2727)13.64 (2727)7.58 (2727)22.08 (2727)
tcp_students_98_it_9.wcnf.xz6.29 (2469)3.48 (2469)510.16 (2469)48.23 (2469)437.19 (2469)487.96 (2469)5.19 (2469)346.41 (2469)12.07 (2469)334.01 (2469)
test1--n-5000.wcnf.xz3.69 (20)3.68 (20)0.83 (20)2.62 (20)15.62 (20)15.16 (20)0.0 (20)0.62 (20)0.9 (20)5.84 (20)
test18--n-5000.wcnf.xz2.39 (22)2.36 (22)0.0 (22)2.39 (22)5.66 (22)5.72 (22)0.2 (22)0.0 (22)0.61 (22)11.11 (22)
test2--n-5000.wcnf.xz3.0 (3)2.97 (3)0.81 (3)4.65 (3)29.96 (3)29.19 (3)0.7 (3)0.0 (3)0.96 (3)9.26 (3)
test2.wcnf.xz9.21 (16)15.24 (16)17.46 (16)157.83 (16)196.34 (16)201.75 (16)17.75 (16)146.21 (16)53.46 (16)256.44 (16)
test25--n-10000.wcnf.xz11.63 (4)11.42 (4)1.79 (4)0.88 (4)6.4 (4)6.21 (4)0.01 (4)0.01 (4)7.62 (4)38.18 (4)
test34--n-10000.wcnf.xz4.87 (3)4.77 (3)0.77 (3)0.78 (3)4.06 (3)4.08 (3)0.01 (3)0.8 (3)6.24 (3)40.49 (3)
test4.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
test41--n-15000.wcnf.xz12.52 (5)12.58 (5)2.58 (5)1.37 (5)90.76 (5)90.72 (5)3.96 (5)1.08 (5)15.24 (5)37.33 (5)
test42--n-15000.wcnf.xz17.81 (2)17.55 (2)2.7 (2)1.43 (2)8.4 (2)8.36 (2)0.5 (2)1.16 (2)11.79 (2)77.06 (2)
test5--n-5000.wcnf.xz2.53 (2)2.52 (2)0.0 (2)0.66 (2)3.34 (2)3.4 (2)0.01 (2)0.0 (2)0.55 (2)9.57 (2)
test53--n-15000.wcnf.xz12.05 (10)11.72 (10)1.46 (10)1.28 (10)48.12 (10)48.14 (10)1.55 (10)0.02 (10)9.56 (10)113.98 (10)
test54--n-15000.wcnf.xz12.5 (45)12.22 (45)1.41 (45)1.29 (45)113.69 (45)112.1 (45)1.83 (45)7.88 (45)10.34 (45)105.56 (45)
test66--n-20000.wcnf.xz21.99 (1)21.88 (1)4.1 (1)1.87 (1)48.04 (1)48.22 (1)1.76 (1)0.88 (1)18.61 (1)78.65 (1)
test67--n-20000.wcnf.xz21.9 (1)21.69 (1)4.13 (1)2.26 (1)115.03 (1)113.98 (1)1.71 (1)0.88 (1)17.97 (1)99.29 (1)
test70--n-20000.wcnf.xz32.94 (5)32.05 (5)4.15 (5)1.68 (5)24.53 (5)24.59 (5)0.69 (5)0.93 (5)16.4 (5)96.23 (5)
test75--n-20000.wcnf.xz14.32 (5)14.27 (5)2.03 (5)1.74 (5)25.49 (5)25.12 (5)1.38 (5)0.76 (5)13.31 (5)167.41 (5)
test9--n-5000.wcnf.xz3.95 (2)3.95 (2)0.0 (2)2.68 (2)14.58 (2)14.95 (2)0.0 (2)0.0 (2)0.64 (2)10.02 (2)
tic.formula_0.8_2021_atleast_15_max-3_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 (-)
up-.mancoosi-test-i10d0u98-11.wcnf.xz1.07 (1780771)1.07 (1780771)0.93 (1780771)0.73 (1780771)0.03 (1780771)0.03 (1780771)0.03 (1780771)3.63 (1780771)3.07 (1780771)16.85 (1780771)
up-.mancoosi-test-i10d0u98-16.wcnf.xz1.12 (1780806)1.1 (1780806)0.91 (1780806)0.72 (1780806)0.03 (1780806)0.03 (1780806)0.03 (1780806)3.56 (1780806)3.46 (1780806)14.61 (1780806)
up-.mancoosi-test-i20d0u98-9.wcnf.xz1.07 (1780788)1.08 (1780788)0.91 (1780788)0.74 (1780788)0.03 (1780788)0.32 (1780788)0.02 (1780788)3.66 (1780788)3.3 (1780788)13.12 (1780788)
up-.mancoosi-test-i30d0u98-3.wcnf.xz1.15 (1780860)1.16 (1780860)0.99 (1780860)0.75 (1780860)0.03 (1780860)0.03 (1780860)0.03 (1780860)4.08 (1780860)4.05 (1780860)11.53 (1780860)
up-.mancoosi-test-i40d0u98-17.wcnf.xz1.16 (1780852)1.09 (1780852)0.93 (1780852)0.74 (1780852)0.31 (1780852)0.02 (1780852)0.03 (1780852)3.79 (1780852)3.94 (1780852)13.48 (1780852)
up-.mancoosi-test-i40d0u98-7.wcnf.xz1.08 (1780807)1.07 (1780807)0.91 (1780807)0.73 (1780807)0.03 (1780807)0.03 (1780807)0.03 (1780807)3.64 (1780807)3.48 (1780807)10.02 (1780807)
vio.role_domino_violations_0.15_9.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
vio.role_domino_violations_0.25_14.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
vio.role_domino_violations_0.25_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
vio.role_domino_violations_0.75_2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
vio.role_domino_violations_0.7_16.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
vio.role_domino_violations_0.7_3.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
vio.role_firewall_violations_1_0.95_0.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
vio.role_smallcomp_violations_0.3_3.wcnf.xz23.66 (185080)23.65 (185080)7.98 (185080)1181.39 (185080)441.32 (185080)438.89 (185080)82.67 (185080)2305.76 (185080)127.54 (185080)18.34 (185080)
vio.role_smallcomp_violations_0.45_8.wcnf.xz127.76 (244141)128.54 (244141)38.45 (244141)963.41 (244141)915.83 (244141)913.74 (244141)112.54 (244141)3600.0 (-)2772.21 (244141)39.8 (244141)
vio.role_university_violations_0.2_7.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
vqe_4_12_ibmq-casablanca_7.wcnf.xz610.02 (15)608.03 (15)506.81 (15)290.93 (15)351.66 (15)279.94 (15)1.52 (15)29.64 (15)18.99 (15)3.04 (15)
vqe_5_20_ibmq-london_5.wcnf.xz608.6 (33)608.18 (33)517.96 (33)217.82 (33)571.55 (33)563.7 (33)12.17 (33)49.57 (33)35.49 (33)67.78 (33)
warehouse0.wcsp.wcnf.xz0.0 (328)0.0 (328)0.0 (328)0.0 (328)0.0 (328)0.0 (328)0.0 (328)0.0 (328)0.0 (328)0.0 (328)
warehouse1.wcsp.wcnf.xz0.0 (730567)0.0 (730567)0.0 (730567)0.07 (730567)0.17 (730567)0.0 (730567)8.11 (730567)11.53 (730567)0.54 (730567)0.5 (730567)
wcn.adult_train_3_DNF_1_5.wcnf.xz595.69 (24254)1421.8 (24254)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)381.78 (24254)3600.0 (-)3600.0 (-)
wcn.heart_train_2_CNF_5_10.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wcn.heart_train_6_DNF_5_5.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wcn.ilpd_test_8_CNF_4_20.wcnf.xz0.0 (287)0.0 (287)0.0 (287)0.0 (287)0.0 (287)0.0 (287)0.01 (287)0.0 (287)0.14 (287)0.0 (287)
wcn.ionosphere_train_5_DNF_2_10.wcnf.xz608.84 (47)606.8 (47)506.18 (47)166.16 (47)531.89 (47)561.33 (47)1.07 (47)3.93 (47)2.66 (47)5.93 (47)
wcn.parkinsons_test_5_CNF_2_10.wcnf.xz0.0 (58)0.02 (58)0.0 (58)0.0 (58)0.0 (58)0.0 (58)0.01 (58)0.0 (58)0.0 (58)0.0 (58)
wcn.pima_test_3_CNF_1_5.wcnf.xz0.02 (125)0.0 (125)0.0 (125)0.0 (125)0.0 (125)0.0 (125)0.0 (125)0.01 (125)0.0 (125)0.0 (125)
wcn.tictactoe_test_8_CNF_2_20.wcnf.xz0.0 (346)0.02 (346)0.0 (346)0.01 (346)0.0 (346)0.0 (346)0.0 (346)0.0 (346)0.0 (346)0.0 (346)
wcn.titanic_test_7_CNF_5_20.wcnf.xz0.0 (557)0.0 (557)0.01 (557)0.0 (557)0.0 (557)0.0 (557)0.01 (557)0.0 (557)0.0 (557)0.01 (557)
wcn.titanic_test_8_DNF_1_20.wcnf.xz0.0 (449)0.0 (449)0.0 (449)0.0 (449)0.0 (449)0.0 (449)0.0 (449)0.0 (449)0.0 (449)0.0 (449)
wcn.titanic_train_7_CNF_5_15.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)1452.21 (3262)1817.94 (3262)3600.0 (-)546.27 (3262)3600.0 (-)3600.0 (-)
wcn.titanic_train_8_CNF_5_10.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)2028.27 (2201)2069.24 (2201)3600.0 (-)2158.04 (2201)3600.0 (-)3600.0 (-)
wcn.transfusion_test_7_DNF_3_5.wcnf.xz0.0 (96)0.0 (96)0.0 (96)0.0 (96)0.0 (96)0.0 (96)0.0 (96)0.0 (96)0.0 (96)0.0 (96)
wcn.transfusion_train_2_CNF_5_10.wcnf.xz606.42 (1600)607.42 (1600)505.75 (1600)0.64 (1600)1.47 (1600)1.55 (1600)0.0 (1600)0.0 (1600)0.56 (1600)2.37 (1600)
wcn.transfusion_train_3_CNF_3_15.wcnf.xz606.19 (2400)606.28 (2400)327.26 (2400)0.52 (2400)0.98 (2400)1.03 (2400)0.0 (2400)0.0 (2400)0.0 (2400)0.94 (2400)
web-wikipedia2009.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)377.74 (26809801)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.MultiDay_2_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.MultiDay_3_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.MultiDay_4_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.SingleDay_15_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.SingleDay_37_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.SingleDay_3_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)15.59 (35439)37.04 (35439)36.79 (35439)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.Subnetwork_7_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)80.05 (43213)238.86 (43213)242.29 (43213)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wei.Subnetwork_9_weighted.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)235.38 (82813)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wg2.wcnf.xz3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)3600.0 (-)
wikipedia.dimacs.wcnf.xz31.84 (42676)32.0 (42676)8.43 (42676)4.07 (42676)3.55 (42676)3.5 (42676)0.16 (42676)1.58 (42676)1.9 (42676)0.54 (42676)
wpm.mancoosi-test-i1000d0u98-15.wcnf.xz1.24 (92031744)1.25 (92031744)1.05 (92031744)0.83 (92031744)1.23 (92031744)1.26 (92031744)0.03 (92031744)5.53 (92031744)8.64 (92031744)14.5 (92031744)
wpm.mancoosi-test-i2000d0u98-25.wcnf.xz1.26 (332548069)1.28 (332548069)1.08 (332548069)0.88 (332548069)1.68 (332548069)1.7 (332548069)0.03 (332548069)6.95 (332548069)8.62 (332548069)18.35 (332548069)
wpm.mancoosi-test-i3000d0u98-50.wcnf.xz1.29 (422725765)1.27 (422725765)1.05 (422725765)0.9 (422725765)2.16 (422725765)2.2 (422725765)0.03 (422725765)8.48 (422725765)8.11 (422725765)20.48 (422725765)
wpm.mancoosi-test-i3000d0u98-70.wcnf.xz1.26 (512958012)1.31 (512958012)1.1 (512958012)0.89 (512958012)2.07 (512958012)2.12 (512958012)0.03 (512958012)10.27 (512958012)8.42 (512958012)9.14 (512958012)
wpm.mancoosi-test-i4000d0u98-76.wcnf.xz1.38 (738411504)1.38 (738411504)1.18 (738411504)0.99 (738411504)2.59 (738411504)2.68 (738411504)0.03 (738411504)13.8 (738411504)9.14 (738411504)9.17 (738411504)
youtube.dimacs.wcnf.xz28.1 (227167)26.2 (227167)20.22 (227167)1851.45 (227167)565.16 (227167)531.9 (227167)20.23 (227167)1034.56 (227167)58.12 (227167)763.21 (227167)