 result time real space tlim rlim slim
002 1 4999.84 5001.04 308.0 5000 5000 127000
004 10 4209.05 4209.17 328.0 5000 5000 127000
1-ET-256-K-55.sanitized 1 4999.93 5001.03 237.0 5000 5000 127000
1-ET-256-K-70.sanitized 20 115.79 115.82 136.0 5000 5000 127000
1-ET-512-K-110.sanitized 1 4999.98 5001.03 957.0 5000 5000 127000
1-ET-512-K-96.sanitized 1 4999.90 5001.03 1075.0 5000 5000 127000
1-TC-256-K-64.sanitized 20 2921.99 2922.10 159.0 5000 5000 127000
1-TC-256-K-68.sanitized 20 165.69 165.72 138.0 5000 5000 127000
1-TC-256-K-71.sanitized 20 106.00 106.02 115.0 5000 5000 127000
1-ZC-1024-K-116.sanitized 1 4999.89 5001.03 1722.0 5000 5000 127000
1-ZC-1024-K-117.sanitized 1 4999.91 5001.03 1668.0 5000 5000 127000
1-ZC-512-K-60.sanitized 10 754.40 754.49 313.0 5000 5000 127000
1-ZC-512-K-61.sanitized 10 392.60 392.64 329.0 5000 5000 127000
1-ZC-512-K-63.sanitized 1 4999.88 5001.04 663.0 5000 5000 127000
1-ZC-512-K-64.sanitized 1 4999.80 5001.04 598.0 5000 5000 127000
1-ZC-512-K-65.sanitized 1 4999.94 5001.04 743.0 5000 5000 127000
1-ZC-512-K-67.sanitized 1 4999.83 5001.03 571.0 5000 5000 127000
128_100.sanitized 10 334.68 334.80 22401.0 5000 5000 127000
128_125.sanitized 10 516.23 516.40 28014.0 5000 5000 127000
128_75.sanitized 10 303.38 303.50 16788.0 5000 5000 127000
170058440 10 18.69 18.74 15.0 5000 5000 127000
2dlx_ca_bp_f_liveness 1 4999.91 5001.04 1225.0 5000 5000 127000
32_100.sanitized 10 466.58 466.68 6407.0 5000 5000 127000
32_200.sanitized 10 971.47 971.56 12801.0 5000 5000 127000
32_325.sanitized 10 974.81 974.92 20794.0 5000 5000 127000
32_350.sanitized 10 1102.11 1102.29 22392.0 5000 5000 127000
64_150.sanitized 10 273.08 273.17 17011.0 5000 5000 127000
64_200.sanitized 10 348.38 348.43 21062.0 5000 5000 127000
64_25.sanitized 10 59.79 59.84 2876.0 5000 5000 127000
6g_6color_366_050_04 1 4999.94 5001.04 1466.0 5000 5000 127000
6s130-opt 20 640.19 640.26 93.0 5000 5000 127000
6s167-opt 20 44.00 44.02 24.0 5000 5000 127000
Break_08_24.xml 10 0.80 0.87 9.0 5000 5000 127000
Break_18_32.xml 1 4999.98 5001.04 273.0 5000 5000 127000
Break_20_72.xml 1 4999.97 5001.03 481.0 5000 5000 127000
Break_triple_20_36.xml 1 4999.94 5001.03 337.0 5000 5000 127000
Break_unsat_04_03.xml 20 0.00 0.01 0.0 5000 5000 127000
Break_unsat_06_07.xml 20 1.00 1.05 6.0 5000 5000 127000
Break_unsat_14_23.xml 1 5000.02 5001.04 207.0 5000 5000 127000
Break_unsat_16_27.xml 1 4999.90 5001.04 354.0 5000 5000 127000
Break_unsat_18_31.xml 1 5000.01 5001.03 571.0 5000 5000 127000
Circuit_multiplier22 10 617.69 617.75 74.0 5000 5000 127000
DLTM_twitter774_83_17 10 1101.45 1101.55 93.0 5000 5000 127000
Dodecahedron-k7 1 4999.99 5001.04 209.0 5000 5000 127000
EDP3-11000 10 136.30 136.38 233.0 5000 5000 127000
ER_400_20_4.apx_1_DC-AD 20 575.70 575.78 63.0 5000 5000 127000
ER_400_20_4.apx_2_DC-AD 20 586.10 586.18 64.0 5000 5000 127000
ER_400_20_4.apx_2_DC-ST 20 347.40 347.48 55.0 5000 5000 127000
ER_400_20_7.apx_1_DC-AD 20 860.32 860.40 84.0 5000 5000 127000
ER_400_20_7.apx_2_DC-AD 20 3895.36 3895.45 154.0 5000 5000 127000
ER_400_20_7.apx_2_DC-ST 20 2646.78 2646.82 161.0 5000 5000 127000
ER_500_30_3.apx_1_DC-ST 20 310.90 311.00 65.0 5000 5000 127000
ER_500_30_3.apx_2_DC-AD 20 2550.92 2551.06 185.0 5000 5000 127000
FmlaEquivChain_4_6_6.sanitized 20 26.60 26.62 107.0 5000 5000 127000
FmlaEquivChain_4_8_8.sanitized 20 2141.04 2141.18 952.0 5000 5000 127000
FmlaImplyChain_3_7_7.sanitized 20 789.70 789.71 203.0 5000 5000 127000
FmlaImplyChain_3_7_8.sanitized 1 4999.89 5001.03 559.0 5000 5000 127000
Folkman-175-1251868.sanitized 10 428.39 428.44 134.0 5000 5000 127000
Folkman-175-7416734.sanitized 1 4999.94 5001.04 348.0 5000 5000 127000
Folkman-175-9054056.sanitized 10 3593.27 3593.34 264.0 5000 5000 127000
Folkman-180-11710376.sanitized 10 553.09 553.13 159.0 5000 5000 127000
Folkman-180-5383714.sanitized 10 598.29 598.36 168.0 5000 5000 127000
Folkman-185-152478531.sanitized 1 5000.02 5001.03 283.0 5000 5000 127000
Folkman-185-19924337.sanitized 1 5000.00 5001.03 284.0 5000 5000 127000
Folkman-185-75415683.sanitized 1 4999.95 5001.04 288.0 5000 5000 127000
Folkman-190-104806020.sanitized 1 4999.96 5001.04 284.0 5000 5000 127000
Folkman-190-358004741.sanitized 1 4999.96 5001.03 256.0 5000 5000 127000
Folkman-190-66337703.sanitized 1 5000.02 5001.03 324.0 5000 5000 127000
GracefulGraph-K05-P02_c18 10 183.20 183.25 46.0 5000 5000 127000
HCP-446-105 10 1800.51 1800.59 213.0 5000 5000 127000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 935.58 935.64 113.0 5000 5000 127000
ITC2021_Early_10.xml 1 5000.03 5001.03 445.0 5000 5000 127000
ITC2021_Early_3.xml 10 0.70 0.73 27.0 5000 5000 127000
ITC2021_Middle_1.xml 1 4999.94 5001.03 489.0 5000 5000 127000
Kakuro-easy-097-ext.xml.hg_4 20 3250.80 3250.83 3257.0 5000 5000 127000
MASG0_72_keystream76_0 10 4928.00 4928.10 34.0 5000 5000 127000
Nb13T165 1 4999.97 5001.04 3095.0 5000 5000 127000
Nb44T6 20 1536.48 1536.54 2343.0 5000 5000 127000
Ptn-7824-b18 10 1856.78 1856.83 88.0 5000 5000 127000
REGRandom-K3-L3-Seed25.sanitized 1 4999.99 5001.04 755.0 5000 5000 127000
REGRandom-K4-L1-Seed30.sanitized 1 5000.00 5001.04 686.0 5000 5000 127000
REGRandom-K4-L2-Seed35.sanitized 1 4999.90 5001.03 1870.0 5000 5000 127000
REGRandom-K4-L3-Seed40.sanitized 1 4999.98 5001.04 2851.0 5000 5000 127000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 20 2008.21 2008.22 154.0 5000 5000 127000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 1 4999.98 5001.03 185.0 5000 5000 127000
Schur_161_5_d38 1 4999.89 5001.04 196.0 5000 5000 127000
StConn_7_128.sanitized 1 4999.93 5001.03 311.0 5000 5000 127000
StConn_8_32.sanitized 20 1048.89 1048.95 123.0 5000 5000 127000
T105.2.0 20 633.11 633.21 2500.0 5000 5000 127000
Timetable_C_392_E_62_Cl_26_S_28 10 49.60 49.66 444.0 5000 5000 127000
VanDerWaerden_2-3-14_186 1 4999.95 5001.03 139.0 5000 5000 127000
WS_500_16_70_10.apx_1_DC-ST 20 545.19 545.29 44.0 5000 5000 127000
WS_500_16_70_10.apx_2_DC-AD 20 1044.06 1044.14 57.0 5000 5000 127000
WS_500_16_90_70.apx_2_DC-AD 20 589.09 589.18 51.0 5000 5000 127000
af-synthesis_stb_50_100_4_sat 10 764.59 764.64 100.0 5000 5000 127000
af-synthesis_stb_50_100_9_sat 10 40.59 40.64 79.0 5000 5000 127000
af-synthesis_stb_50_100_9_unsat 20 1113.89 1113.94 107.0 5000 5000 127000
af-synthesis_stb_50_120_4_sat 10 246.90 246.99 113.0 5000 5000 127000
af-synthesis_stb_50_140_0_unsat 20 1243.18 1243.27 134.0 5000 5000 127000
af-synthesis_stb_50_140_1_unsat 20 2558.20 2558.27 142.0 5000 5000 127000
af-synthesis_stb_50_140_3_unsat 20 426.09 426.11 109.0 5000 5000 127000
af-synthesis_stb_50_200_0_sat 10 762.28 762.38 161.0 5000 5000 127000
af-synthesis_stb_50_200_0_unsat 20 1268.90 1268.98 171.0 5000 5000 127000
af-synthesis_stb_50_200_4_unsat 20 683.50 683.52 159.0 5000 5000 127000
af-synthesis_stb_50_40_2_unsat 20 715.59 715.64 67.0 5000 5000 127000
af-synthesis_stb_50_40_9_sat 10 2114.80 2114.83 90.0 5000 5000 127000
af-synthesis_stb_50_40_9_unsat 20 2877.95 2878.03 93.0 5000 5000 127000
apn-sbox5-cut3-symmbreak 1 4999.95 5001.03 177.0 5000 5000 127000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 10 254.60 254.71 127.0 5000 5000 127000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 10 89.90 89.92 126.0 5000 5000 127000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 20 880.20 880.30 127.0 5000 5000 127000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 20 319.49 319.54 107.0 5000 5000 127000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 20 329.19 329.25 112.0 5000 5000 127000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 20 816.90 816.98 158.0 5000 5000 127000
atco_enc1_opt1_10_15 10 104.30 104.33 70.0 5000 5000 127000
barman-pfile06-022.sas.ex.7 20 4.39 4.50 155.0 5000 5000 127000
battleship-14-26-sat 10 81.48 81.59 40.0 5000 5000 127000
bmc_QICE_snp_vld_30 20 713.29 713.32 4544.0 5000 5000 127000
bphp_p23_h22.sanitized 1 5000.00 5001.04 135.0 5000 5000 127000
bvsub_19952 20 3449.54 3449.64 9095.0 5000 5000 127000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 10 579.89 579.95 459.0 5000 5000 127000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 10 875.40 875.50 383.0 5000 5000 127000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 10 811.29 811.38 432.0 5000 5000 127000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 10 861.69 861.80 554.0 5000 5000 127000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 10 2911.90 2912.08 293.0 5000 5000 127000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 10 2555.87 2555.93 328.0 5000 5000 127000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 10 1727.68 1727.80 371.0 5000 5000 127000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 10 3800.96 3801.09 459.0 5000 5000 127000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 1 4999.99 5001.03 163.0 5000 5000 127000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 10 611.10 611.18 505.0 5000 5000 127000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 10 120.20 120.29 57.0 5000 5000 127000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 10 25.19 25.27 39.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 10 46.40 46.42 52.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 10 34.30 34.36 52.0 5000 5000 127000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 10 51.60 51.64 149.0 5000 5000 127000
clique_n2_k10.sanitized 20 903.18 903.31 114.0 5000 5000 127000
cliquecolouring_n13_k8_c7.sanitized 1 5000.02 5001.04 228.0 5000 5000 127000
cliquecolouring_n13_k9_c8.sanitized 1 4999.99 5001.03 211.0 5000 5000 127000
cliquecolouring_n15_k9_c8.sanitized 1 5000.00 5001.03 248.0 5000 5000 127000
cliquecolouring_n21_k6_c5.sanitized 1 4999.98 5001.03 194.0 5000 5000 127000
cliquecolouring_n31_k5_c4.sanitized 1 5000.06 5001.03 218.0 5000 5000 127000
cliquecolouring_n41_k5_c4.sanitized 1 4999.91 5001.03 212.0 5000 5000 127000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 10 497.29 497.33 49.0 5000 5000 127000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 10 49.10 49.17 22.0 5000 5000 127000
constraints_16_0.3_1.sanitized 20 186.29 186.37 43.0 5000 5000 127000
constraints_16_0.4_1.sanitized 20 125.29 125.32 55.0 5000 5000 127000
constraints_16_0.5_1.sanitized 20 146.19 146.27 59.0 5000 5000 127000
constraints_17_0.3_2.sanitized 20 83.70 83.79 76.0 5000 5000 127000
constraints_17_0.4_1.sanitized 10 7.80 7.86 96.0 5000 5000 127000
constraints_17_0.4_2.sanitized 20 75.90 75.92 103.0 5000 5000 127000
constraints_17_0.5_2.sanitized 20 118.39 118.43 157.0 5000 5000 127000
constraints_18_0.3_2.sanitized 20 499.50 499.59 119.0 5000 5000 127000
constraints_18_0.4_2.sanitized 20 852.68 852.75 221.0 5000 5000 127000
constraints_18_0.5_2.sanitized 20 1001.97 1002.07 280.0 5000 5000 127000
constraints_25_4_5_12_12_0_0_0.sanitized 20 556.69 556.73 54.0 5000 5000 127000
crafted_n12_d6_c4_num23 20 282.30 282.37 2465.0 5000 5000 127000
crn_11_99_u 20 1.58 1.62 8.0 5000 5000 127000
ctl_4201_555_unsat_pre 20 1921.37 1921.41 105.0 5000 5000 127000
ctl_4291_567_2_unsat-sc2013 20 2355.12 2355.23 113.0 5000 5000 127000
ctl_4291_567_9_unsat 20 1003.35 1003.45 96.0 5000 5000 127000
ecarev-110-4099-22-30-7 10 416.79 416.88 300.0 5000 5000 127000
ex065_25 10 4818.40 4818.55 307.0 5000 5000 127000
exam_flat_0.04_2018_3 10 1644.04 1644.21 678.0 5000 5000 127000
f9idw 20 133.79 133.85 436.0 5000 5000 127000
fermat-931960058139995587 1 5000.01 5001.03 168.0 5000 5000 127000
fixedbandwidth-eq-31_shuffled 1 4999.94 5001.03 183.0 5000 5000 127000
frb45-21-2.used-as.sat04-884 10 36.09 36.15 32.0 5000 5000 127000
frb65-12-2.used-as.sat04-874 10 33.69 33.74 22.0 5000 5000 127000
g2-T93.2.1 20 854.15 854.22 2759.0 5000 5000 127000
g2-ak128boothbg2msaig 10 1.59 1.64 283.0 5000 5000 127000
g2-ak128boothbg2msisc 10 1.00 1.06 200.0 5000 5000 127000
g2-hwmcc15deep-6s161-k17 20 2643.29 2643.38 124.0 5000 5000 127000
g2-hwmcc15deep-bob12s02-k16 1 5000.01 5000.93 649.0 5000 5000 127000
g2-slp-synthesis-aes-top30 10 35.50 35.53 90.0 5000 5000 127000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 20 419.80 419.85 347.0 5000 5000 127000
goldcrest-and-9 20 529.80 529.86 323.0 5000 5000 127000
grs-64-128 20 2068.88 2068.98 272.0 5000 5000 127000
grs-64-64 20 487.38 487.46 114.0 5000 5000 127000
hcp_CP18_18 10 737.49 737.53 149.0 5000 5000 127000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 20 540.09 540.21 41.0 5000 5000 127000
hwmcc12miters-xits-iso-6s111.sanitized 1 4999.99 5001.03 584.0 5000 5000 127000
hwmcc17miters-xits-iso-6s281b35.sanitized 1 4999.94 5001.03 2043.0 5000 5000 127000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 1 5000.00 5001.04 211.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 1 4999.82 5001.04 3622.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 1 4999.91 5001.04 3459.0 5000 5000 127000
hwmcc20miters-iso-mul2.sanitized 1 4999.99 5001.03 249.0 5000 5000 127000
hwmcc20miters-iso-mul3.sanitized 1 5000.01 5001.03 479.0 5000 5000 127000
hwmcc20miters-iso-mul7.sanitized 1 4999.83 5001.03 579.0 5000 5000 127000
hwmcc20miters-iso-rast-p06.sanitized 1 4999.91 5001.04 295.0 5000 5000 127000
hwmcc20miters-iso-rast-p11.sanitized 1 4999.97 5001.04 277.0 5000 5000 127000
j3037_10_mdd_b 10 31.60 31.68 27.0 5000 5000 127000
j3037_10_mdd_bm1 20 55.40 55.42 26.0 5000 5000 127000
j3037_10_rggt_b 10 197.59 197.64 34.0 5000 5000 127000
j3037_1_gmto_b 10 624.99 625.11 65.0 5000 5000 127000
j3037_1_mdd_b 10 162.19 162.28 37.0 5000 5000 127000
j3037_9_mdd_bm1 1 5000.00 5001.04 138.0 5000 5000 127000
j3037_9_rggt_b 10 1205.59 1205.64 65.0 5000 5000 127000
j3045_10_gmto_b 10 147.20 147.22 49.0 5000 5000 127000
j3045_10_rggt_b 10 825.20 825.24 67.0 5000 5000 127000
j3045_4_gmto_b 10 824.52 824.53 73.0 5000 5000 127000
j3045_4_mdd_bm1 20 794.39 794.47 69.0 5000 5000 127000
jgiraldezlevy.2200.9086.08.40.41 10 141.29 141.33 38.0 5000 5000 127000
lec_mult_CvD_11x11.sanitized 20 1688.71 1688.71 49.0 5000 5000 127000
lec_mult_CvK_11x10.sanitized 20 968.59 968.65 43.0 5000 5000 127000
lec_mult_CvK_11x11.sanitized 20 3025.50 3025.59 78.0 5000 5000 127000
lec_mult_CvK_12x11.sanitized 1 4999.96 5001.03 105.0 5000 5000 127000
lec_mult_CvK_12x12.sanitized 1 4999.83 5001.03 109.0 5000 5000 127000
lec_mult_CvW_12x11.sanitized 20 4457.41 4457.41 101.0 5000 5000 127000
lec_mult_CvW_12x12.sanitized 1 4999.92 5001.04 97.0 5000 5000 127000
lec_mult_DvK_11x10.sanitized 20 1072.55 1072.65 47.0 5000 5000 127000
lec_mult_DvK_12x12.sanitized 1 5000.02 5001.03 107.0 5000 5000 127000
lec_mult_DvW_11x10.sanitized 20 790.60 790.69 47.0 5000 5000 127000
lec_mult_DvW_12x11.sanitized 1 4999.97 5001.03 100.0 5000 5000 127000
lec_mult_DvW_12x12.sanitized 1 5000.03 5000.94 119.0 5000 5000 127000
lec_mult_KvW_10x10.sanitized 20 584.70 584.72 36.0 5000 5000 127000
lec_mult_KvW_11x10.sanitized 20 1621.69 1621.78 61.0 5000 5000 127000
lec_mult_KvW_12x11.sanitized 1 4999.86 5001.04 104.0 5000 5000 127000
linked_list_swap_contents_safety_unwind45 20 354.09 354.14 4022.0 5000 5000 127000
linked_list_swap_contents_safety_unwind54 20 753.68 753.81 5545.0 5000 5000 127000
linked_list_swap_contents_safety_unwind57 20 448.90 448.94 6041.0 5000 5000 127000
linked_list_swap_contents_safety_unwind62 20 1766.96 1767.03 7225.0 5000 5000 127000
linked_list_swap_contents_safety_unwind63 20 1378.26 1378.35 7419.0 5000 5000 127000
linked_list_swap_contents_safety_unwind65 20 914.68 914.80 7765.0 5000 5000 127000
linked_list_swap_contents_safety_unwind68 20 764.69 764.72 8226.0 5000 5000 127000
linked_list_swap_contents_safety_unwind69 1 4882.46 5001.04 9126.0 5000 5000 127000
linked_list_swap_contents_safety_unwind70 20 4958.37 4958.45 9069.0 5000 5000 127000
linked_list_swap_contents_safety_unwind73 20 1353.68 1353.71 9769.0 5000 5000 127000
linked_list_swap_contents_safety_unwind76 20 1902.34 1902.46 10497.0 5000 5000 127000
linked_list_swap_contents_safety_unwind78 20 1032.59 1032.71 11120.0 5000 5000 127000
linked_list_swap_contents_safety_unwind80 20 3930.33 3930.47 11737.0 5000 5000 127000
lru_10.sanitized 10 94.08 94.17 19321.0 5000 5000 127000
lru_6.sanitized 10 64.69 64.73 11560.0 5000 5000 127000
lru_7.sanitized 10 78.50 78.60 13500.0 5000 5000 127000
lru_8.sanitized 10 74.49 74.58 15492.0 5000 5000 127000
lru_9.sanitized 10 97.88 97.94 17381.0 5000 5000 127000
manol-pipe-g10bid_i 20 220.30 220.35 224.0 5000 5000 127000
marg5x5.shuffled-as.sat03-1455 1 4999.92 5001.03 140.0 5000 5000 127000
mchess_15 20 198.29 198.33 33.0 5000 5000 127000
mchess_16 20 348.40 348.42 56.0 5000 5000 127000
mchess_17 20 4758.37 4758.49 153.0 5000 5000 127000
md5_48_1 10 160.20 160.23 98.0 5000 5000 127000
mdp-28-10-unsat 20 1716.98 1717.04 51.0 5000 5000 127000
mdp-28-11-sat 10 129.90 129.98 31.0 5000 5000 127000
mdp-28-14-sat 10 42.99 43.10 22.0 5000 5000 127000
mdp-28-14-unsat 20 2904.30 2904.36 71.0 5000 5000 127000
mdp-28-16-unsat 20 1982.29 1982.36 59.0 5000 5000 127000
mdp-32-10-sat 10 1172.89 1172.94 57.0 5000 5000 127000
mdp-32-10-unsat 1 4999.95 5001.03 129.0 5000 5000 127000
mdp-32-11-sat 1 5000.02 5001.03 85.0 5000 5000 127000
mdp-32-11-unsat 1 4999.95 5001.03 98.0 5000 5000 127000
mdp-32-12-unsat 1 4999.91 5001.04 130.0 5000 5000 127000
mdp-32-14-sat 1 4999.99 5001.03 115.0 5000 5000 127000
mdp-32-14-unsat 1 5000.02 5001.03 121.0 5000 5000 127000
mdp-32-16-sat 10 1081.29 1081.40 62.0 5000 5000 127000
mdp-36-10-sat 1 4999.94 5001.03 126.0 5000 5000 127000
mdp-36-10-unsat 1 4999.96 5001.04 124.0 5000 5000 127000
mdp-36-12-unsat 1 5000.01 5001.04 129.0 5000 5000 127000
mdp-36-14-sat 1 4999.95 5001.03 123.0 5000 5000 127000
mp1-Nb5T15 10 71.79 71.88 46.0 5000 5000 127000
mp1-Nb7T42 10 35.79 35.90 162.0 5000 5000 127000
mp1-blockpuzzle_5x10_s7_free4 20 1336.60 1336.70 167.0 5000 5000 127000
mp1-klieber2017s-0500-023-t12 10 63.60 63.66 32.0 5000 5000 127000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 20 65.50 65.52 19.0 5000 5000 127000
mrpp_4x4#12_12 20 10.40 10.44 16.0 5000 5000 127000
mulhs016-sc2009 1 4999.99 5001.03 167.0 5000 5000 127000
noL-11-0.sanitized 1 4999.94 5001.03 178.0 5000 5000 127000
noL-11-10.sanitized 10 386.50 386.53 77.0 5000 5000 127000
noL-11-12.sanitized 10 2001.18 2001.28 144.0 5000 5000 127000
noL-11-14.sanitized 10 47.90 47.92 24.0 5000 5000 127000
noL-11-16.sanitized 10 136.79 136.91 47.0 5000 5000 127000
noL-11-18.sanitized 10 310.20 310.31 53.0 5000 5000 127000
noL-11-2.sanitized 10 2044.97 2045.04 163.0 5000 5000 127000
noL-11-20.sanitized 10 212.70 212.75 45.0 5000 5000 127000
noL-11-4.sanitized 10 2157.09 2157.13 164.0 5000 5000 127000
noL-11-6.sanitized 1 4999.98 5001.03 166.0 5000 5000 127000
noL-11-8.sanitized 10 2001.82 2002.01 116.0 5000 5000 127000
oisc-subrv-sll-nested-11 20 1860.79 1860.84 6571.0 5000 5000 127000
oisc-subrv-sll-nested-13 20 2493.10 2493.15 9041.0 5000 5000 127000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 1 4999.82 5001.04 445.0 5000 5000 127000
or_randxor_k3_n510_m510.sanitized 1 5000.00 5001.03 169.0 5000 5000 127000
pb_300_05_lb_17 10 99.70 99.78 168.0 5000 5000 127000
pb_300_09_lb_07 10 13.59 13.70 167.0 5000 5000 127000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 20 107.69 107.71 26.0 5000 5000 127000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 1 4999.96 5001.03 193.0 5000 5000 127000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 20 669.78 669.91 55.0 5000 5000 127000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 20 206.80 206.85 34.0 5000 5000 127000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 1 5000.01 5001.03 184.0 5000 5000 127000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 1 4999.86 5001.04 264.0 5000 5000 127000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 20 151.20 151.22 31.0 5000 5000 127000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 1 5000.00 5001.04 391.0 5000 5000 127000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 1 4999.98 5001.04 343.0 5000 5000 127000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 20 743.80 743.85 93.0 5000 5000 127000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 1 4999.94 5001.03 219.0 5000 5000 127000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 1 5000.00 5001.04 380.0 5000 5000 127000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 1 4999.96 5001.04 270.0 5000 5000 127000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 1 4999.95 5001.03 311.0 5000 5000 127000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 1 4999.95 5001.03 321.0 5000 5000 127000
post-cbmc-aes-ee-r3-noholes 20 515.59 515.71 490.0 5000 5000 127000
preimage_80r_495m_160h_seed_379 10 625.09 625.16 62.0 5000 5000 127000
qwh.50.1250.shuffled-as.sat03-1655 10 56.70 56.76 103.0 5000 5000 127000
qwh.60.1728.shuffled-as.sat03-1659 10 178.89 179.00 202.0 5000 5000 127000
rbsat-v1150c84314gyes1 1 4999.94 5001.03 290.0 5000 5000 127000
rbsat-v760c43649gyes3 10 323.70 323.75 67.0 5000 5000 127000
rbsat-v760c43649gyes7 10 118.60 118.66 37.0 5000 5000 127000
rbsat-v760c43649gyes9 10 47.99 48.10 29.0 5000 5000 127000
rbsat-v945c61409gyes9-sc2009 10 471.90 472.01 78.0 5000 5000 127000
rook-42-0-1 20 1538.60 1538.67 153.0 5000 5000 127000
rook-56-0-0 1 4999.93 5001.04 332.0 5000 5000 127000
rook-56-1-1 20 2231.00 2231.10 238.0 5000 5000 127000
rphp_p8_r160.sanitized 1 4999.93 5001.04 426.0 5000 5000 127000
rphp_p8_r170.sanitized 1 4999.89 5001.03 482.0 5000 5000 127000
sgen1-sat-180-100 10 163.18 163.26 29.0 5000 5000 127000
sgen1-unsat-121-100 1 4999.91 5001.03 178.0 5000 5000 127000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 10 24.10 24.19 880.0 5000 5000 127000
si2-b03m-m800-03 10 4.90 4.99 159.0 5000 5000 127000
simon-r16-1.sanitized 10 0.00 0.01 0.0 5000 5000 127000
simon-r17-0.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r18-0.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r19-1.sanitized 10 0.00 0.01 0.0 5000 5000 127000
simon-r20-0.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r21-0.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r22-1.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r23-1.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r24-1.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r25-0.sanitized 10 0.00 0.02 0.0 5000 5000 127000
sokoban-p16.sas.ex.15-sc2016 20 2089.24 2089.35 1534.0 5000 5000 127000
sokoban-p20.sas.cr.25 20 2261.04 2261.14 285.0 5000 5000 127000
sokoban-p20.sas.cr.33 1 4999.96 5001.03 585.0 5000 5000 127000
spg_200_316 20 135.59 135.68 429.0 5000 5000 127000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 0.10 0.14 18.0 5000 5000 127000
stable-300-0.1-20-98765432130020 10 26.20 26.28 16.0 5000 5000 127000
stb_418_125.apx_1_DC-AD 20 2975.86 2975.99 114.0 5000 5000 127000
stb_418_125.apx_1_DC-ST 20 959.30 959.41 56.0 5000 5000 127000
stb_418_125.apx_2_DC-AD 20 3065.96 3066.04 118.0 5000 5000 127000
stb_495_168.apx_1_DC-AD 20 368.49 368.59 45.0 5000 5000 127000
stb_495_168.apx_2_DC-AD 20 309.49 309.53 48.0 5000 5000 127000
stb_531_83.apx_1_DC-ST 20 455.80 455.86 50.0 5000 5000 127000
stb_531_83.apx_2_DC-ST 20 375.70 375.79 40.0 5000 5000 127000
stb_588_138.apx_1_DC-AD 20 1496.18 1496.30 68.0 5000 5000 127000
stb_588_138.apx_1_DC-ST 20 391.39 391.50 38.0 5000 5000 127000
sted5_0x1e3-20 1 4999.93 5001.04 203.0 5000 5000 127000
sted5_0x24204-50 10 127.79 127.86 38.0 5000 5000 127000
string_compare_safety_cbmc_unwinding_900 20 1462.42 1462.47 4040.0 5000 5000 127000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 10 13.10 13.20 46.0 5000 5000 127000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 10 24.20 24.24 61.0 5000 5000 127000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 10 17.70 17.72 66.0 5000 5000 127000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 1 4999.86 5001.04 720.0 5000 5000 127000
tseitin_d3_n158.sanitized 1 4999.99 5001.03 149.0 5000 5000 127000
tseitin_d3_n162.sanitized 1 4999.90 5001.03 167.0 5000 5000 127000
tseitin_d3_n174.sanitized 1 4999.97 5001.03 176.0 5000 5000 127000
tseitin_grid_n11_m20.sanitized 1 4999.89 5001.04 144.0 5000 5000 127000
tseitingrid6x200_shuffled 1 4999.92 5001.04 227.0 5000 5000 127000
two-trees-1023v.sanitized 1 4999.99 5001.04 156.0 5000 5000 127000
two-trees-511v.sanitized 1 5000.09 5001.04 114.0 5000 5000 127000
urq45 20 521.28 521.37 36.0 5000 5000 127000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 1 4999.95 5001.03 124.0 5000 5000 127000
worker_20_40_20_0.95 10 0.19 0.28 6.0 5000 5000 127000
worker_30_60_25_0.9 1 4999.94 5001.03 304.0 5000 5000 127000
worker_40_80_40_0.9 1 4999.95 5001.04 696.0 5000 5000 127000
worker_550_550_550_0.3 10 50.49 50.56 1774.0 5000 5000 127000
x9-08014.sat.sanitized 20 63.09 63.21 19.0 5000 5000 127000
x9-08075.sat.sanitized 20 50.48 50.54 17.0 5000 5000 127000
x9-09004.sat.sanitized 20 236.29 236.31 28.0 5000 5000 127000
x9-09007.sat.sanitized 20 112.79 112.87 27.0 5000 5000 127000
x9-09014.sat.sanitized 20 202.09 202.12 28.0 5000 5000 127000
x9-09024.sat.sanitized 20 74.90 74.98 22.0 5000 5000 127000
x9-09047.sat.sanitized 20 109.00 109.08 27.0 5000 5000 127000
x9-09051.sat.sanitized 20 240.39 240.48 33.0 5000 5000 127000
x9-09054.sat.sanitized 10 15.10 15.17 13.0 5000 5000 127000
x9-09057.sat.sanitized 20 99.49 99.60 28.0 5000 5000 127000
x9-09076.sat.sanitized 20 89.20 89.22 29.0 5000 5000 127000
x9-09098.sat.sanitized 20 278.29 278.31 30.0 5000 5000 127000
x9-10002.sat.sanitized 20 1492.79 1492.88 55.0 5000 5000 127000
x9-10007.sat.sanitized 20 610.39 610.51 48.0 5000 5000 127000
x9-10014.sat.sanitized 10 278.30 278.41 42.0 5000 5000 127000
x9-10027.sat.sanitized 10 465.39 465.47 41.0 5000 5000 127000
x9-10031.sat.sanitized 20 2609.40 2609.41 76.0 5000 5000 127000
x9-10038.sat.sanitized 10 440.28 440.38 42.0 5000 5000 127000
x9-10051.sat.sanitized 20 699.70 699.75 52.0 5000 5000 127000
x9-10076.sat.sanitized 20 521.59 521.68 47.0 5000 5000 127000
x9-10083.sat.sanitized 20 589.70 589.75 43.0 5000 5000 127000
x9-10084.sat.sanitized 20 490.78 490.85 39.0 5000 5000 127000
x9-10093.sat.sanitized 20 725.98 726.06 56.0 5000 5000 127000
x9-10096.sat.sanitized 20 566.10 566.19 55.0 5000 5000 127000
x9-10098.sat.sanitized 10 223.89 223.98 36.0 5000 5000 127000
x9-11034.sat.sanitized 10 106.29 106.39 25.0 5000 5000 127000
x9-11053.sat.sanitized 10 3846.91 3846.94 98.0 5000 5000 127000
x9-11062.sat.sanitized 10 399.49 399.55 40.0 5000 5000 127000
x9-11077.sat.sanitized 10 653.49 653.53 59.0 5000 5000 127000
x9-11088.sat.sanitized 10 3040.48 3040.60 93.0 5000 5000 127000
x9-11093.sat.sanitized 10 247.41 247.45 35.0 5000 5000 127000
x9-11094.sat.sanitized 10 2738.99 2739.10 87.0 5000 5000 127000
x9-12001.sat.sanitized 10 3627.55 3627.70 96.0 5000 5000 127000
x9-12014.sat.sanitized 1 4999.99 5001.04 136.0 5000 5000 127000
x9-12021.sat.sanitized 10 64.20 64.27 22.0 5000 5000 127000
x9-12035.sat.sanitized 10 3217.80 3217.81 110.0 5000 5000 127000
x9-12063.sat.sanitized 1 4999.89 5001.04 121.0 5000 5000 127000
x9-12087.sat.sanitized 1 4999.97 5001.03 124.0 5000 5000 127000
x9-12092.sat.sanitized 10 3327.36 3327.44 100.0 5000 5000 127000
x9-12098.sat.sanitized 1 4999.96 5001.03 128.0 5000 5000 127000
