 result time real space tlim rlim slim
003-23-80 10 594.03 597.67 110.0 311040000 5000 15000
005-80-12 1 4977.09 5001.03 227.0 311040000 5000 15000
006 10 181.79 182.64 51.0 311040000 5000 15000
008-80-8 10 339.79 341.25 100.0 311040000 5000 15000
20-100-lambda100-49_sat 10 21.61 21.81 26.0 311040000 5000 15000
20-100-lambda100-89_sat 10 115.18 115.79 36.0 311040000 5000 15000
20-100-p100-55_sat 10 291.84 293.14 112.0 311040000 5000 15000
20180321_140826713_p_cnf_320_1120 10 1.49 1.52 8.0 311040000 5000 15000
3d_perfect_euler_bricks 1 4979.82 5001.03 174.0 311040000 5000 15000
4d_euler_bricks 1 4978.53 5001.03 247.0 311040000 5000 15000
4d_perfect_euler_bricks 1 4977.53 5001.03 304.0 311040000 5000 15000
4g_5color_166_100_02 10 725.27 728.54 2037.0 311040000 5000 15000
50bits_11.dimacs 10 364.90 366.53 22.0 311040000 5000 15000
52bits_12.dimacs 10 860.03 863.53 34.0 311040000 5000 15000
6-4-6-sc2018 10 207.56 208.57 47.0 311040000 5000 15000
6s105_Iter35 20 298.67 300.06 40.0 311040000 5000 15000
6s105_Iter99 1 4979.92 5001.03 128.0 311040000 5000 15000
6s133-sc2014 20 0.03 0.13 17.0 311040000 5000 15000
6s158_Iter2 20 17.04 17.15 17.0 311040000 5000 15000
6s184 20 0.00 0.04 0.0 311040000 5000 15000
6s186_Iter20 20 71.01 71.36 23.0 311040000 5000 15000
6s186_Iter99 1 4979.64 5001.03 185.0 311040000 5000 15000
6s22_Iter57 20 261.68 262.97 207.0 311040000 5000 15000
6s22_Iter99 1 4978.46 5001.03 406.0 311040000 5000 15000
6s320rb1_Iter8 20 143.81 144.55 54.0 311040000 5000 15000
6s320rb1_Iter9 10 172.89 173.75 61.0 311040000 5000 15000
8-5-6 10 2711.14 2722.63 187.0 311040000 5000 15000
9dlx_vliw_at_b_iq6 20 579.61 582.18 249.0 311040000 5000 15000
Break_16_56.xml 10 40.64 40.81 50.0 311040000 5000 15000
Break_20_36.xml 1 4972.91 5001.03 156.0 311040000 5000 15000
Break_20_54.xml 1 4975.95 5001.03 314.0 311040000 5000 15000
Break_triple_12_30.xml 10 30.17 30.40 24.0 311040000 5000 15000
Break_triple_18_48.xml 10 1603.40 1611.73 205.0 311040000 5000 15000
Break_triple_20_54.xml 1 4976.58 5001.03 526.0 311040000 5000 15000
Break_triple_20_72.xml 10 845.75 849.53 231.0 311040000 5000 15000
Break_unsat_10_15.xml 1 4974.76 5001.03 100.0 311040000 5000 15000
Break_unsat_12_19.xml 1 4977.30 5001.03 118.0 311040000 5000 15000
BubbleVsPancakeSort_6_6 20 29.16 29.36 12.0 311040000 5000 15000
Carry_Bits_Fast_12.cnf 10 1.49 1.57 8.0 311040000 5000 15000
Carry_Bits_Fast_16.cnf 10 19.32 19.44 16.0 311040000 5000 15000
Carry_Bits_Fast_18.cnf 10 1.19 1.29 8.0 311040000 5000 15000
Carry_Bits_Fast_23.cnf 10 1.69 1.76 9.0 311040000 5000 15000
Carry_Bits_Fast_4.cnf 10 0.40 0.43 7.0 311040000 5000 15000
Carry_Bits_Fast_5.cnf 10 11.05 11.18 17.0 311040000 5000 15000
Carry_Bits_Fast_8.cnf 10 4.38 4.48 12.0 311040000 5000 15000
Carry_Save_Fast_1.cnf 10 8.46 8.60 21.0 311040000 5000 15000
Carry_Save_Fast_2.cnf 10 8.76 8.85 17.0 311040000 5000 15000
Carry_Save_Fast_3.cnf 10 1.39 1.50 12.0 311040000 5000 15000
DLTM_twitter690_74_16 10 314.93 316.28 61.0 311040000 5000 15000
Eternity-10-06_c18 10 631.62 634.60 47.0 311040000 5000 15000
GP_100_948_32 10 242.69 243.72 3292.0 311040000 5000 15000
GP_100_948_33 10 402.65 404.64 3286.0 311040000 5000 15000
GP_100_948_34 10 83.43 83.87 2797.0 311040000 5000 15000
GP_100_950_32 10 1623.48 1631.32 3465.0 311040000 5000 15000
GP_100_950_33 1 4974.57 5001.03 3953.0 311040000 5000 15000
GP_100_950_34 10 690.19 693.18 3831.0 311040000 5000 15000
GP_100_951_35 10 401.24 402.74 3899.0 311040000 5000 15000
GP_100_951_37 10 3363.97 3379.47 3938.0 311040000 5000 15000
GP_120_400_15 10 165.57 166.38 1744.0 311040000 5000 15000
GP_200_313_5 10 57.23 57.51 2098.0 311040000 5000 15000
GP_300_250_15 10 205.96 206.86 2683.0 311040000 5000 15000
GP_500_200_20 10 205.48 206.33 2817.0 311040000 5000 15000
GP_81_430_13 10 33.85 34.02 1102.0 311040000 5000 15000
ITC2021_Early_4.xml 1 4985.85 5001.03 183.0 311040000 5000 15000
ITC2021_Late_1.xml 10 20.46 20.63 58.0 311040000 5000 15000
ITC2021_Late_2.xml 1 4980.27 5001.03 203.0 311040000 5000 15000
ITC2021_Late_6.xml 10 38.00 38.25 79.0 311040000 5000 15000
Kakuro-easy-112-ext.xml.hg_7 10 117.93 118.57 1531.0 311040000 5000 15000
Kakuro-easy-117-ext.xml.hg_5 10 95.60 96.04 1386.0 311040000 5000 15000
Kakuro-easy-125-ext.xml.hg_4 20 2666.73 2679.24 1596.0 311040000 5000 15000
LABS_n041_goal003 10 1258.99 1264.64 49.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix 20 593.72 596.40 7936.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces 20 233.10 234.22 1807.0 311040000 5000 15000
Nb52T6 20 3265.75 3281.10 2208.0 311040000 5000 15000
Nb8T61 10 219.21 220.54 193.0 311040000 5000 15000
PancakeVsInsertSort_6_7 20 62.23 62.61 24.0 311040000 5000 15000
PancakeVsInsertSort_7_7 20 519.40 521.53 43.0 311040000 5000 15000
PancakeVsInsertSort_7_8 20 782.92 786.38 50.0 311040000 5000 15000
PancakeVsInsertSort_8_5 20 1423.50 1429.48 51.0 311040000 5000 15000
PancakeVsInsertSort_8_6 20 3456.40 3472.24 76.0 311040000 5000 15000
PancakeVsInsertSort_8_7 1 4978.19 5001.03 82.0 311040000 5000 15000
PancakeVsInsertSort_9_3 20 262.14 263.47 32.0 311040000 5000 15000
PancakeVsInsertSort_9_4 20 4544.54 4563.19 62.0 311040000 5000 15000
PancakeVsSelectionSort_7_6 20 1337.05 1342.90 51.0 311040000 5000 15000
PancakeVsSelectionSort_7_7 20 2410.59 2421.70 55.0 311040000 5000 15000
PancakeVsSelectionSort_8_3 20 196.63 197.53 28.0 311040000 5000 15000
PancakeVsSelectionSort_8_4 20 2415.02 2426.49 54.0 311040000 5000 15000
SAT_H_instances_childsnack_p06.hddl_2 10 9.24 9.33 2800.0 311040000 5000 15000
SAT_H_instances_childsnack_p10.hddl_2 10 25.30 25.51 8070.0 311040000 5000 15000
SAT_MS_sat_nurikabe_p16.pddl_166 1 4975.58 5001.03 11244.0 311040000 5000 15000
SAT_MS_sat_snake_p01.pddl_39 10 2433.75 2444.50 1744.0 311040000 5000 15000
SAT_dat.k80 20 21.20 21.38 36.0 311040000 5000 15000
SC21_Timetable_C_527_E_71_Cl_35_S_35 10 16.54 16.71 320.0 311040000 5000 15000
SC21_Timetable_C_542_E_71_Cl_36_S_35 10 32.48 32.66 339.0 311040000 5000 15000
SC22_Timetable_C_436_E_39_Cl_29_S_27 1 4975.99 5001.03 369.0 311040000 5000 15000
SC22_Timetable_C_436_E_40_Cl_29_S_27 1 4979.45 5001.03 408.0 311040000 5000 15000
SC22_Timetable_C_436_E_41_Cl_29_S_27 1 4976.15 5001.03 470.0 311040000 5000 15000
SC22_Timetable_C_436_E_42_Cl_29_S_27 1 4978.12 5001.03 388.0 311040000 5000 15000
SC22_Timetable_C_436_E_43_Cl_29_S_27 1 4979.11 5001.03 373.0 311040000 5000 15000
SC22_Timetable_C_451_E_43_Cl_30_S_27 1 4977.42 5001.03 358.0 311040000 5000 15000
SC22_Timetable_C_451_E_45_Cl_30_S_27 1 4979.23 5001.03 403.0 311040000 5000 15000
SC22_Timetable_C_451_E_46_Cl_30_S_27 10 120.55 121.29 246.0 311040000 5000 15000
SC22_Timetable_C_451_E_48_Cl_30_S_27 10 91.43 91.92 241.0 311040000 5000 15000
SC22_Timetable_C_451_E_50_Cl_30_S_28 10 51.42 51.79 249.0 311040000 5000 15000
SCPC-500-10 20 27.07 27.26 18.0 311040000 5000 15000
SCPC-500-11 20 97.20 97.62 22.0 311040000 5000 15000
SCPC-500-15 20 28.89 29.06 12.0 311040000 5000 15000
SCPC-500-16 20 71.40 71.81 21.0 311040000 5000 15000
SCPC-500-17 20 77.06 77.50 22.0 311040000 5000 15000
SCPC-500-18 20 32.39 32.59 16.0 311040000 5000 15000
SCPC-500-19 20 20.71 20.84 12.0 311040000 5000 15000
SCPC-500-2 20 27.39 27.52 17.0 311040000 5000 15000
SCPC-500-20 20 20.40 20.54 12.0 311040000 5000 15000
SCPC-500-4 20 31.29 31.41 15.0 311040000 5000 15000
SCPC-500-7 20 37.96 38.13 20.0 311040000 5000 15000
SCPC-500-8 20 33.88 34.06 17.0 311040000 5000 15000
SCPC-500-9 20 26.30 26.46 12.0 311040000 5000 15000
SE_PR_stb_588_138.apx_1 10 93.77 94.21 17.0 311040000 5000 15000
UNSAT_H_instances_childsnack_p12.hddl_1 20 12.05 12.17 3672.0 311040000 5000 15000
UNSAT_MS_opt_snake_p20.pddl_29 20 557.27 559.75 748.0 311040000 5000 15000
UTI-20-10p0-sc2009 20 185.26 186.02 128.0 311040000 5000 15000
Wallace_Bits_Fast_2.cnf 10 0.00 0.10 0.0 311040000 5000 15000
Wallace_Bits_Fast_3.cnf 10 64.23 64.55 27.0 311040000 5000 15000
Wallace_Bits_Fast_7.cnf 10 3.48 3.60 14.0 311040000 5000 15000
ablmulub16x4o 20 73.69 74.03 13.0 311040000 5000 15000
abw-V-nos6.mtx-w220 10 495.15 497.38 698.0 311040000 5000 15000
aes_32_2_keyfind_1 10 1473.25 1479.23 33.0 311040000 5000 15000
af-synthesis_stb_50_100_4_unsat 20 1280.58 1285.20 45.0 311040000 5000 15000
af-synthesis_stb_50_120_4_unsat 20 354.56 355.90 45.0 311040000 5000 15000
af-synthesis_stb_50_140_0_sat 10 139.67 140.23 41.0 311040000 5000 15000
af-synthesis_stb_50_140_1_sat 10 231.88 232.83 43.0 311040000 5000 15000
af-synthesis_stb_50_140_3_sat 10 55.98 56.27 42.0 311040000 5000 15000
af-synthesis_stb_50_200_4_sat 10 53.32 53.70 47.0 311040000 5000 15000
af-synthesis_stb_50_20_8_sat 10 208.99 210.32 34.0 311040000 5000 15000
af-synthesis_stb_50_20_8_unsat 20 447.38 449.38 34.0 311040000 5000 15000
af-synthesis_stb_50_40_2_sat 10 125.82 126.41 24.0 311040000 5000 15000
af-synthesis_stb_50_80_7_sat 10 69.91 70.27 37.0 311040000 5000 15000
af-synthesis_stb_50_80_7_unsat 20 547.31 549.66 38.0 311040000 5000 15000
atco_enc1_opt2_10_15 20 110.54 111.07 33.0 311040000 5000 15000
atco_enc1_opt2_10_16-sc2014 10 172.30 173.18 39.0 311040000 5000 15000
atco_enc3_opt1_03_53 10 143.13 143.84 452.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_remove_node 20 155.80 156.33 1725.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_sift_either 20 68.34 68.65 3438.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size 20 295.34 296.61 4871.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_hdr_write 20 139.95 140.79 1501.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq 20 190.37 191.13 4109.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad 20 436.56 438.54 3335.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id 20 168.41 169.19 2856.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type 20 121.29 121.85 1938.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks 20 229.80 230.87 2946.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv 20 135.97 136.61 1952.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key 20 470.76 472.95 4183.0 311040000 5000 15000
barman-pfile10-038.sas.ex.15 20 38.23 38.46 799.0 311040000 5000 15000
beempgsol2b1 20 45.79 46.02 17.0 311040000 5000 15000
bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19 20 273.50 274.62 18.0 311040000 5000 15000
bmc_QICE_req_sfl_30 20 2145.21 2154.73 2215.0 311040000 5000 15000
bmc_QICE_rxrsp_vld_30 20 724.67 727.44 2227.0 311040000 5000 15000
bmc_QICE_snp_vld_50 20 1767.95 1775.17 3842.0 311040000 5000 15000
bobsmdct_init_k88 20 3335.75 3350.09 114.0 311040000 5000 15000
bobsmdct_k500 1 4978.71 5001.03 1489.0 311040000 5000 15000
bobsmdct_k88 20 88.90 89.39 183.0 311040000 5000 15000
bz-X-4-7-6 10 537.90 540.55 59.0 311040000 5000 15000
cfi-rigid-d3-0180-02-orig 20 223.23 224.34 2070.0 311040000 5000 15000
cfi-rigid-r2-0072-01-or_3 10 44.80 45.05 505.0 311040000 5000 15000
cfi-rigid-s2-0064-02-or_2 20 221.72 222.74 508.0 311040000 5000 15000
cfi-rigid-s2-0064-03-or_2_shuffle_all 20 1302.89 1307.93 508.0 311040000 5000 15000
cfi-rigid-s2-0064-04-or_2 20 445.50 447.55 511.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3 10 15.81 15.99 338.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3_shuffle_all 10 4.38 4.47 247.0 311040000 5000 15000
cfi-rigid-t2-0048-02-or_3_shuffle_all 10 18.52 18.62 338.0 311040000 5000 15000
cfi-rigid-t2-0048-03-or_3_shuffle_all 10 38.60 38.84 372.0 311040000 5000 15000
cfi-rigid-z2-0088-01-or_2_shuffle_all 20 196.30 197.26 474.0 311040000 5000 15000
cfi-rigid-z2-0088-02-or_2_shuffle_all 20 218.48 219.42 470.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2 20 115.69 116.19 485.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2_shuffle_all 20 244.71 245.82 470.0 311040000 5000 15000
cliquecoloring_n18_k6_c5 20 1477.16 1482.76 114.0 311040000 5000 15000
cliquecoloring_n60_k5_c4 1 4978.91 5001.03 354.0 311040000 5000 15000
combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2 10 31.95 32.17 17.0 311040000 5000 15000
coreJSON:skipCollection 10 291.94 293.22 4222.0 311040000 5000 15000
coreMQTT:MQTT_Connect 20 333.41 334.98 2302.0 311040000 5000 15000
coreMQTT:MQTT_SerializeConnect 20 228.30 229.37 993.0 311040000 5000 15000
corePKCS11:C_CreateObject 20 81.36 81.75 1178.0 311040000 5000 15000
ctl_4291_567_12_unsat 20 200.07 201.29 33.0 311040000 5000 15000
ctl_4291_567_1_unsat_pre 20 753.12 756.89 40.0 311040000 5000 15000
div-mitern164 20 1640.50 1647.58 43.0 311040000 5000 15000
div-mitern165 20 1205.69 1210.54 41.0 311040000 5000 15000
div-mitern167 20 579.36 581.80 34.0 311040000 5000 15000
div-mitern168 20 342.39 343.98 25.0 311040000 5000 15000
div-mitern171 20 62.53 62.85 13.0 311040000 5000 15000
div-mitern174 20 19.52 19.66 11.0 311040000 5000 15000
div_miter_lec_1 1 4977.11 5001.03 88.0 311040000 5000 15000
div_miter_lec_3 1 4974.60 5001.03 111.0 311040000 5000 15000
div_miter_lec_4 1 4974.34 5001.03 108.0 311040000 5000 15000
ecarev-110-4099-22-30-7 10 178.71 179.54 118.0 311040000 5000 15000
edit_distance041_183 20 42.67 42.94 68.0 311040000 5000 15000
eqsparcl12bpwtrc12 20 4391.59 4411.84 36.0 311040000 5000 15000
ex175_20 10 93.11 93.59 1364.0 311040000 5000 15000
frb75-13-2.used-as.sat04-878 10 138.24 138.92 22.0 311040000 5000 15000
g2-mizh-md5-48-2 10 58.56 58.89 51.0 311040000 5000 15000
gaussian.c.75.smt2-cvc4 10 158.77 159.63 1149.0 311040000 5000 15000
grid-color-12-14-10-cb 10 34.64 35.21 58.0 311040000 5000 15000
grid-color-12-14-12-cb 1 4980.47 5001.03 244.0 311040000 5000 15000
grid-color-12-14-14-cb 10 2340.09 2349.95 157.0 311040000 5000 15000
grid-color-12-14-2-cb 10 4587.48 4607.14 258.0 311040000 5000 15000
grid-color-12-14-4-cb 1 4977.50 5001.03 246.0 311040000 5000 15000
grid-color-12-14-6-cb 10 1144.06 1149.81 158.0 311040000 5000 15000
grid-color-12-14-8-cb 10 169.50 170.43 96.0 311040000 5000 15000
grid-color-14-14-10-cb 1 4979.06 5001.03 249.0 311040000 5000 15000
grid-color-14-14-12-cb 1 4981.71 5001.03 274.0 311040000 5000 15000
grid-color-14-14-14-cb 1 4978.30 5001.03 218.0 311040000 5000 15000
grid-color-14-14-2-cb 1 4977.46 5001.03 278.0 311040000 5000 15000
grid-color-14-14-6-cb 1 4977.78 5001.03 289.0 311040000 5000 15000
grid-color-14-14-8-cb 1 4977.44 5001.03 257.0 311040000 5000 15000
grid-strips-grid-y-3.045-NOTKNOWN 10 234.58 236.12 188.0 311040000 5000 15000
gss-18-s100 10 44.38 44.65 19.0 311040000 5000 15000
gus-md5-11 1 4982.74 5001.03 79.0 311040000 5000 15000
h31 1 4979.06 5001.03 92.0 311040000 5000 15000
h31_large 1 4980.38 5001.03 122.0 311040000 5000 15000
hantzsche_wendt_unit_147 10 1564.73 1572.43 126.0 311040000 5000 15000
hantzsche_wendt_unit_83 20 576.81 579.30 48.0 311040000 5000 15000
hantzsche_wendt_unit_92 20 1641.72 1648.84 67.0 311040000 5000 15000
hantzsche_wendt_unit_93 10 872.42 876.04 64.0 311040000 5000 15000
hwmcc15deep-6s516r-k18-sc2017 20 770.90 774.01 84.0 311040000 5000 15000
hyp_cec_multi_1 1 4977.19 5001.03 279.0 311040000 5000 15000
hyp_cec_multi_3 1 4977.55 5001.03 260.0 311040000 5000 15000
hyp_cec_multi_4 1 4978.86 5001.03 335.0 311040000 5000 15000
hyp_cec_multi_5 1 4977.67 5001.03 329.0 311040000 5000 15000
intel036_Iter109 10 19.21 19.33 499.0 311040000 5000 15000
intel046_Iter124 10 16.72 16.89 66.0 311040000 5000 15000
j3037_10_gmto_b 10 44.81 45.02 20.0 311040000 5000 15000
j3037_10_gmto_bm1 20 25.90 26.08 17.0 311040000 5000 15000
j3037_1_rggt_b 10 49.98 50.25 33.0 311040000 5000 15000
j3037_1_rggt_bm1 20 483.92 486.39 40.0 311040000 5000 15000
j3037_9_gmto_b 10 207.96 208.97 35.0 311040000 5000 15000
j3037_9_gmto_bm1 1 4977.07 5001.03 70.0 311040000 5000 15000
j3037_9_mdd_b 10 223.22 224.47 36.0 311040000 5000 15000
j3045_10_gmto_bm1 1 4978.65 5001.03 68.0 311040000 5000 15000
j3045_10_mdd_bm1 1 4976.88 5001.03 69.0 311040000 5000 15000
j3045_4_gmto_bm1 20 410.09 411.67 33.0 311040000 5000 15000
j3045_4_mdd_b 10 33.37 33.55 20.0 311040000 5000 15000
j3045_4_rggt_bm1 20 209.73 210.67 24.0 311040000 5000 15000
knight_18 10 1196.97 1202.50 196.0 311040000 5000 15000
ktf_TF-3.tf_3_0.02_24 20 117.98 118.61 30.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind40 20 14.04 14.12 670.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind41 20 18.33 18.49 774.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind43 20 20.81 20.94 824.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind44 20 34.74 34.97 871.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind48 20 20.30 20.51 946.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind55 20 29.96 30.17 1210.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind56 20 73.98 74.39 1183.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind59 20 40.38 40.67 1330.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind66 20 58.79 59.05 1563.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind67 20 89.95 90.49 1597.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind71 20 52.64 52.99 1787.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind74 20 177.68 178.55 1910.0 311040000 5000 15000
manol-pipe-f7nidw 20 39.41 39.61 162.0 311040000 5000 15000
manthey_single-ordered-initialized-w42-b8 20 86.74 87.20 23.0 311040000 5000 15000
manthey_single-ordered-initialized-w50-b7 20 558.49 560.94 41.0 311040000 5000 15000
md4__zeroOut_19__freeIn_23__seed_2 10 419.50 421.58 26.0 311040000 5000 15000
mdp-28-10-sat 10 115.38 115.85 21.0 311040000 5000 15000
mdp-28-11-unsat 20 969.25 972.97 29.0 311040000 5000 15000
mdp-28-12-sat 10 583.90 586.46 35.0 311040000 5000 15000
mdp-28-12-unsat 20 916.82 920.47 27.0 311040000 5000 15000
mdp-28-16-sat 10 185.03 185.79 24.0 311040000 5000 15000
mdp-32-12-sat 10 1675.23 1682.66 41.0 311040000 5000 15000
mdp-32-16-unsat 1 4976.47 5001.03 42.0 311040000 5000 15000
mdp-36-11-sat 1 4979.10 5001.03 49.0 311040000 5000 15000
mdp-36-11-unsat 1 4976.73 5001.03 44.0 311040000 5000 15000
mdp-36-12-sat 1 4980.28 5001.03 48.0 311040000 5000 15000
mdp-36-14-unsat 1 4977.64 5001.03 52.0 311040000 5000 15000
mdp-36-16-sat 1 4980.19 5001.03 47.0 311040000 5000 15000
mdp-36-16-unsat 1 4979.01 5001.03 47.0 311040000 5000 15000
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519 10 35.25 35.42 10.0 311040000 5000 15000
mp1-21.7 10 35.12 35.35 26.0 311040000 5000 15000
mp1-9_27 10 6.18 6.22 12.0 311040000 5000 15000
mp1-blockpuzzle_5x12_s6_free3 20 312.49 313.94 60.0 311040000 5000 15000
mp1-klieber2017s-0300-034-t12 10 70.10 70.43 19.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abio_SAT 10 13.54 13.67 11.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abix_SAT 10 66.91 67.26 22.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_bail_SAT 10 34.45 34.66 19.0 311040000 5000 15000
ncc_none_3001_7_3_3_1_31_435991723 10 94.65 95.18 880.0 311040000 5000 15000
ncc_none_7047_6_3_3_0_0_420 20 102.45 103.01 815.0 311040000 5000 15000
ortholatin-7 10 17.12 17.31 22.0 311040000 5000 15000
ota-for-aws-iot-embedded-sdk:parseJSONbyModel 20 238.33 239.92 1736.0 311040000 5000 15000
pj2002_k9 20 7.86 7.97 243.0 311040000 5000 15000
pj2003_k9 20 9.25 9.38 241.0 311040000 5000 15000
pj2005_k80 10 115.44 116.02 1278.0 311040000 5000 15000
pj2008_k300 10 1007.69 1011.94 5514.0 311040000 5000 15000
pj2008_k400 10 2187.24 2196.26 7566.0 311040000 5000 15000
pj2015_k9 20 14.13 14.23 293.0 311040000 5000 15000
pj2016_k120 10 707.37 710.33 6286.0 311040000 5000 15000
pj2016_k140 10 788.13 791.43 7757.0 311040000 5000 15000
pj2016_k80 10 377.00 378.61 5633.0 311040000 5000 15000
pj2018_k10 10 5.87 5.93 204.0 311040000 5000 15000
ps_200_300_70 20 320.21 321.76 252.0 311040000 5000 15000
ps_200_323_70 20 720.23 723.24 278.0 311040000 5000 15000
puzzle30_sat 10 204.27 205.45 41.0 311040000 5000 15000
q_query_3_L200_coli.sat 20 82.21 82.68 308.0 311040000 5000 15000
reconf10_140_queen6_1 10 1488.82 1494.84 443.0 311040000 5000 15000
reconf10_145_queen6_2 10 1936.43 1945.54 497.0 311040000 5000 15000
reconf10_42_queen20_4_0961 10 216.18 217.21 284.0 311040000 5000 15000
reconf10_68_queen15_2 10 291.42 292.80 362.0 311040000 5000 15000
reconf10_86_sp003_1 10 661.10 663.97 199.0 311040000 5000 15000
reconf10_99_Ins_3_1 10 709.00 712.68 469.0 311040000 5000 15000
reconf20_116_le450_25c_1 20 164.14 164.92 2037.0 311040000 5000 15000
reconf20_20_grid10_1_6141 20 439.73 441.77 67.0 311040000 5000 15000
reconf20_20_grid10_4_4957 20 358.96 360.47 66.0 311040000 5000 15000
reconf20_26_3-FullIns_4_1 20 98.96 99.51 105.0 311040000 5000 15000
reconf20_320_hc-square-2_1 20 240.12 241.23 1506.0 311040000 5000 15000
reconf20_50_grid10_3_6844 20 151.70 152.77 125.0 311040000 5000 15000
reconf20_61_myciel4_2 20 27.15 27.41 63.0 311040000 5000 15000
rphp_p105_r105 1 4979.98 5001.03 1769.0 311040000 5000 15000
rphp_p14_r14 1 4978.61 5001.03 273.0 311040000 5000 15000
rphp_p6_r28 20 2225.70 2235.09 110.0 311040000 5000 15000
rphp_p90_r90 1 4978.01 5001.03 1660.0 311040000 5000 15000
rphp_p95_r95 1 4980.02 5001.03 1655.0 311040000 5000 15000
rubikcube701-sc2017 20 1000.20 1004.95 39.0 311040000 5000 15000
s2n:s2n_stuffer_private_key_from_pem 20 29.36 29.57 826.0 311040000 5000 15000
s2n:s2n_stuffer_write_base64 20 381.69 383.47 5036.0 311040000 5000 15000
satch2ways12u 20 56.44 56.78 43.0 311040000 5000 15000
satcoin-genesis-SAT-4 10 0.60 0.66 95.0 311040000 5000 15000
satcoin-genesis-SAT-5 10 2.89 3.00 96.0 311040000 5000 15000
satcoin-genesis-SAT-8192 10 199.97 200.91 118.0 311040000 5000 15000
sha256__zeroOut_12__freeIn_16__seed_1 1 4980.80 5001.03 147.0 311040000 5000 15000
sin-mitern28 20 58.49 58.90 24.0 311040000 5000 15000
sin-mitern29 20 26.86 27.11 21.0 311040000 5000 15000
sin_depth_miter_1 1 4977.85 5001.03 572.0 311040000 5000 15000
sin_depth_miter_2 1 4975.68 5001.03 162.0 311040000 5000 15000
sin_depth_miter_4 20 859.31 862.64 86.0 311040000 5000 15000
sin_depth_miter_5 20 3081.48 3098.76 69.0 311040000 5000 15000
sin_depth_miter_6 20 3065.15 3079.05 70.0 311040000 5000 15000
sin_depth_miter_8 1 4979.12 5001.03 132.0 311040000 5000 15000
size_5_5_5_i198_r12 10 321.33 322.69 44.0 311040000 5000 15000
smtlib-qfbv-aigs-countbits128-tseitin 20 2179.89 2188.54 58.0 311040000 5000 15000
soelberg_unit_109 20 222.42 223.51 45.0 311040000 5000 15000
soelberg_unit_158 1 4976.12 5001.03 126.0 311040000 5000 15000
soelberg_unit_159 1 4976.03 5001.03 112.0 311040000 5000 15000
soelberg_unit_223 1 4975.60 5001.03 161.0 311040000 5000 15000
spg_420_280 20 200.54 201.45 423.0 311040000 5000 15000
sqrt-mitern168 20 712.93 716.03 36.0 311040000 5000 15000
sqrt-mitern172 20 33.35 33.59 13.0 311040000 5000 15000
sqrt_ineq_3.c 10 3.08 3.15 98.0 311040000 5000 15000
ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418 10 1413.08 1418.89 85.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_670 20 297.49 298.97 1406.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_730 20 480.87 483.14 1698.0 311040000 5000 15000
sudoku-N30-10 1 4977.44 5001.03 464.0 311040000 5000 15000
sudoku-N30-11 20 3348.59 3363.66 414.0 311040000 5000 15000
sudoku-N30-20 20 3189.22 3202.91 442.0 311040000 5000 15000
sudoku-N30-22 20 372.46 374.78 413.0 311040000 5000 15000
sudoku-N30-24 20 291.04 292.50 456.0 311040000 5000 15000
sudoku-N30-27 20 290.19 291.67 478.0 311040000 5000 15000
sudoku-N30-29 20 3510.03 3525.52 460.0 311040000 5000 15000
sudoku-N30-4 20 3372.53 3386.92 422.0 311040000 5000 15000
sudoku-N30-6 20 334.11 335.66 461.0 311040000 5000 15000
sudoku-N30-7 1 4979.11 5001.03 448.0 311040000 5000 15000
sudoku-N30-8 20 3368.48 3382.22 465.0 311040000 5000 15000
sum_of_three_cubes_165_known_representation 10 10.64 10.76 611.0 311040000 5000 15000
sum_of_three_cubes_165_unknown_representation 1 4979.79 5001.03 1126.0 311040000 5000 15000
sum_of_three_cubes_33_known_representation 10 87.22 87.69 502.0 311040000 5000 15000
sum_of_three_cubes_33_unknown_representation 1 4977.89 5001.03 1125.0 311040000 5000 15000
sum_of_three_cubes_3_unknown_representation 1 4979.80 5001.03 1125.0 311040000 5000 15000
sum_of_three_cubes_906_unknown_representation 1 4976.25 5001.03 1124.0 311040000 5000 15000
sum_of_three_cubes_still_open 1 4977.14 5001.03 1134.0 311040000 5000 15000
sum_of_three_cubes_still_open_large 1 4976.65 5001.03 2792.0 311040000 5000 15000
summle_X111102_steps8_I1-2-2-4-4-8-25-100 10 174.46 175.30 40.0 311040000 5000 15000
summle_X111104_steps6_I1-2-2-4-4-8-25-100 10 136.00 136.77 25.0 311040000 5000 15000
summle_X111107_steps8_I1-2-2-4-4-8-25-100 10 199.53 200.81 41.0 311040000 5000 15000
summle_X111113_steps7_I1-2-2-4-4-8-25-100 10 618.09 620.91 44.0 311040000 5000 15000
summle_X111117_steps8_I1-2-2-4-4-8-25-100 10 16.04 16.25 32.0 311040000 5000 15000
summle_X111119_steps7_I1-2-2-4-4-8-25-100 10 65.30 65.62 25.0 311040000 5000 15000
summle_X111121_steps7_I1-2-2-4-4-8-25-100 10 184.44 185.32 29.0 311040000 5000 15000
summle_X11113_steps8_I1-2-2-4-4-8-25-100 10 40.74 41.30 29.0 311040000 5000 15000
summle_X8634_steps8_I1-2-2-4-4-8-25-100 10 11.25 11.39 32.0 311040000 5000 15000
summle_X8637_steps8_I1-2-2-4-4-8-25-100 10 43.39 43.70 32.0 311040000 5000 15000
summle_X8639_steps8_I1-2-2-4-4-8-25-100 10 22.72 23.05 31.0 311040000 5000 15000
summle_X8646_steps8_I1-2-2-4-4-8-25-100 10 28.13 28.49 32.0 311040000 5000 15000
summle_X8651_steps8_I1-2-2-4-4-8-25-100 10 15.13 15.55 33.0 311040000 5000 15000
sv-comp19_prop-reachsafety.triangular-longer_false-unreach-call.i-witness 10 38.96 39.61 37.0 311040000 5000 15000
traffic_f_unknown 20 95.15 95.69 96.0 311040000 5000 15000
tseitin_grid_n14_m14 1 4980.02 5001.03 110.0 311040000 5000 15000
tseitin_grid_n16_m16 1 4976.58 5001.03 97.0 311040000 5000 15000
tseitin_n192_d3 1 4978.77 5001.03 137.0 311040000 5000 15000
tseitin_n196_d3 1 4978.50 5001.03 143.0 311040000 5000 15000
tseitin_n200_d3 1 4979.21 5001.03 154.0 311040000 5000 15000
urquhart3_25bis.shuffled 20 3.28 3.40 9.0 311040000 5000 15000
velev-vliw-sat-4.0-b8 10 59.83 60.21 930.0 311040000 5000 15000
vlsat2_113_1150 10 0.59 0.63 46.0 311040000 5000 15000
vlsat2_24450_2770239.dimacs 10 169.10 169.84 190.0 311040000 5000 15000
vlsat2_57038_10572502.dimacs 10 72.43 72.85 564.0 311040000 5000 15000
worker_20_20_16_0.9 1 4977.71 5001.03 136.0 311040000 5000 15000
worker_20_60_20_0.9 1 4980.98 5001.03 237.0 311040000 5000 15000
worker_30_120_30_0.8 1 4978.53 5001.03 443.0 311040000 5000 15000
worker_40_40_30_0.9 1 4976.25 5001.03 266.0 311040000 5000 15000
worker_40_80_35_0.85 1 4980.22 5001.03 357.0 311040000 5000 15000
worker_40_80_40_0.85 1 4978.90 5001.03 532.0 311040000 5000 15000
worker_500_500_500_0.35 10 6.16 6.31 414.0 311040000 5000 15000
worker_50_150_40_0.85 1 4978.37 5001.03 490.0 311040000 5000 15000
worker_50_50_50_0.85 1 4977.75 5001.03 412.0 311040000 5000 15000
worker_80_80_80_0.8 1 4978.91 5001.03 797.0 311040000 5000 15000
xor_op_n44_d3 1 4979.01 5001.03 204.0 311040000 5000 15000
