 result time real space tlim rlim slim
002 1 4987.47 5001.03 329.0 5000 5000 127000
004 10 4171.11 4181.18 308.0 5000 5000 127000
1-ET-256-K-55.sanitized 1 4989.44 5001.03 249.0 5000 5000 127000
1-ET-256-K-70.sanitized 20 124.06 124.53 139.0 5000 5000 127000
1-ET-512-K-110.sanitized 1 4981.80 5001.03 1271.0 5000 5000 127000
1-ET-512-K-96.sanitized 1 4979.90 5001.03 1307.0 5000 5000 127000
1-TC-256-K-64.sanitized 20 2663.06 2668.40 145.0 5000 5000 127000
1-TC-256-K-68.sanitized 20 186.46 187.37 155.0 5000 5000 127000
1-TC-256-K-71.sanitized 20 117.53 117.92 123.0 5000 5000 127000
1-ZC-1024-K-116.sanitized 1 4979.55 5001.03 1651.0 5000 5000 127000
1-ZC-1024-K-117.sanitized 1 4989.57 5001.03 2129.0 5000 5000 127000
1-ZC-512-K-60.sanitized 10 165.84 166.38 237.0 5000 5000 127000
1-ZC-512-K-61.sanitized 10 321.72 323.37 274.0 5000 5000 127000
1-ZC-512-K-63.sanitized 1 4988.28 5001.03 734.0 5000 5000 127000
1-ZC-512-K-64.sanitized 1 4979.48 5001.03 603.0 5000 5000 127000
1-ZC-512-K-65.sanitized 1 4979.68 5001.03 654.0 5000 5000 127000
1-ZC-512-K-67.sanitized 1 4979.98 5001.03 576.0 5000 5000 127000
128_100.sanitized 10 354.34 354.47 22481.0 5000 5000 127000
128_125.sanitized 10 447.26 447.32 28115.0 5000 5000 127000
128_75.sanitized 10 268.94 269.20 16849.0 5000 5000 127000
170058440 10 19.50 19.58 16.0 5000 5000 127000
2dlx_ca_bp_f_liveness 1 4985.18 5001.03 900.0 5000 5000 127000
32_100.sanitized 10 478.33 480.01 6430.0 5000 5000 127000
32_200.sanitized 10 864.26 865.23 12846.0 5000 5000 127000
32_325.sanitized 10 960.85 961.32 20867.0 5000 5000 127000
32_350.sanitized 10 1200.25 1201.21 22472.0 5000 5000 127000
64_150.sanitized 10 358.24 358.50 17071.0 5000 5000 127000
64_200.sanitized 10 463.62 463.81 21143.0 5000 5000 127000
64_25.sanitized 10 58.40 58.50 2886.0 5000 5000 127000
6g_6color_366_050_04 1 4990.92 5001.04 1466.0 5000 5000 127000
6s130-opt 20 619.83 621.94 89.0 5000 5000 127000
6s167-opt 20 45.43 45.52 23.0 5000 5000 127000
Break_08_24.xml 10 0.90 0.99 9.0 5000 5000 127000
Break_18_32.xml 1 4987.54 5001.03 330.0 5000 5000 127000
Break_20_72.xml 1 4984.56 5001.04 269.0 5000 5000 127000
Break_triple_20_36.xml 1 4986.28 5001.03 362.0 5000 5000 127000
Break_unsat_04_03.xml 20 0.00 0.02 0.0 5000 5000 127000
Break_unsat_06_07.xml 20 1.10 1.13 7.0 5000 5000 127000
Break_unsat_14_23.xml 1 4990.33 5001.03 218.0 5000 5000 127000
Break_unsat_16_27.xml 1 4990.72 5001.04 319.0 5000 5000 127000
Break_unsat_18_31.xml 1 4986.55 5001.03 324.0 5000 5000 127000
Circuit_multiplier22 10 572.08 574.15 84.0 5000 5000 127000
DLTM_twitter774_83_17 10 1087.88 1090.12 89.0 5000 5000 127000
Dodecahedron-k7 1 4989.34 5001.04 214.0 5000 5000 127000
EDP3-11000 10 152.34 152.67 233.0 5000 5000 127000
ER_400_20_4.apx_1_DC-AD 20 626.36 629.16 74.0 5000 5000 127000
ER_400_20_4.apx_2_DC-AD 20 622.42 625.01 65.0 5000 5000 127000
ER_400_20_4.apx_2_DC-ST 20 383.49 385.12 55.0 5000 5000 127000
ER_400_20_7.apx_1_DC-AD 20 865.01 868.88 85.0 5000 5000 127000
ER_400_20_7.apx_2_DC-AD 20 3921.47 3931.67 157.0 5000 5000 127000
ER_400_20_7.apx_2_DC-ST 20 2545.73 2554.22 139.0 5000 5000 127000
ER_500_30_3.apx_1_DC-ST 20 330.46 331.46 66.0 5000 5000 127000
ER_500_30_3.apx_2_DC-AD 20 2518.12 2524.07 185.0 5000 5000 127000
FmlaEquivChain_4_6_6.sanitized 20 27.58 27.64 105.0 5000 5000 127000
FmlaEquivChain_4_8_8.sanitized 20 2030.35 2035.27 956.0 5000 5000 127000
FmlaImplyChain_3_7_7.sanitized 20 802.09 805.01 208.0 5000 5000 127000
FmlaImplyChain_3_7_8.sanitized 1 4987.93 5001.03 562.0 5000 5000 127000
Folkman-175-1251868.sanitized 10 411.25 412.89 134.0 5000 5000 127000
Folkman-175-7416734.sanitized 10 4896.90 4909.37 349.0 5000 5000 127000
Folkman-175-9054056.sanitized 10 3217.59 3225.35 264.0 5000 5000 127000
Folkman-180-11710376.sanitized 10 549.45 552.50 162.0 5000 5000 127000
Folkman-180-5383714.sanitized 10 566.78 569.22 166.0 5000 5000 127000
Folkman-185-152478531.sanitized 1 4989.40 5001.03 347.0 5000 5000 127000
Folkman-185-19924337.sanitized 1 4988.66 5001.04 300.0 5000 5000 127000
Folkman-185-75415683.sanitized 1 4988.47 5001.04 321.0 5000 5000 127000
Folkman-190-104806020.sanitized 1 4986.77 5001.03 293.0 5000 5000 127000
Folkman-190-358004741.sanitized 1 4986.18 5001.03 259.0 5000 5000 127000
Folkman-190-66337703.sanitized 1 4987.05 5001.03 350.0 5000 5000 127000
GracefulGraph-K05-P02_c18 10 195.00 196.05 40.0 5000 5000 127000
HCP-446-105 10 1301.89 1306.51 193.0 5000 5000 127000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 938.11 941.79 129.0 5000 5000 127000
ITC2021_Early_10.xml 1 4983.57 5001.04 444.0 5000 5000 127000
ITC2021_Early_3.xml 10 0.48 0.58 27.0 5000 5000 127000
ITC2021_Middle_1.xml 1 4978.41 5001.03 478.0 5000 5000 127000
Kakuro-easy-097-ext.xml.hg_4 20 3293.42 3296.10 3258.0 5000 5000 127000
MASG0_72_keystream76_0 1 4987.24 5001.03 35.0 5000 5000 127000
Nb13T165 1 4990.92 5001.04 3118.0 5000 5000 127000
Nb44T6 20 1482.45 1483.46 2358.0 5000 5000 127000
Ptn-7824-b18 10 1530.71 1535.24 88.0 5000 5000 127000
REGRandom-K3-L3-Seed25.sanitized 1 4984.24 5001.03 756.0 5000 5000 127000
REGRandom-K4-L1-Seed30.sanitized 1 4982.53 5001.03 708.0 5000 5000 127000
REGRandom-K4-L2-Seed35.sanitized 1 4991.37 5001.03 1580.0 5000 5000 127000
REGRandom-K4-L3-Seed40.sanitized 1 4996.25 5001.03 2851.0 5000 5000 127000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 20 2175.88 2183.73 131.0 5000 5000 127000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 1 4983.96 5001.03 189.0 5000 5000 127000
Schur_161_5_d38 1 4992.25 5001.04 209.0 5000 5000 127000
StConn_7_128.sanitized 1 4989.68 5001.03 315.0 5000 5000 127000
StConn_8_32.sanitized 20 1003.38 1005.25 126.0 5000 5000 127000
T105.2.0 20 791.10 792.43 2524.0 5000 5000 127000
Timetable_C_392_E_62_Cl_26_S_28 10 70.55 70.78 445.0 5000 5000 127000
VanDerWaerden_2-3-14_186 1 4992.36 5001.03 116.0 5000 5000 127000
WS_500_16_70_10.apx_1_DC-ST 20 529.49 531.66 55.0 5000 5000 127000
WS_500_16_70_10.apx_2_DC-AD 20 1053.42 1057.59 59.0 5000 5000 127000
WS_500_16_90_70.apx_2_DC-AD 20 636.76 639.49 54.0 5000 5000 127000
af-synthesis_stb_50_100_4_sat 10 731.28 733.91 109.0 5000 5000 127000
af-synthesis_stb_50_100_9_sat 10 43.87 44.05 85.0 5000 5000 127000
af-synthesis_stb_50_100_9_unsat 20 1031.61 1034.44 126.0 5000 5000 127000
af-synthesis_stb_50_120_4_sat 10 250.07 250.80 112.0 5000 5000 127000
af-synthesis_stb_50_140_0_unsat 20 1226.62 1229.47 132.0 5000 5000 127000
af-synthesis_stb_50_140_1_unsat 20 2462.75 2468.08 142.0 5000 5000 127000
af-synthesis_stb_50_140_3_unsat 20 417.87 418.57 120.0 5000 5000 127000
af-synthesis_stb_50_200_0_sat 10 849.42 850.93 161.0 5000 5000 127000
af-synthesis_stb_50_200_0_unsat 20 1257.12 1260.26 170.0 5000 5000 127000
af-synthesis_stb_50_200_4_unsat 20 779.87 781.55 159.0 5000 5000 127000
af-synthesis_stb_50_40_2_unsat 20 675.64 677.38 68.0 5000 5000 127000
af-synthesis_stb_50_40_9_sat 10 1972.90 1976.70 92.0 5000 5000 127000
af-synthesis_stb_50_40_9_unsat 20 2567.94 2572.84 90.0 5000 5000 127000
apn-sbox5-cut3-symmbreak 1 4992.23 5001.03 164.0 5000 5000 127000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 10 293.23 295.02 127.0 5000 5000 127000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 10 93.14 93.45 126.0 5000 5000 127000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 20 895.72 898.89 128.0 5000 5000 127000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 20 327.64 329.01 116.0 5000 5000 127000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 20 341.56 343.97 94.0 5000 5000 127000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 20 842.22 847.58 143.0 5000 5000 127000
atco_enc1_opt1_10_15 10 85.04 85.19 79.0 5000 5000 127000
barman-pfile06-022.sas.ex.7 20 4.60 4.71 157.0 5000 5000 127000
battleship-14-26-sat 10 93.68 94.31 42.0 5000 5000 127000
bmc_QICE_snp_vld_30 20 645.19 646.03 4545.0 5000 5000 127000
bphp_p23_h22.sanitized 1 4994.94 5001.03 160.0 5000 5000 127000
bvsub_19952 20 3702.10 3719.53 9106.0 5000 5000 127000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 10 650.76 652.39 468.0 5000 5000 127000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 10 881.38 883.46 390.0 5000 5000 127000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 10 814.63 816.11 433.0 5000 5000 127000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 10 836.76 838.09 566.0 5000 5000 127000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 10 3008.85 3011.67 308.0 5000 5000 127000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 10 2563.05 2564.89 333.0 5000 5000 127000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 10 1693.61 1698.25 372.0 5000 5000 127000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 10 3479.08 3489.58 481.0 5000 5000 127000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 1 4988.33 5001.03 162.0 5000 5000 127000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 10 632.94 634.48 509.0 5000 5000 127000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 10 117.85 118.20 57.0 5000 5000 127000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 10 31.79 31.92 39.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 10 47.22 47.44 52.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 10 35.32 35.44 52.0 5000 5000 127000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 10 54.41 54.55 147.0 5000 5000 127000
clique_n2_k10.sanitized 20 953.01 956.01 124.0 5000 5000 127000
cliquecolouring_n13_k8_c7.sanitized 1 4988.62 5001.04 202.0 5000 5000 127000
cliquecolouring_n13_k9_c8.sanitized 1 4991.06 5001.03 202.0 5000 5000 127000
cliquecolouring_n15_k9_c8.sanitized 1 4990.62 5001.03 206.0 5000 5000 127000
cliquecolouring_n21_k6_c5.sanitized 1 4991.00 5001.04 220.0 5000 5000 127000
cliquecolouring_n31_k5_c4.sanitized 1 4991.60 5001.03 218.0 5000 5000 127000
cliquecolouring_n41_k5_c4.sanitized 1 4991.13 5001.03 208.0 5000 5000 127000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 10 485.63 486.98 65.0 5000 5000 127000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 10 44.58 44.67 23.0 5000 5000 127000
constraints_16_0.3_1.sanitized 20 209.68 210.75 43.0 5000 5000 127000
constraints_16_0.4_1.sanitized 20 131.96 132.49 54.0 5000 5000 127000
constraints_16_0.5_1.sanitized 20 151.72 152.33 60.0 5000 5000 127000
constraints_17_0.3_2.sanitized 20 85.53 85.75 76.0 5000 5000 127000
constraints_17_0.4_1.sanitized 10 8.83 9.01 96.0 5000 5000 127000
constraints_17_0.4_2.sanitized 20 80.55 80.86 103.0 5000 5000 127000
constraints_17_0.5_2.sanitized 20 118.04 118.44 157.0 5000 5000 127000
constraints_18_0.3_2.sanitized 20 501.74 503.89 135.0 5000 5000 127000
constraints_18_0.4_2.sanitized 20 773.43 775.53 212.0 5000 5000 127000
constraints_18_0.5_2.sanitized 20 989.12 990.12 274.0 5000 5000 127000
constraints_25_4_5_12_12_0_0_0.sanitized 20 544.54 545.99 49.0 5000 5000 127000
crafted_n12_d6_c4_num23 20 299.16 299.53 2465.0 5000 5000 127000
crn_11_99_u 20 1.60 1.69 8.0 5000 5000 127000
ctl_4201_555_unsat_pre 20 1862.47 1866.84 108.0 5000 5000 127000
ctl_4291_567_2_unsat-sc2013 20 2331.33 2337.13 115.0 5000 5000 127000
ctl_4291_567_9_unsat 20 953.37 956.27 94.0 5000 5000 127000
ecarev-110-4099-22-30-7 10 403.38 404.45 350.0 5000 5000 127000
ex065_25 10 4691.16 4700.48 319.0 5000 5000 127000
exam_flat_0.04_2018_3 10 1614.14 1616.73 689.0 5000 5000 127000
f9idw 20 147.47 149.11 441.0 5000 5000 127000
fermat-931960058139995587 1 4991.23 5001.04 169.0 5000 5000 127000
fixedbandwidth-eq-31_shuffled 1 4991.63 5001.03 184.0 5000 5000 127000
frb45-21-2.used-as.sat04-884 10 39.84 40.13 32.0 5000 5000 127000
frb65-12-2.used-as.sat04-874 10 37.85 38.06 21.0 5000 5000 127000
g2-T93.2.1 20 889.21 890.21 2758.0 5000 5000 127000
g2-ak128boothbg2msaig 10 1.71 2.91 291.0 5000 5000 127000
g2-ak128boothbg2msisc 10 1.27 1.37 208.0 5000 5000 127000
g2-hwmcc15deep-6s161-k17 20 2409.98 2416.69 145.0 5000 5000 127000
g2-hwmcc15deep-bob12s02-k16 1 4982.54 5001.04 648.0 5000 5000 127000
g2-slp-synthesis-aes-top30 10 34.36 34.47 93.0 5000 5000 127000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 20 659.39 660.46 361.0 5000 5000 127000
goldcrest-and-9 20 520.63 522.48 335.0 5000 5000 127000
grs-64-128 20 2182.56 2190.88 279.0 5000 5000 127000
grs-64-64 20 530.44 532.67 114.0 5000 5000 127000
hcp_CP18_18 10 781.45 782.23 151.0 5000 5000 127000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 20 519.89 521.30 41.0 5000 5000 127000
hwmcc12miters-xits-iso-6s111.sanitized 1 4984.07 5001.03 680.0 5000 5000 127000
hwmcc17miters-xits-iso-6s281b35.sanitized 1 4999.03 5001.04 2047.0 5000 5000 127000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 1 4979.47 5001.03 206.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 1 4990.51 5001.04 1251.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 1 4988.12 5001.03 1543.0 5000 5000 127000
hwmcc20miters-iso-mul2.sanitized 1 4972.61 5001.03 245.0 5000 5000 127000
hwmcc20miters-iso-mul3.sanitized 1 4979.43 5001.04 536.0 5000 5000 127000
hwmcc20miters-iso-mul7.sanitized 1 4977.83 5001.04 668.0 5000 5000 127000
hwmcc20miters-iso-rast-p06.sanitized 1 4983.45 5001.04 296.0 5000 5000 127000
hwmcc20miters-iso-rast-p11.sanitized 1 4984.44 5001.04 305.0 5000 5000 127000
j3037_10_mdd_b 10 31.90 31.99 23.0 5000 5000 127000
j3037_10_mdd_bm1 20 55.13 55.38 27.0 5000 5000 127000
j3037_10_rggt_b 10 195.05 195.90 35.0 5000 5000 127000
j3037_1_gmto_b 10 616.20 618.65 67.0 5000 5000 127000
j3037_1_mdd_b 10 160.87 161.13 37.0 5000 5000 127000
j3037_9_mdd_bm1 1 4991.43 5001.03 144.0 5000 5000 127000
j3037_9_rggt_b 10 960.58 963.09 77.0 5000 5000 127000
j3045_10_gmto_b 10 141.76 142.33 44.0 5000 5000 127000
j3045_10_rggt_b 10 724.98 727.87 71.0 5000 5000 127000
j3045_4_gmto_b 10 734.18 736.69 66.0 5000 5000 127000
j3045_4_mdd_bm1 20 742.76 745.56 60.0 5000 5000 127000
jgiraldezlevy.2200.9086.08.40.41 10 148.75 149.26 37.0 5000 5000 127000
lec_mult_CvD_11x11.sanitized 20 1604.52 1609.56 49.0 5000 5000 127000
lec_mult_CvK_11x10.sanitized 20 1047.32 1053.45 47.0 5000 5000 127000
lec_mult_CvK_11x11.sanitized 20 3049.52 3060.83 79.0 5000 5000 127000
lec_mult_CvK_12x11.sanitized 1 4983.86 5001.03 94.0 5000 5000 127000
lec_mult_CvK_12x12.sanitized 1 4983.85 5001.03 111.0 5000 5000 127000
lec_mult_CvW_12x11.sanitized 20 4158.98 4166.84 94.0 5000 5000 127000
lec_mult_CvW_12x12.sanitized 1 4991.71 5001.03 104.0 5000 5000 127000
lec_mult_DvK_11x10.sanitized 20 1152.95 1158.75 49.0 5000 5000 127000
lec_mult_DvK_12x12.sanitized 1 4983.28 5001.04 109.0 5000 5000 127000
lec_mult_DvW_11x10.sanitized 20 830.44 833.03 50.0 5000 5000 127000
lec_mult_DvW_12x11.sanitized 1 4990.94 5001.03 94.0 5000 5000 127000
lec_mult_DvW_12x12.sanitized 1 4991.92 5001.03 118.0 5000 5000 127000
lec_mult_KvW_10x10.sanitized 20 620.13 623.04 38.0 5000 5000 127000
lec_mult_KvW_11x10.sanitized 20 1616.40 1623.30 62.0 5000 5000 127000
lec_mult_KvW_12x11.sanitized 1 4985.52 5001.03 104.0 5000 5000 127000
linked_list_swap_contents_safety_unwind45 20 394.25 395.62 4089.0 5000 5000 127000
linked_list_swap_contents_safety_unwind54 20 908.46 909.94 5630.0 5000 5000 127000
linked_list_swap_contents_safety_unwind57 20 527.40 528.14 6227.0 5000 5000 127000
linked_list_swap_contents_safety_unwind62 20 1945.81 1948.94 7330.0 5000 5000 127000
linked_list_swap_contents_safety_unwind63 20 1406.31 1408.05 7516.0 5000 5000 127000
linked_list_swap_contents_safety_unwind65 20 910.38 911.93 7965.0 5000 5000 127000
linked_list_swap_contents_safety_unwind68 20 861.09 862.91 8351.0 5000 5000 127000
linked_list_swap_contents_safety_unwind69 1 4995.21 5001.04 9264.0 5000 5000 127000
linked_list_swap_contents_safety_unwind70 1 4994.22 5001.03 9200.0 5000 5000 127000
linked_list_swap_contents_safety_unwind73 20 1299.98 1301.45 10056.0 5000 5000 127000
linked_list_swap_contents_safety_unwind76 20 1967.97 1970.90 10628.0 5000 5000 127000
linked_list_swap_contents_safety_unwind78 20 1045.60 1047.26 11628.0 5000 5000 127000
linked_list_swap_contents_safety_unwind80 20 3909.41 3915.25 11864.0 5000 5000 127000
lru_10.sanitized 10 113.78 113.86 19501.0 5000 5000 127000
lru_6.sanitized 10 83.70 84.23 11686.0 5000 5000 127000
lru_7.sanitized 10 91.52 92.05 13642.0 5000 5000 127000
lru_8.sanitized 10 101.87 101.92 15622.0 5000 5000 127000
lru_9.sanitized 10 118.55 118.62 17631.0 5000 5000 127000
manol-pipe-g10bid_i 20 240.62 241.23 223.0 5000 5000 127000
marg5x5.shuffled-as.sat03-1455 1 4987.98 5001.03 132.0 5000 5000 127000
mchess_15 20 198.35 198.94 34.0 5000 5000 127000
mchess_16 20 335.09 336.05 57.0 5000 5000 127000
mchess_17 20 4117.93 4125.48 148.0 5000 5000 127000
md5_48_1 10 18.30 18.50 65.0 5000 5000 127000
mdp-28-10-unsat 20 1727.08 1729.97 59.0 5000 5000 127000
mdp-28-11-sat 10 133.70 133.95 31.0 5000 5000 127000
mdp-28-14-sat 10 44.93 45.07 20.0 5000 5000 127000
mdp-28-14-unsat 20 2781.18 2784.74 75.0 5000 5000 127000
mdp-28-16-unsat 20 1913.68 1918.38 64.0 5000 5000 127000
mdp-32-10-sat 10 1183.10 1185.47 56.0 5000 5000 127000
mdp-32-10-unsat 1 4993.57 5001.03 129.0 5000 5000 127000
mdp-32-11-sat 1 4991.76 5001.03 86.0 5000 5000 127000
mdp-32-11-unsat 1 4990.88 5001.03 108.0 5000 5000 127000
mdp-32-12-unsat 1 4994.40 5001.03 121.0 5000 5000 127000
mdp-32-14-sat 1 4991.60 5001.04 116.0 5000 5000 127000
mdp-32-14-unsat 1 4992.35 5001.03 132.0 5000 5000 127000
mdp-32-16-sat 10 1154.34 1156.68 63.0 5000 5000 127000
mdp-36-10-sat 1 4991.87 5001.03 119.0 5000 5000 127000
mdp-36-10-unsat 1 4992.30 5001.03 118.0 5000 5000 127000
mdp-36-12-unsat 1 4991.72 5001.03 141.0 5000 5000 127000
mdp-36-14-sat 1 4992.17 5001.03 131.0 5000 5000 127000
mp1-Nb5T15 10 75.86 76.11 56.0 5000 5000 127000
mp1-Nb7T42 10 35.39 35.48 165.0 5000 5000 127000
mp1-blockpuzzle_5x10_s7_free4 20 1398.22 1403.33 160.0 5000 5000 127000
mp1-klieber2017s-0500-023-t12 10 62.28 62.54 32.0 5000 5000 127000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 20 63.46 63.67 19.0 5000 5000 127000
mrpp_4x4#12_12 20 10.29 10.34 16.0 5000 5000 127000
mulhs016-sc2009 1 4987.70 5001.03 192.0 5000 5000 127000
noL-11-0.sanitized 1 4993.27 5001.04 203.0 5000 5000 127000
noL-11-10.sanitized 10 375.01 376.58 72.0 5000 5000 127000
noL-11-12.sanitized 10 1570.17 1573.47 116.0 5000 5000 127000
noL-11-14.sanitized 10 45.12 45.41 24.0 5000 5000 127000
noL-11-16.sanitized 10 140.18 141.18 46.0 5000 5000 127000
noL-11-18.sanitized 10 308.24 309.46 55.0 5000 5000 127000
noL-11-2.sanitized 10 1925.33 1930.53 158.0 5000 5000 127000
noL-11-20.sanitized 10 207.36 208.46 43.0 5000 5000 127000
noL-11-4.sanitized 10 1822.27 1826.06 151.0 5000 5000 127000
noL-11-6.sanitized 1 4993.84 5001.03 177.0 5000 5000 127000
noL-11-8.sanitized 10 1840.76 1844.88 116.0 5000 5000 127000
oisc-subrv-sll-nested-11 20 1816.47 1818.71 6597.0 5000 5000 127000
oisc-subrv-sll-nested-13 20 2292.89 2298.06 9049.0 5000 5000 127000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 1 4971.68 5001.04 329.0 5000 5000 127000
or_randxor_k3_n510_m510.sanitized 1 4992.25 5001.04 162.0 5000 5000 127000
pb_300_05_lb_17 10 108.42 108.55 171.0 5000 5000 127000
pb_300_09_lb_07 10 15.09 15.12 165.0 5000 5000 127000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 20 116.53 116.86 25.0 5000 5000 127000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 1 4984.61 5001.03 209.0 5000 5000 127000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 20 725.62 727.82 54.0 5000 5000 127000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 20 231.08 231.98 37.0 5000 5000 127000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 1 4987.82 5001.03 156.0 5000 5000 127000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 1 4986.21 5001.04 272.0 5000 5000 127000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 20 161.52 162.56 32.0 5000 5000 127000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 1 4989.17 5001.03 392.0 5000 5000 127000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 1 4989.43 5001.04 351.0 5000 5000 127000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 20 831.68 836.02 98.0 5000 5000 127000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 1 4988.39 5001.03 225.0 5000 5000 127000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 1 4983.01 5001.03 377.0 5000 5000 127000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 1 4981.59 5001.04 287.0 5000 5000 127000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 1 4981.40 5001.03 302.0 5000 5000 127000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 1 4984.62 5001.04 322.0 5000 5000 127000
post-cbmc-aes-ee-r3-noholes 20 527.98 529.53 505.0 5000 5000 127000
preimage_80r_495m_160h_seed_379 10 657.45 660.66 66.0 5000 5000 127000
qwh.50.1250.shuffled-as.sat03-1655 10 61.44 61.88 103.0 5000 5000 127000
qwh.60.1728.shuffled-as.sat03-1659 10 238.82 239.42 202.0 5000 5000 127000
rbsat-v1150c84314gyes1 1 4987.26 5001.04 216.0 5000 5000 127000
rbsat-v760c43649gyes3 10 332.53 334.04 69.0 5000 5000 127000
rbsat-v760c43649gyes7 10 131.78 132.66 39.0 5000 5000 127000
rbsat-v760c43649gyes9 10 54.02 54.25 29.0 5000 5000 127000
rbsat-v945c61409gyes9-sc2009 10 460.52 462.38 79.0 5000 5000 127000
rook-42-0-1 20 1662.70 1670.35 170.0 5000 5000 127000
rook-56-0-0 1 4983.80 5001.03 431.0 5000 5000 127000
rook-56-1-1 20 2538.10 2546.56 268.0 5000 5000 127000
rphp_p8_r160.sanitized 1 4983.05 5001.03 407.0 5000 5000 127000
rphp_p8_r170.sanitized 1 4982.30 5001.04 444.0 5000 5000 127000
sgen1-sat-180-100 10 160.04 160.46 29.0 5000 5000 127000
sgen1-unsat-121-100 1 4990.85 5001.04 162.0 5000 5000 127000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 10 13.56 13.68 880.0 5000 5000 127000
si2-b03m-m800-03 10 5.04 5.25 159.0 5000 5000 127000
simon-r16-1.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r17-0.sanitized 10 0.00 0.01 0.0 5000 5000 127000
simon-r18-0.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r19-1.sanitized 10 0.00 0.01 0.0 5000 5000 127000
simon-r20-0.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r21-0.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r22-1.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r23-1.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r24-1.sanitized 10 0.00 0.02 0.0 5000 5000 127000
simon-r25-0.sanitized 10 0.00 0.03 0.0 5000 5000 127000
sokoban-p16.sas.ex.15-sc2016 20 2746.93 2755.00 1558.0 5000 5000 127000
sokoban-p20.sas.cr.25 20 2358.89 2369.90 298.0 5000 5000 127000
sokoban-p20.sas.cr.33 1 4980.62 5001.04 523.0 5000 5000 127000
spg_200_316 20 149.00 149.22 454.0 5000 5000 127000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 0.07 0.12 20.0 5000 5000 127000
stable-300-0.1-20-98765432130020 10 28.61 28.71 17.0 5000 5000 127000
stb_418_125.apx_1_DC-AD 20 2772.25 2780.66 118.0 5000 5000 127000
stb_418_125.apx_1_DC-ST 20 989.50 992.26 61.0 5000 5000 127000
stb_418_125.apx_2_DC-AD 20 2652.55 2660.36 113.0 5000 5000 127000
stb_495_168.apx_1_DC-AD 20 370.99 372.14 50.0 5000 5000 127000
stb_495_168.apx_2_DC-AD 20 313.57 314.69 40.0 5000 5000 127000
stb_531_83.apx_1_DC-ST 20 469.86 471.43 55.0 5000 5000 127000
stb_531_83.apx_2_DC-ST 20 383.04 384.04 50.0 5000 5000 127000
stb_588_138.apx_1_DC-AD 20 1374.52 1379.71 67.0 5000 5000 127000
stb_588_138.apx_1_DC-ST 20 387.21 388.83 43.0 5000 5000 127000
sted5_0x1e3-20 1 4989.48 5001.04 220.0 5000 5000 127000
sted5_0x24204-50 10 127.77 128.36 38.0 5000 5000 127000
string_compare_safety_cbmc_unwinding_900 20 2031.01 2035.68 4075.0 5000 5000 127000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 10 13.34 13.52 47.0 5000 5000 127000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 10 23.98 24.13 60.0 5000 5000 127000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 10 18.43 18.60 66.0 5000 5000 127000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 1 4988.76 5001.03 771.0 5000 5000 127000
tseitin_d3_n158.sanitized 1 4988.73 5001.03 141.0 5000 5000 127000
tseitin_d3_n162.sanitized 1 4989.77 5001.04 166.0 5000 5000 127000
tseitin_d3_n174.sanitized 1 4988.70 5001.04 160.0 5000 5000 127000
tseitin_grid_n11_m20.sanitized 1 4987.95 5001.03 160.0 5000 5000 127000
tseitingrid6x200_shuffled 1 4985.88 5001.03 205.0 5000 5000 127000
two-trees-1023v.sanitized 1 4992.13 5001.03 157.0 5000 5000 127000
two-trees-511v.sanitized 1 4991.93 5001.03 123.0 5000 5000 127000
urq45 20 553.44 554.97 41.0 5000 5000 127000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 1 4988.83 5001.04 145.0 5000 5000 127000
worker_20_40_20_0.95 10 0.30 0.36 6.0 5000 5000 127000
worker_30_60_25_0.9 1 4990.35 5001.03 312.0 5000 5000 127000
worker_40_80_40_0.9 1 4986.26 5001.03 692.0 5000 5000 127000
worker_550_550_550_0.3 10 43.80 43.98 1774.0 5000 5000 127000
x9-08014.sat.sanitized 20 64.17 64.33 21.0 5000 5000 127000
x9-08075.sat.sanitized 20 52.26 52.49 18.0 5000 5000 127000
x9-09004.sat.sanitized 20 228.76 229.22 28.0 5000 5000 127000
x9-09007.sat.sanitized 20 116.33 116.58 24.0 5000 5000 127000
x9-09014.sat.sanitized 20 191.93 192.40 28.0 5000 5000 127000
x9-09024.sat.sanitized 20 78.69 78.85 22.0 5000 5000 127000
x9-09047.sat.sanitized 20 113.24 113.46 30.0 5000 5000 127000
x9-09051.sat.sanitized 20 235.34 235.79 31.0 5000 5000 127000
x9-09054.sat.sanitized 10 15.83 15.91 13.0 5000 5000 127000
x9-09057.sat.sanitized 20 107.45 107.64 27.0 5000 5000 127000
x9-09076.sat.sanitized 20 90.13 90.29 23.0 5000 5000 127000
x9-09098.sat.sanitized 20 275.88 276.34 30.0 5000 5000 127000
x9-10002.sat.sanitized 20 1384.25 1386.30 61.0 5000 5000 127000
x9-10007.sat.sanitized 20 613.81 614.82 48.0 5000 5000 127000
x9-10014.sat.sanitized 10 272.68 273.11 37.0 5000 5000 127000
x9-10027.sat.sanitized 10 414.72 415.23 39.0 5000 5000 127000
x9-10031.sat.sanitized 20 2061.18 2063.20 78.0 5000 5000 127000
x9-10038.sat.sanitized 10 410.31 410.93 48.0 5000 5000 127000
x9-10051.sat.sanitized 20 656.01 656.91 55.0 5000 5000 127000
x9-10076.sat.sanitized 20 514.18 514.91 48.0 5000 5000 127000
x9-10083.sat.sanitized 20 517.01 518.02 50.0 5000 5000 127000
x9-10084.sat.sanitized 20 463.21 463.98 47.0 5000 5000 127000
x9-10093.sat.sanitized 20 694.55 695.76 56.0 5000 5000 127000
x9-10096.sat.sanitized 20 523.20 523.82 53.0 5000 5000 127000
x9-10098.sat.sanitized 10 220.47 220.73 32.0 5000 5000 127000
x9-11034.sat.sanitized 10 107.23 107.44 31.0 5000 5000 127000
x9-11053.sat.sanitized 10 3493.40 3498.10 102.0 5000 5000 127000
x9-11062.sat.sanitized 10 420.18 421.37 43.0 5000 5000 127000
x9-11077.sat.sanitized 10 621.77 623.06 59.0 5000 5000 127000
x9-11088.sat.sanitized 10 2573.00 2576.63 87.0 5000 5000 127000
x9-11093.sat.sanitized 10 240.71 241.31 36.0 5000 5000 127000
x9-11094.sat.sanitized 10 2673.62 2677.50 81.0 5000 5000 127000
x9-12001.sat.sanitized 10 3165.54 3169.81 96.0 5000 5000 127000
x9-12014.sat.sanitized 10 4842.93 4848.43 132.0 5000 5000 127000
x9-12021.sat.sanitized 10 67.41 67.61 21.0 5000 5000 127000
x9-12035.sat.sanitized 10 3098.16 3101.78 92.0 5000 5000 127000
x9-12063.sat.sanitized 1 4994.70 5001.03 134.0 5000 5000 127000
x9-12087.sat.sanitized 1 4994.60 5001.04 128.0 5000 5000 127000
x9-12092.sat.sanitized 10 2921.85 2926.73 99.0 5000 5000 127000
x9-12098.sat.sanitized 1 4994.54 5001.04 151.0 5000 5000 127000
