 result time real space tlim rlim slim
002 3 0.00 0.07 0.0 50000 50000 31000
004 3 0.00 0.11 0.0 50000 50000 31000
1-ET-256-K-55.sanitized 3 0.00 0.00 0.0 50000 50000 31000
1-ET-256-K-70.sanitized 3 444.09 444.16 266.0 50000 50000 31000
1-ET-512-K-110.sanitized 3 0.00 0.00 0.0 50000 50000 31000
1-ET-512-K-96.sanitized 3 0.49 0.56 112.0 50000 50000 31000
1-TC-256-K-64.sanitized 3 2025.29 2025.41 1438.0 50000 50000 31000
1-TC-256-K-68.sanitized 3 523.79 523.81 378.0 50000 50000 31000
1-TC-256-K-71.sanitized 3 484.89 484.92 271.0 50000 50000 31000
1-ZC-1024-K-116.sanitized 3 0.00 0.00 0.0 50000 50000 31000
1-ZC-1024-K-117.sanitized 3 0.00 0.00 0.0 50000 50000 31000
1-ZC-512-K-60.sanitized 3 0.20 0.29 44.0 50000 50000 31000
1-ZC-512-K-61.sanitized 3 0.20 0.27 49.0 50000 50000 31000
1-ZC-512-K-63.sanitized 3 0.00 0.00 0.0 50000 50000 31000
1-ZC-512-K-64.sanitized 3 0.00 0.00 0.0 50000 50000 31000
1-ZC-512-K-65.sanitized 3 0.00 0.00 0.0 50000 50000 31000
1-ZC-512-K-67.sanitized 3 0.00 0.00 0.0 50000 50000 31000
128_100.sanitized 3 39.10 39.21 5746.0 50000 50000 31000
128_125.sanitized 3 48.40 48.42 7186.0 50000 50000 31000
128_75.sanitized 3 28.69 28.71 4306.0 50000 50000 31000
170058440 3 0.00 0.01 0.0 50000 50000 31000
2dlx_ca_bp_f_liveness 3 0.00 0.00 0.0 50000 50000 31000
32_100.sanitized 3 10.79 10.87 1638.0 50000 50000 31000
32_200.sanitized 3 24.30 24.31 3279.0 50000 50000 31000
32_325.sanitized 3 35.69 35.76 5330.0 50000 50000 31000
32_350.sanitized 3 38.49 38.53 5741.0 50000 50000 31000
64_150.sanitized 3 30.50 30.56 4337.0 50000 50000 31000
64_200.sanitized 3 43.00 43.05 5785.0 50000 50000 31000
64_25.sanitized 3 4.59 4.63 718.0 50000 50000 31000
6g_6color_366_050_04 3 0.00 0.00 0.0 50000 50000 31000
6s130-opt 3 73.40 73.46 288.0 50000 50000 31000
6s167-opt 3 0.10 0.18 65.0 50000 50000 31000
Break_08_24.xml 3 0.00 0.01 0.0 50000 50000 31000
Break_18_32.xml 3 0.00 0.00 0.0 50000 50000 31000
Break_20_72.xml 3 0.00 0.00 0.0 50000 50000 31000
Break_triple_20_36.xml 3 0.00 0.00 0.0 50000 50000 31000
Break_unsat_04_03.xml 3 0.00 0.10 0.0 50000 50000 31000
Break_unsat_06_07.xml 3 1.10 1.21 65.0 50000 50000 31000
Break_unsat_14_23.xml 3 0.00 0.00 0.0 50000 50000 31000
Break_unsat_16_27.xml 3 0.00 0.00 0.0 50000 50000 31000
Break_unsat_18_31.xml 3 0.00 0.00 0.0 50000 50000 31000
Circuit_multiplier22 3 0.00 0.04 0.0 50000 50000 31000
DLTM_twitter774_83_17 3 0.00 0.06 0.0 50000 50000 31000
Dodecahedron-k7 3 0.00 0.00 0.0 50000 50000 31000
EDP3-11000 3 0.19 0.22 38.0 50000 50000 31000
ER_400_20_4.apx_1_DC-AD 3 854.79 854.86 1028.0 50000 50000 31000
ER_400_20_4.apx_2_DC-AD 3 848.69 848.72 984.0 50000 50000 31000
ER_400_20_4.apx_2_DC-ST 3 579.29 579.32 960.0 50000 50000 31000
ER_400_20_7.apx_1_DC-AD 3 1468.38 1468.43 1679.0 50000 50000 31000
ER_400_20_7.apx_2_DC-AD 3 6613.47 6613.99 6272.0 50000 50000 31000
ER_400_20_7.apx_2_DC-ST 3 3934.33 3934.45 5394.0 50000 50000 31000
ER_500_30_3.apx_1_DC-ST 3 456.10 456.14 937.0 50000 50000 31000
ER_500_30_3.apx_2_DC-AD 3 2193.98 2194.01 2246.0 50000 50000 31000
FmlaEquivChain_4_6_6.sanitized 3 202.89 202.95 153.0 50000 50000 31000
FmlaEquivChain_4_8_8.sanitized 3 11938.49 11938.68 5206.0 50000 50000 31000
FmlaImplyChain_3_7_7.sanitized 3 342.49 342.58 4407.0 50000 50000 31000
FmlaImplyChain_3_7_8.sanitized 3 0.00 0.00 0.0 50000 50000 31000
Folkman-175-1251868.sanitized 3 0.00 0.01 0.0 50000 50000 31000
Folkman-175-7416734.sanitized 3 0.00 0.01 0.0 50000 50000 31000
Folkman-175-9054056.sanitized 3 0.00 0.01 0.0 50000 50000 31000
Folkman-180-11710376.sanitized 3 0.00 0.01 0.0 50000 50000 31000
Folkman-180-5383714.sanitized 3 0.00 0.01 0.0 50000 50000 31000
Folkman-185-152478531.sanitized 3 0.00 0.02 0.0 50000 50000 31000
Folkman-185-19924337.sanitized 3 0.00 0.01 0.0 50000 50000 31000
Folkman-185-75415683.sanitized 3 0.00 0.01 0.0 50000 50000 31000
Folkman-190-104806020.sanitized 3 0.00 0.01 0.0 50000 50000 31000
Folkman-190-358004741.sanitized 3 0.00 0.01 0.0 50000 50000 31000
Folkman-190-66337703.sanitized 3 0.00 0.02 0.0 50000 50000 31000
GracefulGraph-K05-P02_c18 3 0.00 0.01 0.0 50000 50000 31000
HCP-446-105 3 0.00 0.09 0.0 50000 50000 31000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 3 437.88 437.98 491.0 50000 50000 31000
ITC2021_Early_10.xml 3 0.00 0.00 0.0 50000 50000 31000
ITC2021_Early_3.xml 3 0.00 0.04 0.0 50000 50000 31000
ITC2021_Middle_1.xml 3 0.00 0.00 0.0 50000 50000 31000
Kakuro-easy-097-ext.xml.hg_4 3 497.89 497.98 1637.0 50000 50000 31000
MASG0_72_keystream76_0 3 0.00 0.01 0.0 50000 50000 31000
Nb13T165 3 0.00 0.00 0.0 50000 50000 31000
Nb44T6 3 0.00 0.00 0.0 50000 50000 31000
Ptn-7824-b18 3 0.00 0.01 0.0 50000 50000 31000
REGRandom-K3-L3-Seed25.sanitized 3 485.30 485.33 92.0 50000 50000 31000
REGRandom-K4-L1-Seed30.sanitized 3 924.19 924.24 114.0 50000 50000 31000
REGRandom-K4-L2-Seed35.sanitized 3 0.00 0.00 0.0 50000 50000 31000
REGRandom-K4-L3-Seed40.sanitized 3 0.00 0.00 0.0 50000 50000 31000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 3 4145.50 4145.69 3438.0 50000 50000 31000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 3 0.00 0.00 0.0 50000 50000 31000
Schur_161_5_d38 3 0.00 0.00 0.0 50000 50000 31000
StConn_7_128.sanitized 3 0.00 0.00 0.0 50000 50000 31000
StConn_8_32.sanitized 3 247.69 247.77 1040.0 50000 50000 31000
T105.2.0 3 8343.68 8343.80 2352.0 50000 50000 31000
Timetable_C_392_E_62_Cl_26_S_28 3 0.50 0.56 96.0 50000 50000 31000
VanDerWaerden_2-3-14_186 3 0.00 0.00 0.0 50000 50000 31000
WS_500_16_70_10.apx_1_DC-ST 3 524.78 524.91 655.0 50000 50000 31000
WS_500_16_70_10.apx_2_DC-AD 3 893.39 893.48 1170.0 50000 50000 31000
WS_500_16_90_70.apx_2_DC-AD 3 575.79 575.88 869.0 50000 50000 31000
af-synthesis_stb_50_100_4_sat 3 0.00 0.09 0.0 50000 50000 31000
af-synthesis_stb_50_100_9_sat 3 0.00 0.09 0.0 50000 50000 31000
af-synthesis_stb_50_100_9_unsat 3 1824.17 1824.23 590.0 50000 50000 31000
af-synthesis_stb_50_120_4_sat 3 0.10 0.18 13.0 50000 50000 31000
af-synthesis_stb_50_140_0_unsat 3 2101.67 2101.73 605.0 50000 50000 31000
af-synthesis_stb_50_140_1_unsat 3 3727.14 3727.23 1262.0 50000 50000 31000
af-synthesis_stb_50_140_3_unsat 3 967.70 967.72 277.0 50000 50000 31000
af-synthesis_stb_50_200_0_sat 3 0.09 0.15 23.0 50000 50000 31000
af-synthesis_stb_50_200_0_unsat 3 2302.99 2303.24 623.0 50000 50000 31000
af-synthesis_stb_50_200_4_unsat 3 1503.03 1503.03 360.0 50000 50000 31000
af-synthesis_stb_50_40_2_unsat 3 912.88 912.96 337.0 50000 50000 31000
af-synthesis_stb_50_40_9_sat 3 0.00 0.07 0.0 50000 50000 31000
af-synthesis_stb_50_40_9_unsat 3 3830.00 3830.13 1402.0 50000 50000 31000
apn-sbox5-cut3-symmbreak 3 0.00 0.00 0.0 50000 50000 31000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 3 0.10 0.14 21.0 50000 50000 31000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 3 0.10 0.14 21.0 50000 50000 31000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 3 436.50 436.54 108.0 50000 50000 31000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 3 176.90 177.00 127.0 50000 50000 31000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 3 137.89 137.97 100.0 50000 50000 31000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 3 389.18 389.27 143.0 50000 50000 31000
atco_enc1_opt1_10_15 3 0.00 0.09 0.0 50000 50000 31000
barman-pfile06-022.sas.ex.7 3 42.90 42.98 140.0 50000 50000 31000
battleship-14-26-sat 3 0.00 0.01 0.0 50000 50000 31000
bmc_QICE_snp_vld_30 3 8641.07 8641.13 4085.0 50000 50000 31000
bphp_p23_h22.sanitized 3 0.00 0.00 0.0 50000 50000 31000
bvsub_19952 3 9024.76 9025.00 3305.0 50000 50000 31000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 3 1.30 1.38 161.0 50000 50000 31000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 3 1.09 1.14 115.0 50000 50000 31000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 3 1.30 1.34 131.0 50000 50000 31000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 3 1.60 1.66 171.0 50000 50000 31000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 3 0.79 0.85 104.0 50000 50000 31000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 3 0.99 1.04 106.0 50000 50000 31000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 3 0.99 1.07 129.0 50000 50000 31000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 3 1.29 1.35 151.0 50000 50000 31000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 3 0.00 0.00 0.0 50000 50000 31000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 3 1.30 1.37 163.0 50000 50000 31000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 3 0.20 0.23 17.0 50000 50000 31000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 3 0.10 0.13 11.0 50000 50000 31000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 3 0.10 0.12 14.0 50000 50000 31000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 3 0.09 0.12 15.0 50000 50000 31000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 3 0.30 0.39 44.0 50000 50000 31000
clique_n2_k10.sanitized 3 33.69 33.74 128.0 50000 50000 31000
cliquecolouring_n13_k8_c7.sanitized 3 0.00 0.00 0.0 50000 50000 31000
cliquecolouring_n13_k9_c8.sanitized 3 2194.36 2194.48 6390.0 50000 50000 31000
cliquecolouring_n15_k9_c8.sanitized 3 0.00 0.00 0.0 50000 50000 31000
cliquecolouring_n21_k6_c5.sanitized 3 0.00 0.00 0.0 50000 50000 31000
cliquecolouring_n31_k5_c4.sanitized 3 0.00 0.00 0.0 50000 50000 31000
cliquecolouring_n41_k5_c4.sanitized 3 0.00 0.00 0.0 50000 50000 31000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 3 0.00 0.02 0.0 50000 50000 31000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 3 0.00 0.01 0.0 50000 50000 31000
constraints_16_0.3_1.sanitized 3 236.29 236.32 446.0 50000 50000 31000
constraints_16_0.4_1.sanitized 3 130.29 130.34 323.0 50000 50000 31000
constraints_16_0.5_1.sanitized 3 147.19 147.25 360.0 50000 50000 31000
constraints_17_0.3_2.sanitized 3 65.90 66.01 283.0 50000 50000 31000
constraints_17_0.4_1.sanitized 3 0.30 0.32 32.0 50000 50000 31000
constraints_17_0.4_2.sanitized 3 71.19 71.22 341.0 50000 50000 31000
constraints_17_0.5_2.sanitized 3 101.49 101.60 532.0 50000 50000 31000
constraints_18_0.3_2.sanitized 3 530.89 530.91 868.0 50000 50000 31000
constraints_18_0.4_2.sanitized 3 502.69 502.80 1139.0 50000 50000 31000
constraints_18_0.5_2.sanitized 3 552.19 552.23 1363.0 50000 50000 31000
constraints_25_4_5_12_12_0_0_0.sanitized 3 238.09 238.18 327.0 50000 50000 31000
crafted_n12_d6_c4_num23 3 30049.87 30050.36 1425.0 50000 50000 31000
crn_11_99_u 3 0.49 0.54 68.0 50000 50000 31000
ctl_4201_555_unsat_pre 3 2782.98 2783.03 1162.0 50000 50000 31000
ctl_4291_567_2_unsat-sc2013 3 3792.05 3792.22 1353.0 50000 50000 31000
ctl_4291_567_9_unsat 3 1111.47 1111.53 473.0 50000 50000 31000
ecarev-110-4099-22-30-7 3 0.20 0.27 36.0 50000 50000 31000
ex065_25 3 0.10 0.12 23.0 50000 50000 31000
exam_flat_0.04_2018_3 3 0.69 0.72 113.0 50000 50000 31000
f9idw 3 539.69 539.77 1149.0 50000 50000 31000
fermat-931960058139995587 3 0.00 0.00 0.0 50000 50000 31000
fixedbandwidth-eq-31_shuffled 3 1537.95 1538.09 2529.0 50000 50000 31000
frb45-21-2.used-as.sat04-884 3 0.00 0.02 0.0 50000 50000 31000
frb65-12-2.used-as.sat04-874 3 0.00 0.01 0.0 50000 50000 31000
g2-T93.2.1 3 6548.12 6548.26 3144.0 50000 50000 31000
g2-ak128boothbg2msaig 3 0.50 0.55 95.0 50000 50000 31000
g2-ak128boothbg2msisc 3 0.30 0.40 60.0 50000 50000 31000
g2-hwmcc15deep-6s161-k17 3 1843.48 1843.55 1279.0 50000 50000 31000
g2-hwmcc15deep-bob12s02-k16 3 0.00 0.00 0.0 50000 50000 31000
g2-slp-synthesis-aes-top30 3 0.00 0.10 0.0 50000 50000 31000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 3 2140.49 2140.58 498.0 50000 50000 31000
goldcrest-and-9 3 4386.82 4386.88 528.0 50000 50000 31000
grs-64-128 3 5766.90 5767.09 1707.0 50000 50000 31000
grs-64-64 3 1342.76 1342.86 593.0 50000 50000 31000
hcp_CP18_18 3 0.00 0.00 0.0 50000 50000 31000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 3 423.59 423.63 487.0 50000 50000 31000
hwmcc12miters-xits-iso-6s111.sanitized 3 21.00 21.11 292.0 50000 50000 31000
hwmcc17miters-xits-iso-6s281b35.sanitized 3 642.38 642.49 1249.0 50000 50000 31000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 3 0.79 0.86 69.0 50000 50000 31000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 3 128.09 128.17 627.0 50000 50000 31000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 3 101.89 101.92 627.0 50000 50000 31000
hwmcc20miters-iso-mul2.sanitized 3 1.00 1.02 88.0 50000 50000 31000
hwmcc20miters-iso-mul3.sanitized 3 4.90 4.97 217.0 50000 50000 31000
hwmcc20miters-iso-mul7.sanitized 3 5.00 5.03 219.0 50000 50000 31000
hwmcc20miters-iso-rast-p06.sanitized 3 1.80 1.86 83.0 50000 50000 31000
hwmcc20miters-iso-rast-p11.sanitized 3 1.90 1.97 80.0 50000 50000 31000
j3037_10_mdd_b 3 0.00 0.02 0.0 50000 50000 31000
j3037_10_mdd_bm1 3 68.20 68.23 107.0 50000 50000 31000
j3037_10_rggt_b 3 0.00 0.02 0.0 50000 50000 31000
j3037_1_gmto_b 3 0.00 0.04 0.0 50000 50000 31000
j3037_1_mdd_b 3 0.00 0.03 0.0 50000 50000 31000
j3037_9_mdd_bm1 3 0.00 0.00 0.0 50000 50000 31000
j3037_9_rggt_b 3 0.00 0.03 0.0 50000 50000 31000
j3045_10_gmto_b 3 0.00 0.02 0.0 50000 50000 31000
j3045_10_rggt_b 3 0.00 0.02 0.0 50000 50000 31000
j3045_4_gmto_b 3 0.00 0.02 0.0 50000 50000 31000
j3045_4_mdd_bm1 3 931.39 931.41 743.0 50000 50000 31000
jgiraldezlevy.2200.9086.08.40.41 3 0.00 0.01 0.0 50000 50000 31000
lec_mult_CvD_11x11.sanitized 3 1796.49 1796.54 1324.0 50000 50000 31000
lec_mult_CvK_11x10.sanitized 3 1212.08 1212.14 734.0 50000 50000 31000
lec_mult_CvK_11x11.sanitized 3 4238.95 4239.15 1960.0 50000 50000 31000
lec_mult_CvK_12x11.sanitized 3 0.00 0.00 0.0 50000 50000 31000
lec_mult_CvK_12x12.sanitized 3 0.00 0.00 0.0 50000 50000 31000
lec_mult_CvW_12x11.sanitized 3 7191.02 7191.23 3595.0 50000 50000 31000
lec_mult_CvW_12x12.sanitized 3 0.00 0.00 0.0 50000 50000 31000
lec_mult_DvK_11x10.sanitized 3 1346.98 1347.08 841.0 50000 50000 31000
lec_mult_DvK_12x12.sanitized 3 0.00 0.00 0.0 50000 50000 31000
lec_mult_DvW_11x10.sanitized 3 1193.69 1193.78 836.0 50000 50000 31000
lec_mult_DvW_12x11.sanitized 3 0.00 0.00 0.0 50000 50000 31000
lec_mult_DvW_12x12.sanitized 3 0.00 0.00 0.0 50000 50000 31000
lec_mult_KvW_10x10.sanitized 3 450.89 451.00 372.0 50000 50000 31000
lec_mult_KvW_11x10.sanitized 3 1275.98 1276.10 807.0 50000 50000 31000
lec_mult_KvW_12x11.sanitized 3 0.00 0.00 0.0 50000 50000 31000
linked_list_swap_contents_safety_unwind45 3 13569.06 13569.22 2343.0 50000 50000 31000
linked_list_swap_contents_safety_unwind54 3 17616.48 17616.80 3243.0 50000 50000 31000
linked_list_swap_contents_safety_unwind57 3 21842.53 21842.92 3487.0 50000 50000 31000
linked_list_swap_contents_safety_unwind62 3 27392.20 27392.72 3987.0 50000 50000 31000
linked_list_swap_contents_safety_unwind63 3 22927.18 22927.70 4044.0 50000 50000 31000
linked_list_swap_contents_safety_unwind65 3 28908.09 28908.13 4393.0 50000 50000 31000
linked_list_swap_contents_safety_unwind68 3 28202.06 28202.68 4618.0 50000 50000 31000
linked_list_swap_contents_safety_unwind69 3 26915.63 26915.99 4730.0 50000 50000 31000
linked_list_swap_contents_safety_unwind70 3 0.00 0.00 0.0 50000 50000 31000
linked_list_swap_contents_safety_unwind73 3 36741.08 36741.51 5347.0 50000 50000 31000
linked_list_swap_contents_safety_unwind76 3 0.00 0.00 0.0 50000 50000 31000
linked_list_swap_contents_safety_unwind78 3 42036.95 42037.40 6121.0 50000 50000 31000
linked_list_swap_contents_safety_unwind80 3 45919.27 45921.52 6436.0 50000 50000 31000
lru_10.sanitized 3 46.28 46.32 6460.0 50000 50000 31000
lru_6.sanitized 3 25.60 25.64 3864.0 50000 50000 31000
lru_7.sanitized 3 32.29 32.41 4513.0 50000 50000 31000
lru_8.sanitized 3 38.00 38.11 5162.0 50000 50000 31000
lru_9.sanitized 3 39.90 39.91 5811.0 50000 50000 31000
manol-pipe-g10bid_i 3 124.30 124.37 716.0 50000 50000 31000
marg5x5.shuffled-as.sat03-1455 3 0.00 0.00 0.0 50000 50000 31000
mchess_15 3 803.39 803.43 1141.0 50000 50000 31000
mchess_16 3 1022.98 1023.07 1210.0 50000 50000 31000
mchess_17 3 0.00 0.00 0.0 50000 50000 31000
md5_48_1 3 0.00 0.10 0.0 50000 50000 31000
mdp-28-10-unsat 3 2192.94 2192.94 1810.0 50000 50000 31000
mdp-28-11-sat 3 0.00 0.01 0.0 50000 50000 31000
mdp-28-14-sat 3 0.00 0.01 0.0 50000 50000 31000
mdp-28-14-unsat 3 4448.89 4448.82 3398.0 50000 50000 31000
mdp-28-16-unsat 3 3708.88 3708.99 2953.0 50000 50000 31000
mdp-32-10-sat 3 0.00 0.01 0.0 50000 50000 31000
mdp-32-10-unsat 3 0.00 0.00 0.0 50000 50000 31000
mdp-32-11-sat 3 0.00 0.00 0.0 50000 50000 31000
mdp-32-11-unsat 3 0.00 0.00 0.0 50000 50000 31000
mdp-32-12-unsat 3 0.00 0.00 0.0 50000 50000 31000
mdp-32-14-sat 3 0.00 0.00 0.0 50000 50000 31000
mdp-32-14-unsat 3 0.00 0.00 0.0 50000 50000 31000
mdp-32-16-sat 3 0.00 0.01 0.0 50000 50000 31000
mdp-36-10-sat 3 0.00 0.00 0.0 50000 50000 31000
mdp-36-10-unsat 3 0.00 0.00 0.0 50000 50000 31000
mdp-36-12-unsat 3 0.00 0.00 0.0 50000 50000 31000
mdp-36-14-sat 3 0.00 0.00 0.0 50000 50000 31000
mp1-Nb5T15 3 0.00 0.01 0.0 50000 50000 31000
mp1-Nb7T42 3 0.00 0.00 0.0 50000 50000 31000
mp1-blockpuzzle_5x10_s7_free4 3 34.39 34.45 128.0 50000 50000 31000
mp1-klieber2017s-0500-023-t12 3 0.00 0.03 0.0 50000 50000 31000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 3 40.80 40.81 145.0 50000 50000 31000
mrpp_4x4#12_12 3 11.99 12.07 89.0 50000 50000 31000
mulhs016-sc2009 3 0.00 0.00 0.0 50000 50000 31000
noL-11-0.sanitized 3 0.00 0.01 0.0 50000 50000 31000
noL-11-10.sanitized 3 0.00 0.01 0.0 50000 50000 31000
noL-11-12.sanitized 3 0.00 0.01 0.0 50000 50000 31000
noL-11-14.sanitized 3 0.00 0.01 0.0 50000 50000 31000
noL-11-16.sanitized 3 0.00 0.01 0.0 50000 50000 31000
noL-11-18.sanitized 3 0.00 0.01 0.0 50000 50000 31000
noL-11-2.sanitized 3 0.00 0.01 0.0 50000 50000 31000
noL-11-20.sanitized 3 0.00 0.01 0.0 50000 50000 31000
noL-11-4.sanitized 3 0.00 0.01 0.0 50000 50000 31000
noL-11-6.sanitized 3 0.00 0.01 0.0 50000 50000 31000
noL-11-8.sanitized 3 0.00 0.01 0.0 50000 50000 31000
oisc-subrv-sll-nested-11 3 17997.53 17997.72 5722.0 50000 50000 31000
oisc-subrv-sll-nested-13 3 39878.74 39880.79 8580.0 50000 50000 31000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 3 6171.58 6171.89 3275.0 50000 50000 31000
or_randxor_k3_n510_m510.sanitized 3 5.88 5.96 76.0 50000 50000 31000
pb_300_05_lb_17 3 0.09 0.19 25.0 50000 50000 31000
pb_300_09_lb_07 3 0.20 0.22 37.0 50000 50000 31000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 3 105.20 105.29 211.0 50000 50000 31000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 31000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 3 1391.58 1391.63 1616.0 50000 50000 31000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 3 289.69 289.77 485.0 50000 50000 31000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 31000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 3 0.00 0.00 0.0 50000 50000 31000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 3 205.59 205.62 326.0 50000 50000 31000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 31000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 31000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 3 523.59 523.70 696.0 50000 50000 31000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 3 2928.95 2929.07 2900.0 50000 50000 31000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 31000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 31000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 31000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 31000
post-cbmc-aes-ee-r3-noholes 3 26263.98 26266.44 1052.0 50000 50000 31000
preimage_80r_495m_160h_seed_379 3 0.00 0.08 0.0 50000 50000 31000
qwh.50.1250.shuffled-as.sat03-1655 3 0.00 0.09 0.0 50000 50000 31000
qwh.60.1728.shuffled-as.sat03-1659 3 0.10 0.15 26.0 50000 50000 31000
rbsat-v1150c84314gyes1 3 0.00 0.00 0.0 50000 50000 31000
rbsat-v760c43649gyes3 3 0.00 0.00 0.0 50000 50000 31000
rbsat-v760c43649gyes7 3 0.00 0.01 0.0 50000 50000 31000
rbsat-v760c43649gyes9 3 0.00 0.02 0.0 50000 50000 31000
rbsat-v945c61409gyes9-sc2009 3 0.00 0.02 0.0 50000 50000 31000
rook-42-0-1 3 1011.79 1011.84 3193.0 50000 50000 31000
rook-56-0-0 3 3149.81 3150.06 4519.0 50000 50000 31000
rook-56-1-1 3 1654.13 1654.26 1663.0 50000 50000 31000
rphp_p8_r160.sanitized 3 0.00 0.00 0.0 50000 50000 31000
rphp_p8_r170.sanitized 3 0.00 0.00 0.0 50000 50000 31000
sgen1-sat-180-100 3 0.00 0.01 0.0 50000 50000 31000
sgen1-unsat-121-100 3 0.00 0.00 0.0 50000 50000 31000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 3 1.69 1.77 267.0 50000 50000 31000
si2-b03m-m800-03 3 0.39 0.41 37.0 50000 50000 31000
simon-r16-1.sanitized 3 0.00 0.01 0.0 50000 50000 31000
simon-r17-0.sanitized 3 0.00 0.01 0.0 50000 50000 31000
simon-r18-0.sanitized 3 0.00 0.01 0.0 50000 50000 31000
simon-r19-1.sanitized 3 0.00 0.01 0.0 50000 50000 31000
simon-r20-0.sanitized 3 0.00 0.01 0.0 50000 50000 31000
simon-r21-0.sanitized 3 0.00 0.01 0.0 50000 50000 31000
simon-r22-1.sanitized 3 0.00 0.01 0.0 50000 50000 31000
simon-r23-1.sanitized 3 0.00 0.01 0.0 50000 50000 31000
simon-r24-1.sanitized 3 0.00 0.01 0.0 50000 50000 31000
simon-r25-0.sanitized 3 0.00 0.01 0.0 50000 50000 31000
sokoban-p16.sas.ex.15-sc2016 3 0.00 0.00 0.0 50000 50000 31000
sokoban-p20.sas.cr.25 3 10301.03 10301.30 3113.0 50000 50000 31000
sokoban-p20.sas.cr.33 3 0.00 0.00 0.0 50000 50000 31000
spg_200_316 3 281.79 281.85 651.0 50000 50000 31000
srhd-sgi-m37-q446.25-n35-p30-s33692332 3 0.00 0.04 0.0 50000 50000 31000
stable-300-0.1-20-98765432130020 3 0.00 0.02 0.0 50000 50000 31000
stb_418_125.apx_1_DC-AD 3 2345.46 2345.52 2455.0 50000 50000 31000
stb_418_125.apx_1_DC-ST 3 889.37 889.43 1140.0 50000 50000 31000
stb_418_125.apx_2_DC-AD 3 2592.17 2592.23 2783.0 50000 50000 31000
stb_495_168.apx_1_DC-AD 3 393.69 393.78 623.0 50000 50000 31000
stb_495_168.apx_2_DC-AD 3 323.79 323.85 511.0 50000 50000 31000
stb_531_83.apx_1_DC-ST 3 528.49 528.56 660.0 50000 50000 31000
stb_531_83.apx_2_DC-ST 3 394.70 394.73 540.0 50000 50000 31000
stb_588_138.apx_1_DC-AD 3 918.69 918.79 1151.0 50000 50000 31000
stb_588_138.apx_1_DC-ST 3 341.99 342.04 451.0 50000 50000 31000
sted5_0x1e3-20 3 0.00 0.00 0.0 50000 50000 31000
sted5_0x24204-50 3 0.00 0.02 0.0 50000 50000 31000
string_compare_safety_cbmc_unwinding_900 3 34063.68 34064.86 4904.0 50000 50000 31000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 3 0.00 0.06 0.0 50000 50000 31000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 3 0.00 0.07 0.0 50000 50000 31000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 3 0.00 0.08 0.0 50000 50000 31000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 3 0.00 0.00 0.0 50000 50000 31000
tseitin_d3_n158.sanitized 3 0.00 0.00 0.0 50000 50000 31000
tseitin_d3_n162.sanitized 3 0.00 0.00 0.0 50000 50000 31000
tseitin_d3_n174.sanitized 3 0.00 0.00 0.0 50000 50000 31000
tseitin_grid_n11_m20.sanitized 3 0.00 0.00 0.0 50000 50000 31000
tseitingrid6x200_shuffled 3 0.00 0.00 0.0 50000 50000 31000
two-trees-1023v.sanitized 3 0.00 0.00 0.0 50000 50000 31000
two-trees-511v.sanitized 3 0.00 0.00 0.0 50000 50000 31000
urq45 3 2359.57 2359.65 1180.0 50000 50000 31000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 3 0.00 0.00 0.0 50000 50000 31000
worker_20_40_20_0.95 3 0.00 0.01 0.0 50000 50000 31000
worker_30_60_25_0.9 3 0.00 0.00 0.0 50000 50000 31000
worker_40_80_40_0.9 3 0.00 0.00 0.0 50000 50000 31000
worker_550_550_550_0.3 3 2.49 2.59 552.0 50000 50000 31000
x9-08014.sat.sanitized 3 19.80 19.82 96.0 50000 50000 31000
x9-08075.sat.sanitized 3 22.80 22.81 99.0 50000 50000 31000
x9-09004.sat.sanitized 3 60.60 60.63 144.0 50000 50000 31000
x9-09007.sat.sanitized 3 34.30 34.37 118.0 50000 50000 31000
x9-09014.sat.sanitized 3 50.50 50.61 136.0 50000 50000 31000
x9-09024.sat.sanitized 3 35.60 35.65 118.0 50000 50000 31000
x9-09047.sat.sanitized 3 33.30 33.36 113.0 50000 50000 31000
x9-09051.sat.sanitized 3 56.29 56.40 145.0 50000 50000 31000
x9-09054.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-09057.sat.sanitized 3 44.20 44.28 131.0 50000 50000 31000
x9-09076.sat.sanitized 3 37.30 37.36 122.0 50000 50000 31000
x9-09098.sat.sanitized 3 85.80 85.83 171.0 50000 50000 31000
x9-10002.sat.sanitized 3 337.40 337.50 427.0 50000 50000 31000
x9-10007.sat.sanitized 3 260.49 260.54 346.0 50000 50000 31000
x9-10014.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-10027.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-10031.sat.sanitized 3 357.30 357.34 439.0 50000 50000 31000
x9-10038.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-10051.sat.sanitized 3 310.19 310.24 387.0 50000 50000 31000
x9-10076.sat.sanitized 3 149.30 149.33 243.0 50000 50000 31000
x9-10083.sat.sanitized 3 188.79 188.91 267.0 50000 50000 31000
x9-10084.sat.sanitized 3 157.29 157.41 255.0 50000 50000 31000
x9-10093.sat.sanitized 3 218.58 218.71 304.0 50000 50000 31000
x9-10096.sat.sanitized 3 196.70 196.73 273.0 50000 50000 31000
x9-10098.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-11034.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-11053.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-11062.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-11077.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-11088.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-11093.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-11094.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-12001.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-12014.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-12021.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-12035.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-12063.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-12087.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-12092.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
x9-12098.sat.sanitized 3 0.00 0.01 0.0 50000 50000 31000
