 result time real space tlim rlim slim
003-23-80 10 143.35 144.05 44.0 311040000 5000 15000
005-80-12 10 2190.73 2199.62 161.0 311040000 5000 15000
006 10 8.36 8.46 21.0 311040000 5000 15000
008-80-8 10 218.80 219.81 91.0 311040000 5000 15000
20-100-lambda100-49_sat 10 7.46 7.57 24.0 311040000 5000 15000
20-100-lambda100-89_sat 10 133.23 133.84 36.0 311040000 5000 15000
20-100-p100-55_sat 10 362.84 364.57 111.0 311040000 5000 15000
20180321_140826713_p_cnf_320_1120 10 1.59 1.69 9.0 311040000 5000 15000
3d_perfect_euler_bricks 1 4977.69 5001.03 145.0 311040000 5000 15000
4d_euler_bricks 1 4977.63 5001.03 198.0 311040000 5000 15000
4d_perfect_euler_bricks 1 4977.79 5001.03 247.0 311040000 5000 15000
4g_5color_166_100_02 10 154.43 155.17 1910.0 311040000 5000 15000
50bits_11.dimacs 10 560.83 562.80 32.0 311040000 5000 15000
52bits_12.dimacs 10 2535.36 2543.07 88.0 311040000 5000 15000
6-4-6-sc2018 10 3469.63 3484.70 85.0 311040000 5000 15000
6s105_Iter35 20 374.83 376.58 42.0 311040000 5000 15000
6s105_Iter99 1 4979.64 5001.03 135.0 311040000 5000 15000
6s133-sc2014 20 35.64 35.90 27.0 311040000 5000 15000
6s158_Iter2 20 1.69 1.73 10.0 311040000 5000 15000
6s184 20 28.88 29.03 26.0 311040000 5000 15000
6s186_Iter20 20 46.64 46.96 21.0 311040000 5000 15000
6s186_Iter99 1 4980.21 5001.03 175.0 311040000 5000 15000
6s22_Iter57 20 267.37 268.54 170.0 311040000 5000 15000
6s22_Iter99 1 4981.48 5001.03 357.0 311040000 5000 15000
6s320rb1_Iter8 20 163.79 164.55 50.0 311040000 5000 15000
6s320rb1_Iter9 10 121.01 121.68 69.0 311040000 5000 15000
8-5-6 10 1750.60 1758.48 183.0 311040000 5000 15000
9dlx_vliw_at_b_iq6 20 690.56 693.44 211.0 311040000 5000 15000
Break_16_56.xml 10 80.20 80.57 48.0 311040000 5000 15000
Break_20_36.xml 1 4979.17 5001.03 151.0 311040000 5000 15000
Break_20_54.xml 10 582.59 584.83 141.0 311040000 5000 15000
Break_triple_12_30.xml 10 11.43 11.55 20.0 311040000 5000 15000
Break_triple_18_48.xml 1 4974.72 5001.03 534.0 311040000 5000 15000
Break_triple_20_54.xml 1 4978.48 5001.03 321.0 311040000 5000 15000
Break_triple_20_72.xml 1 4977.15 5001.03 528.0 311040000 5000 15000
Break_unsat_10_15.xml 1 4979.51 5001.03 119.0 311040000 5000 15000
Break_unsat_12_19.xml 1 4972.52 5001.03 121.0 311040000 5000 15000
BubbleVsPancakeSort_6_6 20 29.01 29.28 12.0 311040000 5000 15000
Carry_Bits_Fast_12.cnf 10 3.18 3.25 8.0 311040000 5000 15000
Carry_Bits_Fast_16.cnf 10 10.74 10.85 13.0 311040000 5000 15000
Carry_Bits_Fast_18.cnf 10 0.36 0.55 5.0 311040000 5000 15000
Carry_Bits_Fast_23.cnf 10 3.68 3.76 7.0 311040000 5000 15000
Carry_Bits_Fast_4.cnf 10 0.90 0.98 7.0 311040000 5000 15000
Carry_Bits_Fast_5.cnf 10 25.73 25.94 14.0 311040000 5000 15000
Carry_Bits_Fast_8.cnf 10 52.37 52.62 15.0 311040000 5000 15000
Carry_Save_Fast_1.cnf 10 7.47 7.53 15.0 311040000 5000 15000
Carry_Save_Fast_2.cnf 10 9.55 9.64 14.0 311040000 5000 15000
Carry_Save_Fast_3.cnf 10 1.29 1.37 11.0 311040000 5000 15000
DLTM_twitter690_74_16 10 23.08 23.22 37.0 311040000 5000 15000
Eternity-10-06_c18 10 193.39 194.25 37.0 311040000 5000 15000
GP_100_948_32 10 71.40 71.72 2871.0 311040000 5000 15000
GP_100_948_33 10 4020.35 4037.06 3300.0 311040000 5000 15000
GP_100_948_34 10 70.00 70.39 2869.0 311040000 5000 15000
GP_100_950_32 10 1928.69 1936.16 3610.0 311040000 5000 15000
GP_100_950_33 10 87.90 88.35 3315.0 311040000 5000 15000
GP_100_950_34 10 776.15 779.55 4084.0 311040000 5000 15000
GP_100_951_35 10 84.42 84.86 3444.0 311040000 5000 15000
GP_100_951_37 10 95.17 95.67 3439.0 311040000 5000 15000
GP_120_400_15 10 37.15 37.40 1757.0 311040000 5000 15000
GP_200_313_5 10 112.23 112.74 2559.0 311040000 5000 15000
GP_300_250_15 10 178.02 178.85 2454.0 311040000 5000 15000
GP_500_200_20 10 166.23 166.94 3088.0 311040000 5000 15000
GP_81_430_13 10 116.21 116.75 1327.0 311040000 5000 15000
ITC2021_Early_4.xml 10 1729.42 1737.01 129.0 311040000 5000 15000
ITC2021_Late_1.xml 10 6.77 6.81 41.0 311040000 5000 15000
ITC2021_Late_2.xml 10 3240.95 3255.84 163.0 311040000 5000 15000
ITC2021_Late_6.xml 10 5.37 5.43 36.0 311040000 5000 15000
Kakuro-easy-112-ext.xml.hg_7 10 102.97 103.50 1509.0 311040000 5000 15000
Kakuro-easy-117-ext.xml.hg_5 10 315.89 317.37 1408.0 311040000 5000 15000
Kakuro-easy-125-ext.xml.hg_4 20 3093.00 3105.18 1607.0 311040000 5000 15000
LABS_n041_goal003 10 4013.59 4030.75 73.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix 20 682.60 685.75 13554.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces 20 540.22 543.03 2642.0 311040000 5000 15000
Nb52T6 20 3339.79 3354.67 2128.0 311040000 5000 15000
Nb8T61 10 68.86 69.29 150.0 311040000 5000 15000
PancakeVsInsertSort_6_7 20 60.04 60.60 21.0 311040000 5000 15000
PancakeVsInsertSort_7_7 20 471.00 473.14 39.0 311040000 5000 15000
PancakeVsInsertSort_7_8 20 980.71 985.14 47.0 311040000 5000 15000
PancakeVsInsertSort_8_5 20 1260.13 1266.60 52.0 311040000 5000 15000
PancakeVsInsertSort_8_6 20 3285.73 3299.88 77.0 311040000 5000 15000
PancakeVsInsertSort_8_7 1 4976.07 5001.03 89.0 311040000 5000 15000
PancakeVsInsertSort_9_3 20 280.31 282.11 32.0 311040000 5000 15000
PancakeVsInsertSort_9_4 20 4513.01 4530.74 69.0 311040000 5000 15000
PancakeVsSelectionSort_7_6 20 1513.45 1520.44 71.0 311040000 5000 15000
PancakeVsSelectionSort_7_7 20 2536.19 2547.87 69.0 311040000 5000 15000
PancakeVsSelectionSort_8_3 20 182.41 183.29 27.0 311040000 5000 15000
PancakeVsSelectionSort_8_4 20 2914.67 2926.26 74.0 311040000 5000 15000
SAT_H_instances_childsnack_p06.hddl_2 10 5.07 5.14 1064.0 311040000 5000 15000
SAT_H_instances_childsnack_p10.hddl_2 10 14.53 14.66 3219.0 311040000 5000 15000
SAT_MS_sat_nurikabe_p16.pddl_166 1 4979.29 5001.03 9799.0 311040000 5000 15000
SAT_MS_sat_snake_p01.pddl_39 10 2491.53 2502.63 1474.0 311040000 5000 15000
SAT_dat.k80 20 35.60 35.82 35.0 311040000 5000 15000
SC21_Timetable_C_527_E_71_Cl_35_S_35 10 33.33 33.59 343.0 311040000 5000 15000
SC21_Timetable_C_542_E_71_Cl_36_S_35 10 28.46 28.62 355.0 311040000 5000 15000
SC22_Timetable_C_436_E_39_Cl_29_S_27 1 4975.33 5001.03 370.0 311040000 5000 15000
SC22_Timetable_C_436_E_40_Cl_29_S_27 1 4977.52 5001.03 398.0 311040000 5000 15000
SC22_Timetable_C_436_E_41_Cl_29_S_27 1 4977.78 5001.03 470.0 311040000 5000 15000
SC22_Timetable_C_436_E_42_Cl_29_S_27 1 4979.35 5001.03 368.0 311040000 5000 15000
SC22_Timetable_C_436_E_43_Cl_29_S_27 1 4978.66 5001.03 368.0 311040000 5000 15000
SC22_Timetable_C_451_E_43_Cl_30_S_27 1 4977.17 5001.03 437.0 311040000 5000 15000
SC22_Timetable_C_451_E_45_Cl_30_S_27 1 4977.28 5001.03 448.0 311040000 5000 15000
SC22_Timetable_C_451_E_46_Cl_30_S_27 10 177.25 178.16 257.0 311040000 5000 15000
SC22_Timetable_C_451_E_48_Cl_30_S_27 10 123.62 124.12 246.0 311040000 5000 15000
SC22_Timetable_C_451_E_50_Cl_30_S_28 10 61.33 61.63 258.0 311040000 5000 15000
SCPC-500-10 20 29.27 29.49 13.0 311040000 5000 15000
SCPC-500-11 20 93.50 93.99 24.0 311040000 5000 15000
SCPC-500-15 20 33.87 34.03 15.0 311040000 5000 15000
SCPC-500-16 20 63.41 63.73 19.0 311040000 5000 15000
SCPC-500-17 20 61.06 61.33 19.0 311040000 5000 15000
SCPC-500-18 20 27.96 28.19 13.0 311040000 5000 15000
SCPC-500-19 20 22.22 22.39 13.0 311040000 5000 15000
SCPC-500-2 20 30.97 31.18 19.0 311040000 5000 15000
SCPC-500-20 20 18.02 18.13 12.0 311040000 5000 15000
SCPC-500-4 20 26.78 26.93 13.0 311040000 5000 15000
SCPC-500-7 20 41.13 41.33 14.0 311040000 5000 15000
SCPC-500-8 20 31.27 31.47 21.0 311040000 5000 15000
SCPC-500-9 20 25.67 25.81 12.0 311040000 5000 15000
SE_PR_stb_588_138.apx_1 10 30.99 31.41 13.0 311040000 5000 15000
UNSAT_H_instances_childsnack_p12.hddl_1 20 11.85 11.98 3668.0 311040000 5000 15000
UNSAT_MS_opt_snake_p20.pddl_29 20 513.54 516.03 762.0 311040000 5000 15000
UTI-20-10p0-sc2009 20 254.17 255.41 98.0 311040000 5000 15000
Wallace_Bits_Fast_2.cnf 10 0.20 0.22 5.0 311040000 5000 15000
Wallace_Bits_Fast_3.cnf 10 8.26 8.37 15.0 311040000 5000 15000
Wallace_Bits_Fast_7.cnf 10 8.17 8.26 15.0 311040000 5000 15000
ablmulub16x4o 20 79.87 80.21 14.0 311040000 5000 15000
abw-V-nos6.mtx-w220 10 144.05 144.79 492.0 311040000 5000 15000
aes_32_2_keyfind_1 10 27.90 28.31 11.0 311040000 5000 15000
af-synthesis_stb_50_100_4_unsat 20 1470.19 1476.71 58.0 311040000 5000 15000
af-synthesis_stb_50_120_4_unsat 20 369.07 370.75 38.0 311040000 5000 15000
af-synthesis_stb_50_140_0_sat 10 100.44 101.00 34.0 311040000 5000 15000
af-synthesis_stb_50_140_1_sat 10 22.11 22.22 34.0 311040000 5000 15000
af-synthesis_stb_50_140_3_sat 10 43.23 43.47 32.0 311040000 5000 15000
af-synthesis_stb_50_200_4_sat 10 98.43 98.94 40.0 311040000 5000 15000
af-synthesis_stb_50_20_8_sat 10 156.41 157.14 26.0 311040000 5000 15000
af-synthesis_stb_50_20_8_unsat 20 477.33 479.46 40.0 311040000 5000 15000
af-synthesis_stb_50_40_2_sat 10 227.16 228.43 31.0 311040000 5000 15000
af-synthesis_stb_50_80_7_sat 10 107.64 108.19 34.0 311040000 5000 15000
af-synthesis_stb_50_80_7_unsat 20 561.06 563.58 35.0 311040000 5000 15000
atco_enc1_opt2_10_15 20 96.69 97.19 36.0 311040000 5000 15000
atco_enc1_opt2_10_16-sc2014 10 144.42 145.11 40.0 311040000 5000 15000
atco_enc3_opt1_03_53 10 247.53 248.67 428.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_remove_node 20 367.51 369.16 1229.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_sift_either 20 312.17 313.78 2254.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size 2 151.60 153.33 15133.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_hdr_write 20 365.10 366.76 2069.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq 20 852.28 856.37 10368.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad 20 1338.42 1344.57 2344.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id 20 348.16 349.68 2167.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type 20 206.97 207.94 1517.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks 20 525.08 527.60 2298.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv 20 189.03 189.96 1505.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key 20 631.51 634.63 4784.0 311040000 5000 15000
barman-pfile10-038.sas.ex.15 20 30.28 30.50 804.0 311040000 5000 15000
beempgsol2b1 20 15.13 15.22 13.0 311040000 5000 15000
bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19 20 314.44 315.42 32.0 311040000 5000 15000
bmc_QICE_req_sfl_30 20 2415.76 2426.35 1925.0 311040000 5000 15000
bmc_QICE_rxrsp_vld_30 20 705.90 709.10 1923.0 311040000 5000 15000
bmc_QICE_snp_vld_50 20 1935.67 1945.54 3206.0 311040000 5000 15000
bobsmdct_init_k88 1 4979.74 5001.03 134.0 311040000 5000 15000
bobsmdct_k500 1 4976.90 5001.03 1623.0 311040000 5000 15000
bobsmdct_k88 20 517.38 519.77 258.0 311040000 5000 15000
bz-X-4-7-6 10 220.02 221.01 41.0 311040000 5000 15000
cfi-rigid-d3-0180-02-orig 20 210.70 211.65 1993.0 311040000 5000 15000
cfi-rigid-r2-0072-01-or_3 10 15.63 15.76 544.0 311040000 5000 15000
cfi-rigid-s2-0064-02-or_2 20 197.06 197.95 506.0 311040000 5000 15000
cfi-rigid-s2-0064-03-or_2_shuffle_all 20 1064.21 1068.67 506.0 311040000 5000 15000
cfi-rigid-s2-0064-04-or_2 20 525.01 527.49 510.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3 10 12.34 12.42 255.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3_shuffle_all 10 32.36 32.61 359.0 311040000 5000 15000
cfi-rigid-t2-0048-02-or_3_shuffle_all 10 13.13 13.27 343.0 311040000 5000 15000
cfi-rigid-t2-0048-03-or_3_shuffle_all 10 37.04 37.26 375.0 311040000 5000 15000
cfi-rigid-z2-0088-01-or_2_shuffle_all 20 227.30 228.25 472.0 311040000 5000 15000
cfi-rigid-z2-0088-02-or_2_shuffle_all 20 225.98 227.07 473.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2 20 161.48 162.25 486.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2_shuffle_all 20 237.66 238.69 472.0 311040000 5000 15000
cliquecoloring_n18_k6_c5 1 4979.41 5001.03 171.0 311040000 5000 15000
cliquecoloring_n60_k5_c4 1 4979.48 5001.03 301.0 311040000 5000 15000
combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2 10 9.96 10.07 15.0 311040000 5000 15000
coreJSON:skipCollection 10 201.17 202.07 3532.0 311040000 5000 15000
coreMQTT:MQTT_Connect 20 748.32 752.83 2912.0 311040000 5000 15000
coreMQTT:MQTT_SerializeConnect 20 480.00 482.20 1400.0 311040000 5000 15000
corePKCS11:C_CreateObject 20 159.23 159.98 996.0 311040000 5000 15000
ctl_4291_567_12_unsat 20 221.95 222.87 31.0 311040000 5000 15000
ctl_4291_567_1_unsat_pre 20 679.93 683.13 40.0 311040000 5000 15000
div-mitern164 20 1734.04 1741.31 92.0 311040000 5000 15000
div-mitern165 20 1284.93 1290.47 83.0 311040000 5000 15000
div-mitern167 20 374.80 376.47 59.0 311040000 5000 15000
div-mitern168 20 331.48 333.04 63.0 311040000 5000 15000
div-mitern171 20 76.04 76.41 14.0 311040000 5000 15000
div-mitern174 20 20.75 20.92 11.0 311040000 5000 15000
div_miter_lec_1 1 4978.53 5001.03 106.0 311040000 5000 15000
div_miter_lec_3 1 4980.94 5001.03 98.0 311040000 5000 15000
div_miter_lec_4 1 4983.75 5001.03 107.0 311040000 5000 15000
ecarev-110-4099-22-30-7 10 182.18 183.04 117.0 311040000 5000 15000
edit_distance041_183 20 56.75 57.10 53.0 311040000 5000 15000
eqsparcl12bpwtrc12 20 3082.93 3095.81 73.0 311040000 5000 15000
ex175_20 10 48.58 48.83 1439.0 311040000 5000 15000
frb75-13-2.used-as.sat04-878 10 21.79 21.93 19.0 311040000 5000 15000
g2-mizh-md5-48-2 10 31.19 31.36 38.0 311040000 5000 15000
gaussian.c.75.smt2-cvc4 10 81.81 82.29 954.0 311040000 5000 15000
grid-color-12-14-10-cb 1 4977.22 5001.03 289.0 311040000 5000 15000
grid-color-12-14-12-cb 1 4979.22 5001.03 242.0 311040000 5000 15000
grid-color-12-14-14-cb 1 4974.64 5001.03 181.0 311040000 5000 15000
grid-color-12-14-2-cb 10 4932.98 4957.83 292.0 311040000 5000 15000
grid-color-12-14-4-cb 1 4974.43 5001.03 260.0 311040000 5000 15000
grid-color-12-14-6-cb 1 4978.05 5001.03 240.0 311040000 5000 15000
grid-color-12-14-8-cb 1 4975.65 5001.03 228.0 311040000 5000 15000
grid-color-14-14-10-cb 1 4979.83 5001.03 260.0 311040000 5000 15000
grid-color-14-14-12-cb 1 4977.57 5001.03 260.0 311040000 5000 15000
grid-color-14-14-14-cb 1 4981.36 5001.04 179.0 311040000 5000 15000
grid-color-14-14-2-cb 1 4977.27 5001.04 261.0 311040000 5000 15000
grid-color-14-14-6-cb 1 4979.78 5001.03 262.0 311040000 5000 15000
grid-color-14-14-8-cb 1 4977.99 5001.03 241.0 311040000 5000 15000
grid-strips-grid-y-3.045-NOTKNOWN 10 154.77 155.52 178.0 311040000 5000 15000
gss-18-s100 10 115.63 116.12 15.0 311040000 5000 15000
gus-md5-11 1 4980.36 5001.03 74.0 311040000 5000 15000
h31 1 4966.77 5001.03 85.0 311040000 5000 15000
h31_large 1 4975.15 5001.03 115.0 311040000 5000 15000
hantzsche_wendt_unit_147 10 2979.59 2993.95 145.0 311040000 5000 15000
hantzsche_wendt_unit_83 20 651.47 654.67 45.0 311040000 5000 15000
hantzsche_wendt_unit_92 20 1938.70 1946.94 71.0 311040000 5000 15000
hantzsche_wendt_unit_93 10 319.31 321.11 56.0 311040000 5000 15000
hwmcc15deep-6s516r-k18-sc2017 20 841.06 844.84 76.0 311040000 5000 15000
hyp_cec_multi_1 1 4979.06 5001.03 254.0 311040000 5000 15000
hyp_cec_multi_3 1 4980.97 5001.03 254.0 311040000 5000 15000
hyp_cec_multi_4 1 4980.05 5001.03 278.0 311040000 5000 15000
hyp_cec_multi_5 1 4981.26 5001.03 288.0 311040000 5000 15000
intel036_Iter109 10 24.18 24.35 433.0 311040000 5000 15000
intel046_Iter124 10 13.54 13.66 58.0 311040000 5000 15000
j3037_10_gmto_b 10 25.49 25.69 19.0 311040000 5000 15000
j3037_10_gmto_bm1 20 28.77 28.92 18.0 311040000 5000 15000
j3037_1_rggt_b 10 64.33 64.66 25.0 311040000 5000 15000
j3037_1_rggt_bm1 20 357.35 358.90 38.0 311040000 5000 15000
j3037_9_gmto_b 10 102.89 103.51 33.0 311040000 5000 15000
j3037_9_gmto_bm1 1 4978.21 5001.03 73.0 311040000 5000 15000
j3037_9_mdd_b 10 228.87 229.87 38.0 311040000 5000 15000
j3045_10_gmto_bm1 1 4978.53 5001.03 75.0 311040000 5000 15000
j3045_10_mdd_bm1 1 4977.70 5001.03 81.0 311040000 5000 15000
j3045_4_gmto_bm1 20 448.48 450.30 34.0 311040000 5000 15000
j3045_4_mdd_b 10 323.54 325.05 36.0 311040000 5000 15000
j3045_4_rggt_bm1 20 283.95 285.37 25.0 311040000 5000 15000
knight_18 10 89.50 89.91 141.0 311040000 5000 15000
ktf_TF-3.tf_3_0.02_24 20 141.06 141.72 46.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind40 20 40.50 40.75 632.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind41 20 77.44 77.90 751.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind43 20 72.87 73.22 766.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind44 20 62.83 63.14 871.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind48 20 169.24 170.17 1042.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind55 20 111.13 111.65 1244.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind56 20 71.98 72.34 1223.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind59 20 56.91 57.30 1386.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind66 20 172.15 173.00 1771.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind67 20 111.89 112.47 1825.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind71 20 114.98 115.61 2000.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind74 20 164.48 165.26 2149.0 311040000 5000 15000
manol-pipe-f7nidw 20 43.13 43.34 121.0 311040000 5000 15000
manthey_single-ordered-initialized-w42-b8 20 85.57 86.17 24.0 311040000 5000 15000
manthey_single-ordered-initialized-w50-b7 20 738.65 742.51 42.0 311040000 5000 15000
md4__zeroOut_19__freeIn_23__seed_2 10 501.60 504.54 27.0 311040000 5000 15000
mdp-28-10-sat 10 293.28 294.62 27.0 311040000 5000 15000
mdp-28-11-unsat 20 853.89 857.81 44.0 311040000 5000 15000
mdp-28-12-sat 10 40.89 41.18 15.0 311040000 5000 15000
mdp-28-12-unsat 20 781.52 785.35 38.0 311040000 5000 15000
mdp-28-16-sat 10 371.17 373.00 35.0 311040000 5000 15000
mdp-32-12-sat 10 3127.65 3142.67 71.0 311040000 5000 15000
mdp-32-16-unsat 1 4974.96 5001.03 73.0 311040000 5000 15000
mdp-36-11-sat 1 4978.20 5001.03 81.0 311040000 5000 15000
mdp-36-11-unsat 1 4977.05 5001.03 98.0 311040000 5000 15000
mdp-36-12-sat 1 4978.68 5001.03 93.0 311040000 5000 15000
mdp-36-14-unsat 1 4975.03 5001.03 79.0 311040000 5000 15000
mdp-36-16-sat 1 4981.23 5001.03 85.0 311040000 5000 15000
mdp-36-16-unsat 1 4978.34 5001.03 81.0 311040000 5000 15000
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519 10 62.09 62.80 11.0 311040000 5000 15000
mp1-21.7 10 9.53 9.69 22.0 311040000 5000 15000
mp1-9_27 10 12.85 13.00 13.0 311040000 5000 15000
mp1-blockpuzzle_5x12_s6_free3 20 296.43 297.66 56.0 311040000 5000 15000
mp1-klieber2017s-0300-034-t12 10 114.09 114.68 23.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abio_SAT 10 12.35 12.43 12.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abix_SAT 10 55.90 56.16 21.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_bail_SAT 10 2.49 2.51 7.0 311040000 5000 15000
ncc_none_3001_7_3_3_1_31_435991723 10 93.70 94.36 797.0 311040000 5000 15000
ncc_none_7047_6_3_3_0_0_420 20 74.13 74.56 715.0 311040000 5000 15000
ortholatin-7 10 18.19 18.40 18.0 311040000 5000 15000
ota-for-aws-iot-embedded-sdk:parseJSONbyModel 20 433.91 435.81 1718.0 311040000 5000 15000
pj2002_k9 20 371.43 373.56 616.0 311040000 5000 15000
pj2003_k9 20 388.46 389.92 634.0 311040000 5000 15000
pj2005_k80 10 1437.30 1443.89 1841.0 311040000 5000 15000
pj2008_k300 1 4980.96 5001.03 7194.0 311040000 5000 15000
pj2008_k400 1 4979.91 5001.03 10447.0 311040000 5000 15000
pj2015_k9 20 471.41 473.29 705.0 311040000 5000 15000
pj2016_k120 1 4965.14 5001.03 8959.0 311040000 5000 15000
pj2016_k140 1 4977.87 5001.03 10209.0 311040000 5000 15000
pj2016_k80 10 1387.50 1393.93 6011.0 311040000 5000 15000
pj2018_k10 10 299.99 301.80 326.0 311040000 5000 15000
ps_200_300_70 20 228.71 229.75 241.0 311040000 5000 15000
ps_200_323_70 20 471.32 473.51 263.0 311040000 5000 15000
puzzle30_sat 10 738.26 741.28 59.0 311040000 5000 15000
q_query_3_L200_coli.sat 20 96.30 96.71 238.0 311040000 5000 15000
reconf10_140_queen6_1 10 212.64 213.69 365.0 311040000 5000 15000
reconf10_145_queen6_2 10 67.28 67.62 276.0 311040000 5000 15000
reconf10_42_queen20_4_0961 10 176.93 177.71 162.0 311040000 5000 15000
reconf10_68_queen15_2 10 24.68 24.90 233.0 311040000 5000 15000
reconf10_86_sp003_1 10 555.95 558.49 144.0 311040000 5000 15000
reconf10_99_Ins_3_1 10 360.59 362.32 396.0 311040000 5000 15000
reconf20_116_le450_25c_1 20 158.85 159.66 1315.0 311040000 5000 15000
reconf20_20_grid10_1_6141 20 523.14 525.48 49.0 311040000 5000 15000
reconf20_20_grid10_4_4957 20 549.23 551.43 98.0 311040000 5000 15000
reconf20_26_3-FullIns_4_1 20 95.96 96.45 75.0 311040000 5000 15000
reconf20_320_hc-square-2_1 20 223.62 224.69 1405.0 311040000 5000 15000
reconf20_50_grid10_3_6844 20 162.85 164.00 96.0 311040000 5000 15000
reconf20_61_myciel4_2 20 34.07 34.29 47.0 311040000 5000 15000
rphp_p105_r105 1 4978.95 5001.03 1768.0 311040000 5000 15000
rphp_p14_r14 1 4984.47 5001.03 274.0 311040000 5000 15000
rphp_p6_r28 20 2510.87 2521.77 147.0 311040000 5000 15000
rphp_p90_r90 1 4979.17 5001.03 1490.0 311040000 5000 15000
rphp_p95_r95 1 4980.36 5001.03 1633.0 311040000 5000 15000
rubikcube701-sc2017 20 897.78 902.06 59.0 311040000 5000 15000
s2n:s2n_stuffer_private_key_from_pem 20 62.63 62.97 760.0 311040000 5000 15000
s2n:s2n_stuffer_write_base64 20 607.75 610.35 4331.0 311040000 5000 15000
satch2ways12u 20 55.66 55.98 40.0 311040000 5000 15000
satcoin-genesis-SAT-4 10 0.70 0.78 61.0 311040000 5000 15000
satcoin-genesis-SAT-5 10 1.79 1.89 61.0 311040000 5000 15000
satcoin-genesis-SAT-8192 10 328.60 330.16 84.0 311040000 5000 15000
sha256__zeroOut_12__freeIn_16__seed_1 1 4976.45 5001.03 135.0 311040000 5000 15000
sin-mitern28 20 58.74 59.03 25.0 311040000 5000 15000
sin-mitern29 20 30.39 30.54 18.0 311040000 5000 15000
sin_depth_miter_1 1 4977.82 5001.03 514.0 311040000 5000 15000
sin_depth_miter_2 1 4977.88 5001.03 305.0 311040000 5000 15000
sin_depth_miter_4 20 950.32 954.06 78.0 311040000 5000 15000
sin_depth_miter_5 20 2645.93 2658.07 74.0 311040000 5000 15000
sin_depth_miter_6 20 3481.40 3497.55 90.0 311040000 5000 15000
sin_depth_miter_8 1 4977.18 5001.03 129.0 311040000 5000 15000
size_5_5_5_i198_r12 10 454.28 456.20 73.0 311040000 5000 15000
smtlib-qfbv-aigs-countbits128-tseitin 20 2105.42 2114.77 55.0 311040000 5000 15000
soelberg_unit_109 20 187.19 188.20 43.0 311040000 5000 15000
soelberg_unit_158 1 4979.20 5001.03 119.0 311040000 5000 15000
soelberg_unit_159 10 2558.84 2570.97 105.0 311040000 5000 15000
soelberg_unit_223 1 4979.46 5001.03 168.0 311040000 5000 15000
spg_420_280 20 148.99 149.72 427.0 311040000 5000 15000
sqrt-mitern168 20 739.19 743.35 66.0 311040000 5000 15000
sqrt-mitern172 20 36.25 36.56 13.0 311040000 5000 15000
sqrt_ineq_3.c 10 1.59 1.70 61.0 311040000 5000 15000
ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418 10 286.70 287.72 76.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_670 20 456.13 457.96 2513.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_730 20 558.75 561.49 4216.0 311040000 5000 15000
sudoku-N30-10 1 4978.07 5001.03 463.0 311040000 5000 15000
sudoku-N30-11 20 3805.54 3822.17 421.0 311040000 5000 15000
sudoku-N30-20 20 3476.41 3490.64 443.0 311040000 5000 15000
sudoku-N30-22 20 273.56 274.99 464.0 311040000 5000 15000
sudoku-N30-24 20 292.59 294.05 467.0 311040000 5000 15000
sudoku-N30-27 20 291.50 292.71 464.0 311040000 5000 15000
sudoku-N30-29 20 3199.48 3211.75 456.0 311040000 5000 15000
sudoku-N30-4 20 3616.06 3634.49 410.0 311040000 5000 15000
sudoku-N30-6 20 387.04 388.95 448.0 311040000 5000 15000
sudoku-N30-7 1 4979.18 5001.03 473.0 311040000 5000 15000
sudoku-N30-8 20 3353.81 3369.64 454.0 311040000 5000 15000
sum_of_three_cubes_165_known_representation 10 281.16 282.35 518.0 311040000 5000 15000
sum_of_three_cubes_165_unknown_representation 1 4975.22 5001.04 900.0 311040000 5000 15000
sum_of_three_cubes_33_known_representation 10 27.57 27.75 426.0 311040000 5000 15000
sum_of_three_cubes_33_unknown_representation 1 4977.64 5001.03 938.0 311040000 5000 15000
sum_of_three_cubes_3_unknown_representation 1 4977.50 5001.03 888.0 311040000 5000 15000
sum_of_three_cubes_906_unknown_representation 1 4977.41 5001.03 890.0 311040000 5000 15000
sum_of_three_cubes_still_open 1 4980.35 5001.03 920.0 311040000 5000 15000
sum_of_three_cubes_still_open_large 1 4978.50 5001.03 2284.0 311040000 5000 15000
summle_X111102_steps8_I1-2-2-4-4-8-25-100 10 18.81 18.92 29.0 311040000 5000 15000
summle_X111104_steps6_I1-2-2-4-4-8-25-100 10 19.93 20.02 22.0 311040000 5000 15000
summle_X111107_steps8_I1-2-2-4-4-8-25-100 10 54.25 54.58 28.0 311040000 5000 15000
summle_X111113_steps7_I1-2-2-4-4-8-25-100 10 287.17 288.47 38.0 311040000 5000 15000
summle_X111117_steps8_I1-2-2-4-4-8-25-100 10 31.27 31.47 27.0 311040000 5000 15000
summle_X111119_steps7_I1-2-2-4-4-8-25-100 10 105.24 105.81 25.0 311040000 5000 15000
summle_X111121_steps7_I1-2-2-4-4-8-25-100 10 90.19 90.66 25.0 311040000 5000 15000
summle_X11113_steps8_I1-2-2-4-4-8-25-100 10 87.99 88.51 28.0 311040000 5000 15000
summle_X8634_steps8_I1-2-2-4-4-8-25-100 10 108.94 109.48 38.0 311040000 5000 15000
summle_X8637_steps8_I1-2-2-4-4-8-25-100 10 156.23 156.98 42.0 311040000 5000 15000
summle_X8639_steps8_I1-2-2-4-4-8-25-100 10 31.18 31.35 28.0 311040000 5000 15000
summle_X8646_steps8_I1-2-2-4-4-8-25-100 10 21.70 21.87 28.0 311040000 5000 15000
summle_X8651_steps8_I1-2-2-4-4-8-25-100 10 14.23 14.35 27.0 311040000 5000 15000
sv-comp19_prop-reachsafety.triangular-longer_false-unreach-call.i-witness 10 67.03 67.41 31.0 311040000 5000 15000
traffic_f_unknown 20 105.82 106.32 76.0 311040000 5000 15000
tseitin_grid_n14_m14 1 4977.10 5001.03 103.0 311040000 5000 15000
tseitin_grid_n16_m16 1 4980.51 5001.04 103.0 311040000 5000 15000
tseitin_n192_d3 1 4976.16 5001.03 139.0 311040000 5000 15000
tseitin_n196_d3 1 4978.38 5001.03 152.0 311040000 5000 15000
tseitin_n200_d3 1 4977.45 5001.03 157.0 311040000 5000 15000
urquhart3_25bis.shuffled 20 3.26 3.40 9.0 311040000 5000 15000
velev-vliw-sat-4.0-b8 10 40.91 41.16 740.0 311040000 5000 15000
vlsat2_113_1150 10 6.48 6.53 62.0 311040000 5000 15000
vlsat2_24450_2770239.dimacs 10 1.29 1.36 49.0 311040000 5000 15000
vlsat2_57038_10572502.dimacs 10 88.36 88.88 519.0 311040000 5000 15000
worker_20_20_16_0.9 1 4975.72 5001.03 151.0 311040000 5000 15000
worker_20_60_20_0.9 1 4975.53 5001.03 236.0 311040000 5000 15000
worker_30_120_30_0.8 1 4977.80 5001.03 438.0 311040000 5000 15000
worker_40_40_30_0.9 1 4985.44 5001.03 268.0 311040000 5000 15000
worker_40_80_35_0.85 1 4978.70 5001.03 490.0 311040000 5000 15000
worker_40_80_40_0.85 1 4978.45 5001.03 409.0 311040000 5000 15000
worker_500_500_500_0.35 10 6.77 6.83 282.0 311040000 5000 15000
worker_50_150_40_0.85 1 4978.55 5001.03 494.0 311040000 5000 15000
worker_50_50_50_0.85 1 4981.55 5001.04 407.0 311040000 5000 15000
worker_80_80_80_0.8 1 4979.50 5001.03 793.0 311040000 5000 15000
xor_op_n44_d3 1 4979.37 5001.03 206.0 311040000 5000 15000
