 result time real space tlim rlim slim
002 3 0.00 0.09 0.0 50000 50000 127000
004 3 0.00 0.08 0.0 50000 50000 127000
1-ET-256-K-55.sanitized 3 0.00 0.00 0.0 50000 50000 127000
1-ET-256-K-70.sanitized 3 4.79 4.84 689.0 50000 50000 127000
1-ET-512-K-110.sanitized 3 0.00 0.00 0.0 50000 50000 127000
1-ET-512-K-96.sanitized 3 0.00 0.00 0.0 50000 50000 127000
1-TC-256-K-64.sanitized 3 68.39 68.43 6084.0 50000 50000 127000
1-TC-256-K-68.sanitized 3 11.89 11.96 1070.0 50000 50000 127000
1-TC-256-K-71.sanitized 3 2.00 2.06 292.0 50000 50000 127000
1-ZC-1024-K-116.sanitized 3 0.00 0.00 0.0 50000 50000 127000
1-ZC-1024-K-117.sanitized 3 0.00 0.00 0.0 50000 50000 127000
1-ZC-512-K-60.sanitized 3 0.20 0.27 49.0 50000 50000 127000
1-ZC-512-K-61.sanitized 3 0.19 0.28 47.0 50000 50000 127000
1-ZC-512-K-63.sanitized 3 0.00 0.00 0.0 50000 50000 127000
1-ZC-512-K-64.sanitized 3 0.00 0.00 0.0 50000 50000 127000
1-ZC-512-K-65.sanitized 3 0.00 0.00 0.0 50000 50000 127000
1-ZC-512-K-67.sanitized 3 0.00 0.00 0.0 50000 50000 127000
128_100.sanitized 3 38.29 38.32 5746.0 50000 50000 127000
128_125.sanitized 3 48.10 48.11 7186.0 50000 50000 127000
128_75.sanitized 3 28.60 28.67 4306.0 50000 50000 127000
170058440 3 0.00 0.00 0.0 50000 50000 127000
2dlx_ca_bp_f_liveness 3 0.00 0.00 0.0 50000 50000 127000
32_100.sanitized 3 10.60 10.65 1638.0 50000 50000 127000
32_200.sanitized 3 21.49 21.57 3279.0 50000 50000 127000
32_325.sanitized 3 35.49 35.56 5330.0 50000 50000 127000
32_350.sanitized 3 38.40 38.49 5740.0 50000 50000 127000
64_150.sanitized 3 28.70 28.80 4337.0 50000 50000 127000
64_200.sanitized 3 38.50 38.58 5784.0 50000 50000 127000
64_25.sanitized 3 4.49 4.57 718.0 50000 50000 127000
6g_6color_366_050_04 3 0.00 0.00 0.0 50000 50000 127000
6s130-opt 3 26.59 26.61 4009.0 50000 50000 127000
6s167-opt 3 0.00 0.07 0.0 50000 50000 127000
Break_08_24.xml 3 0.00 0.01 0.0 50000 50000 127000
Break_18_32.xml 3 0.00 0.00 0.0 50000 50000 127000
Break_20_72.xml 3 0.00 0.00 0.0 50000 50000 127000
Break_triple_20_36.xml 3 0.00 0.00 0.0 50000 50000 127000
Break_unsat_04_03.xml 3 0.00 0.01 0.0 50000 50000 127000
Break_unsat_06_07.xml 3 0.00 0.10 0.0 50000 50000 127000
Break_unsat_14_23.xml 3 0.00 0.00 0.0 50000 50000 127000
Break_unsat_16_27.xml 3 0.00 0.00 0.0 50000 50000 127000
Break_unsat_18_31.xml 3 0.00 0.00 0.0 50000 50000 127000
Circuit_multiplier22 3 0.00 0.02 0.0 50000 50000 127000
DLTM_twitter774_83_17 3 0.00 0.04 0.0 50000 50000 127000
Dodecahedron-k7 3 0.00 0.00 0.0 50000 50000 127000
EDP3-11000 3 0.20 0.22 38.0 50000 50000 127000
ER_400_20_4.apx_1_DC-AD 3 42.90 42.97 4134.0 50000 50000 127000
ER_400_20_4.apx_2_DC-AD 3 44.10 44.16 4093.0 50000 50000 127000
ER_400_20_4.apx_2_DC-ST 3 25.00 25.04 2468.0 50000 50000 127000
ER_400_20_7.apx_1_DC-AD 3 68.99 69.10 6207.0 50000 50000 127000
ER_400_20_7.apx_2_DC-AD 3 0.00 0.00 0.0 50000 50000 127000
ER_400_20_7.apx_2_DC-ST 3 156.88 156.96 14698.0 50000 50000 127000
ER_500_30_3.apx_1_DC-ST 3 23.99 24.02 2379.0 50000 50000 127000
ER_500_30_3.apx_2_DC-AD 3 76.80 76.85 7557.0 50000 50000 127000
FmlaEquivChain_4_6_6.sanitized 3 0.70 0.74 150.0 50000 50000 127000
FmlaEquivChain_4_8_8.sanitized 3 53.29 53.39 11345.0 50000 50000 127000
FmlaImplyChain_3_7_7.sanitized 3 10.49 10.60 2014.0 50000 50000 127000
FmlaImplyChain_3_7_8.sanitized 3 0.00 0.00 0.0 50000 50000 127000
Folkman-175-1251868.sanitized 3 0.00 0.01 0.0 50000 50000 127000
Folkman-175-7416734.sanitized 3 0.00 0.01 0.0 50000 50000 127000
Folkman-175-9054056.sanitized 3 0.00 0.00 0.0 50000 50000 127000
Folkman-180-11710376.sanitized 3 0.00 0.02 0.0 50000 50000 127000
Folkman-180-5383714.sanitized 3 0.00 0.02 0.0 50000 50000 127000
Folkman-185-152478531.sanitized 3 0.00 0.00 0.0 50000 50000 127000
Folkman-185-19924337.sanitized 3 0.00 0.01 0.0 50000 50000 127000
Folkman-185-75415683.sanitized 3 0.00 0.00 0.0 50000 50000 127000
Folkman-190-104806020.sanitized 3 0.00 0.00 0.0 50000 50000 127000
Folkman-190-358004741.sanitized 3 0.00 0.00 0.0 50000 50000 127000
Folkman-190-66337703.sanitized 3 0.00 0.00 0.0 50000 50000 127000
GracefulGraph-K05-P02_c18 3 0.00 0.02 0.0 50000 50000 127000
HCP-446-105 3 0.00 0.09 0.0 50000 50000 127000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 3 34.70 34.72 2769.0 50000 50000 127000
ITC2021_Early_10.xml 3 0.00 0.00 0.0 50000 50000 127000
ITC2021_Early_3.xml 3 0.00 0.07 0.0 50000 50000 127000
ITC2021_Middle_1.xml 3 0.00 0.00 0.0 50000 50000 127000
Kakuro-easy-097-ext.xml.hg_4 3 10.80 10.84 1472.0 50000 50000 127000
MASG0_72_keystream76_0 3 0.00 0.02 0.0 50000 50000 127000
Nb13T165 3 0.00 0.00 0.0 50000 50000 127000
Nb44T6 3 7.60 7.67 1974.0 50000 50000 127000
Ptn-7824-b18 3 0.00 0.01 0.0 50000 50000 127000
REGRandom-K3-L3-Seed25.sanitized 3 0.50 0.58 96.0 50000 50000 127000
REGRandom-K4-L1-Seed30.sanitized 3 1.89 2.00 343.0 50000 50000 127000
REGRandom-K4-L2-Seed35.sanitized 3 62.70 62.79 10968.0 50000 50000 127000
REGRandom-K4-L3-Seed40.sanitized 3 0.00 0.00 0.0 50000 50000 127000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 3 183.59 183.70 15120.0 50000 50000 127000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 3 0.00 0.00 0.0 50000 50000 127000
Schur_161_5_d38 3 0.00 0.00 0.0 50000 50000 127000
StConn_7_128.sanitized 3 80.30 93.51 15430.0 50000 50000 127000
StConn_8_32.sanitized 3 12.40 12.49 1877.0 50000 50000 127000
T105.2.0 3 7.20 7.22 1835.0 50000 50000 127000
Timetable_C_392_E_62_Cl_26_S_28 3 0.50 0.57 95.0 50000 50000 127000
VanDerWaerden_2-3-14_186 3 0.00 0.00 0.0 50000 50000 127000
WS_500_16_70_10.apx_1_DC-ST 3 18.19 18.26 1522.0 50000 50000 127000
WS_500_16_70_10.apx_2_DC-AD 3 27.49 27.57 2292.0 50000 50000 127000
WS_500_16_90_70.apx_2_DC-AD 3 24.90 24.96 2133.0 50000 50000 127000
af-synthesis_stb_50_100_4_sat 3 0.00 0.09 0.0 50000 50000 127000
af-synthesis_stb_50_100_9_sat 3 0.00 0.10 0.0 50000 50000 127000
af-synthesis_stb_50_100_9_unsat 3 20.20 20.30 1437.0 50000 50000 127000
af-synthesis_stb_50_120_4_sat 3 0.00 0.10 0.0 50000 50000 127000
af-synthesis_stb_50_140_0_unsat 3 16.79 16.91 1344.0 50000 50000 127000
af-synthesis_stb_50_140_1_unsat 3 30.30 30.38 2480.0 50000 50000 127000
af-synthesis_stb_50_140_3_unsat 3 7.50 7.56 571.0 50000 50000 127000
af-synthesis_stb_50_200_0_sat 3 0.19 0.25 27.0 50000 50000 127000
af-synthesis_stb_50_200_0_unsat 3 15.10 15.19 1247.0 50000 50000 127000
af-synthesis_stb_50_200_4_unsat 3 8.70 8.75 701.0 50000 50000 127000
af-synthesis_stb_50_40_2_unsat 3 11.10 11.12 929.0 50000 50000 127000
af-synthesis_stb_50_40_9_sat 3 0.00 0.05 0.0 50000 50000 127000
af-synthesis_stb_50_40_9_unsat 3 38.20 38.30 2903.0 50000 50000 127000
apn-sbox5-cut3-symmbreak 3 0.00 0.00 0.0 50000 50000 127000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 3 0.10 0.14 21.0 50000 50000 127000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 3 0.10 0.14 21.0 50000 50000 127000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 3 107.49 107.52 5724.0 50000 50000 127000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 3 40.90 41.00 2276.0 50000 50000 127000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 3 41.40 41.44 2551.0 50000 50000 127000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 3 117.70 117.76 5033.0 50000 50000 127000
atco_enc1_opt1_10_15 3 0.00 0.10 0.0 50000 50000 127000
barman-pfile06-022.sas.ex.7 3 0.39 0.46 84.0 50000 50000 127000
battleship-14-26-sat 3 0.00 0.01 0.0 50000 50000 127000
bmc_QICE_snp_vld_30 3 21.80 21.86 4077.0 50000 50000 127000
bphp_p23_h22.sanitized 3 0.00 0.00 0.0 50000 50000 127000
bvsub_19952 3 0.00 0.00 0.0 50000 50000 127000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 3 1.29 1.39 160.0 50000 50000 127000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 3 1.10 1.19 118.0 50000 50000 127000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 3 1.29 1.32 133.0 50000 50000 127000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 3 1.59 1.65 171.0 50000 50000 127000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 3 0.00 0.00 0.0 50000 50000 127000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 3 0.90 0.95 114.0 50000 50000 127000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 3 1.00 1.10 125.0 50000 50000 127000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 3 0.00 0.00 0.0 50000 50000 127000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 3 0.00 0.00 0.0 50000 50000 127000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 3 1.29 1.37 162.0 50000 50000 127000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 3 0.09 0.15 15.0 50000 50000 127000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 3 0.10 0.17 9.0 50000 50000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 3 0.10 0.17 10.0 50000 50000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 3 0.09 0.14 12.0 50000 50000 127000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 3 0.29 0.39 44.0 50000 50000 127000
clique_n2_k10.sanitized 3 1.40 1.43 158.0 50000 50000 127000
cliquecolouring_n13_k8_c7.sanitized 3 0.00 0.00 0.0 50000 50000 127000
cliquecolouring_n13_k9_c8.sanitized 3 0.00 0.00 0.0 50000 50000 127000
cliquecolouring_n15_k9_c8.sanitized 3 0.00 0.00 0.0 50000 50000 127000
cliquecolouring_n21_k6_c5.sanitized 3 0.00 0.00 0.0 50000 50000 127000
cliquecolouring_n31_k5_c4.sanitized 3 0.00 0.00 0.0 50000 50000 127000
cliquecolouring_n41_k5_c4.sanitized 3 0.00 0.00 0.0 50000 50000 127000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 3 0.00 0.02 0.0 50000 50000 127000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 3 0.00 0.01 0.0 50000 50000 127000
constraints_16_0.3_1.sanitized 3 17.19 17.27 1567.0 50000 50000 127000
constraints_16_0.4_1.sanitized 3 9.00 9.04 915.0 50000 50000 127000
constraints_16_0.5_1.sanitized 3 8.30 8.38 867.0 50000 50000 127000
constraints_17_0.3_2.sanitized 3 3.40 3.48 479.0 50000 50000 127000
constraints_17_0.4_1.sanitized 3 0.30 0.33 31.0 50000 50000 127000
constraints_17_0.4_2.sanitized 3 2.99 3.07 485.0 50000 50000 127000
constraints_17_0.5_2.sanitized 3 3.70 3.79 678.0 50000 50000 127000
constraints_18_0.3_2.sanitized 3 19.50 19.59 2027.0 50000 50000 127000
constraints_18_0.4_2.sanitized 3 16.49 16.57 2222.0 50000 50000 127000
constraints_18_0.5_2.sanitized 3 16.80 16.90 2168.0 50000 50000 127000
constraints_25_4_5_12_12_0_0_0.sanitized 3 10.50 10.56 933.0 50000 50000 127000
crafted_n12_d6_c4_num23 3 10.80 10.83 1803.0 50000 50000 127000
crn_11_99_u 3 0.00 0.04 0.0 50000 50000 127000
ctl_4201_555_unsat_pre 3 52.80 52.83 5185.0 50000 50000 127000
ctl_4291_567_2_unsat-sc2013 3 49.60 49.66 4569.0 50000 50000 127000
ctl_4291_567_9_unsat 3 20.60 20.67 2040.0 50000 50000 127000
ecarev-110-4099-22-30-7 3 0.20 0.26 37.0 50000 50000 127000
ex065_25 3 0.10 0.12 23.0 50000 50000 127000
exam_flat_0.04_2018_3 3 0.60 0.71 111.0 50000 50000 127000
f9idw 3 5.60 5.65 1092.0 50000 50000 127000
fermat-931960058139995587 3 0.00 0.00 0.0 50000 50000 127000
fixedbandwidth-eq-31_shuffled 3 0.00 0.00 0.0 50000 50000 127000
frb45-21-2.used-as.sat04-884 3 0.00 0.02 0.0 50000 50000 127000
frb65-12-2.used-as.sat04-874 3 0.00 0.01 0.0 50000 50000 127000
g2-T93.2.1 3 8.40 8.45 2146.0 50000 50000 127000
g2-ak128boothbg2msaig 3 0.50 0.58 94.0 50000 50000 127000
g2-ak128boothbg2msisc 3 0.60 0.67 68.0 50000 50000 127000
g2-hwmcc15deep-6s161-k17 3 56.99 57.03 4906.0 50000 50000 127000
g2-hwmcc15deep-bob12s02-k16 3 0.00 0.00 0.0 50000 50000 127000
g2-slp-synthesis-aes-top30 3 0.09 0.16 15.0 50000 50000 127000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 3 14.89 14.96 1564.0 50000 50000 127000
goldcrest-and-9 3 23.59 23.63 1737.0 50000 50000 127000
grs-64-128 3 108.79 108.85 9709.0 50000 50000 127000
grs-64-64 3 28.20 28.30 2604.0 50000 50000 127000
hcp_CP18_18 3 0.09 0.17 19.0 50000 50000 127000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 3 16.20 16.24 1285.0 50000 50000 127000
hwmcc12miters-xits-iso-6s111.sanitized 3 0.00 0.00 0.0 50000 50000 127000
hwmcc17miters-xits-iso-6s281b35.sanitized 3 0.00 0.00 0.0 50000 50000 127000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 3 0.00 0.00 0.0 50000 50000 127000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 3 11.10 11.20 2048.0 50000 50000 127000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 3 28.20 28.31 5658.0 50000 50000 127000
hwmcc20miters-iso-mul2.sanitized 3 0.39 0.44 114.0 50000 50000 127000
hwmcc20miters-iso-mul3.sanitized 3 1.59 1.71 462.0 50000 50000 127000
hwmcc20miters-iso-mul7.sanitized 3 1.80 1.83 452.0 50000 50000 127000
hwmcc20miters-iso-rast-p06.sanitized 3 0.00 0.00 0.0 50000 50000 127000
hwmcc20miters-iso-rast-p11.sanitized 3 0.00 0.00 0.0 50000 50000 127000
j3037_10_mdd_b 3 0.00 0.02 0.0 50000 50000 127000
j3037_10_mdd_bm1 3 2.26 2.31 167.0 50000 50000 127000
j3037_10_rggt_b 3 0.00 0.04 0.0 50000 50000 127000
j3037_1_gmto_b 3 0.00 0.04 0.0 50000 50000 127000
j3037_1_mdd_b 3 0.00 0.05 0.0 50000 50000 127000
j3037_9_mdd_bm1 3 0.00 0.00 0.0 50000 50000 127000
j3037_9_rggt_b 3 0.00 0.04 0.0 50000 50000 127000
j3045_10_gmto_b 3 0.00 0.04 0.0 50000 50000 127000
j3045_10_rggt_b 3 0.00 0.02 0.0 50000 50000 127000
j3045_4_gmto_b 3 0.00 0.03 0.0 50000 50000 127000
j3045_4_mdd_bm1 3 29.29 29.34 2352.0 50000 50000 127000
jgiraldezlevy.2200.9086.08.40.41 3 0.00 0.01 0.0 50000 50000 127000
lec_mult_CvD_11x11.sanitized 3 89.10 89.18 7421.0 50000 50000 127000
lec_mult_CvK_11x10.sanitized 3 105.00 105.06 7364.0 50000 50000 127000
lec_mult_CvK_11x11.sanitized 3 247.70 247.80 14935.0 50000 50000 127000
lec_mult_CvK_12x11.sanitized 3 0.00 0.00 0.0 50000 50000 127000
lec_mult_CvK_12x12.sanitized 3 0.00 0.00 0.0 50000 50000 127000
lec_mult_CvW_12x11.sanitized 3 0.00 0.00 0.0 50000 50000 127000
lec_mult_CvW_12x12.sanitized 3 0.00 0.00 0.0 50000 50000 127000
lec_mult_DvK_11x10.sanitized 3 120.09 120.12 7438.0 50000 50000 127000
lec_mult_DvK_12x12.sanitized 3 0.00 0.00 0.0 50000 50000 127000
lec_mult_DvW_11x10.sanitized 3 46.59 46.70 3327.0 50000 50000 127000
lec_mult_DvW_12x11.sanitized 3 0.00 0.00 0.0 50000 50000 127000
lec_mult_DvW_12x12.sanitized 3 0.00 0.00 0.0 50000 50000 127000
lec_mult_KvW_10x10.sanitized 3 57.50 57.53 3391.0 50000 50000 127000
lec_mult_KvW_11x10.sanitized 3 109.09 109.12 6570.0 50000 50000 127000
lec_mult_KvW_12x11.sanitized 3 0.00 0.00 0.0 50000 50000 127000
linked_list_swap_contents_safety_unwind45 3 19.10 19.19 3786.0 50000 50000 127000
linked_list_swap_contents_safety_unwind54 3 22.49 22.56 4505.0 50000 50000 127000
linked_list_swap_contents_safety_unwind57 3 17.29 17.40 4099.0 50000 50000 127000
linked_list_swap_contents_safety_unwind62 3 30.70 30.73 5442.0 50000 50000 127000
linked_list_swap_contents_safety_unwind63 3 24.90 24.98 4871.0 50000 50000 127000
linked_list_swap_contents_safety_unwind65 3 39.80 39.82 7653.0 50000 50000 127000
linked_list_swap_contents_safety_unwind68 3 60.49 60.55 8869.0 50000 50000 127000
linked_list_swap_contents_safety_unwind69 3 80.40 80.49 11594.0 50000 50000 127000
linked_list_swap_contents_safety_unwind70 3 55.20 55.24 8528.0 50000 50000 127000
linked_list_swap_contents_safety_unwind73 3 51.30 51.34 9527.0 50000 50000 127000
linked_list_swap_contents_safety_unwind76 3 92.40 92.44 14299.0 50000 50000 127000
linked_list_swap_contents_safety_unwind78 3 69.49 69.52 11656.0 50000 50000 127000
linked_list_swap_contents_safety_unwind80 3 74.19 74.21 11959.0 50000 50000 127000
lru_10.sanitized 3 43.80 43.82 6460.0 50000 50000 127000
lru_6.sanitized 3 25.50 25.56 3864.0 50000 50000 127000
lru_7.sanitized 3 29.89 29.98 4513.0 50000 50000 127000
lru_8.sanitized 3 34.59 34.63 5162.0 50000 50000 127000
lru_9.sanitized 3 38.99 39.04 5811.0 50000 50000 127000
manol-pipe-g10bid_i 3 4.30 4.32 785.0 50000 50000 127000
marg5x5.shuffled-as.sat03-1455 3 0.00 0.00 0.0 50000 50000 127000
mchess_15 3 1.69 1.72 236.0 50000 50000 127000
mchess_16 3 3.60 3.65 688.0 50000 50000 127000
mchess_17 3 35.79 35.88 4833.0 50000 50000 127000
md5_48_1 3 0.00 0.10 0.0 50000 50000 127000
mdp-28-10-unsat 3 52.29 52.40 4926.0 50000 50000 127000
mdp-28-11-sat 3 0.00 0.01 0.0 50000 50000 127000
mdp-28-14-sat 3 0.00 0.01 0.0 50000 50000 127000
mdp-28-14-unsat 3 71.00 71.03 6461.0 50000 50000 127000
mdp-28-16-unsat 3 59.10 59.19 5480.0 50000 50000 127000
mdp-32-10-sat 3 0.00 0.01 0.0 50000 50000 127000
mdp-32-10-unsat 3 0.00 0.00 0.0 50000 50000 127000
mdp-32-11-sat 3 0.00 0.00 0.0 50000 50000 127000
mdp-32-11-unsat 3 0.00 0.00 0.0 50000 50000 127000
mdp-32-12-unsat 3 0.00 0.00 0.0 50000 50000 127000
mdp-32-14-sat 3 0.00 0.00 0.0 50000 50000 127000
mdp-32-14-unsat 3 0.00 0.00 0.0 50000 50000 127000
mdp-32-16-sat 3 0.00 0.01 0.0 50000 50000 127000
mdp-36-10-sat 3 0.00 0.00 0.0 50000 50000 127000
mdp-36-10-unsat 3 0.00 0.00 0.0 50000 50000 127000
mdp-36-12-unsat 3 0.00 0.00 0.0 50000 50000 127000
mdp-36-14-sat 3 0.00 0.00 0.0 50000 50000 127000
mp1-Nb5T15 3 0.00 0.02 0.0 50000 50000 127000
mp1-Nb7T42 3 0.09 0.12 13.0 50000 50000 127000
mp1-blockpuzzle_5x10_s7_free4 3 7.39 7.44 771.0 50000 50000 127000
mp1-klieber2017s-0500-023-t12 3 0.00 0.03 0.0 50000 50000 127000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 3 2.49 2.54 245.0 50000 50000 127000
mrpp_4x4#12_12 3 0.40 0.44 62.0 50000 50000 127000
mulhs016-sc2009 3 0.00 0.00 0.0 50000 50000 127000
noL-11-0.sanitized 3 0.00 0.00 0.0 50000 50000 127000
noL-11-10.sanitized 3 0.00 0.01 0.0 50000 50000 127000
noL-11-12.sanitized 3 0.00 0.01 0.0 50000 50000 127000
noL-11-14.sanitized 3 0.00 0.01 0.0 50000 50000 127000
noL-11-16.sanitized 3 0.00 0.01 0.0 50000 50000 127000
noL-11-18.sanitized 3 0.00 0.01 0.0 50000 50000 127000
noL-11-2.sanitized 3 0.00 0.00 0.0 50000 50000 127000
noL-11-20.sanitized 3 0.00 0.01 0.0 50000 50000 127000
noL-11-4.sanitized 3 0.00 0.00 0.0 50000 50000 127000
noL-11-6.sanitized 3 0.00 0.01 0.0 50000 50000 127000
noL-11-8.sanitized 3 0.00 0.00 0.0 50000 50000 127000
oisc-subrv-sll-nested-11 3 257.89 257.95 16019.0 50000 50000 127000
oisc-subrv-sll-nested-13 3 0.00 0.00 0.0 50000 50000 127000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 3 0.00 0.00 0.0 50000 50000 127000
or_randxor_k3_n510_m510.sanitized 3 0.30 0.41 38.0 50000 50000 127000
pb_300_05_lb_17 3 0.20 0.21 22.0 50000 50000 127000
pb_300_09_lb_07 3 0.30 0.35 37.0 50000 50000 127000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 3 5.09 5.20 518.0 50000 50000 127000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 3 0.00 0.02 0.0 50000 50000 127000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 3 32.20 32.22 2971.0 50000 50000 127000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 3 9.69 9.81 958.0 50000 50000 127000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 127000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 3 0.00 0.00 0.0 50000 50000 127000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 3 9.70 9.76 1020.0 50000 50000 127000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 127000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 127000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 3 18.50 18.54 1832.0 50000 50000 127000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 3 104.89 104.94 9840.0 50000 50000 127000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 127000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 127000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 127000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 3 0.00 0.00 0.0 50000 50000 127000
post-cbmc-aes-ee-r3-noholes 3 6.70 6.79 1351.0 50000 50000 127000
preimage_80r_495m_160h_seed_379 3 0.00 0.10 0.0 50000 50000 127000
qwh.50.1250.shuffled-as.sat03-1655 3 0.00 0.10 0.0 50000 50000 127000
qwh.60.1728.shuffled-as.sat03-1659 3 0.10 0.15 26.0 50000 50000 127000
rbsat-v1150c84314gyes1 3 0.00 0.00 0.0 50000 50000 127000
rbsat-v760c43649gyes3 3 0.00 0.01 0.0 50000 50000 127000
rbsat-v760c43649gyes7 3 0.00 0.01 0.0 50000 50000 127000
rbsat-v760c43649gyes9 3 0.00 0.01 0.0 50000 50000 127000
rbsat-v945c61409gyes9-sc2009 3 0.00 0.02 0.0 50000 50000 127000
rook-42-0-1 3 7.30 7.35 1584.0 50000 50000 127000
rook-56-0-0 3 15.89 15.95 3421.0 50000 50000 127000
rook-56-1-1 3 20.10 20.13 4196.0 50000 50000 127000
rphp_p8_r160.sanitized 3 0.00 0.00 0.0 50000 50000 127000
rphp_p8_r170.sanitized 3 0.00 0.00 0.0 50000 50000 127000
sgen1-sat-180-100 3 0.00 0.01 0.0 50000 50000 127000
sgen1-unsat-121-100 3 0.00 0.00 0.0 50000 50000 127000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 3 1.60 1.63 267.0 50000 50000 127000
si2-b03m-m800-03 3 0.39 0.49 39.0 50000 50000 127000
simon-r16-1.sanitized 3 0.00 0.01 0.0 50000 50000 127000
simon-r17-0.sanitized 3 0.00 0.02 0.0 50000 50000 127000
simon-r18-0.sanitized 3 0.00 0.02 0.0 50000 50000 127000
simon-r19-1.sanitized 3 0.00 0.02 0.0 50000 50000 127000
simon-r20-0.sanitized 3 0.00 0.01 0.0 50000 50000 127000
simon-r21-0.sanitized 3 0.00 0.01 0.0 50000 50000 127000
simon-r22-1.sanitized 3 0.00 0.01 0.0 50000 50000 127000
simon-r23-1.sanitized 3 0.00 0.01 0.0 50000 50000 127000
simon-r24-1.sanitized 3 0.00 0.01 0.0 50000 50000 127000
simon-r25-0.sanitized 3 0.00 0.01 0.0 50000 50000 127000
sokoban-p16.sas.ex.15-sc2016 3 138.79 138.88 12073.0 50000 50000 127000
sokoban-p20.sas.cr.25 3 363.49 363.59 28355.0 50000 50000 127000
sokoban-p20.sas.cr.33 3 0.00 0.00 0.0 50000 50000 127000
spg_200_316 3 7.89 7.93 1569.0 50000 50000 127000
srhd-sgi-m37-q446.25-n35-p30-s33692332 3 0.00 0.07 0.0 50000 50000 127000
stable-300-0.1-20-98765432130020 3 0.00 0.03 0.0 50000 50000 127000
stb_418_125.apx_1_DC-AD 3 73.10 73.20 6401.0 50000 50000 127000
stb_418_125.apx_1_DC-ST 3 35.39 35.50 2999.0 50000 50000 127000
stb_418_125.apx_2_DC-AD 3 62.70 62.80 5463.0 50000 50000 127000
stb_495_168.apx_1_DC-AD 3 18.19 18.24 1571.0 50000 50000 127000
stb_495_168.apx_2_DC-AD 3 15.60 15.70 1355.0 50000 50000 127000
stb_531_83.apx_1_DC-ST 3 19.30 19.34 1479.0 50000 50000 127000
stb_531_83.apx_2_DC-ST 3 12.79 12.85 1102.0 50000 50000 127000
stb_588_138.apx_1_DC-AD 3 28.40 28.45 2197.0 50000 50000 127000
stb_588_138.apx_1_DC-ST 3 11.40 11.45 967.0 50000 50000 127000
sted5_0x1e3-20 3 0.00 0.00 0.0 50000 50000 127000
sted5_0x24204-50 3 0.00 0.02 0.0 50000 50000 127000
string_compare_safety_cbmc_unwinding_900 3 148.89 148.92 12778.0 50000 50000 127000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 3 0.00 0.06 0.0 50000 50000 127000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 3 0.10 0.12 12.0 50000 50000 127000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 3 0.10 0.14 13.0 50000 50000 127000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 3 0.00 0.00 0.0 50000 50000 127000
tseitin_d3_n158.sanitized 3 0.00 0.00 0.0 50000 50000 127000
tseitin_d3_n162.sanitized 3 0.00 0.00 0.0 50000 50000 127000
tseitin_d3_n174.sanitized 3 0.00 0.00 0.0 50000 50000 127000
tseitin_grid_n11_m20.sanitized 3 69.49 69.51 15804.0 50000 50000 127000
tseitingrid6x200_shuffled 3 0.00 0.00 0.0 50000 50000 127000
two-trees-1023v.sanitized 3 0.00 0.00 0.0 50000 50000 127000
two-trees-511v.sanitized 3 0.00 0.01 0.0 50000 50000 127000
urq45 3 25.80 25.87 3109.0 50000 50000 127000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 3 0.00 0.00 0.0 50000 50000 127000
worker_20_40_20_0.95 3 0.00 0.01 0.0 50000 50000 127000
worker_30_60_25_0.9 3 0.00 0.00 0.0 50000 50000 127000
worker_40_80_40_0.9 3 0.00 0.00 0.0 50000 50000 127000
worker_550_550_550_0.3 3 2.59 2.68 552.0 50000 50000 127000
x9-08014.sat.sanitized 3 1.00 1.07 109.0 50000 50000 127000
x9-08075.sat.sanitized 3 1.00 1.05 106.0 50000 50000 127000
x9-09004.sat.sanitized 3 3.10 3.21 296.0 50000 50000 127000
x9-09007.sat.sanitized 3 2.20 2.24 217.0 50000 50000 127000
x9-09014.sat.sanitized 3 2.50 2.60 243.0 50000 50000 127000
x9-09024.sat.sanitized 3 1.70 1.74 171.0 50000 50000 127000
x9-09047.sat.sanitized 3 2.00 2.04 194.0 50000 50000 127000
x9-09051.sat.sanitized 3 2.70 2.72 243.0 50000 50000 127000
x9-09054.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-09057.sat.sanitized 3 2.29 2.40 203.0 50000 50000 127000
x9-09076.sat.sanitized 3 1.79 1.87 184.0 50000 50000 127000
x9-09098.sat.sanitized 3 3.10 3.14 293.0 50000 50000 127000
x9-10002.sat.sanitized 3 14.50 14.55 1081.0 50000 50000 127000
x9-10007.sat.sanitized 3 7.80 7.89 665.0 50000 50000 127000
x9-10014.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-10027.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-10031.sat.sanitized 3 12.70 12.74 998.0 50000 50000 127000
x9-10038.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-10051.sat.sanitized 3 8.90 8.97 725.0 50000 50000 127000
x9-10076.sat.sanitized 3 7.30 7.31 629.0 50000 50000 127000
x9-10083.sat.sanitized 3 7.50 7.54 631.0 50000 50000 127000
x9-10084.sat.sanitized 3 7.00 7.04 558.0 50000 50000 127000
x9-10093.sat.sanitized 3 7.90 7.99 679.0 50000 50000 127000
x9-10096.sat.sanitized 3 7.30 7.32 617.0 50000 50000 127000
x9-10098.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-11034.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-11053.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-11062.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-11077.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-11088.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-11093.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-11094.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-12001.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-12014.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-12021.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-12035.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-12063.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-12087.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-12092.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
x9-12098.sat.sanitized 3 0.00 0.01 0.0 50000 50000 127000
