 result time real space tlim rlim slim
002 1 4999.94 5001.03 109.0 5000 5000 31000
004 10 647.70 647.80 54.0 5000 5000 31000
1-ET-256-K-55.sanitized 1 4999.97 5001.03 72.0 5000 5000 31000
1-ET-256-K-70.sanitized 20 170.30 170.35 40.0 5000 5000 31000
1-ET-512-K-110.sanitized 1 4999.90 5001.04 456.0 5000 5000 31000
1-ET-512-K-96.sanitized 10 4829.93 4830.18 761.0 5000 5000 31000
1-TC-256-K-64.sanitized 20 3332.48 3332.58 48.0 5000 5000 31000
1-TC-256-K-68.sanitized 20 435.09 435.14 54.0 5000 5000 31000
1-TC-256-K-71.sanitized 20 243.60 243.71 60.0 5000 5000 31000
1-ZC-1024-K-116.sanitized 1 4999.58 5001.04 1016.0 5000 5000 31000
1-ZC-1024-K-117.sanitized 1 4999.99 5001.03 998.0 5000 5000 31000
1-ZC-512-K-60.sanitized 10 857.39 857.43 241.0 5000 5000 31000
1-ZC-512-K-61.sanitized 10 430.90 431.01 145.0 5000 5000 31000
1-ZC-512-K-63.sanitized 1 4999.97 5001.03 264.0 5000 5000 31000
1-ZC-512-K-64.sanitized 1 4999.97 5001.03 260.0 5000 5000 31000
1-ZC-512-K-65.sanitized 1 4999.97 5001.03 220.0 5000 5000 31000
1-ZC-512-K-67.sanitized 1 4999.95 5001.03 261.0 5000 5000 31000
128_100.sanitized 10 774.15 776.35 5301.0 5000 5000 31000
128_125.sanitized 10 2340.63 2343.59 9040.0 5000 5000 31000
128_75.sanitized 10 1133.89 1135.36 5358.0 5000 5000 31000
170058440 10 154.19 154.26 9.0 5000 5000 31000
2dlx_ca_bp_f_liveness 1 4999.93 5001.03 451.0 5000 5000 31000
32_100.sanitized 10 25.51 26.32 1510.0 5000 5000 31000
32_200.sanitized 10 59.12 60.45 3029.0 5000 5000 31000
32_325.sanitized 10 95.55 97.89 4923.0 5000 5000 31000
32_350.sanitized 10 99.47 102.52 5291.0 5000 5000 31000
64_150.sanitized 10 52.10 56.00 3989.0 5000 5000 31000
64_200.sanitized 10 69.20 72.21 5340.0 5000 5000 31000
64_25.sanitized 10 10.00 10.35 641.0 5000 5000 31000
6g_6color_366_050_04 1 4999.95 5001.03 245.0 5000 5000 31000
6s130-opt 20 363.49 363.60 29.0 5000 5000 31000
6s167-opt 20 3.19 3.27 5.0 5000 5000 31000
Break_08_24.xml 10 0.20 0.29 4.0 5000 5000 31000
Break_18_32.xml 1 4999.85 5001.03 315.0 5000 5000 31000
Break_20_72.xml 10 3108.15 3108.40 243.0 5000 5000 31000
Break_triple_20_36.xml 1 4999.91 5001.03 471.0 5000 5000 31000
Break_unsat_04_03.xml 20 0.00 0.01 0.0 5000 5000 31000
Break_unsat_06_07.xml 20 3.10 3.13 4.0 5000 5000 31000
Break_unsat_14_23.xml 1 4999.74 5001.04 91.0 5000 5000 31000
Break_unsat_16_27.xml 1 4999.63 5001.03 129.0 5000 5000 31000
Break_unsat_18_31.xml 1 4999.93 5001.03 143.0 5000 5000 31000
Circuit_multiplier22 10 36.50 36.53 12.0 5000 5000 31000
DLTM_twitter774_83_17 10 68.89 68.94 19.0 5000 5000 31000
Dodecahedron-k7 1 4999.91 5001.04 152.0 5000 5000 31000
EDP3-11000 10 72.00 72.01 75.0 5000 5000 31000
ER_400_20_4.apx_1_DC-AD 20 814.89 814.99 28.0 5000 5000 31000
ER_400_20_4.apx_2_DC-AD 20 650.59 650.69 26.0 5000 5000 31000
ER_400_20_4.apx_2_DC-ST 20 623.89 624.00 27.0 5000 5000 31000
ER_400_20_7.apx_1_DC-AD 20 1471.39 1471.42 31.0 5000 5000 31000
ER_400_20_7.apx_2_DC-AD 1 4999.94 5001.03 57.0 5000 5000 31000
ER_400_20_7.apx_2_DC-ST 1 4999.94 5001.03 58.0 5000 5000 31000
ER_500_30_3.apx_1_DC-ST 20 552.99 553.07 33.0 5000 5000 31000
ER_500_30_3.apx_2_DC-AD 20 1664.58 1664.67 39.0 5000 5000 31000
FmlaEquivChain_4_6_6.sanitized 20 16.69 16.75 31.0 5000 5000 31000
FmlaEquivChain_4_8_8.sanitized 20 1601.57 1601.68 309.0 5000 5000 31000
FmlaImplyChain_3_7_7.sanitized 20 230.27 230.34 27.0 5000 5000 31000
FmlaImplyChain_3_7_8.sanitized 1 4999.81 5001.03 187.0 5000 5000 31000
Folkman-175-1251868.sanitized 10 612.00 612.08 45.0 5000 5000 31000
Folkman-175-7416734.sanitized 10 404.58 404.66 32.0 5000 5000 31000
Folkman-175-9054056.sanitized 10 817.90 817.95 43.0 5000 5000 31000
Folkman-180-11710376.sanitized 10 1201.29 1201.37 61.0 5000 5000 31000
Folkman-180-5383714.sanitized 10 225.79 225.86 25.0 5000 5000 31000
Folkman-185-152478531.sanitized 10 1112.30 1112.40 50.0 5000 5000 31000
Folkman-185-19924337.sanitized 10 2097.59 2097.62 69.0 5000 5000 31000
Folkman-185-75415683.sanitized 10 1847.98 1848.17 66.0 5000 5000 31000
Folkman-190-104806020.sanitized 10 1620.79 1620.86 66.0 5000 5000 31000
Folkman-190-358004741.sanitized 1 5000.01 5000.93 128.0 5000 5000 31000
Folkman-190-66337703.sanitized 10 2461.89 2461.97 86.0 5000 5000 31000
GracefulGraph-K05-P02_c18 10 33.10 33.16 11.0 5000 5000 31000
HCP-446-105 10 2449.97 2450.04 112.0 5000 5000 31000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 1010.58 1010.70 42.0 5000 5000 31000
ITC2021_Early_10.xml 1 4999.85 5001.03 315.0 5000 5000 31000
ITC2021_Early_3.xml 10 0.10 0.14 8.0 5000 5000 31000
ITC2021_Middle_1.xml 1 4999.90 5001.04 337.0 5000 5000 31000
Kakuro-easy-097-ext.xml.hg_4 20 1987.01 1987.12 1376.0 5000 5000 31000
MASG0_72_keystream76_0 10 193.48 193.52 8.0 5000 5000 31000
Nb13T165 10 1661.29 1661.42 1378.0 5000 5000 31000
Nb44T6 20 2402.57 2402.62 1292.0 5000 5000 31000
Ptn-7824-b18 10 4.20 4.24 5.0 5000 5000 31000
REGRandom-K3-L3-Seed25.sanitized 20 612.30 612.32 117.0 5000 5000 31000
REGRandom-K4-L1-Seed30.sanitized 20 2983.34 2983.46 247.0 5000 5000 31000
REGRandom-K4-L2-Seed35.sanitized 20 4658.02 4658.17 594.0 5000 5000 31000
REGRandom-K4-L3-Seed40.sanitized 1 4999.92 5001.03 1863.0 5000 5000 31000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 20 4370.46 4370.53 99.0 5000 5000 31000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 1 4999.86 5001.03 59.0 5000 5000 31000
Schur_161_5_d38 1 4999.93 5001.04 57.0 5000 5000 31000
StConn_7_128.sanitized 20 527.08 527.16 50.0 5000 5000 31000
StConn_8_32.sanitized 20 768.88 768.93 38.0 5000 5000 31000
T105.2.0 20 368.50 368.59 991.0 5000 5000 31000
Timetable_C_392_E_62_Cl_26_S_28 10 220.48 220.52 213.0 5000 5000 31000
VanDerWaerden_2-3-14_186 1 4999.63 5001.03 43.0 5000 5000 31000
WS_500_16_70_10.apx_1_DC-ST 20 1078.02 1078.14 21.0 5000 5000 31000
WS_500_16_70_10.apx_2_DC-AD 20 1390.14 1390.28 26.0 5000 5000 31000
WS_500_16_90_70.apx_2_DC-AD 20 1120.38 1120.52 22.0 5000 5000 31000
af-synthesis_stb_50_100_4_sat 10 412.69 412.77 20.0 5000 5000 31000
af-synthesis_stb_50_100_9_sat 10 78.10 78.17 17.0 5000 5000 31000
af-synthesis_stb_50_100_9_unsat 20 1124.69 1124.76 23.0 5000 5000 31000
af-synthesis_stb_50_120_4_sat 10 254.80 254.83 20.0 5000 5000 31000
af-synthesis_stb_50_140_0_unsat 20 1040.18 1040.28 25.0 5000 5000 31000
af-synthesis_stb_50_140_1_unsat 20 2096.98 2097.08 28.0 5000 5000 31000
af-synthesis_stb_50_140_3_unsat 20 293.29 293.32 20.0 5000 5000 31000
af-synthesis_stb_50_200_0_sat 10 448.69 448.76 31.0 5000 5000 31000
af-synthesis_stb_50_200_0_unsat 20 982.28 982.40 31.0 5000 5000 31000
af-synthesis_stb_50_200_4_unsat 20 466.79 466.84 25.0 5000 5000 31000
af-synthesis_stb_50_40_2_unsat 20 669.60 669.69 19.0 5000 5000 31000
af-synthesis_stb_50_40_9_sat 10 1025.67 1025.78 23.0 5000 5000 31000
af-synthesis_stb_50_40_9_unsat 20 2435.60 2435.62 31.0 5000 5000 31000
apn-sbox5-cut3-symmbreak 1 4999.86 5001.04 60.0 5000 5000 31000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 1 4999.94 5001.03 154.0 5000 5000 31000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 1 4999.98 5001.03 139.0 5000 5000 31000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 20 4182.18 4182.22 135.0 5000 5000 31000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 20 469.00 469.03 64.0 5000 5000 31000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 20 863.38 863.42 79.0 5000 5000 31000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 20 1123.38 1123.45 89.0 5000 5000 31000
atco_enc1_opt1_10_15 10 219.49 219.54 31.0 5000 5000 31000
barman-pfile06-022.sas.ex.7 20 1.09 1.18 50.0 5000 5000 31000
battleship-14-26-sat 10 180.69 180.80 24.0 5000 5000 31000
bmc_QICE_snp_vld_30 20 596.99 597.03 1590.0 5000 5000 31000
bphp_p23_h22.sanitized 1 4999.95 5001.03 43.0 5000 5000 31000
bvsub_19952 20 2403.28 2403.36 201.0 5000 5000 31000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 10 434.88 434.93 284.0 5000 5000 31000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 10 454.10 454.15 226.0 5000 5000 31000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 10 296.59 296.62 257.0 5000 5000 31000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 10 905.47 905.52 323.0 5000 5000 31000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 10 2035.80 2035.83 155.0 5000 5000 31000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 10 1292.19 1292.29 190.0 5000 5000 31000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 10 997.19 997.24 224.0 5000 5000 31000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 10 4203.73 4203.99 264.0 5000 5000 31000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 1 4999.85 5001.03 91.0 5000 5000 31000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 10 438.69 438.76 287.0 5000 5000 31000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 10 158.09 158.19 30.0 5000 5000 31000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 10 19.00 19.09 21.0 5000 5000 31000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 10 36.30 36.33 24.0 5000 5000 31000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 10 39.19 39.23 24.0 5000 5000 31000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 10 102.59 102.66 77.0 5000 5000 31000
clique_n2_k10.sanitized 20 11.20 11.27 7.0 5000 5000 31000
cliquecolouring_n13_k8_c7.sanitized 1 4999.95 5001.03 61.0 5000 5000 31000
cliquecolouring_n13_k9_c8.sanitized 1 4999.99 5001.03 62.0 5000 5000 31000
cliquecolouring_n15_k9_c8.sanitized 1 4999.97 5001.03 62.0 5000 5000 31000
cliquecolouring_n21_k6_c5.sanitized 1 5000.01 5000.93 51.0 5000 5000 31000
cliquecolouring_n31_k5_c4.sanitized 1 4999.85 5001.03 72.0 5000 5000 31000
cliquecolouring_n41_k5_c4.sanitized 1 4999.95 5001.03 79.0 5000 5000 31000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 10 1.60 1.64 5.0 5000 5000 31000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 10 1.29 1.37 5.0 5000 5000 31000
constraints_16_0.3_1.sanitized 20 281.59 281.66 19.0 5000 5000 31000
constraints_16_0.4_1.sanitized 20 153.89 154.01 29.0 5000 5000 31000
constraints_16_0.5_1.sanitized 20 164.80 164.83 27.0 5000 5000 31000
constraints_17_0.3_2.sanitized 20 78.19 78.22 39.0 5000 5000 31000
constraints_17_0.4_1.sanitized 10 12.40 12.42 57.0 5000 5000 31000
constraints_17_0.4_2.sanitized 20 94.10 94.16 54.0 5000 5000 31000
constraints_17_0.5_2.sanitized 20 136.99 137.01 95.0 5000 5000 31000
constraints_18_0.3_2.sanitized 20 474.49 474.57 75.0 5000 5000 31000
constraints_18_0.4_2.sanitized 20 673.89 673.99 153.0 5000 5000 31000
constraints_18_0.5_2.sanitized 20 737.69 737.79 194.0 5000 5000 31000
constraints_25_4_5_12_12_0_0_0.sanitized 20 268.77 268.84 19.0 5000 5000 31000
crafted_n12_d6_c4_num23 20 529.79 529.88 304.0 5000 5000 31000
crn_11_99_u 20 2.60 2.68 5.0 5000 5000 31000
ctl_4201_555_unsat_pre 20 1959.97 1960.06 42.0 5000 5000 31000
ctl_4291_567_2_unsat-sc2013 20 2385.89 2385.92 45.0 5000 5000 31000
ctl_4291_567_9_unsat 20 854.18 854.22 30.0 5000 5000 31000
ecarev-110-4099-22-30-7 10 384.20 384.23 154.0 5000 5000 31000
ex065_25 10 282.39 282.46 40.0 5000 5000 31000
exam_flat_0.04_2018_3 10 773.39 773.49 267.0 5000 5000 31000
f9idw 20 117.00 117.04 155.0 5000 5000 31000
fermat-931960058139995587 1 4999.92 5001.03 93.0 5000 5000 31000
fixedbandwidth-eq-31_shuffled 20 2137.18 2137.31 35.0 5000 5000 31000
frb45-21-2.used-as.sat04-884 10 291.79 291.86 22.0 5000 5000 31000
frb65-12-2.used-as.sat04-874 10 109.69 109.78 17.0 5000 5000 31000
g2-T93.2.1 20 986.39 986.47 1222.0 5000 5000 31000
g2-ak128boothbg2msaig 1 4999.95 5001.04 235.0 5000 5000 31000
g2-ak128boothbg2msisc 10 966.00 966.10 175.0 5000 5000 31000
g2-hwmcc15deep-6s161-k17 20 1593.86 1593.95 39.0 5000 5000 31000
g2-hwmcc15deep-bob12s02-k16 1 4999.99 5001.03 218.0 5000 5000 31000
g2-slp-synthesis-aes-top30 10 33.39 33.43 32.0 5000 5000 31000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 20 293.39 293.45 108.0 5000 5000 31000
goldcrest-and-9 20 248.08 248.12 110.0 5000 5000 31000
grs-64-128 20 2337.26 2337.40 125.0 5000 5000 31000
grs-64-64 20 372.99 373.04 56.0 5000 5000 31000
hcp_CP18_18 1 4999.90 5001.03 129.0 5000 5000 31000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 20 782.69 782.77 17.0 5000 5000 31000
hwmcc12miters-xits-iso-6s111.sanitized 1 4999.97 5001.03 251.0 5000 5000 31000
hwmcc17miters-xits-iso-6s281b35.sanitized 1 4999.85 5001.03 1283.0 5000 5000 31000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 1 4999.93 5001.03 83.0 5000 5000 31000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 1 4999.82 5001.03 582.0 5000 5000 31000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 1 5000.01 5000.93 588.0 5000 5000 31000
hwmcc20miters-iso-mul2.sanitized 1 4999.87 5001.03 161.0 5000 5000 31000
hwmcc20miters-iso-mul3.sanitized 1 4999.91 5001.03 279.0 5000 5000 31000
hwmcc20miters-iso-mul7.sanitized 1 4999.75 5001.03 316.0 5000 5000 31000
hwmcc20miters-iso-rast-p06.sanitized 1 4999.91 5001.03 151.0 5000 5000 31000
hwmcc20miters-iso-rast-p11.sanitized 1 4999.92 5001.03 144.0 5000 5000 31000
j3037_10_mdd_b 10 51.69 51.75 13.0 5000 5000 31000
j3037_10_mdd_bm1 20 79.19 79.23 13.0 5000 5000 31000
j3037_10_rggt_b 10 13.69 13.79 11.0 5000 5000 31000
j3037_1_gmto_b 10 54.79 54.85 16.0 5000 5000 31000
j3037_1_mdd_b 10 64.30 64.37 16.0 5000 5000 31000
j3037_9_mdd_bm1 1 4999.97 5001.03 52.0 5000 5000 31000
j3037_9_rggt_b 10 97.00 97.06 16.0 5000 5000 31000
j3045_10_gmto_b 10 67.40 67.44 15.0 5000 5000 31000
j3045_10_rggt_b 10 184.89 184.97 19.0 5000 5000 31000
j3045_4_gmto_b 10 148.20 148.23 19.0 5000 5000 31000
j3045_4_mdd_bm1 20 879.59 879.67 23.0 5000 5000 31000
jgiraldezlevy.2200.9086.08.40.41 10 119.60 119.66 13.0 5000 5000 31000
lec_mult_CvD_11x11.sanitized 20 3021.44 3021.61 26.0 5000 5000 31000
lec_mult_CvK_11x10.sanitized 20 1164.49 1164.59 18.0 5000 5000 31000
lec_mult_CvK_11x11.sanitized 20 3537.89 3537.95 35.0 5000 5000 31000
lec_mult_CvK_12x11.sanitized 1 4999.88 5001.03 35.0 5000 5000 31000
lec_mult_CvK_12x12.sanitized 1 4999.90 5001.03 43.0 5000 5000 31000
lec_mult_CvW_12x11.sanitized 1 4999.86 5001.03 44.0 5000 5000 31000
lec_mult_CvW_12x12.sanitized 1 4999.94 5001.03 45.0 5000 5000 31000
lec_mult_DvK_11x10.sanitized 20 1194.18 1194.31 19.0 5000 5000 31000
lec_mult_DvK_12x12.sanitized 1 4999.93 5001.03 42.0 5000 5000 31000
lec_mult_DvW_11x10.sanitized 20 1206.49 1206.58 24.0 5000 5000 31000
lec_mult_DvW_12x11.sanitized 1 4999.85 5001.04 46.0 5000 5000 31000
lec_mult_DvW_12x12.sanitized 1 4999.87 5001.03 46.0 5000 5000 31000
lec_mult_KvW_10x10.sanitized 20 398.10 398.17 14.0 5000 5000 31000
lec_mult_KvW_11x10.sanitized 20 1388.76 1388.85 21.0 5000 5000 31000
lec_mult_KvW_12x11.sanitized 1 4999.89 5001.03 41.0 5000 5000 31000
linked_list_swap_contents_safety_unwind45 20 91.39 91.48 599.0 5000 5000 31000
linked_list_swap_contents_safety_unwind54 20 697.89 698.01 2669.0 5000 5000 31000
linked_list_swap_contents_safety_unwind57 20 280.98 281.03 1072.0 5000 5000 31000
linked_list_swap_contents_safety_unwind62 20 976.99 977.10 3612.0 5000 5000 31000
linked_list_swap_contents_safety_unwind63 20 909.35 909.43 3661.0 5000 5000 31000
linked_list_swap_contents_safety_unwind65 20 1020.08 1020.15 3931.0 5000 5000 31000
linked_list_swap_contents_safety_unwind68 20 1044.79 1044.83 4255.0 5000 5000 31000
linked_list_swap_contents_safety_unwind69 20 1051.49 1051.53 4183.0 5000 5000 31000
linked_list_swap_contents_safety_unwind70 20 1716.78 1716.84 4421.0 5000 5000 31000
linked_list_swap_contents_safety_unwind73 20 226.59 226.70 2162.0 5000 5000 31000
linked_list_swap_contents_safety_unwind76 20 2293.38 2293.43 5298.0 5000 5000 31000
linked_list_swap_contents_safety_unwind78 20 1193.78 1193.91 5212.0 5000 5000 31000
linked_list_swap_contents_safety_unwind80 20 1130.50 1130.57 5530.0 5000 5000 31000
lru_10.sanitized 10 55.32 57.59 5654.0 5000 5000 31000
lru_6.sanitized 10 32.62 34.77 3385.0 5000 5000 31000
lru_7.sanitized 10 37.63 38.36 3952.0 5000 5000 31000
lru_8.sanitized 10 43.59 48.14 4519.0 5000 5000 31000
lru_9.sanitized 10 49.12 52.39 5087.0 5000 5000 31000
manol-pipe-g10bid_i 20 120.60 120.65 77.0 5000 5000 31000
marg5x5.shuffled-as.sat03-1455 1 4999.94 5001.03 30.0 5000 5000 31000
mchess_15 20 110.29 110.40 13.0 5000 5000 31000
mchess_16 20 104.19 104.29 14.0 5000 5000 31000
mchess_17 20 3325.34 3325.61 43.0 5000 5000 31000
md5_48_1 10 700.59 700.69 58.0 5000 5000 31000
mdp-28-10-unsat 20 2508.97 2509.06 23.0 5000 5000 31000
mdp-28-11-sat 10 92.80 92.85 10.0 5000 5000 31000
mdp-28-14-sat 10 2044.21 2044.35 24.0 5000 5000 31000
mdp-28-14-unsat 20 4655.52 4655.71 29.0 5000 5000 31000
mdp-28-16-unsat 20 3575.77 3575.85 26.0 5000 5000 31000
mdp-32-10-sat 10 1019.29 1019.37 19.0 5000 5000 31000
mdp-32-10-unsat 1 4999.98 5001.03 35.0 5000 5000 31000
mdp-32-11-sat 1 4999.92 5001.03 35.0 5000 5000 31000
mdp-32-11-unsat 1 4999.90 5001.03 34.0 5000 5000 31000
mdp-32-12-unsat 1 4999.91 5001.03 37.0 5000 5000 31000
mdp-32-14-sat 1 4999.97 5001.03 34.0 5000 5000 31000
mdp-32-14-unsat 1 4999.93 5001.03 33.0 5000 5000 31000
mdp-32-16-sat 10 4176.41 4176.42 31.0 5000 5000 31000
mdp-36-10-sat 1 4999.95 5001.03 35.0 5000 5000 31000
mdp-36-10-unsat 1 4999.94 5001.03 34.0 5000 5000 31000
mdp-36-12-unsat 1 4999.97 5001.03 34.0 5000 5000 31000
mdp-36-14-sat 1 4999.83 5001.03 34.0 5000 5000 31000
mp1-Nb5T15 10 20.70 20.73 14.0 5000 5000 31000
mp1-Nb7T42 10 76.59 76.64 64.0 5000 5000 31000
mp1-blockpuzzle_5x10_s7_free4 20 574.89 574.95 32.0 5000 5000 31000
mp1-klieber2017s-0500-023-t12 10 28.59 28.71 12.0 5000 5000 31000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 20 115.89 115.99 11.0 5000 5000 31000
mrpp_4x4#12_12 20 10.80 10.85 9.0 5000 5000 31000
mulhs016-sc2009 1 4999.95 5001.04 51.0 5000 5000 31000
noL-11-0.sanitized 1 4999.92 5001.03 59.0 5000 5000 31000
noL-11-10.sanitized 10 4492.33 4492.50 51.0 5000 5000 31000
noL-11-12.sanitized 1 4999.90 5001.03 51.0 5000 5000 31000
noL-11-14.sanitized 10 952.59 952.63 30.0 5000 5000 31000
noL-11-16.sanitized 10 269.19 269.22 17.0 5000 5000 31000
noL-11-18.sanitized 10 1229.01 1229.13 35.0 5000 5000 31000
noL-11-2.sanitized 1 4999.93 5001.03 63.0 5000 5000 31000
noL-11-20.sanitized 10 1944.87 1944.95 41.0 5000 5000 31000
noL-11-4.sanitized 1 5000.00 5001.03 57.0 5000 5000 31000
noL-11-6.sanitized 1 4999.92 5001.03 55.0 5000 5000 31000
noL-11-8.sanitized 1 4999.91 5001.03 51.0 5000 5000 31000
oisc-subrv-sll-nested-11 20 1591.88 1592.01 2238.0 5000 5000 31000
oisc-subrv-sll-nested-13 20 2705.34 2705.42 3788.0 5000 5000 31000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 20 4090.11 4090.25 176.0 5000 5000 31000
or_randxor_k3_n510_m510.sanitized 1 4999.97 5001.03 55.0 5000 5000 31000
pb_300_05_lb_17 10 67.20 67.29 51.0 5000 5000 31000
pb_300_09_lb_07 10 6.19 6.25 39.0 5000 5000 31000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 20 291.00 291.02 21.0 5000 5000 31000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 1 4999.97 5001.04 71.0 5000 5000 31000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 20 1204.17 1204.28 30.0 5000 5000 31000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 20 481.20 481.25 19.0 5000 5000 31000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 1 4999.99 5001.03 55.0 5000 5000 31000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 1 4999.99 5001.03 70.0 5000 5000 31000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 20 159.39 159.44 18.0 5000 5000 31000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 1 4999.92 5001.03 134.0 5000 5000 31000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 1 4999.71 5001.03 160.0 5000 5000 31000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 20 287.00 287.10 22.0 5000 5000 31000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 1 4999.83 5001.03 75.0 5000 5000 31000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 10 1191.89 1191.99 127.0 5000 5000 31000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 1 4999.96 5001.04 181.0 5000 5000 31000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 1 4999.98 5001.03 200.0 5000 5000 31000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 1 4999.88 5001.03 187.0 5000 5000 31000
post-cbmc-aes-ee-r3-noholes 20 505.19 505.25 145.0 5000 5000 31000
preimage_80r_495m_160h_seed_379 10 608.28 608.35 37.0 5000 5000 31000
qwh.50.1250.shuffled-as.sat03-1655 10 12.90 12.98 45.0 5000 5000 31000
qwh.60.1728.shuffled-as.sat03-1659 10 196.59 196.62 119.0 5000 5000 31000
rbsat-v1150c84314gyes1 1 4999.81 5001.03 69.0 5000 5000 31000
rbsat-v760c43649gyes3 1 4999.82 5001.04 63.0 5000 5000 31000
rbsat-v760c43649gyes7 10 300.99 301.08 18.0 5000 5000 31000
rbsat-v760c43649gyes9 10 442.20 442.30 26.0 5000 5000 31000
rbsat-v945c61409gyes9-sc2009 10 368.89 368.94 24.0 5000 5000 31000
rook-42-0-1 20 645.69 645.76 58.0 5000 5000 31000
rook-56-0-0 20 1782.33 1782.36 111.0 5000 5000 31000
rook-56-1-1 20 537.98 538.04 71.0 5000 5000 31000
rphp_p8_r160.sanitized 1 4999.57 5001.03 297.0 5000 5000 31000
rphp_p8_r170.sanitized 1 4999.65 5001.03 289.0 5000 5000 31000
sgen1-sat-180-100 10 636.66 636.79 17.0 5000 5000 31000
sgen1-unsat-121-100 1 5000.00 5001.03 46.0 5000 5000 31000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 10 8.70 8.76 161.0 5000 5000 31000
si2-b03m-m800-03 10 11.69 11.73 94.0 5000 5000 31000
simon-r16-1.sanitized 10 166.98 167.03 14.0 5000 5000 31000
simon-r17-0.sanitized 1 4999.93 5001.03 46.0 5000 5000 31000
simon-r18-0.sanitized 10 53.60 53.64 10.0 5000 5000 31000
simon-r19-1.sanitized 1 4999.82 5001.03 36.0 5000 5000 31000
simon-r20-0.sanitized 10 3288.25 3288.32 29.0 5000 5000 31000
simon-r21-0.sanitized 1 4999.95 5001.03 34.0 5000 5000 31000
simon-r22-1.sanitized 10 4388.22 4388.51 30.0 5000 5000 31000
simon-r23-1.sanitized 10 340.30 340.36 14.0 5000 5000 31000
simon-r24-1.sanitized 10 199.89 199.92 13.0 5000 5000 31000
simon-r25-0.sanitized 10 583.69 583.76 14.0 5000 5000 31000
sokoban-p16.sas.ex.15-sc2016 20 1102.60 1102.67 356.0 5000 5000 31000
sokoban-p20.sas.cr.25 20 1989.28 1989.36 137.0 5000 5000 31000
sokoban-p20.sas.cr.33 1 4999.95 5001.03 317.0 5000 5000 31000
spg_200_316 20 42.30 42.32 164.0 5000 5000 31000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 0.00 0.03 0.0 5000 5000 31000
stable-300-0.1-20-98765432130020 10 11.40 11.47 8.0 5000 5000 31000
stb_418_125.apx_1_DC-AD 20 3790.97 3791.04 39.0 5000 5000 31000
stb_418_125.apx_1_DC-ST 20 1751.88 1751.95 29.0 5000 5000 31000
stb_418_125.apx_2_DC-AD 20 3260.20 3260.38 38.0 5000 5000 31000
stb_495_168.apx_1_DC-AD 20 653.29 653.34 20.0 5000 5000 31000
stb_495_168.apx_2_DC-AD 20 589.79 589.83 19.0 5000 5000 31000
stb_531_83.apx_1_DC-ST 20 920.29 920.38 22.0 5000 5000 31000
stb_531_83.apx_2_DC-ST 20 686.19 686.27 18.0 5000 5000 31000
stb_588_138.apx_1_DC-AD 20 1919.79 1919.85 28.0 5000 5000 31000
stb_588_138.apx_1_DC-ST 20 579.29 579.38 17.0 5000 5000 31000
sted5_0x1e3-20 1 4999.96 5001.03 74.0 5000 5000 31000
sted5_0x24204-50 10 44.30 44.31 12.0 5000 5000 31000
string_compare_safety_cbmc_unwinding_900 20 1603.98 1604.05 2069.0 5000 5000 31000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 10 24.70 24.78 16.0 5000 5000 31000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 10 12.80 12.87 20.0 5000 5000 31000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 10 23.50 23.53 21.0 5000 5000 31000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 1 4999.91 5001.03 326.0 5000 5000 31000
tseitin_d3_n158.sanitized 1 4999.95 5001.03 32.0 5000 5000 31000
tseitin_d3_n162.sanitized 1 4999.94 5001.03 39.0 5000 5000 31000
tseitin_d3_n174.sanitized 1 4999.90 5001.03 37.0 5000 5000 31000
tseitin_grid_n11_m20.sanitized 1 4999.87 5001.03 46.0 5000 5000 31000
tseitingrid6x200_shuffled 1 4999.98 5001.04 69.0 5000 5000 31000
two-trees-1023v.sanitized 1 4999.97 5001.03 39.0 5000 5000 31000
two-trees-511v.sanitized 1 5000.08 5001.03 34.0 5000 5000 31000
urq45 20 412.10 412.20 15.0 5000 5000 31000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 1 4999.63 5001.03 45.0 5000 5000 31000
worker_20_40_20_0.95 10 0.00 0.07 0.0 5000 5000 31000
worker_30_60_25_0.9 1 4999.86 5001.03 169.0 5000 5000 31000
worker_40_80_40_0.9 1 4999.99 5001.03 368.0 5000 5000 31000
worker_550_550_550_0.3 10 8.30 8.38 192.0 5000 5000 31000
x9-08014.sat.sanitized 20 89.59 89.69 11.0 5000 5000 31000
x9-08075.sat.sanitized 20 79.30 79.35 11.0 5000 5000 31000
x9-09004.sat.sanitized 20 299.29 299.37 12.0 5000 5000 31000
x9-09007.sat.sanitized 20 226.50 226.55 13.0 5000 5000 31000
x9-09014.sat.sanitized 20 247.29 247.31 12.0 5000 5000 31000
x9-09024.sat.sanitized 20 125.30 125.33 11.0 5000 5000 31000
x9-09047.sat.sanitized 20 183.89 183.98 12.0 5000 5000 31000
x9-09051.sat.sanitized 20 257.28 257.41 13.0 5000 5000 31000
x9-09054.sat.sanitized 10 11.40 11.47 6.0 5000 5000 31000
x9-09057.sat.sanitized 20 164.20 164.26 12.0 5000 5000 31000
x9-09076.sat.sanitized 20 136.79 136.81 12.0 5000 5000 31000
x9-09098.sat.sanitized 20 352.89 352.95 13.0 5000 5000 31000
x9-10002.sat.sanitized 20 4150.28 4150.60 35.0 5000 5000 31000
x9-10007.sat.sanitized 20 1014.99 1015.01 20.0 5000 5000 31000
x9-10014.sat.sanitized 10 140.39 140.51 12.0 5000 5000 31000
x9-10027.sat.sanitized 10 462.09 462.12 15.0 5000 5000 31000
x9-10031.sat.sanitized 20 2150.40 2150.55 29.0 5000 5000 31000
x9-10038.sat.sanitized 10 276.29 276.39 12.0 5000 5000 31000
x9-10051.sat.sanitized 20 1258.97 1259.07 23.0 5000 5000 31000
x9-10076.sat.sanitized 20 646.29 646.34 16.0 5000 5000 31000
x9-10083.sat.sanitized 20 711.58 711.66 17.0 5000 5000 31000
x9-10084.sat.sanitized 20 823.29 823.35 19.0 5000 5000 31000
x9-10093.sat.sanitized 20 1004.23 1004.32 19.0 5000 5000 31000
x9-10096.sat.sanitized 20 815.09 815.20 19.0 5000 5000 31000
x9-10098.sat.sanitized 10 48.59 48.68 9.0 5000 5000 31000
x9-11034.sat.sanitized 10 264.79 264.84 12.0 5000 5000 31000
x9-11053.sat.sanitized 10 417.08 417.18 15.0 5000 5000 31000
x9-11062.sat.sanitized 10 837.18 837.30 19.0 5000 5000 31000
x9-11077.sat.sanitized 10 851.00 851.08 20.0 5000 5000 31000
x9-11088.sat.sanitized 1 4999.88 5001.03 38.0 5000 5000 31000
x9-11093.sat.sanitized 10 331.60 331.70 12.0 5000 5000 31000
x9-11094.sat.sanitized 10 2411.05 2411.13 30.0 5000 5000 31000
x9-12001.sat.sanitized 10 484.58 484.62 16.0 5000 5000 31000
x9-12014.sat.sanitized 10 251.89 251.97 12.0 5000 5000 31000
x9-12021.sat.sanitized 10 96.60 96.65 11.0 5000 5000 31000
x9-12035.sat.sanitized 10 994.97 995.10 21.0 5000 5000 31000
x9-12063.sat.sanitized 1 4999.98 5001.03 41.0 5000 5000 31000
x9-12087.sat.sanitized 10 139.50 139.61 12.0 5000 5000 31000
x9-12092.sat.sanitized 10 142.60 142.63 12.0 5000 5000 31000
x9-12098.sat.sanitized 10 1226.00 1226.09 23.0 5000 5000 31000
