 result time real space tlim rlim slim
002 10 262.05 262.24 36.0 5000 5000 15000
004 10 123.95 124.05 44.0 5000 5000 15000
1-ET-256-K-55.sanitized 1 4999.46 5001.03 74.0 5000 5000 15000
1-ET-256-K-70.sanitized 20 132.00 132.04 47.0 5000 5000 15000
1-ET-512-K-110.sanitized 1 4999.32 5001.04 147.0 5000 5000 15000
1-ET-512-K-96.sanitized 10 4677.77 4678.36 171.0 5000 5000 15000
1-TC-256-K-64.sanitized 20 1318.92 1319.07 44.0 5000 5000 15000
1-TC-256-K-68.sanitized 20 244.39 244.49 52.0 5000 5000 15000
1-TC-256-K-71.sanitized 20 139.61 139.77 48.0 5000 5000 15000
1-ZC-1024-K-116.sanitized 1 4999.39 5001.03 403.0 5000 5000 15000
1-ZC-1024-K-117.sanitized 1 4999.27 5001.04 434.0 5000 5000 15000
1-ZC-512-K-60.sanitized 10 991.60 992.00 96.0 5000 5000 15000
1-ZC-512-K-61.sanitized 10 1344.32 1344.74 97.0 5000 5000 15000
1-ZC-512-K-63.sanitized 1 4999.18 5001.03 93.0 5000 5000 15000
1-ZC-512-K-64.sanitized 1 4999.42 5001.04 121.0 5000 5000 15000
1-ZC-512-K-65.sanitized 1 4999.70 5001.04 161.0 5000 5000 15000
1-ZC-512-K-67.sanitized 1 4999.60 5001.03 154.0 5000 5000 15000
128_100.sanitized 10 433.79 434.12 10754.0 5000 5000 15000
128_125.sanitized 10 510.90 511.89 13514.0 5000 5000 15000
128_75.sanitized 10 344.90 345.14 8110.0 5000 5000 15000
170058440 10 1591.81 1591.93 76.0 5000 5000 15000
2dlx_ca_bp_f_liveness 1 4999.50 5001.04 273.0 5000 5000 15000
32_100.sanitized 10 96.64 97.03 3148.0 5000 5000 15000
32_200.sanitized 10 189.79 189.88 6293.0 5000 5000 15000
32_325.sanitized 10 343.63 343.91 10244.0 5000 5000 15000
32_350.sanitized 10 363.04 363.61 10848.0 5000 5000 15000
64_150.sanitized 10 296.71 297.06 8123.0 5000 5000 15000
64_200.sanitized 10 407.05 407.78 10807.0 5000 5000 15000
64_25.sanitized 10 44.94 45.02 1343.0 5000 5000 15000
6g_6color_366_050_04 1 4999.80 5001.04 218.0 5000 5000 15000
6s130-opt 20 109.89 110.00 35.0 5000 5000 15000
6s167-opt 20 0.40 0.50 6.0 5000 5000 15000
Break_08_24.xml 10 0.10 0.14 6.0 5000 5000 15000
Break_18_32.xml 1 4998.97 5001.04 117.0 5000 5000 15000
Break_20_72.xml 1 4998.28 5001.03 239.0 5000 5000 15000
Break_triple_20_36.xml 1 4999.10 5001.03 135.0 5000 5000 15000
Break_unsat_04_03.xml 20 0.00 0.04 0.0 5000 5000 15000
Break_unsat_06_07.xml 20 1.50 1.61 7.0 5000 5000 15000
Break_unsat_14_23.xml 1 4999.66 5001.03 109.0 5000 5000 15000
Break_unsat_16_27.xml 1 4999.25 5001.03 91.0 5000 5000 15000
Break_unsat_18_31.xml 1 4998.92 5001.03 115.0 5000 5000 15000
Circuit_multiplier22 10 705.76 706.08 26.0 5000 5000 15000
DLTM_twitter774_83_17 10 1606.35 1606.46 42.0 5000 5000 15000
Dodecahedron-k7 1 4999.68 5001.03 99.0 5000 5000 15000
EDP3-11000 10 66.50 66.55 86.0 5000 5000 15000
ER_400_20_4.apx_1_DC-AD 20 538.93 539.07 52.0 5000 5000 15000
ER_400_20_4.apx_2_DC-AD 20 533.34 533.61 47.0 5000 5000 15000
ER_400_20_4.apx_2_DC-ST 20 445.89 446.03 41.0 5000 5000 15000
ER_400_20_7.apx_1_DC-AD 20 989.00 989.11 51.0 5000 5000 15000
ER_400_20_7.apx_2_DC-AD 20 4471.70 4472.08 92.0 5000 5000 15000
ER_400_20_7.apx_2_DC-ST 20 3114.06 3114.33 92.0 5000 5000 15000
ER_500_30_3.apx_1_DC-ST 20 398.37 398.44 60.0 5000 5000 15000
ER_500_30_3.apx_2_DC-AD 20 1360.96 1361.24 90.0 5000 5000 15000
FmlaEquivChain_4_6_6.sanitized 20 36.35 36.49 49.0 5000 5000 15000
FmlaEquivChain_4_8_8.sanitized 20 3277.30 3278.28 430.0 5000 5000 15000
FmlaImplyChain_3_7_7.sanitized 20 831.03 831.25 55.0 5000 5000 15000
FmlaImplyChain_3_7_8.sanitized 1 4997.31 5001.04 118.0 5000 5000 15000
Folkman-175-1251868.sanitized 10 91.89 91.95 30.0 5000 5000 15000
Folkman-175-7416734.sanitized 10 355.19 355.21 45.0 5000 5000 15000
Folkman-175-9054056.sanitized 10 103.04 103.26 32.0 5000 5000 15000
Folkman-180-11710376.sanitized 10 101.60 101.61 27.0 5000 5000 15000
Folkman-180-5383714.sanitized 10 94.77 94.90 27.0 5000 5000 15000
Folkman-185-152478531.sanitized 10 479.77 479.92 47.0 5000 5000 15000
Folkman-185-19924337.sanitized 10 98.36 98.51 26.0 5000 5000 15000
Folkman-185-75415683.sanitized 10 696.74 696.92 44.0 5000 5000 15000
Folkman-190-104806020.sanitized 10 1069.37 1069.90 57.0 5000 5000 15000
Folkman-190-358004741.sanitized 10 1495.59 1495.96 56.0 5000 5000 15000
Folkman-190-66337703.sanitized 10 302.92 303.15 37.0 5000 5000 15000
GracefulGraph-K05-P02_c18 10 39.20 39.23 15.0 5000 5000 15000
HCP-446-105 10 2369.53 2369.90 101.0 5000 5000 15000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 355.12 355.25 29.0 5000 5000 15000
ITC2021_Early_10.xml 1 4999.34 5001.03 191.0 5000 5000 15000
ITC2021_Early_3.xml 10 0.90 1.01 17.0 5000 5000 15000
ITC2021_Middle_1.xml 1 4999.49 5001.03 112.0 5000 5000 15000
Kakuro-easy-097-ext.xml.hg_4 20 3403.88 3403.99 1365.0 5000 5000 15000
MASG0_72_keystream76_0 10 1921.15 1921.25 31.0 5000 5000 15000
Nb13T165 1 4999.21 5001.03 1350.0 5000 5000 15000
Nb44T6 1 4999.64 5001.03 1158.0 5000 5000 15000
Ptn-7824-b18 10 156.69 156.78 23.0 5000 5000 15000
REGRandom-K3-L3-Seed25.sanitized 20 2.50 2.55 54.0 5000 5000 15000
REGRandom-K4-L1-Seed30.sanitized 20 8.10 8.17 66.0 5000 5000 15000
REGRandom-K4-L2-Seed35.sanitized 1 4997.32 5001.03 544.0 5000 5000 15000
REGRandom-K4-L3-Seed40.sanitized 1 4991.66 5001.04 1825.0 5000 5000 15000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 20 1856.33 1856.45 47.0 5000 5000 15000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 1 4999.55 5001.04 125.0 5000 5000 15000
Schur_161_5_d38 1 4999.21 5001.03 122.0 5000 5000 15000
StConn_7_128.sanitized 1 4999.20 5001.03 84.0 5000 5000 15000
StConn_8_32.sanitized 20 417.61 417.79 35.0 5000 5000 15000
T105.2.0 20 543.86 544.07 1698.0 5000 5000 15000
Timetable_C_392_E_62_Cl_26_S_28 10 42.59 42.66 202.0 5000 5000 15000
VanDerWaerden_2-3-14_186 1 4999.77 5001.03 103.0 5000 5000 15000
WS_500_16_70_10.apx_1_DC-ST 20 459.49 459.65 25.0 5000 5000 15000
WS_500_16_70_10.apx_2_DC-AD 20 822.70 822.88 40.0 5000 5000 15000
WS_500_16_90_70.apx_2_DC-AD 20 509.82 509.93 35.0 5000 5000 15000
af-synthesis_stb_50_100_4_sat 10 1631.42 1631.73 43.0 5000 5000 15000
af-synthesis_stb_50_100_9_sat 10 6.50 6.58 28.0 5000 5000 15000
af-synthesis_stb_50_100_9_unsat 20 963.86 964.01 42.0 5000 5000 15000
af-synthesis_stb_50_120_4_sat 10 512.60 512.63 49.0 5000 5000 15000
af-synthesis_stb_50_140_0_unsat 20 1078.39 1078.47 44.0 5000 5000 15000
af-synthesis_stb_50_140_1_unsat 20 2354.53 2354.73 48.0 5000 5000 15000
af-synthesis_stb_50_140_3_unsat 20 420.12 420.32 46.0 5000 5000 15000
af-synthesis_stb_50_200_0_sat 10 685.69 685.78 69.0 5000 5000 15000
af-synthesis_stb_50_200_0_unsat 20 1108.19 1108.50 70.0 5000 5000 15000
af-synthesis_stb_50_200_4_unsat 20 591.01 591.06 62.0 5000 5000 15000
af-synthesis_stb_50_40_2_unsat 20 489.72 489.86 27.0 5000 5000 15000
af-synthesis_stb_50_40_9_sat 10 245.64 245.73 28.0 5000 5000 15000
af-synthesis_stb_50_40_9_unsat 20 2445.45 2445.81 41.0 5000 5000 15000
apn-sbox5-cut3-symmbreak 1 4999.47 5001.04 103.0 5000 5000 15000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 10 147.50 147.52 70.0 5000 5000 15000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 10 418.46 418.57 72.0 5000 5000 15000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 20 642.10 642.21 89.0 5000 5000 15000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 20 294.19 294.30 81.0 5000 5000 15000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 20 240.90 240.96 65.0 5000 5000 15000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 20 668.79 668.86 95.0 5000 5000 15000
atco_enc1_opt1_10_15 10 209.35 209.50 43.0 5000 5000 15000
barman-pfile06-022.sas.ex.7 20 2.90 2.96 129.0 5000 5000 15000
battleship-14-26-sat 10 16.88 16.94 19.0 5000 5000 15000
bmc_QICE_snp_vld_30 20 707.35 707.46 2235.0 5000 5000 15000
bphp_p23_h22.sanitized 1 4999.45 5001.03 109.0 5000 5000 15000
bvsub_19952 20 3921.13 3921.50 231.0 5000 5000 15000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 10 119.54 119.71 309.0 5000 5000 15000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 10 93.09 93.14 222.0 5000 5000 15000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 10 125.89 125.99 260.0 5000 5000 15000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 10 228.21 228.47 321.0 5000 5000 15000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 10 866.39 866.50 188.0 5000 5000 15000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 10 276.08 276.13 214.0 5000 5000 15000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 10 189.10 189.19 249.0 5000 5000 15000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 10 2001.67 2001.84 287.0 5000 5000 15000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 1 4999.55 5001.04 114.0 5000 5000 15000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 10 145.05 145.18 309.0 5000 5000 15000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 10 168.27 168.35 40.0 5000 5000 15000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 10 7.40 7.43 29.0 5000 5000 15000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 10 31.79 31.90 40.0 5000 5000 15000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 10 23.70 23.77 37.0 5000 5000 15000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 10 61.89 61.94 90.0 5000 5000 15000
clique_n2_k10.sanitized 20 20.19 20.21 13.0 5000 5000 15000
cliquecolouring_n13_k8_c7.sanitized 1 4999.12 5001.03 108.0 5000 5000 15000
cliquecolouring_n13_k9_c8.sanitized 20 3094.89 3095.20 112.0 5000 5000 15000
cliquecolouring_n15_k9_c8.sanitized 1 4999.19 5001.04 131.0 5000 5000 15000
cliquecolouring_n21_k6_c5.sanitized 1 4999.66 5001.03 139.0 5000 5000 15000
cliquecolouring_n31_k5_c4.sanitized 1 4999.31 5001.04 232.0 5000 5000 15000
cliquecolouring_n41_k5_c4.sanitized 1 4999.04 5001.04 167.0 5000 5000 15000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 10 8.70 8.75 13.0 5000 5000 15000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 10 20.40 20.50 18.0 5000 5000 15000
constraints_16_0.3_1.sanitized 20 181.70 181.76 39.0 5000 5000 15000
constraints_16_0.4_1.sanitized 20 121.66 121.72 47.0 5000 5000 15000
constraints_16_0.5_1.sanitized 20 144.15 144.22 62.0 5000 5000 15000
constraints_17_0.3_2.sanitized 20 69.60 69.65 62.0 5000 5000 15000
constraints_17_0.4_1.sanitized 10 5.60 5.64 90.0 5000 5000 15000
constraints_17_0.4_2.sanitized 20 92.30 92.33 90.0 5000 5000 15000
constraints_17_0.5_2.sanitized 20 126.35 126.47 130.0 5000 5000 15000
constraints_18_0.3_2.sanitized 20 469.30 469.38 101.0 5000 5000 15000
constraints_18_0.4_2.sanitized 20 656.26 656.48 219.0 5000 5000 15000
constraints_18_0.5_2.sanitized 20 861.96 862.10 283.0 5000 5000 15000
constraints_25_4_5_12_12_0_0_0.sanitized 20 214.90 214.95 28.0 5000 5000 15000
crafted_n12_d6_c4_num23 20 368.84 368.98 357.0 5000 5000 15000
crn_11_99_u 20 2.70 2.77 8.0 5000 5000 15000
ctl_4201_555_unsat_pre 20 1780.28 1780.42 39.0 5000 5000 15000
ctl_4291_567_2_unsat-sc2013 20 2434.26 2434.56 42.0 5000 5000 15000
ctl_4291_567_9_unsat 20 779.37 779.46 37.0 5000 5000 15000
ecarev-110-4099-22-30-7 10 576.17 576.34 164.0 5000 5000 15000
ex065_25 10 2162.34 2162.64 100.0 5000 5000 15000
exam_flat_0.04_2018_3 10 1109.52 1109.61 468.0 5000 5000 15000
f9idw 20 571.32 571.58 246.0 5000 5000 15000
fermat-931960058139995587 1 4999.71 5001.04 54.0 5000 5000 15000
fixedbandwidth-eq-31_shuffled 20 2112.28 2112.51 40.0 5000 5000 15000
frb45-21-2.used-as.sat04-884 10 574.45 574.53 36.0 5000 5000 15000
frb65-12-2.used-as.sat04-874 10 24.60 24.70 13.0 5000 5000 15000
g2-T93.2.1 20 867.38 867.78 1872.0 5000 5000 15000
g2-ak128boothbg2msaig 10 1.00 1.04 107.0 5000 5000 15000
g2-ak128boothbg2msisc 10 0.67 0.76 84.0 5000 5000 15000
g2-hwmcc15deep-6s161-k17 20 1413.03 1413.27 47.0 5000 5000 15000
g2-hwmcc15deep-bob12s02-k16 1 4998.31 5001.04 160.0 5000 5000 15000
g2-slp-synthesis-aes-top30 10 71.47 71.51 60.0 5000 5000 15000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 20 511.75 512.02 171.0 5000 5000 15000
goldcrest-and-9 20 255.53 255.67 182.0 5000 5000 15000
grs-64-128 20 2117.66 2117.91 173.0 5000 5000 15000
grs-64-64 20 443.99 444.04 67.0 5000 5000 15000
hcp_CP18_18 1 4999.71 5001.04 112.0 5000 5000 15000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 20 253.77 253.90 28.0 5000 5000 15000
hwmcc12miters-xits-iso-6s111.sanitized 20 2.90 2.93 271.0 5000 5000 15000
hwmcc17miters-xits-iso-6s281b35.sanitized 20 13.00 13.06 1091.0 5000 5000 15000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 20 0.19 0.30 29.0 5000 5000 15000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 20 8.40 8.43 540.0 5000 5000 15000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 20 7.90 7.96 541.0 5000 5000 15000
hwmcc20miters-iso-mul2.sanitized 20 0.49 0.52 53.0 5000 5000 15000
hwmcc20miters-iso-mul3.sanitized 20 2.20 2.23 187.0 5000 5000 15000
hwmcc20miters-iso-mul7.sanitized 20 2.29 2.33 190.0 5000 5000 15000
hwmcc20miters-iso-rast-p06.sanitized 20 0.40 0.42 43.0 5000 5000 15000
hwmcc20miters-iso-rast-p11.sanitized 20 0.40 0.46 45.0 5000 5000 15000
j3037_10_mdd_b 10 26.40 26.45 21.0 5000 5000 15000
j3037_10_mdd_bm1 20 52.90 52.96 22.0 5000 5000 15000
j3037_10_rggt_b 10 132.70 132.74 25.0 5000 5000 15000
j3037_1_gmto_b 10 18.00 18.04 17.0 5000 5000 15000
j3037_1_mdd_b 10 62.90 62.92 23.0 5000 5000 15000
j3037_9_mdd_bm1 1 4999.66 5001.03 68.0 5000 5000 15000
j3037_9_rggt_b 10 498.60 498.71 41.0 5000 5000 15000
j3045_10_gmto_b 10 456.09 456.18 36.0 5000 5000 15000
j3045_10_rggt_b 10 245.49 245.55 27.0 5000 5000 15000
j3045_4_gmto_b 10 998.27 998.40 39.0 5000 5000 15000
j3045_4_mdd_bm1 20 708.38 708.52 27.0 5000 5000 15000
jgiraldezlevy.2200.9086.08.40.41 10 11.50 11.52 9.0 5000 5000 15000
lec_mult_CvD_11x11.sanitized 20 990.99 991.06 41.0 5000 5000 15000
lec_mult_CvK_11x10.sanitized 20 807.85 807.98 20.0 5000 5000 15000
lec_mult_CvK_11x11.sanitized 20 2680.82 2681.22 61.0 5000 5000 15000
lec_mult_CvK_12x11.sanitized 1 4999.93 5001.03 36.0 5000 5000 15000
lec_mult_CvK_12x12.sanitized 1 4999.65 5001.03 57.0 5000 5000 15000
lec_mult_CvW_12x11.sanitized 20 4117.94 4118.02 79.0 5000 5000 15000
lec_mult_CvW_12x12.sanitized 1 4999.76 5001.03 85.0 5000 5000 15000
lec_mult_DvK_11x10.sanitized 20 919.26 919.33 32.0 5000 5000 15000
lec_mult_DvK_12x12.sanitized 1 4999.71 5001.03 34.0 5000 5000 15000
lec_mult_DvW_11x10.sanitized 20 645.77 645.90 39.0 5000 5000 15000
lec_mult_DvW_12x11.sanitized 1 4999.71 5001.03 79.0 5000 5000 15000
lec_mult_DvW_12x12.sanitized 1 4999.75 5001.04 83.0 5000 5000 15000
lec_mult_KvW_10x10.sanitized 20 334.70 334.80 21.0 5000 5000 15000
lec_mult_KvW_11x10.sanitized 20 900.89 900.94 25.0 5000 5000 15000
lec_mult_KvW_12x11.sanitized 1 4999.64 5001.03 34.0 5000 5000 15000
linked_list_swap_contents_safety_unwind45 20 102.16 102.29 905.0 5000 5000 15000
linked_list_swap_contents_safety_unwind54 20 117.09 117.11 1162.0 5000 5000 15000
linked_list_swap_contents_safety_unwind57 20 132.08 132.15 1252.0 5000 5000 15000
linked_list_swap_contents_safety_unwind62 20 148.54 148.75 1478.0 5000 5000 15000
linked_list_swap_contents_safety_unwind63 20 115.69 115.79 1522.0 5000 5000 15000
linked_list_swap_contents_safety_unwind65 20 165.76 166.06 1561.0 5000 5000 15000
linked_list_swap_contents_safety_unwind68 20 139.57 139.78 1714.0 5000 5000 15000
linked_list_swap_contents_safety_unwind69 20 138.33 138.45 1771.0 5000 5000 15000
linked_list_swap_contents_safety_unwind70 20 373.31 373.70 1780.0 5000 5000 15000
linked_list_swap_contents_safety_unwind73 20 168.06 168.60 1946.0 5000 5000 15000
linked_list_swap_contents_safety_unwind76 20 250.46 250.64 2055.0 5000 5000 15000
linked_list_swap_contents_safety_unwind78 20 182.76 182.88 2146.0 5000 5000 15000
linked_list_swap_contents_safety_unwind80 20 230.67 230.91 2233.0 5000 5000 15000
lru_10.sanitized 10 84.75 84.82 7680.0 5000 5000 15000
lru_6.sanitized 10 49.80 49.83 4601.0 5000 5000 15000
lru_7.sanitized 10 68.59 68.66 5369.0 5000 5000 15000
lru_8.sanitized 10 82.10 82.19 6144.0 5000 5000 15000
lru_9.sanitized 10 111.37 111.46 6912.0 5000 5000 15000
manol-pipe-g10bid_i 20 402.54 402.61 149.0 5000 5000 15000
marg5x5.shuffled-as.sat03-1455 1 4999.09 5001.03 54.0 5000 5000 15000
mchess_15 20 553.17 553.26 29.0 5000 5000 15000
mchess_16 20 683.54 683.64 31.0 5000 5000 15000
mchess_17 1 4999.29 5001.03 61.0 5000 5000 15000
md5_48_1 10 49.40 49.46 36.0 5000 5000 15000
mdp-28-10-unsat 20 1310.73 1311.00 42.0 5000 5000 15000
mdp-28-11-sat 10 685.06 685.20 36.0 5000 5000 15000
mdp-28-14-sat 10 685.40 685.43 35.0 5000 5000 15000
mdp-28-14-unsat 20 2905.09 2905.31 49.0 5000 5000 15000
mdp-28-16-unsat 20 2353.47 2353.68 43.0 5000 5000 15000
mdp-32-10-sat 10 3842.97 3843.17 79.0 5000 5000 15000
mdp-32-10-unsat 1 4999.79 5001.03 84.0 5000 5000 15000
mdp-32-11-sat 1 4999.80 5001.03 85.0 5000 5000 15000
mdp-32-11-unsat 1 4999.70 5001.03 62.0 5000 5000 15000
mdp-32-12-unsat 1 4999.52 5001.03 67.0 5000 5000 15000
mdp-32-14-sat 1 4999.74 5001.03 90.0 5000 5000 15000
mdp-32-14-unsat 1 4999.77 5001.03 69.0 5000 5000 15000
mdp-32-16-sat 10 735.35 735.51 36.0 5000 5000 15000
mdp-36-10-sat 1 4999.80 5001.03 67.0 5000 5000 15000
mdp-36-10-unsat 1 4999.54 5001.03 84.0 5000 5000 15000
mdp-36-12-unsat 1 4999.78 5001.03 69.0 5000 5000 15000
mdp-36-14-sat 1 4999.46 5001.03 91.0 5000 5000 15000
mp1-Nb5T15 10 153.60 153.62 36.0 5000 5000 15000
mp1-Nb7T42 1 4997.11 5001.04 185.0 5000 5000 15000
mp1-blockpuzzle_5x10_s7_free4 20 24.80 24.90 13.0 5000 5000 15000
mp1-klieber2017s-0500-023-t12 10 91.66 91.74 24.0 5000 5000 15000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 20 67.70 67.73 18.0 5000 5000 15000
mrpp_4x4#12_12 20 15.79 15.83 13.0 5000 5000 15000
mulhs016-sc2009 1 4999.66 5001.03 62.0 5000 5000 15000
noL-11-0.sanitized 10 1354.78 1355.08 87.0 5000 5000 15000
noL-11-10.sanitized 10 115.18 115.22 23.0 5000 5000 15000
noL-11-12.sanitized 10 547.20 547.40 64.0 5000 5000 15000
noL-11-14.sanitized 10 86.60 86.67 27.0 5000 5000 15000
noL-11-16.sanitized 10 136.57 136.67 33.0 5000 5000 15000
noL-11-18.sanitized 10 244.46 244.60 37.0 5000 5000 15000
noL-11-2.sanitized 10 690.97 691.18 65.0 5000 5000 15000
noL-11-20.sanitized 10 153.08 153.13 36.0 5000 5000 15000
noL-11-4.sanitized 10 823.39 823.52 70.0 5000 5000 15000
noL-11-6.sanitized 10 2354.38 2355.10 116.0 5000 5000 15000
noL-11-8.sanitized 10 258.09 258.14 34.0 5000 5000 15000
oisc-subrv-sll-nested-11 20 2062.99 2063.14 4163.0 5000 5000 15000
oisc-subrv-sll-nested-13 20 3284.88 3284.97 5700.0 5000 5000 15000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 20 2938.96 2939.61 78.0 5000 5000 15000
or_randxor_k3_n510_m510.sanitized 20 5.29 5.36 8.0 5000 5000 15000
pb_300_05_lb_17 10 102.96 103.07 99.0 5000 5000 15000
pb_300_09_lb_07 10 93.42 93.58 104.0 5000 5000 15000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 20 66.59 66.68 19.0 5000 5000 15000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 1 4999.11 5001.04 126.0 5000 5000 15000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 20 775.44 775.66 65.0 5000 5000 15000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 20 187.31 187.44 23.0 5000 5000 15000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 1 4999.43 5001.04 135.0 5000 5000 15000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 1 4999.44 5001.03 112.0 5000 5000 15000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 20 109.49 109.62 39.0 5000 5000 15000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 1 4999.58 5001.03 146.0 5000 5000 15000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 1 4999.16 5001.03 128.0 5000 5000 15000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 20 255.16 255.40 30.0 5000 5000 15000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 20 1613.33 1613.73 77.0 5000 5000 15000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 1 4998.70 5001.03 279.0 5000 5000 15000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 1 4999.29 5001.03 148.0 5000 5000 15000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 1 4998.84 5001.03 117.0 5000 5000 15000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 1 4998.66 5001.03 154.0 5000 5000 15000
post-cbmc-aes-ee-r3-noholes 20 666.59 666.72 220.0 5000 5000 15000
preimage_80r_495m_160h_seed_379 10 2696.63 2696.80 66.0 5000 5000 15000
qwh.50.1250.shuffled-as.sat03-1655 10 26.90 26.92 51.0 5000 5000 15000
qwh.60.1728.shuffled-as.sat03-1659 10 98.27 98.37 75.0 5000 5000 15000
rbsat-v1150c84314gyes1 1 4999.59 5001.03 52.0 5000 5000 15000
rbsat-v760c43649gyes3 1 4999.78 5001.03 52.0 5000 5000 15000
rbsat-v760c43649gyes7 10 183.08 183.12 35.0 5000 5000 15000
rbsat-v760c43649gyes9 10 202.40 202.42 27.0 5000 5000 15000
rbsat-v945c61409gyes9-sc2009 10 40.19 40.22 26.0 5000 5000 15000
rook-42-0-1 20 2023.97 2024.49 127.0 5000 5000 15000
rook-56-0-0 20 3436.09 3436.90 189.0 5000 5000 15000
rook-56-1-1 20 1248.75 1248.93 133.0 5000 5000 15000
rphp_p8_r160.sanitized 1 4998.49 5001.03 871.0 5000 5000 15000
rphp_p8_r170.sanitized 1 4997.10 5001.03 1199.0 5000 5000 15000
sgen1-sat-180-100 10 3527.75 3528.31 78.0 5000 5000 15000
sgen1-unsat-121-100 1 4998.97 5001.04 75.0 5000 5000 15000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 10 49.66 49.80 264.0 5000 5000 15000
si2-b03m-m800-03 10 8.50 8.61 106.0 5000 5000 15000
simon-r16-1.sanitized 10 0.00 0.01 0.0 5000 5000 15000
simon-r17-0.sanitized 10 0.00 0.01 0.0 5000 5000 15000
simon-r18-0.sanitized 10 0.00 0.01 0.0 5000 5000 15000
simon-r19-1.sanitized 10 0.00 0.01 0.0 5000 5000 15000
simon-r20-0.sanitized 10 0.00 0.01 0.0 5000 5000 15000
simon-r21-0.sanitized 10 0.00 0.01 0.0 5000 5000 15000
simon-r22-1.sanitized 10 0.00 0.01 0.0 5000 5000 15000
simon-r23-1.sanitized 10 0.00 0.01 0.0 5000 5000 15000
simon-r24-1.sanitized 10 0.00 0.01 0.0 5000 5000 15000
simon-r25-0.sanitized 10 0.00 0.01 0.0 5000 5000 15000
sokoban-p16.sas.ex.15-sc2016 20 1179.95 1180.59 702.0 5000 5000 15000
sokoban-p20.sas.cr.25 20 4346.42 4347.25 82.0 5000 5000 15000
sokoban-p20.sas.cr.33 1 4999.28 5001.03 158.0 5000 5000 15000
spg_200_316 20 733.40 733.55 307.0 5000 5000 15000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 0.00 0.03 0.0 5000 5000 15000
stable-300-0.1-20-98765432130020 10 128.67 128.79 28.0 5000 5000 15000
stb_418_125.apx_1_DC-AD 20 1695.80 1696.06 69.0 5000 5000 15000
stb_418_125.apx_1_DC-ST 20 720.10 720.22 42.0 5000 5000 15000
stb_418_125.apx_2_DC-AD 20 1890.94 1891.12 64.0 5000 5000 15000
stb_495_168.apx_1_DC-AD 20 320.05 320.20 23.0 5000 5000 15000
stb_495_168.apx_2_DC-AD 20 258.64 258.84 22.0 5000 5000 15000
stb_531_83.apx_1_DC-ST 20 417.53 417.70 31.0 5000 5000 15000
stb_531_83.apx_2_DC-ST 20 328.89 328.99 36.0 5000 5000 15000
stb_588_138.apx_1_DC-AD 20 862.33 862.54 57.0 5000 5000 15000
stb_588_138.apx_1_DC-ST 20 316.82 316.95 32.0 5000 5000 15000
sted5_0x1e3-20 1 4999.43 5001.04 73.0 5000 5000 15000
sted5_0x24204-50 10 6.10 6.15 14.0 5000 5000 15000
string_compare_safety_cbmc_unwinding_900 20 1625.66 1626.03 2036.0 5000 5000 15000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 10 22.05 22.15 26.0 5000 5000 15000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 10 13.70 13.74 26.0 5000 5000 15000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 10 14.69 14.78 31.0 5000 5000 15000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 1 4999.86 5001.04 349.0 5000 5000 15000
tseitin_d3_n158.sanitized 1 4999.02 5001.03 89.0 5000 5000 15000
tseitin_d3_n162.sanitized 1 4998.49 5001.03 83.0 5000 5000 15000
tseitin_d3_n174.sanitized 1 4998.71 5001.03 88.0 5000 5000 15000
tseitin_grid_n11_m20.sanitized 1 4998.46 5001.03 60.0 5000 5000 15000
tseitingrid6x200_shuffled 1 4996.77 5001.04 99.0 5000 5000 15000
two-trees-1023v.sanitized 1 4999.78 5001.03 114.0 5000 5000 15000
two-trees-511v.sanitized 1 4999.70 5001.03 91.0 5000 5000 15000
urq45 20 395.80 396.06 41.0 5000 5000 15000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 1 4999.58 5001.03 83.0 5000 5000 15000
worker_20_40_20_0.95 10 0.10 0.12 5.0 5000 5000 15000
worker_30_60_25_0.9 1 4998.57 5001.03 150.0 5000 5000 15000
worker_40_80_40_0.9 1 4999.00 5001.03 224.0 5000 5000 15000
worker_550_550_550_0.3 10 29.99 30.04 281.0 5000 5000 15000
x9-08014.sat.sanitized 20 25.99 26.03 10.0 5000 5000 15000
x9-08075.sat.sanitized 20 28.59 28.64 9.0 5000 5000 15000
x9-09004.sat.sanitized 20 64.29 64.33 12.0 5000 5000 15000
x9-09007.sat.sanitized 20 42.27 42.36 10.0 5000 5000 15000
x9-09014.sat.sanitized 20 56.94 57.09 13.0 5000 5000 15000
x9-09024.sat.sanitized 20 42.10 42.21 12.0 5000 5000 15000
x9-09047.sat.sanitized 20 39.59 39.63 10.0 5000 5000 15000
x9-09051.sat.sanitized 20 63.39 63.48 13.0 5000 5000 15000
x9-09054.sat.sanitized 10 44.69 44.74 11.0 5000 5000 15000
x9-09057.sat.sanitized 20 51.19 51.22 12.0 5000 5000 15000
x9-09076.sat.sanitized 20 44.90 44.91 12.0 5000 5000 15000
x9-09098.sat.sanitized 20 95.89 95.97 20.0 5000 5000 15000
x9-10002.sat.sanitized 20 340.28 340.38 36.0 5000 5000 15000
x9-10007.sat.sanitized 20 263.39 263.49 34.0 5000 5000 15000
x9-10014.sat.sanitized 10 65.40 65.46 14.0 5000 5000 15000
x9-10027.sat.sanitized 10 58.30 58.38 13.0 5000 5000 15000
x9-10031.sat.sanitized 20 356.39 356.43 37.0 5000 5000 15000
x9-10038.sat.sanitized 10 219.40 219.42 32.0 5000 5000 15000
x9-10051.sat.sanitized 20 289.70 289.77 33.0 5000 5000 15000
x9-10076.sat.sanitized 20 152.10 152.18 20.0 5000 5000 15000
x9-10083.sat.sanitized 20 187.69 187.74 23.0 5000 5000 15000
x9-10084.sat.sanitized 20 158.90 158.92 21.0 5000 5000 15000
x9-10093.sat.sanitized 20 214.19 214.25 33.0 5000 5000 15000
x9-10096.sat.sanitized 20 184.79 184.87 33.0 5000 5000 15000
x9-10098.sat.sanitized 10 39.58 39.70 12.0 5000 5000 15000
x9-11034.sat.sanitized 10 22.70 22.79 10.0 5000 5000 15000
x9-11053.sat.sanitized 10 80.69 80.76 20.0 5000 5000 15000
x9-11062.sat.sanitized 10 251.17 251.23 35.0 5000 5000 15000
x9-11077.sat.sanitized 10 91.70 91.77 20.0 5000 5000 15000
x9-11088.sat.sanitized 10 348.78 348.91 39.0 5000 5000 15000
x9-11093.sat.sanitized 10 58.10 58.19 13.0 5000 5000 15000
x9-11094.sat.sanitized 10 643.85 643.95 50.0 5000 5000 15000
x9-12001.sat.sanitized 10 267.89 268.02 32.0 5000 5000 15000
x9-12014.sat.sanitized 10 31.20 31.23 11.0 5000 5000 15000
x9-12021.sat.sanitized 10 550.09 550.12 39.0 5000 5000 15000
x9-12035.sat.sanitized 10 438.07 438.18 37.0 5000 5000 15000
x9-12063.sat.sanitized 10 495.39 495.44 35.0 5000 5000 15000
x9-12087.sat.sanitized 10 336.59 336.62 35.0 5000 5000 15000
x9-12092.sat.sanitized 10 247.57 247.67 33.0 5000 5000 15000
x9-12098.sat.sanitized 10 1040.63 1040.74 66.0 5000 5000 15000
