 result time real space tlim rlim slim
003-23-80 10 101.39 101.91 47.0 311040000 5000 15000
005-80-12 1 4973.80 5001.03 188.0 311040000 5000 15000
006 10 539.05 542.16 74.0 311040000 5000 15000
008-80-8 10 801.75 805.80 115.0 311040000 5000 15000
20-100-lambda100-49_sat 10 21.62 21.75 27.0 311040000 5000 15000
20-100-lambda100-89_sat 10 125.86 126.42 36.0 311040000 5000 15000
20-100-p100-55_sat 10 260.51 261.68 112.0 311040000 5000 15000
20180321_140826713_p_cnf_320_1120 10 1.64 4.06 8.0 311040000 5000 15000
3d_perfect_euler_bricks 1 4977.20 5001.03 178.0 311040000 5000 15000
4d_euler_bricks 1 4983.01 5001.03 233.0 311040000 5000 15000
4d_perfect_euler_bricks 1 4979.99 5001.03 311.0 311040000 5000 15000
4g_5color_166_100_02 10 724.50 727.97 2039.0 311040000 5000 15000
50bits_11.dimacs 10 516.92 519.17 33.0 311040000 5000 15000
52bits_12.dimacs 10 1152.42 1157.29 46.0 311040000 5000 15000
6-4-6-sc2018 1 4978.38 5001.03 84.0 311040000 5000 15000
6s105_Iter35 20 343.09 344.49 42.0 311040000 5000 15000
6s105_Iter99 1 4979.29 5001.03 128.0 311040000 5000 15000
6s133-sc2014 20 0.00 0.07 0.0 311040000 5000 15000
6s158_Iter2 20 1.10 1.14 9.0 311040000 5000 15000
6s184 20 0.00 0.04 0.0 311040000 5000 15000
6s186_Iter20 20 40.14 40.35 23.0 311040000 5000 15000
6s186_Iter99 1 4975.45 5001.03 192.0 311040000 5000 15000
6s22_Iter57 20 270.66 271.81 211.0 311040000 5000 15000
6s22_Iter99 1 4977.05 5001.03 382.0 311040000 5000 15000
6s320rb1_Iter8 20 169.75 170.60 56.0 311040000 5000 15000
6s320rb1_Iter9 10 119.13 119.72 59.0 311040000 5000 15000
8-5-6 10 776.22 779.84 170.0 311040000 5000 15000
9dlx_vliw_at_b_iq6 20 691.16 694.48 260.0 311040000 5000 15000
Break_16_56.xml 10 44.27 44.57 51.0 311040000 5000 15000
Break_20_36.xml 1 4976.43 5001.03 166.0 311040000 5000 15000
Break_20_54.xml 1 4981.71 5001.03 382.0 311040000 5000 15000
Break_triple_12_30.xml 10 31.18 31.39 24.0 311040000 5000 15000
Break_triple_18_48.xml 10 2197.01 2207.36 357.0 311040000 5000 15000
Break_triple_20_54.xml 1 4982.40 5001.03 385.0 311040000 5000 15000
Break_triple_20_72.xml 10 937.33 943.16 234.0 311040000 5000 15000
Break_unsat_10_15.xml 1 4982.57 5001.03 122.0 311040000 5000 15000
Break_unsat_12_19.xml 1 4979.06 5001.03 140.0 311040000 5000 15000
BubbleVsPancakeSort_6_6 20 29.26 29.47 16.0 311040000 5000 15000
Carry_Bits_Fast_12.cnf 10 1.89 1.96 9.0 311040000 5000 15000
Carry_Bits_Fast_16.cnf 10 27.08 27.31 20.0 311040000 5000 15000
Carry_Bits_Fast_18.cnf 10 0.20 0.28 7.0 311040000 5000 15000
Carry_Bits_Fast_23.cnf 10 0.30 0.38 7.0 311040000 5000 15000
Carry_Bits_Fast_4.cnf 10 0.30 0.38 7.0 311040000 5000 15000
Carry_Bits_Fast_5.cnf 10 19.21 19.38 17.0 311040000 5000 15000
Carry_Bits_Fast_8.cnf 10 6.86 6.99 16.0 311040000 5000 15000
Carry_Save_Fast_1.cnf 10 4.08 4.18 21.0 311040000 5000 15000
Carry_Save_Fast_2.cnf 10 2.89 2.94 18.0 311040000 5000 15000
Carry_Save_Fast_3.cnf 10 0.19 0.27 12.0 311040000 5000 15000
DLTM_twitter690_74_16 10 141.56 142.28 44.0 311040000 5000 15000
Eternity-10-06_c18 10 1013.84 1018.48 48.0 311040000 5000 15000
GP_100_948_32 10 401.52 403.65 3325.0 311040000 5000 15000
GP_100_948_33 10 212.58 213.42 3441.0 311040000 5000 15000
GP_100_948_34 10 84.99 85.44 2849.0 311040000 5000 15000
GP_100_950_32 10 236.30 237.36 3547.0 311040000 5000 15000
GP_100_950_33 10 521.49 523.71 3931.0 311040000 5000 15000
GP_100_950_34 10 1766.17 1774.17 3713.0 311040000 5000 15000
GP_100_951_35 10 980.34 984.82 3896.0 311040000 5000 15000
GP_100_951_37 10 308.16 309.64 3530.0 311040000 5000 15000
GP_120_400_15 10 81.60 82.01 1631.0 311040000 5000 15000
GP_200_313_5 10 230.69 231.83 2440.0 311040000 5000 15000
GP_300_250_15 10 440.52 442.99 2698.0 311040000 5000 15000
GP_500_200_20 10 137.15 137.92 3217.0 311040000 5000 15000
GP_81_430_13 10 34.71 34.91 1126.0 311040000 5000 15000
ITC2021_Early_4.xml 1 4978.16 5001.03 159.0 311040000 5000 15000
ITC2021_Late_1.xml 10 20.20 20.33 54.0 311040000 5000 15000
ITC2021_Late_2.xml 1 4979.32 5001.03 173.0 311040000 5000 15000
ITC2021_Late_6.xml 10 39.82 40.06 79.0 311040000 5000 15000
Kakuro-easy-112-ext.xml.hg_7 10 119.02 119.63 1505.0 311040000 5000 15000
Kakuro-easy-117-ext.xml.hg_5 10 100.26 100.77 1414.0 311040000 5000 15000
Kakuro-easy-125-ext.xml.hg_4 20 2807.93 2819.91 1586.0 311040000 5000 15000
LABS_n041_goal003 10 1094.75 1099.15 49.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix 20 893.99 899.09 7835.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces 20 309.71 311.29 1779.0 311040000 5000 15000
Nb52T6 20 3300.77 3318.43 2325.0 311040000 5000 15000
Nb8T61 10 242.60 243.89 198.0 311040000 5000 15000
PancakeVsInsertSort_6_7 20 48.86 49.15 20.0 311040000 5000 15000
PancakeVsInsertSort_7_7 20 512.67 514.70 51.0 311040000 5000 15000
PancakeVsInsertSort_7_8 20 984.82 989.81 49.0 311040000 5000 15000
PancakeVsInsertSort_8_5 20 1435.98 1442.68 59.0 311040000 5000 15000
PancakeVsInsertSort_8_6 20 3017.41 3031.65 67.0 311040000 5000 15000
PancakeVsInsertSort_8_7 20 4717.97 4736.25 127.0 311040000 5000 15000
PancakeVsInsertSort_9_3 20 292.56 293.96 42.0 311040000 5000 15000
PancakeVsInsertSort_9_4 20 4770.77 4794.08 116.0 311040000 5000 15000
PancakeVsSelectionSort_7_6 20 1330.81 1337.64 56.0 311040000 5000 15000
PancakeVsSelectionSort_7_7 20 2215.55 2224.70 65.0 311040000 5000 15000
PancakeVsSelectionSort_8_3 20 185.36 186.30 24.0 311040000 5000 15000
PancakeVsSelectionSort_8_4 20 3233.66 3250.06 69.0 311040000 5000 15000
SAT_H_instances_childsnack_p06.hddl_2 10 9.45 9.59 2803.0 311040000 5000 15000
SAT_H_instances_childsnack_p10.hddl_2 10 26.98 27.18 8082.0 311040000 5000 15000
SAT_MS_sat_nurikabe_p16.pddl_166 1 4980.87 5001.03 10826.0 311040000 5000 15000
SAT_MS_sat_snake_p01.pddl_39 10 2470.64 2482.54 1305.0 311040000 5000 15000
SAT_dat.k80 20 20.31 20.42 38.0 311040000 5000 15000
SC21_Timetable_C_527_E_71_Cl_35_S_35 10 21.28 21.46 332.0 311040000 5000 15000
SC21_Timetable_C_542_E_71_Cl_36_S_35 10 19.67 21.74 350.0 311040000 5000 15000
SC22_Timetable_C_436_E_39_Cl_29_S_27 1 4976.20 5001.03 355.0 311040000 5000 15000
SC22_Timetable_C_436_E_40_Cl_29_S_27 1 4972.48 5001.03 458.0 311040000 5000 15000
SC22_Timetable_C_436_E_41_Cl_29_S_27 1 4972.24 5001.03 475.0 311040000 5000 15000
SC22_Timetable_C_436_E_42_Cl_29_S_27 1 4972.83 5001.03 376.0 311040000 5000 15000
SC22_Timetable_C_436_E_43_Cl_29_S_27 1 4972.50 5001.03 390.0 311040000 5000 15000
SC22_Timetable_C_451_E_43_Cl_30_S_27 1 4970.75 5001.03 363.0 311040000 5000 15000
SC22_Timetable_C_451_E_45_Cl_30_S_27 1 4971.46 5001.03 442.0 311040000 5000 15000
SC22_Timetable_C_451_E_46_Cl_30_S_27 10 472.09 476.03 294.0 311040000 5000 15000
SC22_Timetable_C_451_E_48_Cl_30_S_27 10 559.17 563.44 280.0 311040000 5000 15000
SC22_Timetable_C_451_E_50_Cl_30_S_28 10 62.24 62.64 249.0 311040000 5000 15000
SCPC-500-10 20 29.57 29.80 18.0 311040000 5000 15000
SCPC-500-11 20 102.04 102.55 22.0 311040000 5000 15000
SCPC-500-15 20 29.86 30.03 15.0 311040000 5000 15000
SCPC-500-16 20 78.09 78.54 22.0 311040000 5000 15000
SCPC-500-17 20 77.75 78.15 24.0 311040000 5000 15000
SCPC-500-18 20 34.15 34.34 18.0 311040000 5000 15000
SCPC-500-19 20 21.60 21.73 13.0 311040000 5000 15000
SCPC-500-2 20 29.56 29.74 18.0 311040000 5000 15000
SCPC-500-20 20 22.70 22.86 14.0 311040000 5000 15000
SCPC-500-4 20 32.97 33.12 20.0 311040000 5000 15000
SCPC-500-7 20 41.62 41.88 19.0 311040000 5000 15000
SCPC-500-8 20 35.95 36.12 20.0 311040000 5000 15000
SCPC-500-9 20 28.97 29.18 15.0 311040000 5000 15000
SE_PR_stb_588_138.apx_1 10 98.65 99.20 18.0 311040000 5000 15000
UNSAT_H_instances_childsnack_p12.hddl_1 20 11.74 11.85 3676.0 311040000 5000 15000
UNSAT_MS_opt_snake_p20.pddl_29 20 365.31 367.13 793.0 311040000 5000 15000
UTI-20-10p0-sc2009 20 166.18 167.01 135.0 311040000 5000 15000
Wallace_Bits_Fast_2.cnf 10 0.19 0.28 7.0 311040000 5000 15000
Wallace_Bits_Fast_3.cnf 10 10.25 10.37 18.0 311040000 5000 15000
Wallace_Bits_Fast_7.cnf 10 1.99 2.07 14.0 311040000 5000 15000
ablmulub16x4o 20 64.73 65.09 17.0 311040000 5000 15000
abw-V-nos6.mtx-w220 10 525.89 529.33 751.0 311040000 5000 15000
aes_32_2_keyfind_1 10 28.17 30.37 12.0 311040000 5000 15000
af-synthesis_stb_50_100_4_unsat 20 1397.87 1405.16 47.0 311040000 5000 15000
af-synthesis_stb_50_120_4_unsat 20 366.97 368.93 43.0 311040000 5000 15000
af-synthesis_stb_50_140_0_sat 10 149.59 150.26 44.0 311040000 5000 15000
af-synthesis_stb_50_140_1_sat 10 239.25 240.38 46.0 311040000 5000 15000
af-synthesis_stb_50_140_3_sat 10 59.42 61.76 44.0 311040000 5000 15000
af-synthesis_stb_50_200_4_sat 10 56.21 56.58 47.0 311040000 5000 15000
af-synthesis_stb_50_20_8_sat 10 224.35 225.50 38.0 311040000 5000 15000
af-synthesis_stb_50_20_8_unsat 20 466.97 469.29 39.0 311040000 5000 15000
af-synthesis_stb_50_40_2_sat 10 125.72 126.35 26.0 311040000 5000 15000
af-synthesis_stb_50_80_7_sat 10 75.36 76.09 37.0 311040000 5000 15000
af-synthesis_stb_50_80_7_unsat 20 549.41 551.76 41.0 311040000 5000 15000
atco_enc1_opt2_10_15 20 109.12 109.77 37.0 311040000 5000 15000
atco_enc1_opt2_10_16-sc2014 10 127.19 127.84 37.0 311040000 5000 15000
atco_enc3_opt1_03_53 10 152.60 153.39 449.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_remove_node 20 129.97 130.71 1733.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_sift_either 20 66.79 67.15 3436.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size 20 215.40 216.35 4884.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_hdr_write 20 140.44 141.11 1510.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq 20 218.45 219.52 4151.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad 20 407.75 412.26 3348.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id 20 194.27 195.31 2828.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type 20 85.28 85.72 1948.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks 20 338.33 340.24 2953.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv 20 111.70 112.34 1962.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key 20 391.57 395.52 4142.0 311040000 5000 15000
barman-pfile10-038.sas.ex.15 20 40.51 40.74 805.0 311040000 5000 15000
beempgsol2b1 20 12.79 13.70 16.0 311040000 5000 15000
bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19 20 300.14 301.45 35.0 311040000 5000 15000
bmc_QICE_req_sfl_30 20 2308.07 2317.92 2214.0 311040000 5000 15000
bmc_QICE_rxrsp_vld_30 20 851.73 855.66 2236.0 311040000 5000 15000
bmc_QICE_snp_vld_50 20 1533.25 1540.43 3889.0 311040000 5000 15000
bobsmdct_init_k88 20 1662.07 1669.42 151.0 311040000 5000 15000
bobsmdct_k500 1 4976.81 5001.03 942.0 311040000 5000 15000
bobsmdct_k88 20 136.06 136.78 189.0 311040000 5000 15000
bz-X-4-7-6 10 210.28 211.31 41.0 311040000 5000 15000
cfi-rigid-d3-0180-02-orig 20 228.99 230.27 2064.0 311040000 5000 15000
cfi-rigid-r2-0072-01-or_3 10 46.58 46.88 538.0 311040000 5000 15000
cfi-rigid-s2-0064-02-or_2 20 233.42 234.59 506.0 311040000 5000 15000
cfi-rigid-s2-0064-03-or_2_shuffle_all 20 1362.06 1367.99 511.0 311040000 5000 15000
cfi-rigid-s2-0064-04-or_2 20 465.23 467.38 511.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3 10 16.33 16.51 300.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3_shuffle_all 10 4.68 4.74 279.0 311040000 5000 15000
cfi-rigid-t2-0048-02-or_3_shuffle_all 10 18.48 20.85 329.0 311040000 5000 15000
cfi-rigid-t2-0048-03-or_3_shuffle_all 10 42.48 42.79 379.0 311040000 5000 15000
cfi-rigid-z2-0088-01-or_2_shuffle_all 20 200.01 200.99 476.0 311040000 5000 15000
cfi-rigid-z2-0088-02-or_2_shuffle_all 20 225.37 226.48 475.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2 20 123.92 124.51 489.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2_shuffle_all 20 245.54 247.42 473.0 311040000 5000 15000
cliquecoloring_n18_k6_c5 20 1533.40 1539.15 121.0 311040000 5000 15000
cliquecoloring_n60_k5_c4 1 4974.38 5001.03 361.0 311040000 5000 15000
combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2 10 64.18 64.50 31.0 311040000 5000 15000
coreJSON:skipCollection 10 121.97 122.61 4230.0 311040000 5000 15000
coreMQTT:MQTT_Connect 20 352.40 353.97 2337.0 311040000 5000 15000
coreMQTT:MQTT_SerializeConnect 20 305.83 307.21 997.0 311040000 5000 15000
corePKCS11:C_CreateObject 20 99.41 99.96 1178.0 311040000 5000 15000
ctl_4291_567_12_unsat 20 251.75 252.62 37.0 311040000 5000 15000
ctl_4291_567_1_unsat_pre 20 750.06 753.40 37.0 311040000 5000 15000
div-mitern164 20 1547.99 1553.95 75.0 311040000 5000 15000
div-mitern165 20 1223.01 1228.15 88.0 311040000 5000 15000
div-mitern167 20 493.22 495.41 68.0 311040000 5000 15000
div-mitern168 20 343.13 344.80 59.0 311040000 5000 15000
div-mitern171 20 77.18 77.53 22.0 311040000 5000 15000
div-mitern174 20 21.41 21.53 11.0 311040000 5000 15000
div_miter_lec_1 1 4981.82 5001.03 89.0 311040000 5000 15000
div_miter_lec_3 1 4979.76 5001.03 108.0 311040000 5000 15000
div_miter_lec_4 1 4977.26 5001.03 123.0 311040000 5000 15000
ecarev-110-4099-22-30-7 10 208.97 210.06 121.0 311040000 5000 15000
edit_distance041_183 20 46.28 46.54 61.0 311040000 5000 15000
eqsparcl12bpwtrc12 20 2826.25 2838.07 82.0 311040000 5000 15000
ex175_20 10 101.64 102.13 1374.0 311040000 5000 15000
frb75-13-2.used-as.sat04-878 10 145.92 146.43 24.0 311040000 5000 15000
g2-mizh-md5-48-2 10 14.80 14.95 38.0 311040000 5000 15000
gaussian.c.75.smt2-cvc4 10 144.69 145.40 1181.0 311040000 5000 15000
grid-color-12-14-10-cb 10 35.71 35.95 57.0 311040000 5000 15000
grid-color-12-14-12-cb 1 4977.12 5001.03 243.0 311040000 5000 15000
grid-color-12-14-14-cb 10 2486.98 2500.14 159.0 311040000 5000 15000
grid-color-12-14-2-cb 10 4754.20 4775.16 259.0 311040000 5000 15000
grid-color-12-14-4-cb 1 4978.98 5001.03 250.0 311040000 5000 15000
grid-color-12-14-6-cb 10 1198.72 1204.02 159.0 311040000 5000 15000
grid-color-12-14-8-cb 10 166.71 167.58 121.0 311040000 5000 15000
grid-color-14-14-10-cb 1 4975.88 5001.03 252.0 311040000 5000 15000
grid-color-14-14-12-cb 1 4976.72 5001.03 275.0 311040000 5000 15000
grid-color-14-14-14-cb 1 4976.58 5001.03 216.0 311040000 5000 15000
grid-color-14-14-2-cb 1 4975.29 5001.03 280.0 311040000 5000 15000
grid-color-14-14-6-cb 1 4977.27 5001.03 292.0 311040000 5000 15000
grid-color-14-14-8-cb 1 4980.86 5001.03 259.0 311040000 5000 15000
grid-strips-grid-y-3.045-NOTKNOWN 10 80.97 81.42 166.0 311040000 5000 15000
gss-18-s100 10 113.31 113.87 17.0 311040000 5000 15000
gus-md5-11 1 4982.74 5001.03 105.0 311040000 5000 15000
h31 1 4977.55 5001.03 82.0 311040000 5000 15000
h31_large 1 4981.90 5001.03 130.0 311040000 5000 15000
hantzsche_wendt_unit_147 10 1172.93 1176.80 114.0 311040000 5000 15000
hantzsche_wendt_unit_83 20 615.63 618.58 48.0 311040000 5000 15000
hantzsche_wendt_unit_92 20 1631.52 1639.65 67.0 311040000 5000 15000
hantzsche_wendt_unit_93 10 995.19 1000.06 67.0 311040000 5000 15000
hwmcc15deep-6s516r-k18-sc2017 20 845.22 850.37 85.0 311040000 5000 15000
hyp_cec_multi_1 1 4972.88 5001.03 287.0 311040000 5000 15000
hyp_cec_multi_3 1 4976.21 5001.03 292.0 311040000 5000 15000
hyp_cec_multi_4 1 4981.22 5001.03 308.0 311040000 5000 15000
hyp_cec_multi_5 1 4979.04 5001.03 305.0 311040000 5000 15000
intel036_Iter109 10 26.56 26.73 503.0 311040000 5000 15000
intel046_Iter124 10 16.72 16.90 61.0 311040000 5000 15000
j3037_10_gmto_b 10 21.30 21.45 19.0 311040000 5000 15000
j3037_10_gmto_bm1 20 31.86 32.04 15.0 311040000 5000 15000
j3037_1_rggt_b 10 15.63 15.77 21.0 311040000 5000 15000
j3037_1_rggt_bm1 20 361.92 363.63 38.0 311040000 5000 15000
j3037_9_gmto_b 10 215.62 216.70 36.0 311040000 5000 15000
j3037_9_gmto_bm1 1 4981.52 5001.03 75.0 311040000 5000 15000
j3037_9_mdd_b 10 206.54 207.48 42.0 311040000 5000 15000
j3045_10_gmto_bm1 1 4977.72 5001.03 76.0 311040000 5000 15000
j3045_10_mdd_bm1 1 4983.91 5001.03 84.0 311040000 5000 15000
j3045_4_gmto_bm1 20 411.27 413.38 25.0 311040000 5000 15000
j3045_4_mdd_b 10 486.04 488.13 38.0 311040000 5000 15000
j3045_4_rggt_bm1 20 267.71 269.16 25.0 311040000 5000 15000
knight_18 10 1681.92 1691.38 227.0 311040000 5000 15000
ktf_TF-3.tf_3_0.02_24 20 132.05 132.57 38.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind40 20 13.62 13.73 671.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind41 20 35.50 35.72 767.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind43 20 18.50 18.66 820.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind44 20 35.72 35.93 858.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind48 20 41.69 41.97 957.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind55 20 79.87 82.55 1165.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind56 20 52.21 52.57 1203.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind59 20 47.75 48.61 1286.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind66 20 143.94 144.72 1592.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind67 20 48.64 49.00 1628.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind71 20 46.20 46.52 1809.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind74 20 257.17 258.41 1887.0 311040000 5000 15000
manol-pipe-f7nidw 20 47.87 48.12 169.0 311040000 5000 15000
manthey_single-ordered-initialized-w42-b8 20 95.25 95.74 27.0 311040000 5000 15000
manthey_single-ordered-initialized-w50-b7 20 579.99 582.76 41.0 311040000 5000 15000
md4__zeroOut_19__freeIn_23__seed_2 10 12.30 13.66 20.0 311040000 5000 15000
mdp-28-10-sat 10 122.91 125.37 27.0 311040000 5000 15000
mdp-28-11-unsat 20 975.54 979.72 44.0 311040000 5000 15000
mdp-28-12-sat 10 637.56 640.22 44.0 311040000 5000 15000
mdp-28-12-unsat 20 969.63 974.54 47.0 311040000 5000 15000
mdp-28-16-sat 10 189.14 190.01 40.0 311040000 5000 15000
mdp-32-12-sat 10 1743.80 1752.94 51.0 311040000 5000 15000
mdp-32-16-unsat 1 4977.94 5001.03 95.0 311040000 5000 15000
mdp-36-11-sat 1 4981.86 5001.03 80.0 311040000 5000 15000
mdp-36-11-unsat 1 4981.32 5001.03 71.0 311040000 5000 15000
mdp-36-12-sat 1 4981.19 5001.03 93.0 311040000 5000 15000
mdp-36-14-unsat 1 4977.98 5001.03 96.0 311040000 5000 15000
mdp-36-16-sat 1 4984.05 5001.03 81.0 311040000 5000 15000
mdp-36-16-unsat 1 4980.32 5001.03 88.0 311040000 5000 15000
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519 10 63.80 64.18 12.0 311040000 5000 15000
mp1-21.7 10 35.46 37.13 30.0 311040000 5000 15000
mp1-9_27 10 20.09 20.22 15.0 311040000 5000 15000
mp1-blockpuzzle_5x12_s6_free3 20 207.74 208.81 50.0 311040000 5000 15000
mp1-klieber2017s-0300-034-t12 10 95.79 96.24 23.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abio_SAT 10 26.08 26.26 18.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abix_SAT 10 74.16 74.56 31.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_bail_SAT 10 98.07 98.49 28.0 311040000 5000 15000
ncc_none_3001_7_3_3_1_31_435991723 10 100.77 101.34 919.0 311040000 5000 15000
ncc_none_7047_6_3_3_0_0_420 20 97.48 98.03 823.0 311040000 5000 15000
ortholatin-7 10 12.84 12.99 20.0 311040000 5000 15000
ota-for-aws-iot-embedded-sdk:parseJSONbyModel 20 202.99 204.03 1724.0 311040000 5000 15000
pj2002_k9 20 9.45 9.56 241.0 311040000 5000 15000
pj2003_k9 20 9.64 9.77 245.0 311040000 5000 15000
pj2005_k80 10 159.60 162.52 1588.0 311040000 5000 15000
pj2008_k300 10 1052.95 1058.79 5830.0 311040000 5000 15000
pj2008_k400 10 1448.29 1455.77 7266.0 311040000 5000 15000
pj2015_k9 20 14.02 14.12 355.0 311040000 5000 15000
pj2016_k120 10 724.61 728.57 6607.0 311040000 5000 15000
pj2016_k140 10 714.43 717.63 9774.0 311040000 5000 15000
pj2016_k80 10 268.06 271.55 4475.0 311040000 5000 15000
pj2018_k10 10 6.83 8.96 207.0 311040000 5000 15000
ps_200_300_70 20 172.66 173.56 241.0 311040000 5000 15000
ps_200_323_70 20 928.08 932.67 273.0 311040000 5000 15000
puzzle30_sat 10 260.42 261.62 57.0 311040000 5000 15000
q_query_3_L200_coli.sat 20 118.27 118.87 312.0 311040000 5000 15000
reconf10_140_queen6_1 10 397.01 398.80 411.0 311040000 5000 15000
reconf10_145_queen6_2 10 2268.45 2279.30 450.0 311040000 5000 15000
reconf10_42_queen20_4_0961 10 772.08 775.43 279.0 311040000 5000 15000
reconf10_68_queen15_2 10 150.92 151.62 368.0 311040000 5000 15000
reconf10_86_sp003_1 10 642.95 646.18 184.0 311040000 5000 15000
reconf10_99_Ins_3_1 10 360.02 361.99 440.0 311040000 5000 15000
reconf20_116_le450_25c_1 20 202.95 203.92 2056.0 311040000 5000 15000
reconf20_20_grid10_1_6141 20 447.34 449.35 50.0 311040000 5000 15000
reconf20_20_grid10_4_4957 20 290.01 291.36 49.0 311040000 5000 15000
reconf20_26_3-FullIns_4_1 20 89.95 90.40 123.0 311040000 5000 15000
reconf20_320_hc-square-2_1 20 208.69 209.64 1574.0 311040000 5000 15000
reconf20_50_grid10_3_6844 20 177.81 178.68 129.0 311040000 5000 15000
reconf20_61_myciel4_2 20 20.50 20.66 71.0 311040000 5000 15000
rphp_p105_r105 1 4979.63 5001.03 1772.0 311040000 5000 15000
rphp_p14_r14 1 4978.73 5001.03 279.0 311040000 5000 15000
rphp_p6_r28 20 2314.05 2324.32 138.0 311040000 5000 15000
rphp_p90_r90 1 4975.39 5001.03 1489.0 311040000 5000 15000
rphp_p95_r95 1 4976.47 5001.03 1635.0 311040000 5000 15000
rubikcube701-sc2017 20 1028.06 1031.63 44.0 311040000 5000 15000
s2n:s2n_stuffer_private_key_from_pem 20 38.70 39.00 860.0 311040000 5000 15000
s2n:s2n_stuffer_write_base64 20 543.65 546.16 5049.0 311040000 5000 15000
satch2ways12u 20 135.76 136.43 66.0 311040000 5000 15000
satcoin-genesis-SAT-4 10 0.69 0.75 97.0 311040000 5000 15000
satcoin-genesis-SAT-5 10 0.90 1.00 97.0 311040000 5000 15000
satcoin-genesis-SAT-8192 10 81.99 82.47 121.0 311040000 5000 15000
sha256__zeroOut_12__freeIn_16__seed_1 10 4332.93 4350.35 148.0 311040000 5000 15000
sin-mitern28 20 58.37 58.65 28.0 311040000 5000 15000
sin-mitern29 20 28.35 28.53 22.0 311040000 5000 15000
sin_depth_miter_1 1 4976.47 5001.03 577.0 311040000 5000 15000
sin_depth_miter_2 1 4979.30 5001.03 267.0 311040000 5000 15000
sin_depth_miter_4 20 899.43 903.50 136.0 311040000 5000 15000
sin_depth_miter_5 20 4128.69 4148.85 83.0 311040000 5000 15000
sin_depth_miter_6 20 2436.60 2448.13 82.0 311040000 5000 15000
sin_depth_miter_8 1 4978.61 5001.03 134.0 311040000 5000 15000
size_5_5_5_i198_r12 10 330.74 332.37 46.0 311040000 5000 15000
smtlib-qfbv-aigs-countbits128-tseitin 20 2168.50 2177.54 76.0 311040000 5000 15000
soelberg_unit_109 20 369.75 372.26 45.0 311040000 5000 15000
soelberg_unit_158 1 4982.76 5001.04 128.0 311040000 5000 15000
soelberg_unit_159 1 4981.51 5001.03 134.0 311040000 5000 15000
soelberg_unit_223 1 4976.40 5001.03 203.0 311040000 5000 15000
spg_420_280 20 284.40 285.71 441.0 311040000 5000 15000
sqrt-mitern168 20 739.65 742.90 69.0 311040000 5000 15000
sqrt-mitern172 20 37.33 37.57 14.0 311040000 5000 15000
sqrt_ineq_3.c 10 1.82 2.19 98.0 311040000 5000 15000
ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418 10 175.32 176.02 78.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_670 20 454.90 456.87 1411.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_730 20 448.08 450.59 1751.0 311040000 5000 15000
sudoku-N30-10 1 4979.26 5001.03 463.0 311040000 5000 15000
sudoku-N30-11 20 3796.16 3811.57 447.0 311040000 5000 15000
sudoku-N30-20 20 3059.94 3071.08 463.0 311040000 5000 15000
sudoku-N30-22 20 321.88 323.44 474.0 311040000 5000 15000
sudoku-N30-24 20 302.32 303.72 465.0 311040000 5000 15000
sudoku-N30-27 20 280.76 282.25 451.0 311040000 5000 15000
sudoku-N30-29 20 3598.69 3616.06 466.0 311040000 5000 15000
sudoku-N30-4 20 3657.93 3675.84 477.0 311040000 5000 15000
sudoku-N30-6 20 284.03 285.49 446.0 311040000 5000 15000
sudoku-N30-7 1 4977.87 5001.03 461.0 311040000 5000 15000
sudoku-N30-8 20 3742.84 3759.79 460.0 311040000 5000 15000
sum_of_three_cubes_165_known_representation 10 17.29 17.45 611.0 311040000 5000 15000
sum_of_three_cubes_165_unknown_representation 1 4979.64 5001.03 1130.0 311040000 5000 15000
sum_of_three_cubes_33_known_representation 10 10.45 10.60 504.0 311040000 5000 15000
sum_of_three_cubes_33_unknown_representation 1 4980.08 5001.03 1130.0 311040000 5000 15000
sum_of_three_cubes_3_unknown_representation 1 4980.62 5001.03 1129.0 311040000 5000 15000
sum_of_three_cubes_906_unknown_representation 1 4984.48 5001.03 1143.0 311040000 5000 15000
sum_of_three_cubes_still_open 1 4977.48 5001.03 1166.0 311040000 5000 15000
sum_of_three_cubes_still_open_large 1 4969.69 5001.03 2806.0 311040000 5000 15000
summle_X111102_steps8_I1-2-2-4-4-8-25-100 10 44.11 44.33 33.0 311040000 5000 15000
summle_X111104_steps6_I1-2-2-4-4-8-25-100 10 92.20 92.70 25.0 311040000 5000 15000
summle_X111107_steps8_I1-2-2-4-4-8-25-100 10 251.17 252.23 43.0 311040000 5000 15000
summle_X111113_steps7_I1-2-2-4-4-8-25-100 10 433.29 435.36 37.0 311040000 5000 15000
summle_X111117_steps8_I1-2-2-4-4-8-25-100 10 26.09 26.27 33.0 311040000 5000 15000
summle_X111119_steps7_I1-2-2-4-4-8-25-100 10 73.85 74.27 25.0 311040000 5000 15000
summle_X111121_steps7_I1-2-2-4-4-8-25-100 10 80.40 80.90 26.0 311040000 5000 15000
summle_X11113_steps8_I1-2-2-4-4-8-25-100 10 59.63 59.96 34.0 311040000 5000 15000
summle_X8634_steps8_I1-2-2-4-4-8-25-100 10 17.52 17.64 33.0 311040000 5000 15000
summle_X8637_steps8_I1-2-2-4-4-8-25-100 10 21.01 21.16 34.0 311040000 5000 15000
summle_X8639_steps8_I1-2-2-4-4-8-25-100 10 43.61 43.84 32.0 311040000 5000 15000
summle_X8646_steps8_I1-2-2-4-4-8-25-100 10 12.05 12.17 34.0 311040000 5000 15000
summle_X8651_steps8_I1-2-2-4-4-8-25-100 10 15.73 15.86 31.0 311040000 5000 15000
sv-comp19_prop-reachsafety.triangular-longer_false-unreach-call.i-witness 10 58.99 59.35 41.0 311040000 5000 15000
traffic_f_unknown 20 111.92 112.48 96.0 311040000 5000 15000
tseitin_grid_n14_m14 1 4980.05 5001.03 105.0 311040000 5000 15000
tseitin_grid_n16_m16 1 4976.78 5001.03 115.0 311040000 5000 15000
tseitin_n192_d3 1 4977.74 5001.03 140.0 311040000 5000 15000
tseitin_n196_d3 1 4978.36 5001.03 155.0 311040000 5000 15000
tseitin_n200_d3 1 4974.32 5001.03 166.0 311040000 5000 15000
urquhart3_25bis.shuffled 20 3.26 3.40 12.0 311040000 5000 15000
velev-vliw-sat-4.0-b8 10 48.39 50.67 928.0 311040000 5000 15000
vlsat2_113_1150 10 0.60 0.66 49.0 311040000 5000 15000
vlsat2_24450_2770239.dimacs 10 169.73 170.52 195.0 311040000 5000 15000
vlsat2_57038_10572502.dimacs 10 81.21 81.63 577.0 311040000 5000 15000
worker_20_20_16_0.9 1 4978.79 5001.04 137.0 311040000 5000 15000
worker_20_60_20_0.9 1 4976.29 5001.03 435.0 311040000 5000 15000
worker_30_120_30_0.8 1 4975.66 5001.03 434.0 311040000 5000 15000
worker_40_40_30_0.9 1 4978.44 5001.03 269.0 311040000 5000 15000
worker_40_80_35_0.85 1 4977.67 5001.03 360.0 311040000 5000 15000
worker_40_80_40_0.85 1 4976.31 5001.03 532.0 311040000 5000 15000
worker_500_500_500_0.35 10 6.36 6.50 308.0 311040000 5000 15000
worker_50_150_40_0.85 1 4974.83 5001.03 494.0 311040000 5000 15000
worker_50_50_50_0.85 1 4971.72 5001.03 412.0 311040000 5000 15000
worker_80_80_80_0.8 1 4976.49 5001.03 800.0 311040000 5000 15000
xor_op_n44_d3 1 4978.51 5001.03 209.0 311040000 5000 15000
