 result time real space tlim rlim slim
002 10 249.49 249.52 35.0 5000 5000 15000
004 10 123.09 123.14 42.0 5000 5000 15000
1-ET-256-K-55.sanitized 1 4999.93 5001.03 73.0 5000 5000 15000
1-ET-256-K-70.sanitized 20 127.90 127.97 46.0 5000 5000 15000
1-ET-512-K-110.sanitized 1 4999.98 5001.03 144.0 5000 5000 15000
1-ET-512-K-96.sanitized 10 4556.51 4556.64 176.0 5000 5000 15000
1-TC-256-K-64.sanitized 20 1317.60 1317.66 44.0 5000 5000 15000
1-TC-256-K-68.sanitized 20 238.90 238.97 51.0 5000 5000 15000
1-TC-256-K-71.sanitized 20 136.00 136.04 47.0 5000 5000 15000
1-ZC-1024-K-116.sanitized 1 4999.98 5001.04 414.0 5000 5000 15000
1-ZC-1024-K-117.sanitized 1 4999.76 5001.04 421.0 5000 5000 15000
1-ZC-512-K-60.sanitized 10 940.79 940.81 95.0 5000 5000 15000
1-ZC-512-K-61.sanitized 10 1352.08 1352.18 96.0 5000 5000 15000
1-ZC-512-K-63.sanitized 1 4999.91 5001.03 100.0 5000 5000 15000
1-ZC-512-K-64.sanitized 1 4999.76 5001.04 120.0 5000 5000 15000
1-ZC-512-K-65.sanitized 1 4999.92 5001.03 161.0 5000 5000 15000
1-ZC-512-K-67.sanitized 1 4999.92 5001.03 152.0 5000 5000 15000
128_100.sanitized 10 416.29 416.32 10684.0 5000 5000 15000
128_125.sanitized 10 428.69 428.77 13436.0 5000 5000 15000
128_75.sanitized 10 299.99 300.07 8043.0 5000 5000 15000
170058440 10 1457.63 1457.78 66.0 5000 5000 15000
2dlx_ca_bp_f_liveness 1 4999.94 5001.03 278.0 5000 5000 15000
32_100.sanitized 10 85.08 85.21 3110.0 5000 5000 15000
32_200.sanitized 10 176.29 176.34 6238.0 5000 5000 15000
32_325.sanitized 10 288.19 288.30 10025.0 5000 5000 15000
32_350.sanitized 10 315.10 315.13 10908.0 5000 5000 15000
64_150.sanitized 10 257.79 257.88 8090.0 5000 5000 15000
64_200.sanitized 10 347.79 347.87 10396.0 5000 5000 15000
64_25.sanitized 10 36.49 36.52 1336.0 5000 5000 15000
6g_6color_366_050_04 1 4999.94 5001.03 208.0 5000 5000 15000
6s130-opt 20 106.70 106.77 37.0 5000 5000 15000
6s167-opt 20 0.30 0.40 6.0 5000 5000 15000
Break_08_24.xml 10 0.10 0.17 5.0 5000 5000 15000
Break_18_32.xml 1 4999.95 5001.03 115.0 5000 5000 15000
Break_20_72.xml 1 4999.91 5001.04 238.0 5000 5000 15000
Break_triple_20_36.xml 1 4999.94 5001.03 121.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 6.0 5000 5000 15000
Break_unsat_14_23.xml 1 4999.94 5001.04 107.0 5000 5000 15000
Break_unsat_16_27.xml 1 4999.92 5001.03 82.0 5000 5000 15000
Break_unsat_18_31.xml 1 4999.87 5001.03 114.0 5000 5000 15000
Circuit_multiplier22 10 690.79 690.88 25.0 5000 5000 15000
DLTM_twitter774_83_17 10 1566.99 1567.03 43.0 5000 5000 15000
Dodecahedron-k7 1 4999.98 5001.03 98.0 5000 5000 15000
EDP3-11000 10 68.19 68.24 84.0 5000 5000 15000
ER_400_20_4.apx_1_DC-AD 20 521.00 521.04 59.0 5000 5000 15000
ER_400_20_4.apx_2_DC-AD 20 528.58 528.62 46.0 5000 5000 15000
ER_400_20_4.apx_2_DC-ST 20 427.17 427.22 36.0 5000 5000 15000
ER_400_20_7.apx_1_DC-AD 20 946.70 946.80 50.0 5000 5000 15000
ER_400_20_7.apx_2_DC-AD 20 4409.04 4409.14 91.0 5000 5000 15000
ER_400_20_7.apx_2_DC-ST 20 3046.98 3047.10 91.0 5000 5000 15000
ER_500_30_3.apx_1_DC-ST 20 400.89 400.92 59.0 5000 5000 15000
ER_500_30_3.apx_2_DC-AD 20 1322.20 1322.23 89.0 5000 5000 15000
FmlaEquivChain_4_6_6.sanitized 20 35.20 35.22 50.0 5000 5000 15000
FmlaEquivChain_4_8_8.sanitized 20 3133.25 3133.32 429.0 5000 5000 15000
FmlaImplyChain_3_7_7.sanitized 20 813.89 813.93 54.0 5000 5000 15000
FmlaImplyChain_3_7_8.sanitized 1 4999.96 5001.03 117.0 5000 5000 15000
Folkman-175-1251868.sanitized 10 90.89 90.99 29.0 5000 5000 15000
Folkman-175-7416734.sanitized 10 354.30 354.38 45.0 5000 5000 15000
Folkman-175-9054056.sanitized 10 98.28 98.35 31.0 5000 5000 15000
Folkman-180-11710376.sanitized 10 96.09 96.20 26.0 5000 5000 15000
Folkman-180-5383714.sanitized 10 92.09 92.15 27.0 5000 5000 15000
Folkman-185-152478531.sanitized 10 458.39 458.49 43.0 5000 5000 15000
Folkman-185-19924337.sanitized 10 95.29 95.34 25.0 5000 5000 15000
Folkman-185-75415683.sanitized 10 657.69 657.75 42.0 5000 5000 15000
Folkman-190-104806020.sanitized 10 917.58 917.61 56.0 5000 5000 15000
Folkman-190-358004741.sanitized 10 1449.67 1449.71 55.0 5000 5000 15000
Folkman-190-66337703.sanitized 10 298.79 298.85 36.0 5000 5000 15000
GracefulGraph-K05-P02_c18 10 38.49 38.56 14.0 5000 5000 15000
HCP-446-105 10 2390.78 2390.86 89.0 5000 5000 15000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 349.40 349.51 29.0 5000 5000 15000
ITC2021_Early_10.xml 1 4999.96 5001.03 189.0 5000 5000 15000
ITC2021_Early_3.xml 10 0.90 0.98 16.0 5000 5000 15000
ITC2021_Middle_1.xml 1 4999.95 5001.03 112.0 5000 5000 15000
Kakuro-easy-097-ext.xml.hg_4 20 3691.26 3691.32 1364.0 5000 5000 15000
MASG0_72_keystream76_0 10 1927.89 1928.00 30.0 5000 5000 15000
Nb13T165 1 4999.90 5001.03 1350.0 5000 5000 15000
Nb44T6 1 4999.95 5001.04 1157.0 5000 5000 15000
Ptn-7824-b18 10 156.18 156.22 22.0 5000 5000 15000
REGRandom-K3-L3-Seed25.sanitized 20 2.30 2.33 54.0 5000 5000 15000
REGRandom-K4-L1-Seed30.sanitized 20 7.39 7.41 66.0 5000 5000 15000
REGRandom-K4-L2-Seed35.sanitized 1 4999.85 5001.03 543.0 5000 5000 15000
REGRandom-K4-L3-Seed40.sanitized 1 4999.91 5001.03 1824.0 5000 5000 15000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 20 1836.08 1836.20 46.0 5000 5000 15000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 1 4999.97 5001.03 123.0 5000 5000 15000
Schur_161_5_d38 1 4999.92 5001.03 121.0 5000 5000 15000
StConn_7_128.sanitized 1 4999.96 5001.04 79.0 5000 5000 15000
StConn_8_32.sanitized 20 400.60 400.68 34.0 5000 5000 15000
T105.2.0 20 491.60 491.70 1697.0 5000 5000 15000
Timetable_C_392_E_62_Cl_26_S_28 10 41.39 41.50 208.0 5000 5000 15000
VanDerWaerden_2-3-14_186 1 4999.99 5001.03 102.0 5000 5000 15000
WS_500_16_70_10.apx_1_DC-ST 20 477.49 477.52 22.0 5000 5000 15000
WS_500_16_70_10.apx_2_DC-AD 20 796.89 796.92 39.0 5000 5000 15000
WS_500_16_90_70.apx_2_DC-AD 20 500.78 500.88 33.0 5000 5000 15000
af-synthesis_stb_50_100_4_sat 10 1590.46 1590.55 42.0 5000 5000 15000
af-synthesis_stb_50_100_9_sat 10 6.30 6.35 29.0 5000 5000 15000
af-synthesis_stb_50_100_9_unsat 20 995.79 995.84 41.0 5000 5000 15000
af-synthesis_stb_50_120_4_sat 10 459.50 459.57 41.0 5000 5000 15000
af-synthesis_stb_50_140_0_unsat 20 1087.89 1087.96 47.0 5000 5000 15000
af-synthesis_stb_50_140_1_unsat 20 2430.50 2430.65 50.0 5000 5000 15000
af-synthesis_stb_50_140_3_unsat 20 390.79 390.90 45.0 5000 5000 15000
af-synthesis_stb_50_200_0_sat 10 672.09 672.18 67.0 5000 5000 15000
af-synthesis_stb_50_200_0_unsat 20 1218.17 1218.24 64.0 5000 5000 15000
af-synthesis_stb_50_200_4_unsat 20 556.31 556.39 67.0 5000 5000 15000
af-synthesis_stb_50_40_2_unsat 20 458.49 458.55 26.0 5000 5000 15000
af-synthesis_stb_50_40_9_sat 10 232.79 232.87 26.0 5000 5000 15000
af-synthesis_stb_50_40_9_unsat 20 2364.59 2364.64 40.0 5000 5000 15000
apn-sbox5-cut3-symmbreak 1 4999.91 5001.04 102.0 5000 5000 15000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 10 140.00 140.02 70.0 5000 5000 15000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 10 408.90 408.94 75.0 5000 5000 15000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 20 638.09 638.18 86.0 5000 5000 15000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 20 269.60 269.64 81.0 5000 5000 15000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 20 209.49 209.60 64.0 5000 5000 15000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 20 674.48 674.55 92.0 5000 5000 15000
atco_enc1_opt1_10_15 10 207.00 207.05 40.0 5000 5000 15000
barman-pfile06-022.sas.ex.7 20 2.70 2.74 124.0 5000 5000 15000
battleship-14-26-sat 10 15.99 16.06 20.0 5000 5000 15000
bmc_QICE_snp_vld_30 20 675.49 675.56 2216.0 5000 5000 15000
bphp_p23_h22.sanitized 1 4999.82 5001.03 108.0 5000 5000 15000
bvsub_19952 20 3995.94 3996.04 253.0 5000 5000 15000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 10 112.99 113.10 308.0 5000 5000 15000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 10 91.79 91.83 226.0 5000 5000 15000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 10 124.59 124.70 259.0 5000 5000 15000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 10 229.99 230.10 333.0 5000 5000 15000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 10 890.50 890.57 182.0 5000 5000 15000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 10 277.79 277.89 211.0 5000 5000 15000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 10 203.49 203.54 239.0 5000 5000 15000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 10 2055.90 2055.94 295.0 5000 5000 15000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 1 4999.92 5001.03 115.0 5000 5000 15000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 10 140.80 140.87 305.0 5000 5000 15000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 10 162.80 162.82 39.0 5000 5000 15000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 10 7.20 7.22 29.0 5000 5000 15000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 10 31.69 31.73 39.0 5000 5000 15000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 10 23.09 23.13 32.0 5000 5000 15000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 10 58.50 58.57 91.0 5000 5000 15000
clique_n2_k10.sanitized 20 19.70 19.72 12.0 5000 5000 15000
cliquecolouring_n13_k8_c7.sanitized 1 4999.95 5001.04 109.0 5000 5000 15000
cliquecolouring_n13_k9_c8.sanitized 20 2942.06 2942.12 103.0 5000 5000 15000
cliquecolouring_n15_k9_c8.sanitized 1 4999.97 5001.03 125.0 5000 5000 15000
cliquecolouring_n21_k6_c5.sanitized 1 4999.68 5001.04 138.0 5000 5000 15000
cliquecolouring_n31_k5_c4.sanitized 1 4999.99 5001.03 222.0 5000 5000 15000
cliquecolouring_n41_k5_c4.sanitized 1 4999.95 5001.03 166.0 5000 5000 15000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 10 8.49 8.57 12.0 5000 5000 15000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 10 19.79 19.83 16.0 5000 5000 15000
constraints_16_0.3_1.sanitized 20 182.30 182.35 36.0 5000 5000 15000
constraints_16_0.4_1.sanitized 20 115.69 115.81 46.0 5000 5000 15000
constraints_16_0.5_1.sanitized 20 132.90 133.00 60.0 5000 5000 15000
constraints_17_0.3_2.sanitized 20 66.09 66.15 61.0 5000 5000 15000
constraints_17_0.4_1.sanitized 10 5.20 5.30 89.0 5000 5000 15000
constraints_17_0.4_2.sanitized 20 87.10 87.18 89.0 5000 5000 15000
constraints_17_0.5_2.sanitized 20 116.10 116.19 128.0 5000 5000 15000
constraints_18_0.3_2.sanitized 20 440.80 440.87 100.0 5000 5000 15000
constraints_18_0.4_2.sanitized 20 602.80 602.84 218.0 5000 5000 15000
constraints_18_0.5_2.sanitized 20 821.69 821.74 282.0 5000 5000 15000
constraints_25_4_5_12_12_0_0_0.sanitized 20 207.80 207.86 26.0 5000 5000 15000
crafted_n12_d6_c4_num23 20 367.30 367.31 357.0 5000 5000 15000
crn_11_99_u 20 2.60 2.68 8.0 5000 5000 15000
ctl_4201_555_unsat_pre 20 1686.69 1686.77 36.0 5000 5000 15000
ctl_4291_567_2_unsat-sc2013 20 2276.60 2276.69 41.0 5000 5000 15000
ctl_4291_567_9_unsat 20 808.50 808.59 36.0 5000 5000 15000
ecarev-110-4099-22-30-7 10 565.89 565.99 130.0 5000 5000 15000
ex065_25 10 2124.48 2124.53 99.0 5000 5000 15000
exam_flat_0.04_2018_3 10 932.49 932.60 467.0 5000 5000 15000
f9idw 20 551.19 551.28 251.0 5000 5000 15000
fermat-931960058139995587 1 5000.00 5001.03 53.0 5000 5000 15000
fixedbandwidth-eq-31_shuffled 20 2032.07 2032.18 40.0 5000 5000 15000
frb45-21-2.used-as.sat04-884 10 565.58 565.69 31.0 5000 5000 15000
frb65-12-2.used-as.sat04-874 10 23.80 23.85 13.0 5000 5000 15000
g2-T93.2.1 20 844.98 845.03 1885.0 5000 5000 15000
g2-ak128boothbg2msaig 10 0.79 0.87 107.0 5000 5000 15000
g2-ak128boothbg2msisc 10 0.49 0.57 83.0 5000 5000 15000
g2-hwmcc15deep-6s161-k17 20 1328.17 1328.26 46.0 5000 5000 15000
g2-hwmcc15deep-bob12s02-k16 1 4999.84 5001.03 153.0 5000 5000 15000
g2-slp-synthesis-aes-top30 10 70.69 70.75 58.0 5000 5000 15000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 20 503.18 503.21 169.0 5000 5000 15000
goldcrest-and-9 20 229.09 229.17 181.0 5000 5000 15000
grs-64-128 20 1978.37 1978.48 168.0 5000 5000 15000
grs-64-64 20 410.90 410.94 66.0 5000 5000 15000
hcp_CP18_18 10 4670.47 4670.55 111.0 5000 5000 15000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 20 242.69 242.74 27.0 5000 5000 15000
hwmcc12miters-xits-iso-6s111.sanitized 20 2.70 2.79 270.0 5000 5000 15000
hwmcc17miters-xits-iso-6s281b35.sanitized 20 11.80 11.82 1099.0 5000 5000 15000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 20 0.19 0.27 29.0 5000 5000 15000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 20 7.89 7.92 538.0 5000 5000 15000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 20 7.90 7.94 540.0 5000 5000 15000
hwmcc20miters-iso-mul2.sanitized 20 0.39 0.43 49.0 5000 5000 15000
hwmcc20miters-iso-mul3.sanitized 20 1.99 2.03 185.0 5000 5000 15000
hwmcc20miters-iso-mul7.sanitized 20 2.10 2.13 188.0 5000 5000 15000
hwmcc20miters-iso-rast-p06.sanitized 20 0.30 0.37 43.0 5000 5000 15000
hwmcc20miters-iso-rast-p11.sanitized 20 0.30 0.37 43.0 5000 5000 15000
j3037_10_mdd_b 10 25.70 25.79 19.0 5000 5000 15000
j3037_10_mdd_bm1 20 50.50 50.53 21.0 5000 5000 15000
j3037_10_rggt_b 10 134.30 134.36 22.0 5000 5000 15000
j3037_1_gmto_b 10 17.50 17.59 17.0 5000 5000 15000
j3037_1_mdd_b 10 59.69 59.76 22.0 5000 5000 15000
j3037_9_mdd_bm1 1 4999.95 5001.04 65.0 5000 5000 15000
j3037_9_rggt_b 10 465.76 465.88 38.0 5000 5000 15000
j3045_10_gmto_b 10 445.49 445.55 35.0 5000 5000 15000
j3045_10_rggt_b 10 240.79 240.83 26.0 5000 5000 15000
j3045_4_gmto_b 10 966.79 966.88 38.0 5000 5000 15000
j3045_4_mdd_bm1 20 711.20 711.21 26.0 5000 5000 15000
jgiraldezlevy.2200.9086.08.40.41 10 11.30 11.36 8.0 5000 5000 15000
lec_mult_CvD_11x11.sanitized 20 965.78 965.82 40.0 5000 5000 15000
lec_mult_CvK_11x10.sanitized 20 794.10 794.13 19.0 5000 5000 15000
lec_mult_CvK_11x11.sanitized 20 2673.89 2674.01 60.0 5000 5000 15000
lec_mult_CvK_12x11.sanitized 1 4999.98 5001.03 35.0 5000 5000 15000
lec_mult_CvK_12x12.sanitized 1 4999.99 5001.03 56.0 5000 5000 15000
lec_mult_CvW_12x11.sanitized 20 3909.68 3909.79 80.0 5000 5000 15000
lec_mult_CvW_12x12.sanitized 1 5000.01 5001.03 89.0 5000 5000 15000
lec_mult_DvK_11x10.sanitized 20 902.09 902.17 33.0 5000 5000 15000
lec_mult_DvK_12x12.sanitized 1 4999.94 5001.03 33.0 5000 5000 15000
lec_mult_DvW_11x10.sanitized 20 636.69 636.79 38.0 5000 5000 15000
lec_mult_DvW_12x11.sanitized 1 4999.97 5001.04 77.0 5000 5000 15000
lec_mult_DvW_12x12.sanitized 1 4999.99 5001.04 82.0 5000 5000 15000
lec_mult_KvW_10x10.sanitized 20 330.29 330.32 20.0 5000 5000 15000
lec_mult_KvW_11x10.sanitized 20 886.69 886.73 24.0 5000 5000 15000
lec_mult_KvW_12x11.sanitized 1 4999.99 5001.03 33.0 5000 5000 15000
linked_list_swap_contents_safety_unwind45 20 99.59 99.65 881.0 5000 5000 15000
linked_list_swap_contents_safety_unwind54 20 112.00 112.11 1146.0 5000 5000 15000
linked_list_swap_contents_safety_unwind57 20 122.50 122.57 1247.0 5000 5000 15000
linked_list_swap_contents_safety_unwind62 20 140.89 140.98 1466.0 5000 5000 15000
linked_list_swap_contents_safety_unwind63 20 107.80 107.91 1494.0 5000 5000 15000
linked_list_swap_contents_safety_unwind65 20 156.99 157.10 1595.0 5000 5000 15000
linked_list_swap_contents_safety_unwind68 20 129.10 129.17 1690.0 5000 5000 15000
linked_list_swap_contents_safety_unwind69 20 131.30 131.34 1774.0 5000 5000 15000
linked_list_swap_contents_safety_unwind70 20 355.40 355.46 1812.0 5000 5000 15000
linked_list_swap_contents_safety_unwind73 20 167.00 167.08 1933.0 5000 5000 15000
linked_list_swap_contents_safety_unwind76 20 230.79 230.84 2064.0 5000 5000 15000
linked_list_swap_contents_safety_unwind78 20 160.79 160.91 2140.0 5000 5000 15000
linked_list_swap_contents_safety_unwind80 20 208.20 208.24 2221.0 5000 5000 15000
lru_10.sanitized 10 88.50 88.57 7580.0 5000 5000 15000
lru_6.sanitized 10 41.69 41.75 4537.0 5000 5000 15000
lru_7.sanitized 10 57.49 57.51 5297.0 5000 5000 15000
lru_8.sanitized 10 76.39 76.51 6058.0 5000 5000 15000
lru_9.sanitized 10 83.10 83.14 6819.0 5000 5000 15000
manol-pipe-g10bid_i 20 384.70 384.77 148.0 5000 5000 15000
marg5x5.shuffled-as.sat03-1455 1 4999.94 5001.03 53.0 5000 5000 15000
mchess_15 20 537.25 537.40 28.0 5000 5000 15000
mchess_16 20 650.69 650.72 33.0 5000 5000 15000
mchess_17 1 4999.94 5001.04 60.0 5000 5000 15000
md5_48_1 10 48.10 48.12 35.0 5000 5000 15000
mdp-28-10-unsat 20 1304.79 1304.86 41.0 5000 5000 15000
mdp-28-11-sat 10 678.70 678.72 35.0 5000 5000 15000
mdp-28-14-sat 10 671.30 671.33 34.0 5000 5000 15000
mdp-28-14-unsat 20 2936.49 2936.51 52.0 5000 5000 15000
mdp-28-16-unsat 20 2361.39 2361.46 41.0 5000 5000 15000
mdp-32-10-sat 10 3669.41 3669.49 76.0 5000 5000 15000
mdp-32-10-unsat 1 4999.91 5001.03 88.0 5000 5000 15000
mdp-32-11-sat 1 4999.98 5001.04 84.0 5000 5000 15000
mdp-32-11-unsat 1 4999.97 5001.03 61.0 5000 5000 15000
mdp-32-12-unsat 1 4999.93 5001.03 68.0 5000 5000 15000
mdp-32-14-sat 1 5000.00 5001.03 85.0 5000 5000 15000
mdp-32-14-unsat 1 4999.68 5001.03 78.0 5000 5000 15000
mdp-32-16-sat 10 721.89 721.97 33.0 5000 5000 15000
mdp-36-10-sat 1 5000.00 5001.03 66.0 5000 5000 15000
mdp-36-10-unsat 1 5000.00 5001.03 83.0 5000 5000 15000
mdp-36-12-unsat 1 4999.93 5001.03 68.0 5000 5000 15000
mdp-36-14-sat 1 5000.02 5001.03 90.0 5000 5000 15000
mp1-Nb5T15 10 148.10 148.16 35.0 5000 5000 15000
mp1-Nb7T42 1 4999.91 5001.03 183.0 5000 5000 15000
mp1-blockpuzzle_5x10_s7_free4 20 24.09 24.20 12.0 5000 5000 15000
mp1-klieber2017s-0500-023-t12 10 90.29 90.36 23.0 5000 5000 15000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 20 62.80 62.85 17.0 5000 5000 15000
mrpp_4x4#12_12 20 15.10 15.18 12.0 5000 5000 15000
mulhs016-sc2009 1 4999.98 5001.04 62.0 5000 5000 15000
noL-11-0.sanitized 10 1367.68 1367.80 87.0 5000 5000 15000
noL-11-10.sanitized 10 112.89 113.00 22.0 5000 5000 15000
noL-11-12.sanitized 10 558.49 558.54 63.0 5000 5000 15000
noL-11-14.sanitized 10 87.50 87.60 26.0 5000 5000 15000
noL-11-16.sanitized 10 137.09 137.19 32.0 5000 5000 15000
noL-11-18.sanitized 10 241.98 242.08 33.0 5000 5000 15000
noL-11-2.sanitized 10 754.38 754.41 64.0 5000 5000 15000
noL-11-20.sanitized 10 153.98 154.03 35.0 5000 5000 15000
noL-11-4.sanitized 10 822.48 822.55 66.0 5000 5000 15000
noL-11-6.sanitized 10 2400.63 2400.77 121.0 5000 5000 15000
noL-11-8.sanitized 10 240.08 240.13 33.0 5000 5000 15000
oisc-subrv-sll-nested-11 20 2115.13 2115.11 4162.0 5000 5000 15000
oisc-subrv-sll-nested-13 20 3450.74 3450.83 5697.0 5000 5000 15000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 20 2891.28 2891.36 77.0 5000 5000 15000
or_randxor_k3_n510_m510.sanitized 20 5.20 5.27 8.0 5000 5000 15000
pb_300_05_lb_17 10 95.10 95.19 98.0 5000 5000 15000
pb_300_09_lb_07 10 85.29 85.39 97.0 5000 5000 15000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 20 66.30 66.34 17.0 5000 5000 15000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 1 4999.96 5001.03 125.0 5000 5000 15000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 20 757.20 757.27 60.0 5000 5000 15000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 20 182.50 182.51 22.0 5000 5000 15000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 1 4999.90 5001.04 138.0 5000 5000 15000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 1 4999.96 5001.03 111.0 5000 5000 15000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 20 106.59 106.65 32.0 5000 5000 15000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 1 4999.92 5001.03 145.0 5000 5000 15000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 1 4999.88 5001.04 127.0 5000 5000 15000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 20 251.29 251.32 29.0 5000 5000 15000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 20 1584.07 1584.17 75.0 5000 5000 15000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 1 4999.88 5001.03 277.0 5000 5000 15000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 1 4999.83 5001.04 147.0 5000 5000 15000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 1 4999.85 5001.04 117.0 5000 5000 15000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 1 4999.86 5001.03 152.0 5000 5000 15000
post-cbmc-aes-ee-r3-noholes 20 641.99 642.08 212.0 5000 5000 15000
preimage_80r_495m_160h_seed_379 10 2322.87 2322.98 65.0 5000 5000 15000
qwh.50.1250.shuffled-as.sat03-1655 10 24.00 24.01 46.0 5000 5000 15000
qwh.60.1728.shuffled-as.sat03-1659 10 104.10 104.15 76.0 5000 5000 15000
rbsat-v1150c84314gyes1 1 4999.96 5001.03 54.0 5000 5000 15000
rbsat-v760c43649gyes3 1 4999.84 5001.03 54.0 5000 5000 15000
rbsat-v760c43649gyes7 10 182.40 182.43 34.0 5000 5000 15000
rbsat-v760c43649gyes9 10 199.70 199.76 26.0 5000 5000 15000
rbsat-v945c61409gyes9-sc2009 10 39.00 39.01 25.0 5000 5000 15000
rook-42-0-1 20 2048.57 2048.63 125.0 5000 5000 15000
rook-56-0-0 20 3425.72 3425.89 188.0 5000 5000 15000
rook-56-1-1 20 1252.57 1252.61 131.0 5000 5000 15000
rphp_p8_r160.sanitized 1 4999.95 5001.03 964.0 5000 5000 15000
rphp_p8_r170.sanitized 1 4999.96 5001.03 1197.0 5000 5000 15000
sgen1-sat-180-100 10 3379.79 3379.86 77.0 5000 5000 15000
sgen1-unsat-121-100 1 5000.00 5001.03 74.0 5000 5000 15000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 10 45.80 45.83 263.0 5000 5000 15000
si2-b03m-m800-03 10 8.00 8.06 105.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 1110.97 1111.08 701.0 5000 5000 15000
sokoban-p20.sas.cr.25 20 4201.36 4201.46 80.0 5000 5000 15000
sokoban-p20.sas.cr.33 1 4999.91 5001.03 156.0 5000 5000 15000
spg_200_316 20 720.20 720.29 302.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.09 128.15 27.0 5000 5000 15000
stb_418_125.apx_1_DC-AD 20 1639.49 1639.57 72.0 5000 5000 15000
stb_418_125.apx_1_DC-ST 20 680.21 680.21 37.0 5000 5000 15000
stb_418_125.apx_2_DC-AD 20 1806.59 1806.63 63.0 5000 5000 15000
stb_495_168.apx_1_DC-AD 20 317.70 317.78 22.0 5000 5000 15000
stb_495_168.apx_2_DC-AD 20 248.29 248.40 22.0 5000 5000 15000
stb_531_83.apx_1_DC-ST 20 400.08 400.18 26.0 5000 5000 15000
stb_531_83.apx_2_DC-ST 20 325.89 325.95 35.0 5000 5000 15000
stb_588_138.apx_1_DC-AD 20 829.79 829.84 57.0 5000 5000 15000
stb_588_138.apx_1_DC-ST 20 304.98 305.04 32.0 5000 5000 15000
sted5_0x1e3-20 1 4999.96 5001.04 72.0 5000 5000 15000
sted5_0x24204-50 10 5.99 6.07 13.0 5000 5000 15000
string_compare_safety_cbmc_unwinding_900 20 1747.09 1747.14 2043.0 5000 5000 15000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 10 21.09 21.17 25.0 5000 5000 15000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 10 12.89 12.98 25.0 5000 5000 15000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 10 14.29 14.41 29.0 5000 5000 15000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 1 4999.95 5001.03 348.0 5000 5000 15000
tseitin_d3_n158.sanitized 1 4999.95 5001.04 87.0 5000 5000 15000
tseitin_d3_n162.sanitized 1 4999.95 5001.03 75.0 5000 5000 15000
tseitin_d3_n174.sanitized 1 4999.91 5001.03 87.0 5000 5000 15000
tseitin_grid_n11_m20.sanitized 1 4999.95 5001.03 61.0 5000 5000 15000
tseitingrid6x200_shuffled 1 4999.95 5001.03 98.0 5000 5000 15000
two-trees-1023v.sanitized 1 4999.99 5001.03 110.0 5000 5000 15000
two-trees-511v.sanitized 1 4999.83 5001.03 91.0 5000 5000 15000
urq45 20 392.49 392.52 40.0 5000 5000 15000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 1 4999.97 5001.03 77.0 5000 5000 15000
worker_20_40_20_0.95 10 0.10 0.12 4.0 5000 5000 15000
worker_30_60_25_0.9 1 4999.96 5001.03 149.0 5000 5000 15000
worker_40_80_40_0.9 1 4999.94 5001.03 223.0 5000 5000 15000
worker_550_550_550_0.3 10 28.19 28.24 281.0 5000 5000 15000
x9-08014.sat.sanitized 20 25.40 25.45 9.0 5000 5000 15000
x9-08075.sat.sanitized 20 28.00 28.10 9.0 5000 5000 15000
x9-09004.sat.sanitized 20 62.20 62.29 11.0 5000 5000 15000
x9-09007.sat.sanitized 20 42.10 42.14 9.0 5000 5000 15000
x9-09014.sat.sanitized 20 55.90 55.94 12.0 5000 5000 15000
x9-09024.sat.sanitized 20 41.60 41.66 11.0 5000 5000 15000
x9-09047.sat.sanitized 20 39.00 39.02 9.0 5000 5000 15000
x9-09051.sat.sanitized 20 62.50 62.57 12.0 5000 5000 15000
x9-09054.sat.sanitized 10 43.20 43.22 10.0 5000 5000 15000
x9-09057.sat.sanitized 20 50.70 50.73 11.0 5000 5000 15000
x9-09076.sat.sanitized 20 44.00 44.08 11.0 5000 5000 15000
x9-09098.sat.sanitized 20 92.20 92.25 19.0 5000 5000 15000
x9-10002.sat.sanitized 20 338.29 338.40 33.0 5000 5000 15000
x9-10007.sat.sanitized 20 250.59 250.62 33.0 5000 5000 15000
x9-10014.sat.sanitized 10 63.39 63.42 13.0 5000 5000 15000
x9-10027.sat.sanitized 10 57.30 57.35 12.0 5000 5000 15000
x9-10031.sat.sanitized 20 352.70 352.71 36.0 5000 5000 15000
x9-10038.sat.sanitized 10 217.69 217.72 31.0 5000 5000 15000
x9-10051.sat.sanitized 20 282.70 282.75 32.0 5000 5000 15000
x9-10076.sat.sanitized 20 148.70 148.76 19.0 5000 5000 15000
x9-10083.sat.sanitized 20 180.39 180.50 22.0 5000 5000 15000
x9-10084.sat.sanitized 20 157.59 157.64 20.0 5000 5000 15000
x9-10093.sat.sanitized 20 206.10 206.20 32.0 5000 5000 15000
x9-10096.sat.sanitized 20 179.40 179.47 32.0 5000 5000 15000
x9-10098.sat.sanitized 10 39.19 39.22 10.0 5000 5000 15000
x9-11034.sat.sanitized 10 22.30 22.40 9.0 5000 5000 15000
x9-11053.sat.sanitized 10 76.20 76.25 19.0 5000 5000 15000
x9-11062.sat.sanitized 10 250.99 251.04 31.0 5000 5000 15000
x9-11077.sat.sanitized 10 87.09 87.19 19.0 5000 5000 15000
x9-11088.sat.sanitized 10 341.00 341.10 37.0 5000 5000 15000
x9-11093.sat.sanitized 10 57.39 57.50 12.0 5000 5000 15000
x9-11094.sat.sanitized 10 632.70 632.77 50.0 5000 5000 15000
x9-12001.sat.sanitized 10 254.10 254.21 31.0 5000 5000 15000
x9-12014.sat.sanitized 10 30.80 30.81 10.0 5000 5000 15000
x9-12021.sat.sanitized 10 542.10 542.17 38.0 5000 5000 15000
x9-12035.sat.sanitized 10 426.38 426.44 32.0 5000 5000 15000
x9-12063.sat.sanitized 10 492.90 492.99 32.0 5000 5000 15000
x9-12087.sat.sanitized 10 333.09 333.17 36.0 5000 5000 15000
x9-12092.sat.sanitized 10 244.10 244.15 32.0 5000 5000 15000
x9-12098.sat.sanitized 10 1064.19 1064.28 65.0 5000 5000 15000
