 result time real space tlim rlim slim
002 10 544.45 544.97 59.0 5000 5000 127000
004 10 917.52 918.94 80.0 5000 5000 127000
1-ET-256-K-55.sanitized 1 4978.72 5001.03 138.0 5000 5000 127000
1-ET-256-K-70.sanitized 20 196.21 196.60 116.0 5000 5000 127000
1-ET-512-K-110.sanitized 1 4986.38 5001.03 557.0 5000 5000 127000
1-ET-512-K-96.sanitized 1 4987.39 5001.04 559.0 5000 5000 127000
1-TC-256-K-64.sanitized 20 2473.54 2484.55 101.0 5000 5000 127000
1-TC-256-K-68.sanitized 20 393.48 394.21 113.0 5000 5000 127000
1-TC-256-K-71.sanitized 20 104.07 104.29 118.0 5000 5000 127000
1-ZC-1024-K-116.sanitized 1 4987.49 5001.03 1426.0 5000 5000 127000
1-ZC-1024-K-117.sanitized 1 4994.34 5001.04 1386.0 5000 5000 127000
1-ZC-512-K-60.sanitized 10 1168.33 1171.30 207.0 5000 5000 127000
1-ZC-512-K-61.sanitized 10 743.19 745.16 211.0 5000 5000 127000
1-ZC-512-K-63.sanitized 1 4989.30 5001.04 327.0 5000 5000 127000
1-ZC-512-K-64.sanitized 1 4995.43 5001.04 340.0 5000 5000 127000
1-ZC-512-K-65.sanitized 1 4989.92 5001.04 280.0 5000 5000 127000
1-ZC-512-K-67.sanitized 1 4991.95 5001.03 290.0 5000 5000 127000
128_100.sanitized 10 669.73 670.20 37784.0 5000 5000 127000
128_125.sanitized 10 856.22 856.57 47403.0 5000 5000 127000
128_75.sanitized 10 490.43 490.63 28444.0 5000 5000 127000
170058440 1 4997.78 5001.03 103.0 5000 5000 127000
2dlx_ca_bp_f_liveness 1 4993.09 5001.04 1080.0 5000 5000 127000
32_100.sanitized 10 196.69 196.89 10822.0 5000 5000 127000
32_200.sanitized 10 355.94 356.10 21647.0 5000 5000 127000
32_325.sanitized 10 668.03 668.18 35061.0 5000 5000 127000
32_350.sanitized 10 658.01 658.26 37776.0 5000 5000 127000
64_150.sanitized 10 504.95 505.15 28665.0 5000 5000 127000
64_200.sanitized 10 705.91 706.45 38044.0 5000 5000 127000
64_25.sanitized 10 95.59 95.70 4758.0 5000 5000 127000
6g_6color_366_050_04 1 4991.74 5001.04 1313.0 5000 5000 127000
6s130-opt 20 1303.33 1309.75 97.0 5000 5000 127000
6s167-opt 20 1.18 1.22 9.0 5000 5000 127000
Break_08_24.xml 10 0.70 0.71 9.0 5000 5000 127000
Break_18_32.xml 1 4979.84 5001.03 313.0 5000 5000 127000
Break_20_72.xml 1 4987.40 5001.04 1090.0 5000 5000 127000
Break_triple_20_36.xml 1 4992.53 5001.03 315.0 5000 5000 127000
Break_unsat_04_03.xml 20 0.00 0.08 0.0 5000 5000 127000
Break_unsat_06_07.xml 20 1.69 1.80 7.0 5000 5000 127000
Break_unsat_14_23.xml 1 4988.81 5001.03 214.0 5000 5000 127000
Break_unsat_16_27.xml 1 4988.58 5001.03 245.0 5000 5000 127000
Break_unsat_18_31.xml 1 4991.26 5001.04 333.0 5000 5000 127000
Circuit_multiplier22 10 185.39 186.00 34.0 5000 5000 127000
DLTM_twitter774_83_17 10 1161.23 1163.17 65.0 5000 5000 127000
Dodecahedron-k7 1 4984.84 5001.04 135.0 5000 5000 127000
EDP3-11000 10 54.52 54.70 200.0 5000 5000 127000
ER_400_20_4.apx_1_DC-AD 20 874.59 878.29 66.0 5000 5000 127000
ER_400_20_4.apx_2_DC-AD 20 914.35 917.51 60.0 5000 5000 127000
ER_400_20_4.apx_2_DC-ST 20 400.66 401.99 35.0 5000 5000 127000
ER_400_20_7.apx_1_DC-AD 20 1457.51 1463.77 82.0 5000 5000 127000
ER_400_20_7.apx_2_DC-AD 1 4995.90 5001.04 195.0 5000 5000 127000
ER_400_20_7.apx_2_DC-ST 20 3077.92 3088.75 137.0 5000 5000 127000
ER_500_30_3.apx_1_DC-ST 20 342.68 343.73 42.0 5000 5000 127000
ER_500_30_3.apx_2_DC-AD 20 1274.06 1278.19 83.0 5000 5000 127000
FmlaEquivChain_4_6_6.sanitized 20 35.90 35.99 129.0 5000 5000 127000
FmlaEquivChain_4_8_8.sanitized 20 3900.78 3908.91 897.0 5000 5000 127000
FmlaImplyChain_3_7_7.sanitized 20 313.88 314.74 76.0 5000 5000 127000
FmlaImplyChain_3_7_8.sanitized 1 4988.60 5001.03 409.0 5000 5000 127000
Folkman-175-1251868.sanitized 10 453.30 455.03 55.0 5000 5000 127000
Folkman-175-7416734.sanitized 10 299.63 299.99 51.0 5000 5000 127000
Folkman-175-9054056.sanitized 1 4993.09 5001.04 118.0 5000 5000 127000
Folkman-180-11710376.sanitized 10 418.49 419.63 53.0 5000 5000 127000
Folkman-180-5383714.sanitized 10 488.18 489.66 57.0 5000 5000 127000
Folkman-185-152478531.sanitized 1 4987.03 5001.03 141.0 5000 5000 127000
Folkman-185-19924337.sanitized 10 4580.57 4592.98 125.0 5000 5000 127000
Folkman-185-75415683.sanitized 1 4989.85 5001.04 140.0 5000 5000 127000
Folkman-190-104806020.sanitized 1 4987.84 5001.04 138.0 5000 5000 127000
Folkman-190-358004741.sanitized 1 4988.41 5001.03 131.0 5000 5000 127000
Folkman-190-66337703.sanitized 1 4986.47 5001.03 127.0 5000 5000 127000
GracefulGraph-K05-P02_c18 10 93.46 93.81 25.0 5000 5000 127000
HCP-446-105 10 2892.12 2900.98 116.0 5000 5000 127000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 1156.04 1157.80 88.0 5000 5000 127000
ITC2021_Early_10.xml 1 4982.29 5001.04 407.0 5000 5000 127000
ITC2021_Early_3.xml 10 0.90 1.00 37.0 5000 5000 127000
ITC2021_Middle_1.xml 1 4995.51 5001.04 281.0 5000 5000 127000
Kakuro-easy-097-ext.xml.hg_4 20 2521.67 2523.34 3509.0 5000 5000 127000
MASG0_72_keystream76_0 10 1980.24 1987.49 21.0 5000 5000 127000
Nb13T165 1 4989.13 5001.04 2717.0 5000 5000 127000
Nb44T6 20 2392.99 2393.92 2661.0 5000 5000 127000
Ptn-7824-b18 10 363.28 363.71 35.0 5000 5000 127000
REGRandom-K3-L3-Seed25.sanitized 20 10.50 10.55 77.0 5000 5000 127000
REGRandom-K4-L1-Seed30.sanitized 20 36.21 36.34 175.0 5000 5000 127000
REGRandom-K4-L2-Seed35.sanitized 20 1798.25 1803.37 1044.0 5000 5000 127000
REGRandom-K4-L3-Seed40.sanitized 1 4992.93 5001.03 3349.0 5000 5000 127000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 20 2833.79 2841.30 88.0 5000 5000 127000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 1 4998.08 5001.03 203.0 5000 5000 127000
Schur_161_5_d38 1 4988.55 5001.03 149.0 5000 5000 127000
StConn_7_128.sanitized 20 4790.04 4802.36 209.0 5000 5000 127000
StConn_8_32.sanitized 20 614.45 615.99 65.0 5000 5000 127000
T105.2.0 20 585.98 586.37 4383.0 5000 5000 127000
Timetable_C_392_E_62_Cl_26_S_28 10 60.59 60.70 511.0 5000 5000 127000
VanDerWaerden_2-3-14_186 1 4992.79 5001.03 130.0 5000 5000 127000
WS_500_16_70_10.apx_1_DC-ST 20 572.85 573.89 32.0 5000 5000 127000
WS_500_16_70_10.apx_2_DC-AD 20 958.27 960.56 41.0 5000 5000 127000
WS_500_16_90_70.apx_2_DC-AD 20 785.62 787.25 38.0 5000 5000 127000
af-synthesis_stb_50_100_4_sat 10 1037.52 1038.82 120.0 5000 5000 127000
af-synthesis_stb_50_100_9_sat 10 99.54 99.89 84.0 5000 5000 127000
af-synthesis_stb_50_100_9_unsat 20 1220.25 1224.65 115.0 5000 5000 127000
af-synthesis_stb_50_120_4_sat 10 241.86 242.31 98.0 5000 5000 127000
af-synthesis_stb_50_140_0_unsat 20 1313.72 1315.11 133.0 5000 5000 127000
af-synthesis_stb_50_140_1_unsat 20 2436.30 2440.42 146.0 5000 5000 127000
af-synthesis_stb_50_140_3_unsat 20 447.64 448.73 111.0 5000 5000 127000
af-synthesis_stb_50_200_0_sat 10 350.13 350.63 145.0 5000 5000 127000
af-synthesis_stb_50_200_0_unsat 20 1312.03 1313.58 168.0 5000 5000 127000
af-synthesis_stb_50_200_4_unsat 20 766.37 767.06 151.0 5000 5000 127000
af-synthesis_stb_50_40_2_unsat 20 752.44 753.69 59.0 5000 5000 127000
af-synthesis_stb_50_40_9_sat 10 1998.75 2003.38 66.0 5000 5000 127000
af-synthesis_stb_50_40_9_unsat 20 2440.24 2447.23 70.0 5000 5000 127000
apn-sbox5-cut3-symmbreak 1 4992.72 5001.04 212.0 5000 5000 127000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 10 1363.36 1368.47 208.0 5000 5000 127000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 10 947.04 949.02 230.0 5000 5000 127000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 20 1377.27 1384.10 207.0 5000 5000 127000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 20 619.12 619.89 193.0 5000 5000 127000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 20 648.22 650.27 167.0 5000 5000 127000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 20 1394.08 1399.18 207.0 5000 5000 127000
atco_enc1_opt1_10_15 10 169.97 170.18 71.0 5000 5000 127000
barman-pfile06-022.sas.ex.7 20 4.90 4.93 258.0 5000 5000 127000
battleship-14-26-sat 10 230.62 231.03 166.0 5000 5000 127000
bmc_QICE_snp_vld_30 20 1226.58 1227.15 6988.0 5000 5000 127000
bphp_p23_h22.sanitized 1 4989.45 5001.04 144.0 5000 5000 127000
bvsub_19952 1 4989.23 5001.04 3379.0 5000 5000 127000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 10 162.33 162.98 469.0 5000 5000 127000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 10 504.46 505.38 381.0 5000 5000 127000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 10 500.86 501.40 434.0 5000 5000 127000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 10 1231.25 1232.61 547.0 5000 5000 127000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 1 4989.42 5001.04 300.0 5000 5000 127000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 10 1824.64 1829.91 336.0 5000 5000 127000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 10 473.41 474.01 364.0 5000 5000 127000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 1 4990.22 5001.04 458.0 5000 5000 127000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 1 4989.99 5001.03 160.0 5000 5000 127000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 10 513.68 515.43 513.0 5000 5000 127000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 10 45.08 45.27 64.0 5000 5000 127000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 10 11.12 11.40 44.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 10 40.91 41.08 52.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 10 32.61 32.74 50.0 5000 5000 127000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 10 127.82 128.11 144.0 5000 5000 127000
clique_n2_k10.sanitized 20 18.82 18.93 11.0 5000 5000 127000
cliquecolouring_n13_k8_c7.sanitized 1 4988.33 5001.03 239.0 5000 5000 127000
cliquecolouring_n13_k9_c8.sanitized 1 4988.57 5001.03 140.0 5000 5000 127000
cliquecolouring_n15_k9_c8.sanitized 1 4991.96 5001.03 278.0 5000 5000 127000
cliquecolouring_n21_k6_c5.sanitized 1 4988.45 5001.03 184.0 5000 5000 127000
cliquecolouring_n31_k5_c4.sanitized 1 4993.80 5001.03 670.0 5000 5000 127000
cliquecolouring_n41_k5_c4.sanitized 1 4996.92 5001.04 868.0 5000 5000 127000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 10 24.44 24.58 15.0 5000 5000 127000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 10 1060.46 1062.48 51.0 5000 5000 127000
constraints_16_0.3_1.sanitized 20 285.26 285.82 33.0 5000 5000 127000
constraints_16_0.4_1.sanitized 20 186.03 186.89 57.0 5000 5000 127000
constraints_16_0.5_1.sanitized 20 183.35 183.99 66.0 5000 5000 127000
constraints_17_0.3_2.sanitized 20 98.52 99.14 68.0 5000 5000 127000
constraints_17_0.4_1.sanitized 10 19.25 19.31 105.0 5000 5000 127000
constraints_17_0.4_2.sanitized 20 82.06 82.40 109.0 5000 5000 127000
constraints_17_0.5_2.sanitized 20 130.31 130.47 161.0 5000 5000 127000
constraints_18_0.3_2.sanitized 20 597.21 598.58 120.0 5000 5000 127000
constraints_18_0.4_2.sanitized 20 765.84 768.94 286.0 5000 5000 127000
constraints_18_0.5_2.sanitized 20 719.15 722.43 346.0 5000 5000 127000
constraints_25_4_5_12_12_0_0_0.sanitized 20 516.09 516.82 57.0 5000 5000 127000
crafted_n12_d6_c4_num23 20 440.10 441.89 2584.0 5000 5000 127000
crn_11_99_u 20 0.97 1.03 7.0 5000 5000 127000
ctl_4201_555_unsat_pre 20 2657.41 2666.89 95.0 5000 5000 127000
ctl_4291_567_2_unsat-sc2013 20 2426.75 2434.08 91.0 5000 5000 127000
ctl_4291_567_9_unsat 20 1051.95 1055.29 83.0 5000 5000 127000
ecarev-110-4099-22-30-7 10 532.23 534.33 224.0 5000 5000 127000
ex065_25 10 3482.49 3492.31 132.0 5000 5000 127000
exam_flat_0.04_2018_3 10 4453.24 4456.56 1014.0 5000 5000 127000
f9idw 20 329.72 330.55 688.0 5000 5000 127000
fermat-931960058139995587 1 4987.76 5001.03 73.0 5000 5000 127000
fixedbandwidth-eq-31_shuffled 1 4996.47 5001.03 122.0 5000 5000 127000
frb45-21-2.used-as.sat04-884 10 224.87 225.42 33.0 5000 5000 127000
frb65-12-2.used-as.sat04-874 10 35.01 35.14 17.0 5000 5000 127000
g2-T93.2.1 20 1200.28 1200.78 4890.0 5000 5000 127000
g2-ak128boothbg2msaig 10 26.19 26.27 673.0 5000 5000 127000
g2-ak128boothbg2msisc 10 15.20 15.22 521.0 5000 5000 127000
g2-hwmcc15deep-6s161-k17 20 2301.54 2306.22 78.0 5000 5000 127000
g2-hwmcc15deep-bob12s02-k16 1 4987.63 5001.04 366.0 5000 5000 127000
g2-slp-synthesis-aes-top30 10 320.38 321.37 126.0 5000 5000 127000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 20 974.93 976.56 450.0 5000 5000 127000
goldcrest-and-9 20 340.45 341.58 440.0 5000 5000 127000
grs-64-128 20 1692.31 1699.14 436.0 5000 5000 127000
grs-64-64 20 462.36 464.58 170.0 5000 5000 127000
hcp_CP18_18 10 540.15 540.66 168.0 5000 5000 127000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 20 668.75 669.46 42.0 5000 5000 127000
hwmcc12miters-xits-iso-6s111.sanitized 1 4995.76 5001.04 794.0 5000 5000 127000
hwmcc17miters-xits-iso-6s281b35.sanitized 1 4992.86 5001.04 2686.0 5000 5000 127000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 1 4983.06 5001.03 117.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 20 474.03 474.38 1965.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 20 1071.26 1073.45 1957.0 5000 5000 127000
hwmcc20miters-iso-mul2.sanitized 20 5.20 5.25 173.0 5000 5000 127000
hwmcc20miters-iso-mul3.sanitized 20 22.54 22.64 702.0 5000 5000 127000
hwmcc20miters-iso-mul7.sanitized 20 24.29 24.33 705.0 5000 5000 127000
hwmcc20miters-iso-rast-p06.sanitized 1 4989.22 5001.03 165.0 5000 5000 127000
hwmcc20miters-iso-rast-p11.sanitized 1 4977.93 5001.04 179.0 5000 5000 127000
j3037_10_mdd_b 10 46.08 46.29 30.0 5000 5000 127000
j3037_10_mdd_bm1 20 68.93 69.02 28.0 5000 5000 127000
j3037_10_rggt_b 10 81.03 81.28 30.0 5000 5000 127000
j3037_1_gmto_b 10 557.11 558.03 39.0 5000 5000 127000
j3037_1_mdd_b 10 191.47 191.68 37.0 5000 5000 127000
j3037_9_mdd_bm1 1 4994.67 5001.03 85.0 5000 5000 127000
j3037_9_rggt_b 10 1301.60 1306.59 51.0 5000 5000 127000
j3045_10_gmto_b 10 4046.97 4057.36 75.0 5000 5000 127000
j3045_10_rggt_b 10 783.80 784.90 42.0 5000 5000 127000
j3045_4_gmto_b 10 268.96 269.52 30.0 5000 5000 127000
j3045_4_mdd_bm1 20 932.73 938.55 41.0 5000 5000 127000
jgiraldezlevy.2200.9086.08.40.41 10 178.57 178.88 20.0 5000 5000 127000
lec_mult_CvD_11x11.sanitized 20 2740.67 2746.28 49.0 5000 5000 127000
lec_mult_CvK_11x10.sanitized 20 1402.39 1409.42 29.0 5000 5000 127000
lec_mult_CvK_11x11.sanitized 20 3506.58 3519.11 40.0 5000 5000 127000
lec_mult_CvK_12x11.sanitized 1 4981.64 5001.03 49.0 5000 5000 127000
lec_mult_CvK_12x12.sanitized 1 4985.53 5001.03 56.0 5000 5000 127000
lec_mult_CvW_12x11.sanitized 1 4986.73 5001.04 70.0 5000 5000 127000
lec_mult_CvW_12x12.sanitized 1 4990.04 5001.03 75.0 5000 5000 127000
lec_mult_DvK_11x10.sanitized 20 1443.38 1450.57 28.0 5000 5000 127000
lec_mult_DvK_12x12.sanitized 1 4991.52 5001.03 55.0 5000 5000 127000
lec_mult_DvW_11x10.sanitized 20 1148.39 1152.15 41.0 5000 5000 127000
lec_mult_DvW_12x11.sanitized 1 4991.10 5001.03 68.0 5000 5000 127000
lec_mult_DvW_12x12.sanitized 1 4994.16 5001.04 69.0 5000 5000 127000
lec_mult_KvW_10x10.sanitized 20 599.84 602.19 23.0 5000 5000 127000
lec_mult_KvW_11x10.sanitized 20 1424.28 1428.89 33.0 5000 5000 127000
lec_mult_KvW_12x11.sanitized 1 4983.82 5001.03 48.0 5000 5000 127000
linked_list_swap_contents_safety_unwind45 20 405.37 406.17 4553.0 5000 5000 127000
linked_list_swap_contents_safety_unwind54 20 455.30 455.85 6094.0 5000 5000 127000
linked_list_swap_contents_safety_unwind57 20 307.44 307.75 6672.0 5000 5000 127000
linked_list_swap_contents_safety_unwind62 20 479.80 480.36 7879.0 5000 5000 127000
linked_list_swap_contents_safety_unwind63 20 403.41 403.76 8355.0 5000 5000 127000
linked_list_swap_contents_safety_unwind65 20 963.78 965.72 8944.0 5000 5000 127000
linked_list_swap_contents_safety_unwind68 20 1271.97 1273.28 9652.0 5000 5000 127000
linked_list_swap_contents_safety_unwind69 20 2462.03 2467.20 9859.0 5000 5000 127000
linked_list_swap_contents_safety_unwind70 20 1295.39 1296.98 10124.0 5000 5000 127000
linked_list_swap_contents_safety_unwind73 20 1355.38 1357.37 10827.0 5000 5000 127000
linked_list_swap_contents_safety_unwind76 20 3198.13 3203.67 11625.0 5000 5000 127000
linked_list_swap_contents_safety_unwind78 20 2123.72 2129.02 12115.0 5000 5000 127000
linked_list_swap_contents_safety_unwind80 20 2436.72 2441.55 12654.0 5000 5000 127000
lru_10.sanitized 10 792.79 793.59 41863.0 5000 5000 127000
lru_6.sanitized 10 466.25 466.47 25146.0 5000 5000 127000
lru_7.sanitized 10 440.78 441.10 29325.0 5000 5000 127000
lru_8.sanitized 10 602.28 602.85 33504.0 5000 5000 127000
lru_9.sanitized 10 690.05 690.38 37683.0 5000 5000 127000
manol-pipe-g10bid_i 20 283.02 283.35 350.0 5000 5000 127000
marg5x5.shuffled-as.sat03-1455 1 4992.30 5001.03 159.0 5000 5000 127000
mchess_15 20 60.33 60.50 22.0 5000 5000 127000
mchess_16 20 214.46 214.91 33.0 5000 5000 127000
mchess_17 20 3268.43 3271.46 113.0 5000 5000 127000
md5_48_1 10 182.13 182.51 121.0 5000 5000 127000
mdp-28-10-unsat 20 2388.21 2394.88 66.0 5000 5000 127000
mdp-28-11-sat 10 1073.64 1076.78 51.0 5000 5000 127000
mdp-28-14-sat 10 36.77 36.91 18.0 5000 5000 127000
mdp-28-14-unsat 20 3285.20 3294.15 73.0 5000 5000 127000
mdp-28-16-unsat 20 2439.36 2446.28 59.0 5000 5000 127000
mdp-32-10-sat 10 1871.79 1875.37 40.0 5000 5000 127000
mdp-32-10-unsat 1 4992.90 5001.03 67.0 5000 5000 127000
mdp-32-11-sat 1 4991.59 5001.03 59.0 5000 5000 127000
mdp-32-11-unsat 1 4992.71 5001.03 64.0 5000 5000 127000
mdp-32-12-unsat 1 4992.83 5001.03 63.0 5000 5000 127000
mdp-32-14-sat 1 4991.79 5001.03 74.0 5000 5000 127000
mdp-32-14-unsat 1 4991.70 5001.03 63.0 5000 5000 127000
mdp-32-16-sat 10 1382.44 1385.27 40.0 5000 5000 127000
mdp-36-10-sat 1 4991.60 5001.03 64.0 5000 5000 127000
mdp-36-10-unsat 1 4992.51 5001.03 69.0 5000 5000 127000
mdp-36-12-unsat 1 4991.90 5001.03 61.0 5000 5000 127000
mdp-36-14-sat 1 4992.12 5001.03 64.0 5000 5000 127000
mp1-Nb5T15 10 37.38 37.60 25.0 5000 5000 127000
mp1-Nb7T42 10 469.15 470.53 170.0 5000 5000 127000
mp1-blockpuzzle_5x10_s7_free4 20 117.08 130.00 44.0 5000 5000 127000
mp1-klieber2017s-0500-023-t12 10 520.85 521.33 44.0 5000 5000 127000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 20 76.09 76.38 21.0 5000 5000 127000
mrpp_4x4#12_12 20 13.50 13.55 14.0 5000 5000 127000
mulhs016-sc2009 1 4991.10 5001.03 70.0 5000 5000 127000
noL-11-0.sanitized 1 4990.77 5001.03 139.0 5000 5000 127000
noL-11-10.sanitized 10 121.95 122.49 31.0 5000 5000 127000
noL-11-12.sanitized 10 690.85 693.53 53.0 5000 5000 127000
noL-11-14.sanitized 10 58.29 58.57 23.0 5000 5000 127000
noL-11-16.sanitized 10 41.41 41.53 20.0 5000 5000 127000
noL-11-18.sanitized 10 979.30 983.11 55.0 5000 5000 127000
noL-11-2.sanitized 1 4982.84 5001.03 119.0 5000 5000 127000
noL-11-20.sanitized 10 590.16 592.42 49.0 5000 5000 127000
noL-11-4.sanitized 1 4990.84 5001.03 123.0 5000 5000 127000
noL-11-6.sanitized 10 511.53 513.21 47.0 5000 5000 127000
noL-11-8.sanitized 1 4990.11 5001.03 119.0 5000 5000 127000
oisc-subrv-sll-nested-11 20 2851.48 2860.42 8471.0 5000 5000 127000
oisc-subrv-sll-nested-13 1 4993.01 5001.04 11703.0 5000 5000 127000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 1 4981.95 5001.03 194.0 5000 5000 127000
or_randxor_k3_n510_m510.sanitized 20 5.59 5.65 8.0 5000 5000 127000
pb_300_05_lb_17 10 248.59 249.48 193.0 5000 5000 127000
pb_300_09_lb_07 10 36.71 37.00 183.0 5000 5000 127000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 20 101.03 101.38 18.0 5000 5000 127000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 10 3467.83 3481.24 124.0 5000 5000 127000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 20 837.50 839.50 50.0 5000 5000 127000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 20 206.00 206.82 24.0 5000 5000 127000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 1 4991.40 5001.03 101.0 5000 5000 127000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 1 4986.22 5001.03 170.0 5000 5000 127000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 20 219.03 219.46 31.0 5000 5000 127000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 1 4977.45 5001.03 142.0 5000 5000 127000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 1 4985.81 5001.03 152.0 5000 5000 127000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 20 278.50 279.13 35.0 5000 5000 127000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 20 2216.27 2230.35 97.0 5000 5000 127000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 1 4978.10 5001.03 154.0 5000 5000 127000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 1 4978.65 5001.03 147.0 5000 5000 127000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 1 4988.55 5001.03 171.0 5000 5000 127000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 1 4977.22 5001.03 219.0 5000 5000 127000
post-cbmc-aes-ee-r3-noholes 20 736.35 738.94 665.0 5000 5000 127000
preimage_80r_495m_160h_seed_379 10 301.74 302.71 87.0 5000 5000 127000
qwh.50.1250.shuffled-as.sat03-1655 10 111.75 112.02 87.0 5000 5000 127000
qwh.60.1728.shuffled-as.sat03-1659 10 1130.82 1136.07 229.0 5000 5000 127000
rbsat-v1150c84314gyes1 1 4992.80 5001.03 356.0 5000 5000 127000
rbsat-v760c43649gyes3 10 4451.26 4463.59 98.0 5000 5000 127000
rbsat-v760c43649gyes7 10 2712.80 2721.29 104.0 5000 5000 127000
rbsat-v760c43649gyes9 10 335.57 336.48 36.0 5000 5000 127000
rbsat-v945c61409gyes9-sc2009 10 841.53 843.82 52.0 5000 5000 127000
rook-42-0-1 20 481.97 483.89 115.0 5000 5000 127000
rook-56-0-0 20 1197.89 1199.25 258.0 5000 5000 127000
rook-56-1-1 20 1397.96 1402.01 255.0 5000 5000 127000
rphp_p8_r160.sanitized 1 4988.00 5001.03 3291.0 5000 5000 127000
rphp_p8_r170.sanitized 1 4991.85 5001.03 3771.0 5000 5000 127000
sgen1-sat-180-100 10 850.52 851.57 50.0 5000 5000 127000
sgen1-unsat-121-100 1 4994.11 5001.03 124.0 5000 5000 127000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 10 205.05 205.70 1069.0 5000 5000 127000
si2-b03m-m800-03 10 7.50 7.55 194.0 5000 5000 127000
simon-r16-1.sanitized 10 0.00 0.11 0.0 5000 5000 127000
simon-r17-0.sanitized 10 0.00 0.11 0.0 5000 5000 127000
simon-r18-0.sanitized 10 0.00 0.07 0.0 5000 5000 127000
simon-r19-1.sanitized 10 0.06 0.14 8.0 5000 5000 127000
simon-r20-0.sanitized 10 0.00 0.08 0.0 5000 5000 127000
simon-r21-0.sanitized 10 0.10 0.12 9.0 5000 5000 127000
simon-r22-1.sanitized 10 0.00 0.09 0.0 5000 5000 127000
simon-r23-1.sanitized 10 0.00 0.09 0.0 5000 5000 127000
simon-r24-1.sanitized 10 0.10 0.16 9.0 5000 5000 127000
simon-r25-0.sanitized 10 0.09 0.17 9.0 5000 5000 127000
sokoban-p16.sas.ex.15-sc2016 20 2911.93 2916.83 2065.0 5000 5000 127000
sokoban-p20.sas.cr.25 20 4439.39 4458.10 282.0 5000 5000 127000
sokoban-p20.sas.cr.33 1 4990.00 5001.03 353.0 5000 5000 127000
spg_200_316 20 871.81 873.47 635.0 5000 5000 127000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 2.70 2.78 30.0 5000 5000 127000
stable-300-0.1-20-98765432130020 10 1.70 1.79 13.0 5000 5000 127000
stb_418_125.apx_1_DC-AD 20 2586.05 2589.07 70.0 5000 5000 127000
stb_418_125.apx_1_DC-ST 20 1055.85 1058.58 41.0 5000 5000 127000
stb_418_125.apx_2_DC-AD 20 2025.85 2027.78 64.0 5000 5000 127000
stb_495_168.apx_1_DC-AD 20 484.79 486.37 34.0 5000 5000 127000
stb_495_168.apx_2_DC-AD 20 399.32 399.54 33.0 5000 5000 127000
stb_531_83.apx_1_DC-ST 20 496.58 497.11 30.0 5000 5000 127000
stb_531_83.apx_2_DC-ST 20 364.61 365.15 30.0 5000 5000 127000
stb_588_138.apx_1_DC-AD 20 1016.20 1017.93 39.0 5000 5000 127000
stb_588_138.apx_1_DC-ST 20 407.50 408.31 32.0 5000 5000 127000
sted5_0x1e3-20 1 4987.27 5001.03 95.0 5000 5000 127000
sted5_0x24204-50 10 363.84 364.54 32.0 5000 5000 127000
string_compare_safety_cbmc_unwinding_900 20 2263.30 2269.05 6790.0 5000 5000 127000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 10 69.92 70.09 72.0 5000 5000 127000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 10 48.23 48.40 86.0 5000 5000 127000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 10 67.35 67.53 99.0 5000 5000 127000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 1 4998.00 5001.04 968.0 5000 5000 127000
tseitin_d3_n158.sanitized 1 4994.41 5001.04 189.0 5000 5000 127000
tseitin_d3_n162.sanitized 1 4985.63 5001.03 163.0 5000 5000 127000
tseitin_d3_n174.sanitized 1 4993.97 5001.03 186.0 5000 5000 127000
tseitin_grid_n11_m20.sanitized 20 3699.09 3706.79 171.0 5000 5000 127000
tseitingrid6x200_shuffled 1 4985.27 5001.03 242.0 5000 5000 127000
two-trees-1023v.sanitized 1 4992.75 5001.03 82.0 5000 5000 127000
two-trees-511v.sanitized 10 2344.11 2346.62 49.0 5000 5000 127000
urq45 20 693.85 695.82 61.0 5000 5000 127000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 1 4987.72 5001.03 97.0 5000 5000 127000
worker_20_40_20_0.95 10 0.26 0.40 6.0 5000 5000 127000
worker_30_60_25_0.9 1 4990.16 5001.03 1042.0 5000 5000 127000
worker_40_80_40_0.9 1 4995.74 5001.04 1291.0 5000 5000 127000
worker_550_550_550_0.3 10 113.35 113.41 1756.0 5000 5000 127000
x9-08014.sat.sanitized 20 35.62 35.72 13.0 5000 5000 127000
x9-08075.sat.sanitized 20 32.18 32.27 12.0 5000 5000 127000
x9-09004.sat.sanitized 20 111.44 111.51 18.0 5000 5000 127000
x9-09007.sat.sanitized 20 78.58 78.75 16.0 5000 5000 127000
x9-09014.sat.sanitized 20 91.68 91.95 18.0 5000 5000 127000
x9-09024.sat.sanitized 20 56.17 56.26 14.0 5000 5000 127000
x9-09047.sat.sanitized 20 68.66 68.79 17.0 5000 5000 127000
x9-09051.sat.sanitized 20 92.36 92.52 18.0 5000 5000 127000
x9-09054.sat.sanitized 10 12.06 12.11 10.0 5000 5000 127000
x9-09057.sat.sanitized 20 75.16 75.36 21.0 5000 5000 127000
x9-09076.sat.sanitized 20 59.99 60.06 16.0 5000 5000 127000
x9-09098.sat.sanitized 20 115.00 115.34 18.0 5000 5000 127000
x9-10002.sat.sanitized 20 697.60 699.62 35.0 5000 5000 127000
x9-10007.sat.sanitized 20 356.31 357.41 29.0 5000 5000 127000
x9-10014.sat.sanitized 10 293.76 294.72 28.0 5000 5000 127000
x9-10027.sat.sanitized 10 94.65 94.83 18.0 5000 5000 127000
x9-10031.sat.sanitized 20 623.23 626.24 33.0 5000 5000 127000
x9-10038.sat.sanitized 10 353.68 354.90 27.0 5000 5000 127000
x9-10051.sat.sanitized 20 360.82 361.79 27.0 5000 5000 127000
x9-10076.sat.sanitized 20 295.97 296.55 23.0 5000 5000 127000
x9-10083.sat.sanitized 20 321.68 322.66 26.0 5000 5000 127000
x9-10084.sat.sanitized 20 260.12 261.09 25.0 5000 5000 127000
x9-10093.sat.sanitized 20 351.09 351.80 27.0 5000 5000 127000
x9-10096.sat.sanitized 20 312.02 313.03 28.0 5000 5000 127000
x9-10098.sat.sanitized 10 30.09 30.17 13.0 5000 5000 127000
x9-11034.sat.sanitized 10 572.59 573.94 40.0 5000 5000 127000
x9-11053.sat.sanitized 10 201.83 202.34 25.0 5000 5000 127000
x9-11062.sat.sanitized 10 600.09 601.89 33.0 5000 5000 127000
x9-11077.sat.sanitized 10 1413.01 1417.20 43.0 5000 5000 127000
x9-11088.sat.sanitized 10 347.19 348.08 28.0 5000 5000 127000
x9-11093.sat.sanitized 10 28.19 28.30 12.0 5000 5000 127000
x9-11094.sat.sanitized 10 894.66 897.17 44.0 5000 5000 127000
x9-12001.sat.sanitized 10 749.22 751.14 35.0 5000 5000 127000
x9-12014.sat.sanitized 10 108.59 108.98 19.0 5000 5000 127000
x9-12021.sat.sanitized 10 789.09 791.05 40.0 5000 5000 127000
x9-12035.sat.sanitized 10 1029.26 1031.68 42.0 5000 5000 127000
x9-12063.sat.sanitized 10 1979.27 1983.96 55.0 5000 5000 127000
x9-12087.sat.sanitized 10 387.08 388.03 31.0 5000 5000 127000
x9-12092.sat.sanitized 10 3209.18 3216.03 65.0 5000 5000 127000
x9-12098.sat.sanitized 10 233.57 234.03 25.0 5000 5000 127000
