 result time real space tlim rlim slim
002 1 4987.30 5001.08 328.0 5000 5000 127000
004 10 689.54 693.32 168.0 5000 5000 127000
1-ET-256-K-55.sanitized 1 4991.85 5001.09 163.0 5000 5000 127000
1-ET-256-K-70.sanitized 20 78.30 78.85 319.0 5000 5000 127000
1-ET-512-K-110.sanitized 1 4993.98 5001.09 655.0 5000 5000 127000
1-ET-512-K-96.sanitized 10 1976.27 1979.46 557.0 5000 5000 127000
1-TC-256-K-64.sanitized 20 2782.70 2785.86 6113.0 5000 5000 127000
1-TC-256-K-68.sanitized 20 167.73 168.57 603.0 5000 5000 127000
1-TC-256-K-71.sanitized 20 82.96 83.41 332.0 5000 5000 127000
1-ZC-1024-K-116.sanitized 1 4995.57 5001.08 1663.0 5000 5000 127000
1-ZC-1024-K-117.sanitized 1 4994.88 5001.08 1707.0 5000 5000 127000
1-ZC-512-K-60.sanitized 10 654.01 655.50 270.0 5000 5000 127000
1-ZC-512-K-61.sanitized 10 352.72 353.60 276.0 5000 5000 127000
1-ZC-512-K-63.sanitized 1 4994.72 5001.09 294.0 5000 5000 127000
1-ZC-512-K-64.sanitized 1 4992.68 5001.08 329.0 5000 5000 127000
1-ZC-512-K-65.sanitized 1 4995.30 5001.09 302.0 5000 5000 127000
1-ZC-512-K-67.sanitized 1 4993.65 5001.08 307.0 5000 5000 127000
128_100.sanitized 10 694.18 696.99 27638.0 5000 5000 127000
128_125.sanitized 10 752.12 754.79 34167.0 5000 5000 127000
128_75.sanitized 10 530.69 532.95 20312.0 5000 5000 127000
170058440 1 4996.05 5001.09 125.0 5000 5000 127000
2dlx_ca_bp_f_liveness 1 4993.86 5001.08 1653.0 5000 5000 127000
32_100.sanitized 10 304.90 307.97 7821.0 5000 5000 127000
32_200.sanitized 10 406.35 409.46 15657.0 5000 5000 127000
32_325.sanitized 10 624.07 629.39 25220.0 5000 5000 127000
32_350.sanitized 10 680.48 683.42 27619.0 5000 5000 127000
64_150.sanitized 10 1081.82 1086.64 20443.0 5000 5000 127000
64_200.sanitized 10 1873.65 1879.95 27803.0 5000 5000 127000
64_25.sanitized 10 333.65 334.84 3453.0 5000 5000 127000
6g_6color_366_050_04 1 4994.51 5001.09 1565.0 5000 5000 127000
6s130-opt 20 589.49 590.75 3094.0 5000 5000 127000
6s167-opt 20 99.05 99.51 592.0 5000 5000 127000
Break_08_24.xml 10 0.60 0.83 20.0 5000 5000 127000
Break_18_32.xml 1 4989.19 5001.11 384.0 5000 5000 127000
Break_20_72.xml 1 4984.47 5001.09 983.0 5000 5000 127000
Break_triple_20_36.xml 1 4986.76 5001.09 423.0 5000 5000 127000
Break_unsat_04_03.xml 20 0.01 0.20 9.0 5000 5000 127000
Break_unsat_06_07.xml 20 1.26 1.49 17.0 5000 5000 127000
Break_unsat_14_23.xml 1 4992.51 5001.09 252.0 5000 5000 127000
Break_unsat_16_27.xml 1 4990.60 5001.09 264.0 5000 5000 127000
Break_unsat_18_31.xml 1 4987.73 5001.09 390.0 5000 5000 127000
Circuit_multiplier22 10 512.66 514.28 83.0 5000 5000 127000
DLTM_twitter774_83_17 10 208.53 209.16 62.0 5000 5000 127000
Dodecahedron-k7 1 4993.23 5001.08 245.0 5000 5000 127000
EDP3-11000 10 134.16 134.63 254.0 5000 5000 127000
ER_400_20_4.apx_1_DC-AD 20 619.38 620.98 2683.0 5000 5000 127000
ER_400_20_4.apx_2_DC-AD 20 590.82 592.86 2552.0 5000 5000 127000
ER_400_20_4.apx_2_DC-ST 20 354.53 355.71 2083.0 5000 5000 127000
ER_400_20_7.apx_1_DC-AD 20 1086.23 1088.53 4779.0 5000 5000 127000
ER_400_20_7.apx_2_DC-AD 20 4450.30 4457.06 16303.0 5000 5000 127000
ER_400_20_7.apx_2_DC-ST 20 2457.23 2461.82 11326.0 5000 5000 127000
ER_500_30_3.apx_1_DC-ST 20 366.77 367.55 2401.0 5000 5000 127000
ER_500_30_3.apx_2_DC-AD 20 1226.35 1228.72 6308.0 5000 5000 127000
FmlaEquivChain_4_6_6.sanitized 20 39.56 39.88 210.0 5000 5000 127000
FmlaEquivChain_4_8_8.sanitized 20 2238.16 2241.18 9263.0 5000 5000 127000
FmlaImplyChain_3_7_7.sanitized 20 1057.99 1061.97 13841.0 5000 5000 127000
FmlaImplyChain_3_7_8.sanitized 1 4984.85 5001.10 840.0 5000 5000 127000
Folkman-175-1251868.sanitized 10 550.84 553.24 175.0 5000 5000 127000
Folkman-175-7416734.sanitized 1 4987.45 5001.09 294.0 5000 5000 127000
Folkman-175-9054056.sanitized 10 4356.63 4367.32 246.0 5000 5000 127000
Folkman-180-11710376.sanitized 1 4988.36 5001.12 308.0 5000 5000 127000
Folkman-180-5383714.sanitized 10 348.70 350.61 139.0 5000 5000 127000
Folkman-185-152478531.sanitized 1 4982.50 5001.10 290.0 5000 5000 127000
Folkman-185-19924337.sanitized 10 2976.04 2982.94 257.0 5000 5000 127000
Folkman-185-75415683.sanitized 1 4988.40 5001.10 289.0 5000 5000 127000
Folkman-190-104806020.sanitized 1 4985.60 5001.10 305.0 5000 5000 127000
Folkman-190-358004741.sanitized 1 4986.42 5001.09 280.0 5000 5000 127000
Folkman-190-66337703.sanitized 1 4987.72 5001.10 297.0 5000 5000 127000
GracefulGraph-K05-P02_c18 10 21.71 22.16 27.0 5000 5000 127000
HCP-446-105 10 1452.51 1454.89 168.0 5000 5000 127000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 757.36 758.76 2882.0 5000 5000 127000
ITC2021_Early_10.xml 1 4991.75 5001.08 591.0 5000 5000 127000
ITC2021_Early_3.xml 10 6.33 6.61 64.0 5000 5000 127000
ITC2021_Middle_1.xml 1 4987.89 5001.09 472.0 5000 5000 127000
Kakuro-easy-097-ext.xml.hg_4 20 2546.75 2548.51 3326.0 5000 5000 127000
MASG0_72_keystream76_0 10 3226.30 3228.90 34.0 5000 5000 127000
Nb13T165 1 4990.12 5001.08 2478.0 5000 5000 127000
Nb44T6 20 2006.12 2007.06 2519.0 5000 5000 127000
Ptn-7824-b18 10 64.05 64.37 37.0 5000 5000 127000
REGRandom-K3-L3-Seed25.sanitized 20 3264.34 3368.37 55568.0 5000 5000 127000
REGRandom-K4-L1-Seed30.sanitized 1 4977.66 5001.09 480.0 5000 5000 127000
REGRandom-K4-L2-Seed35.sanitized 1 4988.31 5001.08 1263.0 5000 5000 127000
REGRandom-K4-L3-Seed40.sanitized 1 4992.23 5001.09 2732.0 5000 5000 127000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 20 2588.83 2592.95 10318.0 5000 5000 127000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 1 4991.66 5001.09 166.0 5000 5000 127000
Schur_161_5_d38 1 4993.35 5001.41 201.0 5000 5000 127000
StConn_7_128.sanitized 20 3342.12 3347.50 13596.0 5000 5000 127000
StConn_8_32.sanitized 20 312.43 313.29 1553.0 5000 5000 127000
T105.2.0 20 517.33 518.25 2724.0 5000 5000 127000
Timetable_C_392_E_62_Cl_26_S_28 10 135.20 135.66 479.0 5000 5000 127000
VanDerWaerden_2-3-14_186 1 4994.85 5001.09 166.0 5000 5000 127000
WS_500_16_70_10.apx_1_DC-ST 20 492.86 493.54 1363.0 5000 5000 127000
WS_500_16_70_10.apx_2_DC-AD 20 1011.10 1013.37 2523.0 5000 5000 127000
WS_500_16_90_70.apx_2_DC-AD 20 762.20 763.22 2200.0 5000 5000 127000
af-synthesis_stb_50_100_4_sat 10 941.64 942.75 855.0 5000 5000 127000
af-synthesis_stb_50_100_9_sat 10 334.51 335.09 816.0 5000 5000 127000
af-synthesis_stb_50_100_9_unsat 20 1151.81 1153.19 1842.0 5000 5000 127000
af-synthesis_stb_50_120_4_sat 10 399.00 400.09 1012.0 5000 5000 127000
af-synthesis_stb_50_140_0_unsat 20 1045.38 1046.81 1511.0 5000 5000 127000
af-synthesis_stb_50_140_1_unsat 20 2075.41 2077.55 3074.0 5000 5000 127000
af-synthesis_stb_50_140_3_unsat 20 492.34 492.99 1007.0 5000 5000 127000
af-synthesis_stb_50_200_0_sat 10 955.82 956.82 1370.0 5000 5000 127000
af-synthesis_stb_50_200_0_unsat 20 1018.80 1020.53 1372.0 5000 5000 127000
af-synthesis_stb_50_200_4_unsat 20 665.78 667.34 1296.0 5000 5000 127000
af-synthesis_stb_50_40_2_unsat 20 717.15 718.08 1082.0 5000 5000 127000
af-synthesis_stb_50_40_9_sat 10 1392.11 1394.56 388.0 5000 5000 127000
af-synthesis_stb_50_40_9_unsat 20 2087.94 2091.19 3333.0 5000 5000 127000
apn-sbox5-cut3-symmbreak 1 4992.31 5001.12 179.0 5000 5000 127000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 10 212.96 213.40 135.0 5000 5000 127000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 10 115.65 115.85 135.0 5000 5000 127000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 20 625.79 626.14 135.0 5000 5000 127000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 20 229.33 229.73 118.0 5000 5000 127000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 20 227.96 228.28 108.0 5000 5000 127000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 20 588.84 589.34 160.0 5000 5000 127000
atco_enc1_opt1_10_15 10 104.40 105.00 111.0 5000 5000 127000
barman-pfile06-022.sas.ex.7 20 282.86 283.22 363.0 5000 5000 127000
battleship-14-26-sat 10 113.60 114.20 55.0 5000 5000 127000
bmc_QICE_snp_vld_30 20 811.64 812.89 5310.0 5000 5000 127000
bphp_p23_h22.sanitized 1 4990.94 5001.09 162.0 5000 5000 127000
bvsub_19952 1 4999.03 5001.09 645.0 5000 5000 127000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 10 400.99 401.40 535.0 5000 5000 127000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 10 442.54 443.26 518.0 5000 5000 127000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 10 581.60 582.15 582.0 5000 5000 127000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 10 1955.20 1957.17 706.0 5000 5000 127000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 10 3936.15 3939.02 368.0 5000 5000 127000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 10 1848.63 1850.28 395.0 5000 5000 127000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 10 1109.44 1110.13 444.0 5000 5000 127000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 1 4995.73 5001.09 517.0 5000 5000 127000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 1 4996.51 5001.08 282.0 5000 5000 127000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 10 1007.97 1009.19 538.0 5000 5000 127000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 10 288.48 289.23 121.0 5000 5000 127000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 10 17.14 17.38 89.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 10 46.43 46.67 100.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 10 43.89 44.23 100.0 5000 5000 127000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 10 241.82 242.02 230.0 5000 5000 127000
clique_n2_k10.sanitized 20 0.23 0.44 16.0 5000 5000 127000
cliquecolouring_n13_k8_c7.sanitized 1 4994.32 5001.09 172.0 5000 5000 127000
cliquecolouring_n13_k9_c8.sanitized 1 4990.35 5001.10 198.0 5000 5000 127000
cliquecolouring_n15_k9_c8.sanitized 1 4990.75 5001.10 211.0 5000 5000 127000
cliquecolouring_n21_k6_c5.sanitized 1 4988.31 5001.10 223.0 5000 5000 127000
cliquecolouring_n31_k5_c4.sanitized 1 4989.13 5001.09 226.0 5000 5000 127000
cliquecolouring_n41_k5_c4.sanitized 1 4989.15 5001.30 231.0 5000 5000 127000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 10 79.96 80.75 35.0 5000 5000 127000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 10 269.40 269.97 54.0 5000 5000 127000
constraints_16_0.3_1.sanitized 20 239.20 240.02 981.0 5000 5000 127000
constraints_16_0.4_1.sanitized 20 316.98 317.64 807.0 5000 5000 127000
constraints_16_0.5_1.sanitized 20 313.28 314.04 802.0 5000 5000 127000
constraints_17_0.3_2.sanitized 20 268.97 269.52 830.0 5000 5000 127000
constraints_17_0.4_1.sanitized 10 209.78 210.11 140.0 5000 5000 127000
constraints_17_0.4_2.sanitized 20 277.38 278.26 1077.0 5000 5000 127000
constraints_17_0.5_2.sanitized 20 301.11 301.77 1161.0 5000 5000 127000
constraints_18_0.3_2.sanitized 20 616.83 617.97 2632.0 5000 5000 127000
constraints_18_0.4_2.sanitized 20 894.35 895.78 3739.0 5000 5000 127000
constraints_18_0.5_2.sanitized 20 920.73 922.07 4102.0 5000 5000 127000
constraints_25_4_5_12_12_0_0_0.sanitized 20 371.63 372.61 934.0 5000 5000 127000
crafted_n12_d6_c4_num23 20 491.81 492.73 3325.0 5000 5000 127000
crn_11_99_u 20 1.31 1.55 20.0 5000 5000 127000
ctl_4201_555_unsat_pre 20 2008.46 2010.26 2893.0 5000 5000 127000
ctl_4291_567_2_unsat-sc2013 20 2069.36 2070.85 2671.0 5000 5000 127000
ctl_4291_567_9_unsat 20 921.47 922.98 1666.0 5000 5000 127000
ecarev-110-4099-22-30-7 10 341.92 342.91 270.0 5000 5000 127000
ex065_25 1 4993.23 5001.08 328.0 5000 5000 127000
exam_flat_0.04_2018_3 10 1098.89 1100.14 724.0 5000 5000 127000
f9idw 20 129.63 130.32 732.0 5000 5000 127000
fermat-931960058139995587 1 4995.24 5001.09 184.0 5000 5000 127000
fixedbandwidth-eq-31_shuffled 20 4711.38 4716.24 6943.0 5000 5000 127000
frb45-21-2.used-as.sat04-884 10 1002.15 1003.50 96.0 5000 5000 127000
frb65-12-2.used-as.sat04-874 10 61.62 61.89 37.0 5000 5000 127000
g2-T93.2.1 20 978.06 979.22 4756.0 5000 5000 127000
g2-ak128boothbg2msaig 10 27.08 27.32 454.0 5000 5000 127000
g2-ak128boothbg2msisc 10 12.63 12.84 321.0 5000 5000 127000
g2-hwmcc15deep-6s161-k17 20 2040.00 2043.02 6843.0 5000 5000 127000
g2-hwmcc15deep-bob12s02-k16 1 4981.69 5001.08 632.0 5000 5000 127000
g2-slp-synthesis-aes-top30 10 107.94 108.30 310.0 5000 5000 127000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 20 798.33 799.98 2909.0 5000 5000 127000
goldcrest-and-9 20 287.84 288.92 2700.0 5000 5000 127000
grs-64-128 20 1767.23 1770.38 5346.0 5000 5000 127000
grs-64-64 20 333.63 335.14 1397.0 5000 5000 127000
hcp_CP18_18 10 564.07 564.91 654.0 5000 5000 127000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 20 539.66 540.67 1466.0 5000 5000 127000
hwmcc12miters-xits-iso-6s111.sanitized 1 4994.06 5001.08 550.0 5000 5000 127000
hwmcc17miters-xits-iso-6s281b35.sanitized 1 4997.21 5001.08 2112.0 5000 5000 127000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 1 4992.18 5001.10 215.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 1 4987.58 5001.08 1738.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 1 4989.15 5001.09 2498.0 5000 5000 127000
hwmcc20miters-iso-mul2.sanitized 1 4995.08 5001.08 325.0 5000 5000 127000
hwmcc20miters-iso-mul3.sanitized 1 4995.75 5001.08 607.0 5000 5000 127000
hwmcc20miters-iso-mul7.sanitized 1 4996.28 5001.09 555.0 5000 5000 127000
hwmcc20miters-iso-rast-p06.sanitized 1 4992.43 5001.09 303.0 5000 5000 127000
hwmcc20miters-iso-rast-p11.sanitized 1 4992.21 5001.08 280.0 5000 5000 127000
j3037_10_mdd_b 10 113.46 113.87 44.0 5000 5000 127000
j3037_10_mdd_bm1 20 45.75 46.13 138.0 5000 5000 127000
j3037_10_rggt_b 10 88.32 88.64 40.0 5000 5000 127000
j3037_1_gmto_b 10 132.44 133.04 55.0 5000 5000 127000
j3037_1_mdd_b 10 179.88 180.38 51.0 5000 5000 127000
j3037_9_mdd_bm1 1 4994.89 5001.10 137.0 5000 5000 127000
j3037_9_rggt_b 10 729.40 730.75 77.0 5000 5000 127000
j3045_10_gmto_b 10 3824.25 3828.94 129.0 5000 5000 127000
j3045_10_rggt_b 10 610.76 611.81 70.0 5000 5000 127000
j3045_4_gmto_b 10 854.05 855.64 81.0 5000 5000 127000
j3045_4_mdd_bm1 20 721.50 722.76 1629.0 5000 5000 127000
jgiraldezlevy.2200.9086.08.40.41 10 145.38 146.02 40.0 5000 5000 127000
lec_mult_CvD_11x11.sanitized 20 2037.54 2039.22 3469.0 5000 5000 127000
lec_mult_CvK_11x10.sanitized 20 1123.04 1123.97 1774.0 5000 5000 127000
lec_mult_CvK_11x11.sanitized 20 2670.23 2672.82 4014.0 5000 5000 127000
lec_mult_CvK_12x11.sanitized 1 4995.56 5001.10 112.0 5000 5000 127000
lec_mult_CvK_12x12.sanitized 1 4994.29 5001.10 112.0 5000 5000 127000
lec_mult_CvW_12x11.sanitized 20 3467.22 3470.96 4983.0 5000 5000 127000
lec_mult_CvW_12x12.sanitized 1 4994.83 5001.54 116.0 5000 5000 127000
lec_mult_DvK_11x10.sanitized 20 952.26 953.56 1820.0 5000 5000 127000
lec_mult_DvK_12x12.sanitized 1 4994.21 5001.09 119.0 5000 5000 127000
lec_mult_DvW_11x10.sanitized 20 993.90 995.53 2192.0 5000 5000 127000
lec_mult_DvW_12x11.sanitized 1 4993.71 5001.11 122.0 5000 5000 127000
lec_mult_DvW_12x12.sanitized 1 4994.49 5001.12 127.0 5000 5000 127000
lec_mult_KvW_10x10.sanitized 20 472.59 473.41 846.0 5000 5000 127000
lec_mult_KvW_11x10.sanitized 20 1283.40 1285.38 2012.0 5000 5000 127000
lec_mult_KvW_12x11.sanitized 1 4993.71 5001.09 112.0 5000 5000 127000
linked_list_swap_contents_safety_unwind45 20 853.24 856.49 7614.0 5000 5000 127000
linked_list_swap_contents_safety_unwind54 20 1378.99 1382.27 13388.0 5000 5000 127000
linked_list_swap_contents_safety_unwind57 20 1101.23 1103.42 10905.0 5000 5000 127000
linked_list_swap_contents_safety_unwind62 20 1271.42 1272.99 11861.0 5000 5000 127000
linked_list_swap_contents_safety_unwind63 20 793.23 795.24 8655.0 5000 5000 127000
linked_list_swap_contents_safety_unwind65 20 1018.75 1020.50 8034.0 5000 5000 127000
linked_list_swap_contents_safety_unwind68 20 1903.99 1907.29 8658.0 5000 5000 127000
linked_list_swap_contents_safety_unwind69 20 1230.78 1233.20 8873.0 5000 5000 127000
linked_list_swap_contents_safety_unwind70 20 3985.62 3989.12 8789.0 5000 5000 127000
linked_list_swap_contents_safety_unwind73 20 1205.69 1207.90 9247.0 5000 5000 127000
linked_list_swap_contents_safety_unwind76 20 4608.38 4614.43 9700.0 5000 5000 127000
linked_list_swap_contents_safety_unwind78 20 2161.07 2163.56 10034.0 5000 5000 127000
linked_list_swap_contents_safety_unwind80 20 2090.04 2092.92 10366.0 5000 5000 127000
lru_10.sanitized 10 496.83 497.07 30910.0 5000 5000 127000
lru_6.sanitized 10 378.38 381.07 18329.0 5000 5000 127000
lru_7.sanitized 10 394.83 399.60 21275.0 5000 5000 127000
lru_8.sanitized 10 472.48 478.40 24489.0 5000 5000 127000
lru_9.sanitized 10 486.98 494.10 27965.0 5000 5000 127000
manol-pipe-g10bid_i 20 172.38 172.90 904.0 5000 5000 127000
marg5x5.shuffled-as.sat03-1455 1 4990.10 5001.09 161.0 5000 5000 127000
mchess_15 20 879.80 881.60 3347.0 5000 5000 127000
mchess_16 20 343.85 344.75 1539.0 5000 5000 127000
mchess_17 1 4993.05 5001.09 189.0 5000 5000 127000
md5_48_1 10 216.30 216.72 107.0 5000 5000 127000
mdp-28-10-unsat 20 1539.10 1542.08 3744.0 5000 5000 127000
mdp-28-11-sat 10 379.31 380.37 47.0 5000 5000 127000
mdp-28-14-sat 10 1766.01 1769.10 72.0 5000 5000 127000
mdp-28-14-unsat 20 3023.14 3026.43 6048.0 5000 5000 127000
mdp-28-16-unsat 20 1951.94 1955.47 4136.0 5000 5000 127000
mdp-32-10-sat 10 1115.16 1117.03 66.0 5000 5000 127000
mdp-32-10-unsat 1 4995.16 5001.10 104.0 5000 5000 127000
mdp-32-11-sat 1 4995.68 5001.09 109.0 5000 5000 127000
mdp-32-11-unsat 1 4994.31 5001.09 137.0 5000 5000 127000
mdp-32-12-unsat 1 4994.17 5001.09 116.0 5000 5000 127000
mdp-32-14-sat 1 4994.56 5001.10 130.0 5000 5000 127000
mdp-32-14-unsat 1 4996.10 5001.09 133.0 5000 5000 127000
mdp-32-16-sat 10 2655.98 2659.46 99.0 5000 5000 127000
mdp-36-10-sat 1 4993.06 5001.09 122.0 5000 5000 127000
mdp-36-10-unsat 1 4994.80 5001.09 146.0 5000 5000 127000
mdp-36-12-unsat 1 4995.82 5001.10 128.0 5000 5000 127000
mdp-36-14-sat 1 4993.61 5001.09 151.0 5000 5000 127000
mp1-Nb5T15 10 83.79 84.32 62.0 5000 5000 127000
mp1-Nb7T42 10 197.31 198.44 179.0 5000 5000 127000
mp1-blockpuzzle_5x10_s7_free4 20 143.82 144.43 987.0 5000 5000 127000
mp1-klieber2017s-0500-023-t12 10 203.22 203.90 42.0 5000 5000 127000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 20 61.04 61.52 179.0 5000 5000 127000
mrpp_4x4#12_12 20 9.73 10.04 55.0 5000 5000 127000
mulhs016-sc2009 1 4996.24 5001.09 175.0 5000 5000 127000
noL-11-0.sanitized 1 4991.35 5001.09 189.0 5000 5000 127000
noL-11-10.sanitized 10 393.14 394.12 82.0 5000 5000 127000
noL-11-12.sanitized 10 1173.50 1175.56 99.0 5000 5000 127000
noL-11-14.sanitized 10 35.05 35.32 33.0 5000 5000 127000
noL-11-16.sanitized 10 48.55 48.99 40.0 5000 5000 127000
noL-11-18.sanitized 10 52.84 53.29 39.0 5000 5000 127000
noL-11-2.sanitized 1 4991.11 5001.09 198.0 5000 5000 127000
noL-11-20.sanitized 10 164.09 164.77 53.0 5000 5000 127000
noL-11-4.sanitized 10 236.01 236.80 71.0 5000 5000 127000
noL-11-6.sanitized 1 4992.93 5001.09 183.0 5000 5000 127000
noL-11-8.sanitized 10 2414.78 2421.28 158.0 5000 5000 127000
oisc-subrv-sll-nested-11 20 1114.24 1115.43 7020.0 5000 5000 127000
oisc-subrv-sll-nested-13 20 1796.36 1798.03 10362.0 5000 5000 127000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 1 4991.01 5001.09 316.0 5000 5000 127000
or_randxor_k3_n510_m510.sanitized 20 6.99 7.17 61.0 5000 5000 127000
pb_300_05_lb_17 10 74.92 75.28 191.0 5000 5000 127000
pb_300_09_lb_07 10 432.40 433.24 192.0 5000 5000 127000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 20 118.13 118.74 612.0 5000 5000 127000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 10 43.16 43.47 41.0 5000 5000 127000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 20 670.56 672.52 2948.0 5000 5000 127000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 20 185.99 186.62 862.0 5000 5000 127000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 1 4992.06 5001.09 162.0 5000 5000 127000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 1 4990.49 5001.09 219.0 5000 5000 127000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 20 213.28 214.30 1482.0 5000 5000 127000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 1 4990.08 5001.09 263.0 5000 5000 127000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 1 4988.41 5001.09 281.0 5000 5000 127000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 20 392.72 394.10 2625.0 5000 5000 127000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 20 3977.25 3984.52 18542.0 5000 5000 127000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 1 4985.83 5001.09 442.0 5000 5000 127000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 1 4990.47 5001.09 294.0 5000 5000 127000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 1 4988.62 5001.09 246.0 5000 5000 127000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 1 4989.50 5001.10 277.0 5000 5000 127000
post-cbmc-aes-ee-r3-noholes 20 523.50 524.32 2131.0 5000 5000 127000
preimage_80r_495m_160h_seed_379 10 461.03 461.90 85.0 5000 5000 127000
qwh.50.1250.shuffled-as.sat03-1655 10 161.44 162.26 128.0 5000 5000 127000
qwh.60.1728.shuffled-as.sat03-1659 10 146.31 147.15 198.0 5000 5000 127000
rbsat-v1150c84314gyes1 1 4992.58 5001.09 289.0 5000 5000 127000
rbsat-v760c43649gyes3 10 1355.45 1357.77 119.0 5000 5000 127000
rbsat-v760c43649gyes7 10 2322.86 2327.22 139.0 5000 5000 127000
rbsat-v760c43649gyes9 10 434.01 434.63 70.0 5000 5000 127000
rbsat-v945c61409gyes9-sc2009 10 264.21 264.70 61.0 5000 5000 127000
rook-42-0-1 20 638.91 640.29 2049.0 5000 5000 127000
rook-56-0-0 20 2294.92 2298.54 7537.0 5000 5000 127000
rook-56-1-1 20 618.10 619.27 2682.0 5000 5000 127000
rphp_p8_r160.sanitized 1 4975.47 5001.09 422.0 5000 5000 127000
rphp_p8_r170.sanitized 1 4977.70 5001.09 429.0 5000 5000 127000
sgen1-sat-180-100 1 4994.40 5001.10 129.0 5000 5000 127000
sgen1-unsat-121-100 1 4994.04 5001.09 153.0 5000 5000 127000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 10 257.33 257.81 1250.0 5000 5000 127000
si2-b03m-m800-03 10 208.62 208.95 183.0 5000 5000 127000
simon-r16-1.sanitized 10 0.04 0.16 17.0 5000 5000 127000
simon-r17-0.sanitized 10 0.03 0.17 12.0 5000 5000 127000
simon-r18-0.sanitized 10 0.04 0.17 12.0 5000 5000 127000
simon-r19-1.sanitized 10 0.00 0.21 8.0 5000 5000 127000
simon-r20-0.sanitized 10 0.03 0.17 12.0 5000 5000 127000
simon-r21-0.sanitized 10 0.00 0.21 8.0 5000 5000 127000
simon-r22-1.sanitized 10 0.04 0.24 16.0 5000 5000 127000
simon-r23-1.sanitized 10 0.04 0.22 12.0 5000 5000 127000
simon-r24-1.sanitized 10 0.02 0.19 11.0 5000 5000 127000
simon-r25-0.sanitized 10 0.04 0.17 18.0 5000 5000 127000
sokoban-p16.sas.ex.15-sc2016 20 2172.78 2178.56 1695.0 5000 5000 127000
sokoban-p20.sas.cr.25 20 2840.60 2844.29 7836.0 5000 5000 127000
sokoban-p20.sas.cr.33 1 4993.29 5001.09 507.0 5000 5000 127000
spg_200_316 20 150.82 151.39 517.0 5000 5000 127000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 10.26 10.37 72.0 5000 5000 127000
stable-300-0.1-20-98765432130020 10 226.43 226.60 29.0 5000 5000 127000
stb_418_125.apx_1_DC-AD 20 2803.02 2807.45 7353.0 5000 5000 127000
stb_418_125.apx_1_DC-ST 20 904.43 906.30 2514.0 5000 5000 127000
stb_418_125.apx_2_DC-AD 20 2548.41 2551.67 7282.0 5000 5000 127000
stb_495_168.apx_1_DC-AD 20 471.70 472.43 1722.0 5000 5000 127000
stb_495_168.apx_2_DC-AD 20 434.05 435.30 1630.0 5000 5000 127000
stb_531_83.apx_1_DC-ST 20 402.06 402.93 1329.0 5000 5000 127000
stb_531_83.apx_2_DC-ST 20 345.81 346.69 1115.0 5000 5000 127000
stb_588_138.apx_1_DC-AD 20 1192.03 1193.69 2707.0 5000 5000 127000
stb_588_138.apx_1_DC-ST 20 339.35 340.17 931.0 5000 5000 127000
sted5_0x1e3-20 1 4992.65 5001.09 232.0 5000 5000 127000
sted5_0x24204-50 10 52.47 52.72 37.0 5000 5000 127000
string_compare_safety_cbmc_unwinding_900 20 1533.17 1536.27 4262.0 5000 5000 127000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 10 15.88 16.23 77.0 5000 5000 127000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 10 15.55 15.76 90.0 5000 5000 127000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 10 37.81 38.15 105.0 5000 5000 127000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 20 4772.80 4778.51 12409.0 5000 5000 127000
tseitin_d3_n158.sanitized 1 4988.71 5001.09 146.0 5000 5000 127000
tseitin_d3_n162.sanitized 1 4988.39 5001.10 151.0 5000 5000 127000
tseitin_d3_n174.sanitized 1 4991.68 5001.10 170.0 5000 5000 127000
tseitin_grid_n11_m20.sanitized 1 4990.35 5001.10 156.0 5000 5000 127000
tseitingrid6x200_shuffled 1 4981.55 5001.11 205.0 5000 5000 127000
two-trees-1023v.sanitized 1 4992.64 5001.10 166.0 5000 5000 127000
two-trees-511v.sanitized 1 4995.50 5001.10 120.0 5000 5000 127000
urq45 20 738.83 740.99 4475.0 5000 5000 127000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 1 4994.14 5001.67 181.0 5000 5000 127000
worker_20_40_20_0.95 10 0.10 0.29 19.0 5000 5000 127000
worker_30_60_25_0.9 1 4984.65 5001.10 237.0 5000 5000 127000
worker_40_80_40_0.9 1 4982.48 5001.25 324.0 5000 5000 127000
worker_550_550_550_0.3 10 242.84 243.13 2508.0 5000 5000 127000
x9-08014.sat.sanitized 20 22.31 22.58 75.0 5000 5000 127000
x9-08075.sat.sanitized 20 17.01 17.31 75.0 5000 5000 127000
x9-09004.sat.sanitized 20 90.27 90.69 274.0 5000 5000 127000
x9-09007.sat.sanitized 20 68.15 68.55 212.0 5000 5000 127000
x9-09014.sat.sanitized 20 78.02 78.56 236.0 5000 5000 127000
x9-09024.sat.sanitized 20 44.67 44.96 153.0 5000 5000 127000
x9-09047.sat.sanitized 20 61.17 61.74 190.0 5000 5000 127000
x9-09051.sat.sanitized 20 82.18 82.88 250.0 5000 5000 127000
x9-09054.sat.sanitized 10 10.19 10.55 21.0 5000 5000 127000
x9-09057.sat.sanitized 20 59.19 59.59 185.0 5000 5000 127000
x9-09076.sat.sanitized 20 56.63 57.04 182.0 5000 5000 127000
x9-09098.sat.sanitized 20 93.38 93.89 273.0 5000 5000 127000
x9-10002.sat.sanitized 20 495.98 496.68 970.0 5000 5000 127000
x9-10007.sat.sanitized 20 355.01 355.57 723.0 5000 5000 127000
x9-10014.sat.sanitized 10 146.51 146.92 38.0 5000 5000 127000
x9-10027.sat.sanitized 10 84.41 84.80 29.0 5000 5000 127000
x9-10031.sat.sanitized 20 485.65 486.40 900.0 5000 5000 127000
x9-10038.sat.sanitized 10 10.46 10.72 21.0 5000 5000 127000
x9-10051.sat.sanitized 20 363.78 364.84 763.0 5000 5000 127000
x9-10076.sat.sanitized 20 258.63 259.30 588.0 5000 5000 127000
x9-10083.sat.sanitized 20 327.72 328.45 654.0 5000 5000 127000
x9-10084.sat.sanitized 20 289.79 290.67 649.0 5000 5000 127000
x9-10093.sat.sanitized 20 349.37 350.17 731.0 5000 5000 127000
x9-10096.sat.sanitized 20 279.00 279.70 625.0 5000 5000 127000
x9-10098.sat.sanitized 10 3.69 3.93 19.0 5000 5000 127000
x9-11034.sat.sanitized 10 77.20 77.47 32.0 5000 5000 127000
x9-11053.sat.sanitized 10 2638.40 2640.97 97.0 5000 5000 127000
x9-11062.sat.sanitized 10 364.07 365.05 49.0 5000 5000 127000
x9-11077.sat.sanitized 10 325.77 326.72 48.0 5000 5000 127000
x9-11088.sat.sanitized 10 935.68 937.61 65.0 5000 5000 127000
x9-11093.sat.sanitized 10 125.97 126.64 36.0 5000 5000 127000
x9-11094.sat.sanitized 10 62.91 63.47 32.0 5000 5000 127000
x9-12001.sat.sanitized 10 506.51 507.75 54.0 5000 5000 127000
x9-12014.sat.sanitized 10 77.58 77.98 32.0 5000 5000 127000
x9-12021.sat.sanitized 10 3160.98 3163.89 101.0 5000 5000 127000
x9-12035.sat.sanitized 10 1655.90 1657.65 83.0 5000 5000 127000
x9-12063.sat.sanitized 10 3766.80 3770.62 109.0 5000 5000 127000
x9-12087.sat.sanitized 10 507.88 508.90 56.0 5000 5000 127000
x9-12092.sat.sanitized 10 1836.30 1838.56 85.0 5000 5000 127000
x9-12098.sat.sanitized 10 555.90 556.98 65.0 5000 5000 127000
