 result time real space tlim rlim slim
002 10 510.90 510.97 59.0 5000 5000 127000
004 10 901.59 901.64 79.0 5000 5000 127000
1-ET-256-K-55.sanitized 1 5000.01 5001.03 153.0 5000 5000 127000
1-ET-256-K-70.sanitized 20 169.30 169.41 93.0 5000 5000 127000
1-ET-512-K-110.sanitized 1 5000.03 5001.03 469.0 5000 5000 127000
1-ET-512-K-96.sanitized 1 4999.99 5001.03 500.0 5000 5000 127000
1-TC-256-K-64.sanitized 20 2298.81 2298.91 80.0 5000 5000 127000
1-TC-256-K-68.sanitized 20 342.89 342.95 89.0 5000 5000 127000
1-TC-256-K-71.sanitized 20 87.60 87.67 94.0 5000 5000 127000
1-ZC-1024-K-116.sanitized 1 4999.94 5001.04 1207.0 5000 5000 127000
1-ZC-1024-K-117.sanitized 1 4999.96 5001.04 1222.0 5000 5000 127000
1-ZC-512-K-60.sanitized 10 1040.50 1040.57 176.0 5000 5000 127000
1-ZC-512-K-61.sanitized 10 645.79 645.90 180.0 5000 5000 127000
1-ZC-512-K-63.sanitized 1 4999.90 5001.03 279.0 5000 5000 127000
1-ZC-512-K-64.sanitized 1 5000.01 5001.03 301.0 5000 5000 127000
1-ZC-512-K-65.sanitized 1 4999.99 5001.03 264.0 5000 5000 127000
1-ZC-512-K-67.sanitized 1 5000.00 5001.03 222.0 5000 5000 127000
128_100.sanitized 10 573.05 573.12 31618.0 5000 5000 127000
128_125.sanitized 10 786.63 786.78 39685.0 5000 5000 127000
128_75.sanitized 10 430.08 430.13 23796.0 5000 5000 127000
170058440 1 4999.96 5001.03 97.0 5000 5000 127000
2dlx_ca_bp_f_liveness 1 4999.97 5001.03 977.0 5000 5000 127000
32_100.sanitized 10 170.30 170.32 9063.0 5000 5000 127000
32_200.sanitized 10 360.23 360.35 18124.0 5000 5000 127000
32_325.sanitized 10 537.87 537.93 29334.0 5000 5000 127000
32_350.sanitized 10 587.93 588.07 31574.0 5000 5000 127000
64_150.sanitized 10 442.05 442.12 23962.0 5000 5000 127000
64_200.sanitized 10 576.28 576.35 31829.0 5000 5000 127000
64_25.sanitized 10 111.58 111.69 3989.0 5000 5000 127000
6g_6color_366_050_04 1 5000.00 5001.04 1305.0 5000 5000 127000
6s130-opt 20 1240.01 1240.02 86.0 5000 5000 127000
6s167-opt 20 1.07 1.12 9.0 5000 5000 127000
Break_08_24.xml 10 0.49 0.58 8.0 5000 5000 127000
Break_18_32.xml 1 4999.93 5001.03 279.0 5000 5000 127000
Break_20_72.xml 1 5000.03 5001.03 1163.0 5000 5000 127000
Break_triple_20_36.xml 1 5000.03 5001.03 279.0 5000 5000 127000
Break_unsat_04_03.xml 20 0.00 0.05 0.0 5000 5000 127000
Break_unsat_06_07.xml 20 1.50 1.60 6.0 5000 5000 127000
Break_unsat_14_23.xml 1 4999.99 5001.03 198.0 5000 5000 127000
Break_unsat_16_27.xml 1 4999.96 5001.03 229.0 5000 5000 127000
Break_unsat_18_31.xml 1 4999.94 5001.03 331.0 5000 5000 127000
Circuit_multiplier22 10 175.65 175.73 33.0 5000 5000 127000
DLTM_twitter774_83_17 10 1042.80 1042.85 60.0 5000 5000 127000
Dodecahedron-k7 1 4999.97 5001.03 154.0 5000 5000 127000
EDP3-11000 10 54.39 54.41 207.0 5000 5000 127000
ER_400_20_4.apx_1_DC-AD 20 781.81 781.92 66.0 5000 5000 127000
ER_400_20_4.apx_2_DC-AD 20 810.29 810.36 54.0 5000 5000 127000
ER_400_20_4.apx_2_DC-ST 20 343.60 343.67 38.0 5000 5000 127000
ER_400_20_7.apx_1_DC-AD 20 1316.86 1316.92 83.0 5000 5000 127000
ER_400_20_7.apx_2_DC-AD 1 4999.95 5001.03 205.0 5000 5000 127000
ER_400_20_7.apx_2_DC-ST 20 2657.21 2657.34 132.0 5000 5000 127000
ER_500_30_3.apx_1_DC-ST 20 288.97 289.08 42.0 5000 5000 127000
ER_500_30_3.apx_2_DC-AD 20 1124.25 1124.33 77.0 5000 5000 127000
FmlaEquivChain_4_6_6.sanitized 20 33.19 33.29 104.0 5000 5000 127000
FmlaEquivChain_4_8_8.sanitized 20 3607.32 3607.39 888.0 5000 5000 127000
FmlaImplyChain_3_7_7.sanitized 20 280.79 280.84 78.0 5000 5000 127000
FmlaImplyChain_3_7_8.sanitized 1 4999.83 5001.03 418.0 5000 5000 127000
Folkman-175-1251868.sanitized 10 416.00 416.06 50.0 5000 5000 127000
Folkman-175-7416734.sanitized 10 266.57 266.70 50.0 5000 5000 127000
Folkman-175-9054056.sanitized 1 5000.04 5000.93 130.0 5000 5000 127000
Folkman-180-11710376.sanitized 10 382.48 382.55 53.0 5000 5000 127000
Folkman-180-5383714.sanitized 10 430.56 430.63 54.0 5000 5000 127000
Folkman-185-152478531.sanitized 1 4999.94 5001.03 139.0 5000 5000 127000
Folkman-185-19924337.sanitized 10 4217.19 4217.12 124.0 5000 5000 127000
Folkman-185-75415683.sanitized 1 5000.04 5000.93 141.0 5000 5000 127000
Folkman-190-104806020.sanitized 1 4999.93 5001.03 137.0 5000 5000 127000
Folkman-190-358004741.sanitized 1 4999.99 5001.03 146.0 5000 5000 127000
Folkman-190-66337703.sanitized 1 5000.05 5000.93 135.0 5000 5000 127000
GracefulGraph-K05-P02_c18 10 82.50 82.53 23.0 5000 5000 127000
HCP-446-105 10 2734.25 2734.36 111.0 5000 5000 127000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 994.10 994.20 74.0 5000 5000 127000
ITC2021_Early_10.xml 1 5000.02 5001.03 398.0 5000 5000 127000
ITC2021_Early_3.xml 10 0.80 0.88 35.0 5000 5000 127000
ITC2021_Middle_1.xml 1 5000.03 5001.03 270.0 5000 5000 127000
Kakuro-easy-097-ext.xml.hg_4 20 2576.22 2576.37 3416.0 5000 5000 127000
MASG0_72_keystream76_0 10 1848.16 1848.30 20.0 5000 5000 127000
Nb13T165 1 4999.96 5001.03 2658.0 5000 5000 127000
Nb44T6 20 2430.58 2430.64 2978.0 5000 5000 127000
Ptn-7824-b18 10 319.60 319.71 32.0 5000 5000 127000
REGRandom-K3-L3-Seed25.sanitized 20 9.40 9.41 64.0 5000 5000 127000
REGRandom-K4-L1-Seed30.sanitized 20 31.49 31.52 177.0 5000 5000 127000
REGRandom-K4-L2-Seed35.sanitized 20 1660.69 1660.73 1043.0 5000 5000 127000
REGRandom-K4-L3-Seed40.sanitized 1 4999.96 5001.03 3346.0 5000 5000 127000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 20 2407.17 2407.22 88.0 5000 5000 127000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 1 4999.90 5001.03 213.0 5000 5000 127000
Schur_161_5_d38 1 5000.02 5001.03 142.0 5000 5000 127000
StConn_7_128.sanitized 20 4509.97 4510.06 206.0 5000 5000 127000
StConn_8_32.sanitized 20 575.89 575.97 75.0 5000 5000 127000
T105.2.0 20 625.96 626.03 3996.0 5000 5000 127000
Timetable_C_392_E_62_Cl_26_S_28 10 61.70 61.79 472.0 5000 5000 127000
VanDerWaerden_2-3-14_186 1 4999.97 5001.03 129.0 5000 5000 127000
WS_500_16_70_10.apx_1_DC-ST 20 531.78 531.88 29.0 5000 5000 127000
WS_500_16_70_10.apx_2_DC-AD 20 886.98 887.05 41.0 5000 5000 127000
WS_500_16_90_70.apx_2_DC-AD 20 703.90 703.97 37.0 5000 5000 127000
af-synthesis_stb_50_100_4_sat 10 999.61 999.69 117.0 5000 5000 127000
af-synthesis_stb_50_100_9_sat 10 91.18 91.26 87.0 5000 5000 127000
af-synthesis_stb_50_100_9_unsat 20 1205.97 1206.09 120.0 5000 5000 127000
af-synthesis_stb_50_120_4_sat 10 232.59 232.65 95.0 5000 5000 127000
af-synthesis_stb_50_140_0_unsat 20 1354.58 1354.62 127.0 5000 5000 127000
af-synthesis_stb_50_140_1_unsat 20 2518.20 2518.30 137.0 5000 5000 127000
af-synthesis_stb_50_140_3_unsat 20 435.40 435.43 112.0 5000 5000 127000
af-synthesis_stb_50_200_0_sat 10 326.00 326.06 141.0 5000 5000 127000
af-synthesis_stb_50_200_0_unsat 20 1353.48 1353.61 173.0 5000 5000 127000
af-synthesis_stb_50_200_4_unsat 20 772.47 772.59 154.0 5000 5000 127000
af-synthesis_stb_50_40_2_unsat 20 683.79 683.87 58.0 5000 5000 127000
af-synthesis_stb_50_40_9_sat 10 1893.68 1893.79 66.0 5000 5000 127000
af-synthesis_stb_50_40_9_unsat 20 2365.68 2365.72 63.0 5000 5000 127000
apn-sbox5-cut3-symmbreak 1 4999.97 5001.03 230.0 5000 5000 127000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 10 1333.76 1333.82 189.0 5000 5000 127000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 10 908.48 908.54 189.0 5000 5000 127000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 20 1345.59 1345.63 189.0 5000 5000 127000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 20 595.27 595.41 181.0 5000 5000 127000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 20 616.49 616.51 155.0 5000 5000 127000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 20 1340.49 1340.53 199.0 5000 5000 127000
atco_enc1_opt1_10_15 10 163.99 164.02 71.0 5000 5000 127000
barman-pfile06-022.sas.ex.7 20 4.79 4.83 266.0 5000 5000 127000
battleship-14-26-sat 10 194.45 194.61 165.0 5000 5000 127000
bmc_QICE_snp_vld_30 20 903.98 904.06 5761.0 5000 5000 127000
bphp_p23_h22.sanitized 1 4999.98 5001.03 143.0 5000 5000 127000
bvsub_19952 1 4999.93 5001.03 3619.0 5000 5000 127000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 10 159.69 159.81 461.0 5000 5000 127000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 10 522.39 522.43 377.0 5000 5000 127000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 10 497.09 497.21 445.0 5000 5000 127000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 10 1245.20 1245.28 571.0 5000 5000 127000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 1 4999.92 5001.03 291.0 5000 5000 127000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 10 1904.89 1904.97 329.0 5000 5000 127000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 10 450.79 450.83 365.0 5000 5000 127000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 1 5000.03 5001.03 461.0 5000 5000 127000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 1 5000.00 5001.03 149.0 5000 5000 127000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 10 535.20 535.26 510.0 5000 5000 127000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 10 42.20 42.29 66.0 5000 5000 127000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 10 10.60 10.67 44.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 10 38.80 38.83 47.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 10 30.50 30.55 53.0 5000 5000 127000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 10 123.79 123.88 143.0 5000 5000 127000
clique_n2_k10.sanitized 20 16.59 16.67 11.0 5000 5000 127000
cliquecolouring_n13_k8_c7.sanitized 1 4999.93 5001.04 205.0 5000 5000 127000
cliquecolouring_n13_k9_c8.sanitized 1 5000.01 5001.03 146.0 5000 5000 127000
cliquecolouring_n15_k9_c8.sanitized 1 4999.94 5001.03 277.0 5000 5000 127000
cliquecolouring_n21_k6_c5.sanitized 1 4999.99 5001.04 181.0 5000 5000 127000
cliquecolouring_n31_k5_c4.sanitized 1 4999.94 5001.03 664.0 5000 5000 127000
cliquecolouring_n41_k5_c4.sanitized 1 4999.89 5001.04 870.0 5000 5000 127000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 10 22.20 22.23 14.0 5000 5000 127000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 10 1043.09 1043.19 49.0 5000 5000 127000
constraints_16_0.3_1.sanitized 20 239.47 239.54 35.0 5000 5000 127000
constraints_16_0.4_1.sanitized 20 162.80 162.90 54.0 5000 5000 127000
constraints_16_0.5_1.sanitized 20 173.09 173.16 65.0 5000 5000 127000
constraints_17_0.3_2.sanitized 20 91.50 91.52 69.0 5000 5000 127000
constraints_17_0.4_1.sanitized 10 16.99 17.10 95.0 5000 5000 127000
constraints_17_0.4_2.sanitized 20 79.30 79.35 102.0 5000 5000 127000
constraints_17_0.5_2.sanitized 20 123.09 123.18 171.0 5000 5000 127000
constraints_18_0.3_2.sanitized 20 538.30 538.32 126.0 5000 5000 127000
constraints_18_0.4_2.sanitized 20 809.59 809.62 281.0 5000 5000 127000
constraints_18_0.5_2.sanitized 20 803.18 803.26 339.0 5000 5000 127000
constraints_25_4_5_12_12_0_0_0.sanitized 20 495.20 495.24 54.0 5000 5000 127000
crafted_n12_d6_c4_num23 20 442.59 442.69 2579.0 5000 5000 127000
crn_11_99_u 20 0.90 0.92 7.0 5000 5000 127000
ctl_4201_555_unsat_pre 20 2419.20 2419.22 81.0 5000 5000 127000
ctl_4291_567_2_unsat-sc2013 20 2351.87 2351.92 97.0 5000 5000 127000
ctl_4291_567_9_unsat 20 1014.06 1014.12 81.0 5000 5000 127000
ecarev-110-4099-22-30-7 10 577.89 577.91 233.0 5000 5000 127000
ex065_25 10 3135.82 3135.81 133.0 5000 5000 127000
exam_flat_0.04_2018_3 10 4042.88 4042.94 990.0 5000 5000 127000
f9idw 20 306.39 306.47 639.0 5000 5000 127000
fermat-931960058139995587 1 4999.92 5001.03 81.0 5000 5000 127000
fixedbandwidth-eq-31_shuffled 1 5000.03 5001.03 117.0 5000 5000 127000
frb45-21-2.used-as.sat04-884 10 195.60 195.62 32.0 5000 5000 127000
frb65-12-2.used-as.sat04-874 10 29.89 30.00 16.0 5000 5000 127000
g2-T93.2.1 20 1302.97 1303.07 4398.0 5000 5000 127000
g2-ak128boothbg2msaig 10 27.20 27.24 567.0 5000 5000 127000
g2-ak128boothbg2msisc 10 14.59 14.66 459.0 5000 5000 127000
g2-hwmcc15deep-6s161-k17 20 2041.08 2041.21 86.0 5000 5000 127000
g2-hwmcc15deep-bob12s02-k16 1 4999.99 5001.03 368.0 5000 5000 127000
g2-slp-synthesis-aes-top30 10 298.39 298.41 116.0 5000 5000 127000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 20 1022.70 1022.78 403.0 5000 5000 127000
goldcrest-and-9 20 324.19 324.21 402.0 5000 5000 127000
grs-64-128 20 1564.88 1564.95 391.0 5000 5000 127000
grs-64-64 20 397.48 397.57 152.0 5000 5000 127000
hcp_CP18_18 10 559.10 559.21 160.0 5000 5000 127000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 20 632.86 632.94 37.0 5000 5000 127000
hwmcc12miters-xits-iso-6s111.sanitized 1 4999.96 5001.03 740.0 5000 5000 127000
hwmcc17miters-xits-iso-6s281b35.sanitized 1 5000.01 5001.03 2366.0 5000 5000 127000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 1 4999.97 5001.03 119.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 20 478.36 478.48 1606.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 20 1019.46 1019.58 1622.0 5000 5000 127000
hwmcc20miters-iso-mul2.sanitized 20 3.30 3.38 137.0 5000 5000 127000
hwmcc20miters-iso-mul3.sanitized 20 20.09 20.17 543.0 5000 5000 127000
hwmcc20miters-iso-mul7.sanitized 20 19.80 19.85 546.0 5000 5000 127000
hwmcc20miters-iso-rast-p06.sanitized 1 4999.96 5001.03 182.0 5000 5000 127000
hwmcc20miters-iso-rast-p11.sanitized 1 4999.96 5001.03 182.0 5000 5000 127000
j3037_10_mdd_b 10 40.20 40.26 29.0 5000 5000 127000
j3037_10_mdd_bm1 20 55.98 56.08 27.0 5000 5000 127000
j3037_10_rggt_b 10 70.69 70.79 30.0 5000 5000 127000
j3037_1_gmto_b 10 497.39 497.44 44.0 5000 5000 127000
j3037_1_mdd_b 10 177.40 177.49 35.0 5000 5000 127000
j3037_9_mdd_bm1 1 5000.01 5001.03 86.0 5000 5000 127000
j3037_9_rggt_b 10 1126.05 1126.17 52.0 5000 5000 127000
j3045_10_gmto_b 10 3458.40 3458.51 73.0 5000 5000 127000
j3045_10_rggt_b 10 659.09 659.21 40.0 5000 5000 127000
j3045_4_gmto_b 10 238.48 238.59 32.0 5000 5000 127000
j3045_4_mdd_bm1 20 860.76 860.83 40.0 5000 5000 127000
jgiraldezlevy.2200.9086.08.40.41 10 163.99 164.10 20.0 5000 5000 127000
lec_mult_CvD_11x11.sanitized 20 2702.51 2702.58 46.0 5000 5000 127000
lec_mult_CvK_11x10.sanitized 20 1249.29 1249.34 26.0 5000 5000 127000
lec_mult_CvK_11x11.sanitized 20 3099.75 3099.88 39.0 5000 5000 127000
lec_mult_CvK_12x11.sanitized 1 5000.00 5001.03 49.0 5000 5000 127000
lec_mult_CvK_12x12.sanitized 1 5000.00 5001.03 57.0 5000 5000 127000
lec_mult_CvW_12x11.sanitized 1 4999.99 5001.03 74.0 5000 5000 127000
lec_mult_CvW_12x12.sanitized 1 5000.01 5001.04 72.0 5000 5000 127000
lec_mult_DvK_11x10.sanitized 20 1276.49 1276.56 27.0 5000 5000 127000
lec_mult_DvK_12x12.sanitized 1 4999.98 5001.04 55.0 5000 5000 127000
lec_mult_DvW_11x10.sanitized 20 1095.59 1095.65 40.0 5000 5000 127000
lec_mult_DvW_12x11.sanitized 1 4999.96 5001.03 74.0 5000 5000 127000
lec_mult_DvW_12x12.sanitized 1 5000.03 5001.04 68.0 5000 5000 127000
lec_mult_KvW_10x10.sanitized 20 530.38 530.47 23.0 5000 5000 127000
lec_mult_KvW_11x10.sanitized 20 1273.37 1273.46 28.0 5000 5000 127000
lec_mult_KvW_12x11.sanitized 1 4999.94 5001.04 49.0 5000 5000 127000
linked_list_swap_contents_safety_unwind45 20 400.28 400.39 4224.0 5000 5000 127000
linked_list_swap_contents_safety_unwind54 20 407.68 407.74 5673.0 5000 5000 127000
linked_list_swap_contents_safety_unwind57 20 272.09 272.17 6204.0 5000 5000 127000
linked_list_swap_contents_safety_unwind62 20 447.19 447.24 7326.0 5000 5000 127000
linked_list_swap_contents_safety_unwind63 20 361.17 361.30 7791.0 5000 5000 127000
linked_list_swap_contents_safety_unwind65 20 866.59 866.63 8304.0 5000 5000 127000
linked_list_swap_contents_safety_unwind68 20 1147.68 1147.72 8933.0 5000 5000 127000
linked_list_swap_contents_safety_unwind69 20 1924.96 1925.09 9212.0 5000 5000 127000
linked_list_swap_contents_safety_unwind70 20 1135.28 1135.33 9465.0 5000 5000 127000
linked_list_swap_contents_safety_unwind73 20 1167.39 1167.50 10051.0 5000 5000 127000
linked_list_swap_contents_safety_unwind76 20 2553.76 2553.83 10751.0 5000 5000 127000
linked_list_swap_contents_safety_unwind78 20 1716.73 1716.96 11288.0 5000 5000 127000
linked_list_swap_contents_safety_unwind80 20 2077.57 2077.62 11712.0 5000 5000 127000
lru_10.sanitized 10 611.84 611.94 34983.0 5000 5000 127000
lru_6.sanitized 10 362.35 362.44 21029.0 5000 5000 127000
lru_7.sanitized 10 444.86 444.99 24516.0 5000 5000 127000
lru_8.sanitized 10 465.34 465.44 28005.0 5000 5000 127000
lru_9.sanitized 10 573.23 573.31 31494.0 5000 5000 127000
manol-pipe-g10bid_i 20 270.09 270.12 337.0 5000 5000 127000
marg5x5.shuffled-as.sat03-1455 1 5000.02 5001.03 148.0 5000 5000 127000
mchess_15 20 56.89 56.97 21.0 5000 5000 127000
mchess_16 20 213.99 214.06 32.0 5000 5000 127000
mchess_17 20 3307.71 3307.74 103.0 5000 5000 127000
md5_48_1 10 167.69 167.79 103.0 5000 5000 127000
mdp-28-10-unsat 20 2164.10 2164.11 75.0 5000 5000 127000
mdp-28-11-sat 10 1015.90 1015.92 47.0 5000 5000 127000
mdp-28-14-sat 10 34.17 34.22 19.0 5000 5000 127000
mdp-28-14-unsat 20 3106.60 3106.63 64.0 5000 5000 127000
mdp-28-16-unsat 20 2305.68 2305.80 57.0 5000 5000 127000
mdp-32-10-sat 10 1777.81 1777.83 42.0 5000 5000 127000
mdp-32-10-unsat 1 5000.03 5001.03 65.0 5000 5000 127000
mdp-32-11-sat 1 5000.03 5001.03 63.0 5000 5000 127000
mdp-32-11-unsat 1 5000.04 5001.03 64.0 5000 5000 127000
mdp-32-12-unsat 1 4999.93 5001.03 62.0 5000 5000 127000
mdp-32-14-sat 1 4999.95 5001.03 72.0 5000 5000 127000
mdp-32-14-unsat 1 5000.04 5001.03 61.0 5000 5000 127000
mdp-32-16-sat 10 1306.91 1306.97 38.0 5000 5000 127000
mdp-36-10-sat 1 4999.96 5001.03 64.0 5000 5000 127000
mdp-36-10-unsat 1 4999.97 5001.03 68.0 5000 5000 127000
mdp-36-12-unsat 1 4999.95 5001.03 63.0 5000 5000 127000
mdp-36-14-sat 1 4999.83 5001.03 64.0 5000 5000 127000
mp1-Nb5T15 10 33.39 33.48 26.0 5000 5000 127000
mp1-Nb7T42 10 439.20 439.25 168.0 5000 5000 127000
mp1-blockpuzzle_5x10_s7_free4 20 98.60 98.62 43.0 5000 5000 127000
mp1-klieber2017s-0500-023-t12 10 436.39 436.49 42.0 5000 5000 127000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 20 71.00 71.10 20.0 5000 5000 127000
mrpp_4x4#12_12 20 11.79 11.84 12.0 5000 5000 127000
mulhs016-sc2009 1 4999.98 5001.03 73.0 5000 5000 127000
noL-11-0.sanitized 1 4999.99 5001.03 126.0 5000 5000 127000
noL-11-10.sanitized 10 115.08 115.15 27.0 5000 5000 127000
noL-11-12.sanitized 10 651.50 651.54 55.0 5000 5000 127000
noL-11-14.sanitized 10 53.70 53.81 22.0 5000 5000 127000
noL-11-16.sanitized 10 37.89 37.98 20.0 5000 5000 127000
noL-11-18.sanitized 10 909.99 910.09 53.0 5000 5000 127000
noL-11-2.sanitized 1 4999.99 5001.03 113.0 5000 5000 127000
noL-11-20.sanitized 10 550.98 551.04 48.0 5000 5000 127000
noL-11-4.sanitized 1 4999.95 5001.03 121.0 5000 5000 127000
noL-11-6.sanitized 10 478.39 478.44 46.0 5000 5000 127000
noL-11-8.sanitized 1 4999.98 5001.03 128.0 5000 5000 127000
oisc-subrv-sll-nested-11 20 2397.38 2397.42 7252.0 5000 5000 127000
oisc-subrv-sll-nested-13 20 4257.04 4257.40 10159.0 5000 5000 127000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 1 4999.94 5001.03 186.0 5000 5000 127000
or_randxor_k3_n510_m510.sanitized 20 4.90 5.00 7.0 5000 5000 127000
pb_300_05_lb_17 10 227.79 227.90 177.0 5000 5000 127000
pb_300_09_lb_07 10 34.70 34.73 169.0 5000 5000 127000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 20 91.69 91.75 19.0 5000 5000 127000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 10 3130.58 3130.71 121.0 5000 5000 127000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 20 769.37 769.46 47.0 5000 5000 127000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 20 188.79 188.85 25.0 5000 5000 127000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 1 4999.95 5001.03 106.0 5000 5000 127000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 1 5000.07 5001.03 167.0 5000 5000 127000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 20 190.50 190.56 33.0 5000 5000 127000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 1 4999.97 5001.03 145.0 5000 5000 127000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 1 4999.99 5001.03 180.0 5000 5000 127000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 20 238.10 238.18 34.0 5000 5000 127000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 20 1987.38 1987.50 98.0 5000 5000 127000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 1 4999.89 5001.03 174.0 5000 5000 127000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 1 4999.92 5001.03 147.0 5000 5000 127000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 1 4999.94 5001.03 179.0 5000 5000 127000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 1 5000.01 5001.03 204.0 5000 5000 127000
post-cbmc-aes-ee-r3-noholes 20 765.59 765.62 617.0 5000 5000 127000
preimage_80r_495m_160h_seed_379 10 288.90 288.98 80.0 5000 5000 127000
qwh.50.1250.shuffled-as.sat03-1655 10 98.00 98.08 83.0 5000 5000 127000
qwh.60.1728.shuffled-as.sat03-1659 10 1086.39 1086.45 228.0 5000 5000 127000
rbsat-v1150c84314gyes1 1 4999.93 5001.03 351.0 5000 5000 127000
rbsat-v760c43649gyes3 10 4118.62 4118.54 97.0 5000 5000 127000
rbsat-v760c43649gyes7 10 2506.77 2506.72 100.0 5000 5000 127000
rbsat-v760c43649gyes9 10 285.80 285.91 34.0 5000 5000 127000
rbsat-v945c61409gyes9-sc2009 10 729.65 729.78 52.0 5000 5000 127000
rook-42-0-1 20 428.26 428.35 104.0 5000 5000 127000
rook-56-0-0 20 1179.00 1179.07 233.0 5000 5000 127000
rook-56-1-1 20 1264.40 1264.42 228.0 5000 5000 127000
rphp_p8_r160.sanitized 1 4999.98 5001.03 3609.0 5000 5000 127000
rphp_p8_r170.sanitized 1 5000.05 5000.93 3894.0 5000 5000 127000
sgen1-sat-180-100 10 834.20 834.24 51.0 5000 5000 127000
sgen1-unsat-121-100 1 4999.99 5001.03 112.0 5000 5000 127000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 10 219.55 219.70 997.0 5000 5000 127000
si2-b03m-m800-03 10 6.00 6.07 196.0 5000 5000 127000
simon-r16-1.sanitized 10 0.00 0.06 0.0 5000 5000 127000
simon-r17-0.sanitized 10 0.00 0.06 0.0 5000 5000 127000
simon-r18-0.sanitized 10 0.00 0.09 0.0 5000 5000 127000
simon-r19-1.sanitized 10 0.00 0.06 0.0 5000 5000 127000
simon-r20-0.sanitized 10 0.00 0.07 0.0 5000 5000 127000
simon-r21-0.sanitized 10 0.00 0.10 0.0 5000 5000 127000
simon-r22-1.sanitized 10 0.10 0.12 8.0 5000 5000 127000
simon-r23-1.sanitized 10 0.09 0.13 9.0 5000 5000 127000
simon-r24-1.sanitized 10 0.00 0.10 0.0 5000 5000 127000
simon-r25-0.sanitized 10 0.00 0.09 0.0 5000 5000 127000
sokoban-p16.sas.ex.15-sc2016 20 2231.61 2231.76 1979.0 5000 5000 127000
sokoban-p20.sas.cr.25 20 4187.10 4187.20 262.0 5000 5000 127000
sokoban-p20.sas.cr.33 1 5000.01 5001.03 435.0 5000 5000 127000
spg_200_316 20 830.30 830.34 649.0 5000 5000 127000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 2.40 2.42 32.0 5000 5000 127000
stable-300-0.1-20-98765432130020 10 1.49 1.53 11.0 5000 5000 127000
stb_418_125.apx_1_DC-AD 20 2333.07 2333.20 63.0 5000 5000 127000
stb_418_125.apx_1_DC-ST 20 979.79 979.84 44.0 5000 5000 127000
stb_418_125.apx_2_DC-AD 20 1858.24 1858.36 55.0 5000 5000 127000
stb_495_168.apx_1_DC-AD 20 438.59 438.66 33.0 5000 5000 127000
stb_495_168.apx_2_DC-AD 20 359.00 359.07 30.0 5000 5000 127000
stb_531_83.apx_1_DC-ST 20 445.58 445.65 32.0 5000 5000 127000
stb_531_83.apx_2_DC-ST 20 335.17 335.29 26.0 5000 5000 127000
stb_588_138.apx_1_DC-AD 20 910.96 911.05 39.0 5000 5000 127000
stb_588_138.apx_1_DC-ST 20 356.09 356.17 28.0 5000 5000 127000
sted5_0x1e3-20 1 4999.96 5001.03 100.0 5000 5000 127000
sted5_0x24204-50 10 321.79 321.89 34.0 5000 5000 127000
string_compare_safety_cbmc_unwinding_900 20 2092.19 2092.23 6066.0 5000 5000 127000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 10 61.78 61.84 63.0 5000 5000 127000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 10 43.79 43.89 80.0 5000 5000 127000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 10 65.29 65.34 94.0 5000 5000 127000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 1 4999.99 5001.03 905.0 5000 5000 127000
tseitin_d3_n158.sanitized 1 5000.00 5001.03 216.0 5000 5000 127000
tseitin_d3_n162.sanitized 1 4999.97 5001.03 160.0 5000 5000 127000
tseitin_d3_n174.sanitized 1 5000.03 5001.03 166.0 5000 5000 127000
tseitin_grid_n11_m20.sanitized 20 3603.21 3603.30 169.0 5000 5000 127000
tseitingrid6x200_shuffled 1 4999.98 5001.03 280.0 5000 5000 127000
two-trees-1023v.sanitized 1 4999.94 5001.03 81.0 5000 5000 127000
two-trees-511v.sanitized 10 2212.17 2212.26 48.0 5000 5000 127000
urq45 20 658.47 658.56 60.0 5000 5000 127000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 1 4999.93 5001.04 98.0 5000 5000 127000
worker_20_40_20_0.95 10 0.19 0.31 6.0 5000 5000 127000
worker_30_60_25_0.9 1 5000.00 5001.03 1092.0 5000 5000 127000
worker_40_80_40_0.9 1 5000.02 5001.04 1423.0 5000 5000 127000
worker_550_550_550_0.3 10 91.09 91.16 1751.0 5000 5000 127000
x9-08014.sat.sanitized 20 33.77 33.82 12.0 5000 5000 127000
x9-08075.sat.sanitized 20 30.07 30.14 12.0 5000 5000 127000
x9-09004.sat.sanitized 20 105.38 105.47 18.0 5000 5000 127000
x9-09007.sat.sanitized 20 75.20 75.27 16.0 5000 5000 127000
x9-09014.sat.sanitized 20 86.39 86.45 18.0 5000 5000 127000
x9-09024.sat.sanitized 20 53.89 53.96 15.0 5000 5000 127000
x9-09047.sat.sanitized 20 67.89 67.94 15.0 5000 5000 127000
x9-09051.sat.sanitized 20 87.99 88.06 17.0 5000 5000 127000
x9-09054.sat.sanitized 10 11.29 11.32 9.0 5000 5000 127000
x9-09057.sat.sanitized 20 70.69 70.79 20.0 5000 5000 127000
x9-09076.sat.sanitized 20 56.79 56.90 14.0 5000 5000 127000
x9-09098.sat.sanitized 20 107.49 107.54 19.0 5000 5000 127000
x9-10002.sat.sanitized 20 667.30 667.35 34.0 5000 5000 127000
x9-10007.sat.sanitized 20 350.39 350.43 29.0 5000 5000 127000
x9-10014.sat.sanitized 10 288.64 288.78 26.0 5000 5000 127000
x9-10027.sat.sanitized 10 91.47 91.55 17.0 5000 5000 127000
x9-10031.sat.sanitized 20 602.55 602.64 32.0 5000 5000 127000
x9-10038.sat.sanitized 10 336.85 336.96 27.0 5000 5000 127000
x9-10051.sat.sanitized 20 355.90 355.93 26.0 5000 5000 127000
x9-10076.sat.sanitized 20 288.97 289.09 23.0 5000 5000 127000
x9-10083.sat.sanitized 20 315.58 315.65 25.0 5000 5000 127000
x9-10084.sat.sanitized 20 247.49 247.52 24.0 5000 5000 127000
x9-10093.sat.sanitized 20 343.49 343.52 25.0 5000 5000 127000
x9-10096.sat.sanitized 20 296.28 296.35 30.0 5000 5000 127000
x9-10098.sat.sanitized 10 28.49 28.52 13.0 5000 5000 127000
x9-11034.sat.sanitized 10 562.00 562.08 33.0 5000 5000 127000
x9-11053.sat.sanitized 10 193.09 193.18 25.0 5000 5000 127000
x9-11062.sat.sanitized 10 584.47 584.56 32.0 5000 5000 127000
x9-11077.sat.sanitized 10 1347.37 1347.45 43.0 5000 5000 127000
x9-11088.sat.sanitized 10 334.50 334.59 27.0 5000 5000 127000
x9-11093.sat.sanitized 10 26.37 26.48 13.0 5000 5000 127000
x9-11094.sat.sanitized 10 890.09 890.16 44.0 5000 5000 127000
x9-12001.sat.sanitized 10 732.50 732.58 34.0 5000 5000 127000
x9-12014.sat.sanitized 10 101.77 101.90 18.0 5000 5000 127000
x9-12021.sat.sanitized 10 758.10 758.17 35.0 5000 5000 127000
x9-12035.sat.sanitized 10 1004.00 1004.02 40.0 5000 5000 127000
x9-12063.sat.sanitized 10 2028.38 2028.50 55.0 5000 5000 127000
x9-12087.sat.sanitized 10 362.89 363.00 29.0 5000 5000 127000
x9-12092.sat.sanitized 10 3291.12 3291.11 61.0 5000 5000 127000
x9-12098.sat.sanitized 10 221.27 221.36 24.0 5000 5000 127000
