 result time real space tlim rlim slim
002 3 0.00 0.00 0.0 5000 5000 127000
004 3 0.00 0.07 0.0 5000 5000 127000
1-ET-256-K-55.sanitized 3 0.00 0.00 0.0 5000 5000 127000
1-ET-256-K-70.sanitized 3 5.69 5.73 961.0 5000 5000 127000
1-ET-512-K-110.sanitized 3 0.00 0.00 0.0 5000 5000 127000
1-ET-512-K-96.sanitized 3 0.00 0.00 0.0 5000 5000 127000
1-TC-256-K-64.sanitized 3 77.29 77.33 7170.0 5000 5000 127000
1-TC-256-K-68.sanitized 3 7.60 7.63 1399.0 5000 5000 127000
1-TC-256-K-71.sanitized 3 4.99 5.04 795.0 5000 5000 127000
1-ZC-1024-K-116.sanitized 3 0.00 0.00 0.0 5000 5000 127000
1-ZC-1024-K-117.sanitized 3 0.00 0.00 0.0 5000 5000 127000
1-ZC-512-K-60.sanitized 3 0.20 0.26 50.0 5000 5000 127000
1-ZC-512-K-61.sanitized 3 0.19 0.27 49.0 5000 5000 127000
1-ZC-512-K-63.sanitized 3 0.00 0.00 0.0 5000 5000 127000
1-ZC-512-K-64.sanitized 3 0.00 0.00 0.0 5000 5000 127000
1-ZC-512-K-65.sanitized 3 0.00 0.00 0.0 5000 5000 127000
1-ZC-512-K-67.sanitized 3 0.00 0.00 0.0 5000 5000 127000
128_100.sanitized 3 37.99 38.06 5746.0 5000 5000 127000
128_125.sanitized 3 48.69 48.74 7186.0 5000 5000 127000
128_75.sanitized 3 28.29 28.35 4306.0 5000 5000 127000
170058440 3 0.00 0.01 0.0 5000 5000 127000
2dlx_ca_bp_f_liveness 3 0.00 0.00 0.0 5000 5000 127000
32_100.sanitized 3 11.17 13.55 1638.0 5000 5000 127000
32_200.sanitized 3 23.16 29.50 3279.0 5000 5000 127000
32_325.sanitized 3 35.29 35.36 5330.0 5000 5000 127000
32_350.sanitized 3 38.09 38.15 5740.0 5000 5000 127000
64_150.sanitized 3 28.59 28.61 4337.0 5000 5000 127000
64_200.sanitized 3 38.39 38.49 5785.0 5000 5000 127000
64_25.sanitized 3 4.57 4.64 718.0 5000 5000 127000
6g_6color_366_050_04 3 0.00 0.00 0.0 5000 5000 127000
6s130-opt 3 13.30 13.32 1919.0 5000 5000 127000
6s167-opt 3 1.00 1.09 222.0 5000 5000 127000
Break_08_24.xml 3 0.00 0.01 0.0 5000 5000 127000
Break_18_32.xml 3 0.00 0.00 0.0 5000 5000 127000
Break_20_72.xml 3 0.00 0.00 0.0 5000 5000 127000
Break_triple_20_36.xml 3 0.00 0.00 0.0 5000 5000 127000
Break_unsat_04_03.xml 3 0.00 0.01 0.0 5000 5000 127000
Break_unsat_06_07.xml 3 0.00 0.09 0.0 5000 5000 127000
Break_unsat_14_23.xml 3 0.00 0.00 0.0 5000 5000 127000
Break_unsat_16_27.xml 3 0.00 0.00 0.0 5000 5000 127000
Break_unsat_18_31.xml 3 0.00 0.00 0.0 5000 5000 127000
Circuit_multiplier22 3 0.00 0.01 0.0 5000 5000 127000
DLTM_twitter774_83_17 3 0.00 0.04 0.0 5000 5000 127000
Dodecahedron-k7 3 0.00 0.00 0.0 5000 5000 127000
EDP3-11000 3 0.20 0.22 38.0 5000 5000 127000
ER_400_20_4.apx_1_DC-AD 3 26.30 26.32 2812.0 5000 5000 127000
ER_400_20_4.apx_2_DC-AD 3 25.20 25.28 2691.0 5000 5000 127000
ER_400_20_4.apx_2_DC-ST 3 20.70 20.80 2251.0 5000 5000 127000
ER_400_20_7.apx_1_DC-AD 3 34.50 34.59 3797.0 5000 5000 127000
ER_400_20_7.apx_2_DC-AD 3 137.69 137.75 15431.0 5000 5000 127000
ER_400_20_7.apx_2_DC-ST 3 116.80 116.83 12815.0 5000 5000 127000
ER_500_30_3.apx_1_DC-ST 3 16.40 16.48 1856.0 5000 5000 127000
ER_500_30_3.apx_2_DC-AD 3 101.80 101.91 10317.0 5000 5000 127000
FmlaEquivChain_4_6_6.sanitized 3 0.48 0.55 136.0 5000 5000 127000
FmlaEquivChain_4_8_8.sanitized 3 18.99 19.02 4348.0 5000 5000 127000
FmlaImplyChain_3_7_7.sanitized 3 25.00 25.05 4753.0 5000 5000 127000
FmlaImplyChain_3_7_8.sanitized 3 0.00 0.00 0.0 5000 5000 127000
Folkman-175-1251868.sanitized 3 0.00 0.01 0.0 5000 5000 127000
Folkman-175-7416734.sanitized 3 0.00 0.01 0.0 5000 5000 127000
Folkman-175-9054056.sanitized 3 0.00 0.01 0.0 5000 5000 127000
Folkman-180-11710376.sanitized 3 0.00 0.01 0.0 5000 5000 127000
Folkman-180-5383714.sanitized 3 0.00 0.01 0.0 5000 5000 127000
Folkman-185-152478531.sanitized 3 0.00 0.00 0.0 5000 5000 127000
Folkman-185-19924337.sanitized 3 0.00 0.00 0.0 5000 5000 127000
Folkman-185-75415683.sanitized 3 0.00 0.00 0.0 5000 5000 127000
Folkman-190-104806020.sanitized 3 0.00 0.00 0.0 5000 5000 127000
Folkman-190-358004741.sanitized 3 0.00 0.00 0.0 5000 5000 127000
Folkman-190-66337703.sanitized 3 0.00 0.00 0.0 5000 5000 127000
GracefulGraph-K05-P02_c18 3 0.00 0.01 0.0 5000 5000 127000
HCP-446-105 3 0.00 0.09 0.0 5000 5000 127000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 3 32.09 32.19 2507.0 5000 5000 127000
ITC2021_Early_10.xml 3 0.00 0.00 0.0 5000 5000 127000
ITC2021_Early_3.xml 3 0.00 0.10 0.0 5000 5000 127000
ITC2021_Middle_1.xml 3 0.00 0.00 0.0 5000 5000 127000
Kakuro-easy-097-ext.xml.hg_4 3 10.18 11.32 1527.0 5000 5000 127000
MASG0_72_keystream76_0 3 0.00 0.00 0.0 5000 5000 127000
Nb13T165 3 0.00 0.00 0.0 5000 5000 127000
Nb44T6 3 6.77 7.58 1859.0 5000 5000 127000
Ptn-7824-b18 3 0.00 0.01 0.0 5000 5000 127000
REGRandom-K3-L3-Seed25.sanitized 3 0.00 0.00 0.0 5000 5000 127000
REGRandom-K4-L1-Seed30.sanitized 3 0.00 0.00 0.0 5000 5000 127000
REGRandom-K4-L2-Seed35.sanitized 3 0.00 0.00 0.0 5000 5000 127000
REGRandom-K4-L3-Seed40.sanitized 3 0.00 0.00 0.0 5000 5000 127000
SGI_30_60_19_60_6-dir.shuffled-as.sat03-112 3 137.09 137.18 12444.0 5000 5000 127000
SGI_30_80_26_70_4-log.shuffled-as.sat03-208 3 0.00 0.00 0.0 5000 5000 127000
Schur_161_5_d38 3 0.00 0.00 0.0 5000 5000 127000
StConn_7_128.sanitized 3 0.00 0.00 0.0 5000 5000 127000
StConn_8_32.sanitized 3 13.29 13.34 1815.0 5000 5000 127000
T105.2.0 3 10.30 24.04 2270.0 5000 5000 127000
Timetable_C_392_E_62_Cl_26_S_28 3 0.49 0.59 94.0 5000 5000 127000
VanDerWaerden_2-3-14_186 3 0.00 0.00 0.0 5000 5000 127000
WS_500_16_70_10.apx_1_DC-ST 3 14.30 14.35 1290.0 5000 5000 127000
WS_500_16_70_10.apx_2_DC-AD 3 26.39 26.50 2409.0 5000 5000 127000
WS_500_16_90_70.apx_2_DC-AD 3 19.40 19.50 1742.0 5000 5000 127000
af-synthesis_stb_50_100_4_sat 3 0.00 0.09 0.0 5000 5000 127000
af-synthesis_stb_50_100_9_sat 3 0.00 0.09 0.0 5000 5000 127000
af-synthesis_stb_50_100_9_unsat 3 15.99 16.03 1145.0 5000 5000 127000
af-synthesis_stb_50_120_4_sat 3 0.00 0.10 0.0 5000 5000 127000
af-synthesis_stb_50_140_0_unsat 3 15.60 15.61 1100.0 5000 5000 127000
af-synthesis_stb_50_140_1_unsat 3 26.80 26.89 2149.0 5000 5000 127000
af-synthesis_stb_50_140_3_unsat 3 6.10 6.12 475.0 5000 5000 127000
af-synthesis_stb_50_200_0_sat 3 0.10 0.16 22.0 5000 5000 127000
af-synthesis_stb_50_200_0_unsat 3 13.69 13.78 1053.0 5000 5000 127000
af-synthesis_stb_50_200_4_unsat 3 8.40 8.48 589.0 5000 5000 127000
af-synthesis_stb_50_40_2_unsat 3 11.00 11.08 769.0 5000 5000 127000
af-synthesis_stb_50_40_9_sat 3 0.00 0.05 0.0 5000 5000 127000
af-synthesis_stb_50_40_9_unsat 3 29.90 29.95 2374.0 5000 5000 127000
apn-sbox5-cut3-symmbreak 3 0.00 0.00 0.0 5000 5000 127000
asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c 3 0.10 0.15 19.0 5000 5000 127000
asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c 3 0.10 0.14 20.0 5000 5000 127000
asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c 3 111.29 111.36 6104.0 5000 5000 127000
asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c 3 31.60 31.66 2266.0 5000 5000 127000
asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c 3 31.00 31.09 2410.0 5000 5000 127000
asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c 3 82.00 82.02 5719.0 5000 5000 127000
atco_enc1_opt1_10_15 3 0.00 0.09 0.0 5000 5000 127000
barman-pfile06-022.sas.ex.7 3 0.39 0.46 79.0 5000 5000 127000
battleship-14-26-sat 3 0.00 0.01 0.0 5000 5000 127000
bmc_QICE_snp_vld_30 3 15.35 17.65 2990.0 5000 5000 127000
bphp_p23_h22.sanitized 3 0.00 0.00 0.0 5000 5000 127000
bvsub_19952 3 119.10 119.19 28024.0 5000 5000 127000
circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized 3 1.29 1.38 161.0 5000 5000 127000
circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized 3 1.10 1.17 120.0 5000 5000 127000
circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized 3 1.20 1.31 134.0 5000 5000 127000
circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized 3 1.59 1.65 171.0 5000 5000 127000
circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized 3 0.80 0.84 104.0 5000 5000 127000
circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized 3 0.89 0.95 114.0 5000 5000 127000
circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized 3 1.00 1.09 127.0 5000 5000 127000
circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized 3 1.20 1.30 154.0 5000 5000 127000
circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized 3 0.00 0.00 0.0 5000 5000 127000
circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized 3 1.39 1.42 159.0 5000 5000 127000
circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized 3 0.10 0.15 15.0 5000 5000 127000
circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized 3 0.09 0.14 11.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized 3 0.09 0.12 14.0 5000 5000 127000
circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized 3 0.09 0.12 15.0 5000 5000 127000
circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized 3 0.30 0.39 44.0 5000 5000 127000
clique_n2_k10.sanitized 3 43.00 43.06 5736.0 5000 5000 127000
cliquecolouring_n13_k8_c7.sanitized 3 0.00 0.00 0.0 5000 5000 127000
cliquecolouring_n13_k9_c8.sanitized 3 0.00 0.00 0.0 5000 5000 127000
cliquecolouring_n15_k9_c8.sanitized 3 0.00 0.00 0.0 5000 5000 127000
cliquecolouring_n21_k6_c5.sanitized 3 0.00 0.00 0.0 5000 5000 127000
cliquecolouring_n31_k5_c4.sanitized 3 0.00 0.00 0.0 5000 5000 127000
cliquecolouring_n41_k5_c4.sanitized 3 0.00 0.00 0.0 5000 5000 127000
combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2 3 0.00 0.01 0.0 5000 5000 127000
combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2 3 0.00 0.02 0.0 5000 5000 127000
constraints_16_0.3_1.sanitized 3 13.29 13.35 1269.0 5000 5000 127000
constraints_16_0.4_1.sanitized 3 5.89 5.97 698.0 5000 5000 127000
constraints_16_0.5_1.sanitized 3 6.48 6.60 774.0 5000 5000 127000
constraints_17_0.3_2.sanitized 3 3.29 3.40 476.0 5000 5000 127000
constraints_17_0.4_1.sanitized 3 0.29 0.33 31.0 5000 5000 127000
constraints_17_0.4_2.sanitized 3 2.79 2.83 436.0 5000 5000 127000
constraints_17_0.5_2.sanitized 3 2.90 2.99 542.0 5000 5000 127000
constraints_18_0.3_2.sanitized 3 16.70 16.77 1751.0 5000 5000 127000
constraints_18_0.4_2.sanitized 3 14.70 14.73 1872.0 5000 5000 127000
constraints_18_0.5_2.sanitized 3 16.70 16.77 2397.0 5000 5000 127000
constraints_25_4_5_12_12_0_0_0.sanitized 3 11.49 11.61 1031.0 5000 5000 127000
crafted_n12_d6_c4_num23 3 7.69 7.71 1203.0 5000 5000 127000
crn_11_99_u 3 0.00 0.07 0.0 5000 5000 127000
ctl_4201_555_unsat_pre 3 38.80 38.88 3653.0 5000 5000 127000
ctl_4291_567_2_unsat-sc2013 3 45.79 45.90 4029.0 5000 5000 127000
ctl_4291_567_9_unsat 3 19.20 19.21 2110.0 5000 5000 127000
ecarev-110-4099-22-30-7 3 0.19 0.27 36.0 5000 5000 127000
ex065_25 3 0.10 0.12 23.0 5000 5000 127000
exam_flat_0.04_2018_3 3 0.60 0.71 111.0 5000 5000 127000
f9idw 3 2.20 2.30 510.0 5000 5000 127000
fermat-931960058139995587 3 0.00 0.00 0.0 5000 5000 127000
fixedbandwidth-eq-31_shuffled 3 0.00 0.00 0.0 5000 5000 127000
frb45-21-2.used-as.sat04-884 3 0.00 0.03 0.0 5000 5000 127000
frb65-12-2.used-as.sat04-874 3 0.00 0.01 0.0 5000 5000 127000
g2-T93.2.1 3 13.11 19.52 3390.0 5000 5000 127000
g2-ak128boothbg2msaig 3 0.50 0.55 95.0 5000 5000 127000
g2-ak128boothbg2msisc 3 0.38 0.46 68.0 5000 5000 127000
g2-hwmcc15deep-6s161-k17 3 70.70 70.76 5221.0 5000 5000 127000
g2-hwmcc15deep-bob12s02-k16 3 0.00 0.00 0.0 5000 5000 127000
g2-slp-synthesis-aes-top30 3 0.00 0.10 0.0 5000 5000 127000
g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4 3 12.69 12.81 1703.0 5000 5000 127000
goldcrest-and-9 3 55.70 55.77 2883.0 5000 5000 127000
grs-64-128 3 177.19 177.29 14004.0 5000 5000 127000
grs-64-64 3 43.89 44.00 3715.0 5000 5000 127000
hcp_CP18_18 3 0.10 0.16 22.0 5000 5000 127000
hwb-n24-02-S786928571.shuffled-as.sat03-1618 3 12.10 12.14 1089.0 5000 5000 127000
hwmcc12miters-xits-iso-6s111.sanitized 3 0.00 0.00 0.0 5000 5000 127000
hwmcc17miters-xits-iso-6s281b35.sanitized 3 0.00 0.00 0.0 5000 5000 127000
hwmcc17miters-xits-iso-bobsmfpu.sanitized 3 0.00 0.00 0.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b00s.sanitized 3 0.00 0.00 0.0 5000 5000 127000
hwmcc17miters-xits-iso-oski15a08b08s.sanitized 3 0.00 0.00 0.0 5000 5000 127000
hwmcc20miters-iso-mul2.sanitized 3 0.00 0.00 0.0 5000 5000 127000
hwmcc20miters-iso-mul3.sanitized 3 0.00 0.00 0.0 5000 5000 127000
hwmcc20miters-iso-mul7.sanitized 3 0.00 0.00 0.0 5000 5000 127000
hwmcc20miters-iso-rast-p06.sanitized 3 0.00 0.00 0.0 5000 5000 127000
hwmcc20miters-iso-rast-p11.sanitized 3 0.00 0.00 0.0 5000 5000 127000
j3037_10_mdd_b 3 0.00 0.02 0.0 5000 5000 127000
j3037_10_mdd_bm1 3 1.70 1.72 147.0 5000 5000 127000
j3037_10_rggt_b 3 0.00 0.02 0.0 5000 5000 127000
j3037_1_gmto_b 3 0.00 0.02 0.0 5000 5000 127000
j3037_1_mdd_b 3 0.00 0.05 0.0 5000 5000 127000
j3037_9_mdd_bm1 3 0.00 0.00 0.0 5000 5000 127000
j3037_9_rggt_b 3 0.00 0.03 0.0 5000 5000 127000
j3045_10_gmto_b 3 0.00 0.02 0.0 5000 5000 127000
j3045_10_rggt_b 3 0.00 0.04 0.0 5000 5000 127000
j3045_4_gmto_b 3 0.00 0.02 0.0 5000 5000 127000
j3045_4_mdd_bm1 3 22.80 22.83 1757.0 5000 5000 127000
jgiraldezlevy.2200.9086.08.40.41 3 0.00 0.01 0.0 5000 5000 127000
lec_mult_CvD_11x11.sanitized 3 70.40 70.50 4895.0 5000 5000 127000
lec_mult_CvK_11x10.sanitized 3 93.89 93.97 5982.0 5000 5000 127000
lec_mult_CvK_11x11.sanitized 3 225.69 225.77 13020.0 5000 5000 127000
lec_mult_CvK_12x11.sanitized 3 0.00 0.00 0.0 5000 5000 127000
lec_mult_CvK_12x12.sanitized 3 0.00 0.00 0.0 5000 5000 127000
lec_mult_CvW_12x11.sanitized 3 124.80 124.88 7912.0 5000 5000 127000
lec_mult_CvW_12x12.sanitized 3 0.00 0.00 0.0 5000 5000 127000
lec_mult_DvK_11x10.sanitized 3 106.60 106.66 6306.0 5000 5000 127000
lec_mult_DvK_12x12.sanitized 3 0.00 0.00 0.0 5000 5000 127000
lec_mult_DvW_11x10.sanitized 3 39.70 39.75 2605.0 5000 5000 127000
lec_mult_DvW_12x11.sanitized 3 0.00 0.00 0.0 5000 5000 127000
lec_mult_DvW_12x12.sanitized 3 0.00 0.00 0.0 5000 5000 127000
lec_mult_KvW_10x10.sanitized 3 50.20 50.22 3518.0 5000 5000 127000
lec_mult_KvW_11x10.sanitized 3 117.40 117.51 7375.0 5000 5000 127000
lec_mult_KvW_12x11.sanitized 3 0.00 0.00 0.0 5000 5000 127000
linked_list_swap_contents_safety_unwind45 3 19.19 19.27 4005.0 5000 5000 127000
linked_list_swap_contents_safety_unwind54 3 42.58 64.66 6339.0 5000 5000 127000
linked_list_swap_contents_safety_unwind57 3 23.29 23.32 4208.0 5000 5000 127000
linked_list_swap_contents_safety_unwind62 3 97.56 99.29 12715.0 5000 5000 127000
linked_list_swap_contents_safety_unwind63 3 48.83 50.94 9611.0 5000 5000 127000
linked_list_swap_contents_safety_unwind65 3 41.19 68.13 8214.0 5000 5000 127000
linked_list_swap_contents_safety_unwind68 3 40.11 40.67 7802.0 5000 5000 127000
linked_list_swap_contents_safety_unwind69 3 0.00 0.00 0.0 5000 5000 127000
linked_list_swap_contents_safety_unwind70 3 0.00 0.00 0.0 5000 5000 127000
linked_list_swap_contents_safety_unwind73 3 47.65 56.01 9297.0 5000 5000 127000
linked_list_swap_contents_safety_unwind76 3 65.78 67.25 13321.0 5000 5000 127000
linked_list_swap_contents_safety_unwind78 3 46.13 47.97 9924.0 5000 5000 127000
linked_list_swap_contents_safety_unwind80 3 141.13 142.61 23744.0 5000 5000 127000
lru_10.sanitized 3 42.90 43.01 6460.0 5000 5000 127000
lru_6.sanitized 3 27.70 81.74 3864.0 5000 5000 127000
lru_7.sanitized 3 32.74 74.02 4513.0 5000 5000 127000
lru_8.sanitized 3 33.99 34.07 5162.0 5000 5000 127000
lru_9.sanitized 3 38.67 38.77 5811.0 5000 5000 127000
manol-pipe-g10bid_i 3 5.30 5.35 609.0 5000 5000 127000
marg5x5.shuffled-as.sat03-1455 3 0.00 0.00 0.0 5000 5000 127000
mchess_15 3 5.09 5.15 605.0 5000 5000 127000
mchess_16 3 5.09 5.12 865.0 5000 5000 127000
mchess_17 3 44.20 44.22 5540.0 5000 5000 127000
md5_48_1 3 0.10 0.16 13.0 5000 5000 127000
mdp-28-10-unsat 3 50.40 50.49 4342.0 5000 5000 127000
mdp-28-11-sat 3 0.00 0.01 0.0 5000 5000 127000
mdp-28-14-sat 3 0.00 0.01 0.0 5000 5000 127000
mdp-28-14-unsat 3 62.29 62.41 5988.0 5000 5000 127000
mdp-28-16-unsat 3 49.40 49.42 4267.0 5000 5000 127000
mdp-32-10-sat 3 0.00 0.01 0.0 5000 5000 127000
mdp-32-10-unsat 3 0.00 0.00 0.0 5000 5000 127000
mdp-32-11-sat 3 0.00 0.00 0.0 5000 5000 127000
mdp-32-11-unsat 3 0.00 0.00 0.0 5000 5000 127000
mdp-32-12-unsat 3 0.00 0.00 0.0 5000 5000 127000
mdp-32-14-sat 3 0.00 0.00 0.0 5000 5000 127000
mdp-32-14-unsat 3 0.00 0.00 0.0 5000 5000 127000
mdp-32-16-sat 3 0.00 0.01 0.0 5000 5000 127000
mdp-36-10-sat 3 0.00 0.00 0.0 5000 5000 127000
mdp-36-10-unsat 3 0.00 0.00 0.0 5000 5000 127000
mdp-36-12-unsat 3 0.00 0.00 0.0 5000 5000 127000
mdp-36-14-sat 3 0.00 0.00 0.0 5000 5000 127000
mp1-Nb5T15 3 0.00 0.01 0.0 5000 5000 127000
mp1-Nb7T42 3 0.00 0.07 0.0 5000 5000 127000
mp1-blockpuzzle_5x10_s7_free4 3 68.80 68.90 7999.0 5000 5000 127000
mp1-klieber2017s-0500-023-t12 3 0.00 0.03 0.0 5000 5000 127000
mp1-ps_5000_21250_3_0_0.8_0_1.50_6 3 2.20 2.30 223.0 5000 5000 127000
mrpp_4x4#12_12 3 0.49 0.52 46.0 5000 5000 127000
mulhs016-sc2009 3 0.00 0.00 0.0 5000 5000 127000
noL-11-0.sanitized 3 0.00 0.00 0.0 5000 5000 127000
noL-11-10.sanitized 3 0.00 0.01 0.0 5000 5000 127000
noL-11-12.sanitized 3 0.00 0.01 0.0 5000 5000 127000
noL-11-14.sanitized 3 0.00 0.01 0.0 5000 5000 127000
noL-11-16.sanitized 3 0.00 0.01 0.0 5000 5000 127000
noL-11-18.sanitized 3 0.00 0.01 0.0 5000 5000 127000
noL-11-2.sanitized 3 0.00 0.01 0.0 5000 5000 127000
noL-11-20.sanitized 3 0.00 0.01 0.0 5000 5000 127000
noL-11-4.sanitized 3 0.00 0.01 0.0 5000 5000 127000
noL-11-6.sanitized 3 0.00 0.00 0.0 5000 5000 127000
noL-11-8.sanitized 3 0.00 0.01 0.0 5000 5000 127000
oisc-subrv-sll-nested-11 3 55.14 56.47 10664.0 5000 5000 127000
oisc-subrv-sll-nested-13 3 81.73 83.31 14418.0 5000 5000 127000
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN 3 0.00 0.00 0.0 5000 5000 127000
or_randxor_k3_n510_m510.sanitized 3 0.00 0.00 0.0 5000 5000 127000
pb_300_05_lb_17 3 0.09 0.20 24.0 5000 5000 127000
pb_300_09_lb_07 3 0.10 0.20 24.0 5000 5000 127000
pcmax-scheduling-m11-1517-6802-UNSAT.sanitized 3 6.19 6.25 640.0 5000 5000 127000
pcmax-scheduling-m12-8049-55035-SAT.sanitized 3 0.00 0.00 0.0 5000 5000 127000
pcmax-scheduling-m13-1655-9604-UNSAT.sanitized 3 30.60 30.70 2795.0 5000 5000 127000
pcmax-scheduling-m13-2011-12813-UNSAT.sanitized 3 10.49 10.60 1074.0 5000 5000 127000
pcmax-scheduling-m15-2352-13561-SAT.sanitized 3 0.00 0.00 0.0 5000 5000 127000
pcmax-scheduling-m19-10199-62102-UNSAT.sanitized 3 0.00 0.00 0.0 5000 5000 127000
pcmax-scheduling-m19-2974-16501-UNSAT.sanitized 3 8.39 8.45 934.0 5000 5000 127000
pcmax-scheduling-m24-17855-226744-SAT.sanitized 3 0.00 0.00 0.0 5000 5000 127000
pcmax-scheduling-m24-24102-255206-SAT.sanitized 3 0.00 0.00 0.0 5000 5000 127000
pcmax-scheduling-m26-6398-62377-UNSAT.sanitized 3 48.29 48.41 4835.0 5000 5000 127000
pcmax-scheduling-m30-14113-167638-UNSAT.sanitized 3 0.00 0.00 0.0 5000 5000 127000
pcmax-scheduling-m35-32274-371389-SAT.sanitized 3 0.00 0.00 0.0 5000 5000 127000
pcmax-scheduling-m37-28831-324346-SAT.sanitized 3 0.00 0.00 0.0 5000 5000 127000
pcmax-scheduling-m40-26287-324155-SAT.sanitized 3 0.00 0.00 0.0 5000 5000 127000
pcmax-scheduling-m43-38782-385402-SAT.sanitized 3 0.00 0.00 0.0 5000 5000 127000
post-cbmc-aes-ee-r3-noholes 3 6.99 7.09 1269.0 5000 5000 127000
preimage_80r_495m_160h_seed_379 3 0.00 0.08 0.0 5000 5000 127000
qwh.50.1250.shuffled-as.sat03-1655 3 0.10 0.12 19.0 5000 5000 127000
qwh.60.1728.shuffled-as.sat03-1659 3 0.19 0.24 30.0 5000 5000 127000
rbsat-v1150c84314gyes1 3 0.00 0.00 0.0 5000 5000 127000
rbsat-v760c43649gyes3 3 0.00 0.01 0.0 5000 5000 127000
rbsat-v760c43649gyes7 3 0.00 0.02 0.0 5000 5000 127000
rbsat-v760c43649gyes9 3 0.00 0.01 0.0 5000 5000 127000
rbsat-v945c61409gyes9-sc2009 3 0.00 0.02 0.0 5000 5000 127000
rook-42-0-1 3 34.39 34.44 7685.0 5000 5000 127000
rook-56-0-0 3 0.00 0.00 0.0 5000 5000 127000
rook-56-1-1 3 33.30 33.36 7724.0 5000 5000 127000
rphp_p8_r160.sanitized 3 0.00 0.00 0.0 5000 5000 127000
rphp_p8_r170.sanitized 3 0.00 0.00 0.0 5000 5000 127000
sgen1-sat-180-100 3 0.00 0.01 0.0 5000 5000 127000
sgen1-unsat-121-100 3 0.00 0.00 0.0 5000 5000 127000
shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753 3 1.59 1.69 267.0 5000 5000 127000
si2-b03m-m800-03 3 0.39 0.42 41.0 5000 5000 127000
simon-r16-1.sanitized 3 0.00 0.01 0.0 5000 5000 127000
simon-r17-0.sanitized 3 0.00 0.01 0.0 5000 5000 127000
simon-r18-0.sanitized 3 0.00 0.01 0.0 5000 5000 127000
simon-r19-1.sanitized 3 0.00 0.01 0.0 5000 5000 127000
simon-r20-0.sanitized 3 0.00 0.01 0.0 5000 5000 127000
simon-r21-0.sanitized 3 0.00 0.01 0.0 5000 5000 127000
simon-r22-1.sanitized 3 0.00 0.01 0.0 5000 5000 127000
simon-r23-1.sanitized 3 0.00 0.01 0.0 5000 5000 127000
simon-r24-1.sanitized 3 0.00 0.01 0.0 5000 5000 127000
simon-r25-0.sanitized 3 0.00 0.01 0.0 5000 5000 127000
sokoban-p16.sas.ex.15-sc2016 3 181.35 186.12 13598.0 5000 5000 127000
sokoban-p20.sas.cr.25 3 214.09 214.21 14929.0 5000 5000 127000
sokoban-p20.sas.cr.33 3 0.00 0.00 0.0 5000 5000 127000
spg_200_316 3 1.79 1.85 482.0 5000 5000 127000
srhd-sgi-m37-q446.25-n35-p30-s33692332 3 0.00 0.04 0.0 5000 5000 127000
stable-300-0.1-20-98765432130020 3 0.00 0.06 0.0 5000 5000 127000
stb_418_125.apx_1_DC-AD 3 67.69 67.74 6436.0 5000 5000 127000
stb_418_125.apx_1_DC-ST 3 30.19 30.23 2705.0 5000 5000 127000
stb_418_125.apx_2_DC-AD 3 66.00 66.09 6329.0 5000 5000 127000
stb_495_168.apx_1_DC-AD 3 13.49 13.54 1177.0 5000 5000 127000
stb_495_168.apx_2_DC-AD 3 10.89 10.93 1022.0 5000 5000 127000
stb_531_83.apx_1_DC-ST 3 13.90 13.92 1281.0 5000 5000 127000
stb_531_83.apx_2_DC-ST 3 12.39 12.43 1054.0 5000 5000 127000
stb_588_138.apx_1_DC-AD 3 29.80 29.84 2763.0 5000 5000 127000
stb_588_138.apx_1_DC-ST 3 10.69 10.77 950.0 5000 5000 127000
sted5_0x1e3-20 3 0.00 0.00 0.0 5000 5000 127000
sted5_0x24204-50 3 0.00 0.04 0.0 5000 5000 127000
string_compare_safety_cbmc_unwinding_900 3 112.06 115.77 14270.0 5000 5000 127000
summle_X11112_steps6_I1-2-2-4-4-8-25-100 3 0.00 0.09 0.0 5000 5000 127000
summle_X4044_steps7_I1-2-2-4-4-8-25-100 3 0.00 0.08 0.0 5000 5000 127000
summle_X4053_steps8_I1-2-2-4-4-8-25-100 3 0.00 0.09 0.0 5000 5000 127000
test_v7_r17_vr5_c1_s25451.smt2-cvc4 3 0.00 0.00 0.0 5000 5000 127000
tseitin_d3_n158.sanitized 3 0.00 0.00 0.0 5000 5000 127000
tseitin_d3_n162.sanitized 3 0.00 0.00 0.0 5000 5000 127000
tseitin_d3_n174.sanitized 3 0.00 0.00 0.0 5000 5000 127000
tseitin_grid_n11_m20.sanitized 3 0.00 0.00 0.0 5000 5000 127000
tseitingrid6x200_shuffled 3 0.00 0.00 0.0 5000 5000 127000
two-trees-1023v.sanitized 3 0.00 0.00 0.0 5000 5000 127000
two-trees-511v.sanitized 3 0.00 0.00 0.0 5000 5000 127000
urq45 3 19.50 19.54 3424.0 5000 5000 127000
urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged 3 0.00 0.00 0.0 5000 5000 127000
worker_20_40_20_0.95 3 0.00 0.01 0.0 5000 5000 127000
worker_30_60_25_0.9 3 0.00 0.00 0.0 5000 5000 127000
worker_40_80_40_0.9 3 0.00 0.00 0.0 5000 5000 127000
worker_550_550_550_0.3 3 2.60 2.66 552.0 5000 5000 127000
x9-08014.sat.sanitized 3 2.10 2.11 195.0 5000 5000 127000
x9-08075.sat.sanitized 3 1.69 1.80 166.0 5000 5000 127000
x9-09004.sat.sanitized 3 6.20 6.27 532.0 5000 5000 127000
x9-09007.sat.sanitized 3 3.20 3.31 299.0 5000 5000 127000
x9-09014.sat.sanitized 3 5.40 5.45 462.0 5000 5000 127000
x9-09024.sat.sanitized 3 2.69 2.73 228.0 5000 5000 127000
x9-09047.sat.sanitized 3 3.20 3.22 282.0 5000 5000 127000
x9-09051.sat.sanitized 3 6.10 6.18 529.0 5000 5000 127000
x9-09054.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-09057.sat.sanitized 3 3.30 3.39 287.0 5000 5000 127000
x9-09076.sat.sanitized 3 3.00 3.09 261.0 5000 5000 127000
x9-09098.sat.sanitized 3 8.20 8.27 590.0 5000 5000 127000
x9-10002.sat.sanitized 3 26.40 26.45 2170.0 5000 5000 127000
x9-10007.sat.sanitized 3 13.40 13.46 1133.0 5000 5000 127000
x9-10014.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-10027.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-10031.sat.sanitized 3 34.60 34.67 3031.0 5000 5000 127000
x9-10038.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-10051.sat.sanitized 3 14.49 14.53 1278.0 5000 5000 127000
x9-10076.sat.sanitized 3 11.80 11.83 968.0 5000 5000 127000
x9-10083.sat.sanitized 3 12.60 12.71 968.0 5000 5000 127000
x9-10084.sat.sanitized 3 10.69 10.79 962.0 5000 5000 127000
x9-10093.sat.sanitized 3 14.00 14.10 1191.0 5000 5000 127000
x9-10096.sat.sanitized 3 11.60 11.62 1012.0 5000 5000 127000
x9-10098.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-11034.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-11053.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-11062.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-11077.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-11088.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-11093.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-11094.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-12001.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-12014.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-12021.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-12035.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-12063.sat.sanitized 3 0.00 0.00 0.0 5000 5000 127000
x9-12087.sat.sanitized 3 0.00 0.00 0.0 5000 5000 127000
x9-12092.sat.sanitized 3 0.00 0.01 0.0 5000 5000 127000
x9-12098.sat.sanitized 3 0.00 0.00 0.0 5000 5000 127000
