 result time real space tlim rlim slim
003-23-80 10 81.44 81.84 47.0 311040000 5000 15000
005-80-12 1 4975.85 5001.03 168.0 311040000 5000 15000
006 10 41.94 42.15 32.0 311040000 5000 15000
008-80-8 10 1980.22 1989.24 149.0 311040000 5000 15000
20-100-lambda100-49_sat 10 60.51 60.86 36.0 311040000 5000 15000
20-100-lambda100-89_sat 10 160.60 161.34 38.0 311040000 5000 15000
20-100-p100-55_sat 10 510.21 511.90 110.0 311040000 5000 15000
20180321_140826713_p_cnf_320_1120 10 1.49 1.59 7.0 311040000 5000 15000
3d_perfect_euler_bricks 1 4977.93 5001.03 140.0 311040000 5000 15000
4d_euler_bricks 1 4977.40 5001.03 194.0 311040000 5000 15000
4d_perfect_euler_bricks 1 4978.14 5001.04 249.0 311040000 5000 15000
4g_5color_166_100_02 10 176.77 177.63 1330.0 311040000 5000 15000
50bits_11.dimacs 10 333.83 335.25 23.0 311040000 5000 15000
52bits_12.dimacs 10 803.79 807.44 35.0 311040000 5000 15000
6-4-6-sc2018 1 4977.36 5001.03 89.0 311040000 5000 15000
6s105_Iter35 20 302.17 303.65 41.0 311040000 5000 15000
6s105_Iter99 1 4979.10 5001.03 115.0 311040000 5000 15000
6s133-sc2014 20 197.97 198.87 44.0 311040000 5000 15000
6s158_Iter2 20 37.15 37.35 28.0 311040000 5000 15000
6s184 20 177.85 178.80 38.0 311040000 5000 15000
6s186_Iter20 20 67.16 67.56 26.0 311040000 5000 15000
6s186_Iter99 1 4977.85 5001.03 189.0 311040000 5000 15000
6s22_Iter57 20 276.61 278.01 182.0 311040000 5000 15000
6s22_Iter99 1 4976.47 5001.03 362.0 311040000 5000 15000
6s320rb1_Iter8 20 166.59 167.32 52.0 311040000 5000 15000
6s320rb1_Iter9 10 117.90 118.47 54.0 311040000 5000 15000
8-5-6 10 1429.69 1435.73 186.0 311040000 5000 15000
9dlx_vliw_at_b_iq6 20 581.10 583.47 239.0 311040000 5000 15000
Break_16_56.xml 10 59.07 59.48 42.0 311040000 5000 15000
Break_20_36.xml 1 4977.55 5001.03 172.0 311040000 5000 15000
Break_20_54.xml 10 549.76 551.80 142.0 311040000 5000 15000
Break_triple_12_30.xml 10 52.37 52.65 27.0 311040000 5000 15000
Break_triple_18_48.xml 10 3660.53 3676.92 341.0 311040000 5000 15000
Break_triple_20_54.xml 1 4977.92 5001.03 356.0 311040000 5000 15000
Break_triple_20_72.xml 10 3992.50 4010.75 518.0 311040000 5000 15000
Break_unsat_10_15.xml 1 4978.26 5001.03 118.0 311040000 5000 15000
Break_unsat_12_19.xml 1 4977.23 5001.03 95.0 311040000 5000 15000
BubbleVsPancakeSort_6_6 20 32.85 33.08 15.0 311040000 5000 15000
Carry_Bits_Fast_12.cnf 10 0.30 0.37 5.0 311040000 5000 15000
Carry_Bits_Fast_16.cnf 10 134.77 135.34 21.0 311040000 5000 15000
Carry_Bits_Fast_18.cnf 10 0.80 0.81 5.0 311040000 5000 15000
Carry_Bits_Fast_23.cnf 10 0.20 0.26 5.0 311040000 5000 15000
Carry_Bits_Fast_4.cnf 10 0.30 0.40 5.0 311040000 5000 15000
Carry_Bits_Fast_5.cnf 10 19.02 19.19 14.0 311040000 5000 15000
Carry_Bits_Fast_8.cnf 10 1.40 1.46 13.0 311040000 5000 15000
Carry_Save_Fast_1.cnf 10 37.08 37.31 21.0 311040000 5000 15000
Carry_Save_Fast_2.cnf 10 2.78 2.84 11.0 311040000 5000 15000
Carry_Save_Fast_3.cnf 10 2.98 3.02 11.0 311040000 5000 15000
DLTM_twitter690_74_16 10 203.18 204.16 61.0 311040000 5000 15000
Eternity-10-06_c18 10 578.56 581.14 41.0 311040000 5000 15000
GP_100_948_32 10 67.12 67.46 2801.0 311040000 5000 15000
GP_100_948_33 10 68.70 69.03 2801.0 311040000 5000 15000
GP_100_948_34 10 426.57 428.79 3473.0 311040000 5000 15000
GP_100_950_32 10 953.60 958.04 4063.0 311040000 5000 15000
GP_100_950_33 10 280.97 282.29 4004.0 311040000 5000 15000
GP_100_950_34 10 2827.39 2839.95 3681.0 311040000 5000 15000
GP_100_951_35 10 109.07 109.66 4208.0 311040000 5000 15000
GP_100_951_37 10 82.26 82.64 3396.0 311040000 5000 15000
GP_120_400_15 10 43.10 43.35 1723.0 311040000 5000 15000
GP_200_313_5 10 296.26 297.77 2348.0 311040000 5000 15000
GP_300_250_15 10 149.72 150.45 2823.0 311040000 5000 15000
GP_500_200_20 10 171.40 172.31 3046.0 311040000 5000 15000
GP_81_430_13 10 194.31 195.27 1257.0 311040000 5000 15000
ITC2021_Early_4.xml 1 4977.00 5001.03 156.0 311040000 5000 15000
ITC2021_Late_1.xml 10 7.66 7.73 39.0 311040000 5000 15000
ITC2021_Late_2.xml 1 4984.43 5001.03 187.0 311040000 5000 15000
ITC2021_Late_6.xml 10 5.28 5.36 39.0 311040000 5000 15000
Kakuro-easy-112-ext.xml.hg_7 10 105.12 105.62 1508.0 311040000 5000 15000
Kakuro-easy-117-ext.xml.hg_5 10 332.51 334.12 1431.0 311040000 5000 15000
Kakuro-easy-125-ext.xml.hg_4 20 2986.29 2999.08 1602.0 311040000 5000 15000
LABS_n041_goal003 10 237.67 238.73 38.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix 20 779.29 783.00 13443.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces 20 668.52 671.47 3443.0 311040000 5000 15000
Nb52T6 20 3515.50 3532.47 2140.0 311040000 5000 15000
Nb8T61 10 70.43 70.77 149.0 311040000 5000 15000
PancakeVsInsertSort_6_7 20 59.35 59.65 21.0 311040000 5000 15000
PancakeVsInsertSort_7_7 20 619.83 622.63 44.0 311040000 5000 15000
PancakeVsInsertSort_7_8 20 1079.18 1084.17 50.0 311040000 5000 15000
PancakeVsInsertSort_8_5 20 1400.89 1407.55 60.0 311040000 5000 15000
PancakeVsInsertSort_8_6 20 2511.01 2521.49 63.0 311040000 5000 15000
PancakeVsInsertSort_8_7 20 4745.74 4765.70 76.0 311040000 5000 15000
PancakeVsInsertSort_9_3 20 256.36 257.50 29.0 311040000 5000 15000
PancakeVsInsertSort_9_4 1 4977.70 5001.03 79.0 311040000 5000 15000
PancakeVsSelectionSort_7_6 20 1240.09 1246.46 50.0 311040000 5000 15000
PancakeVsSelectionSort_7_7 20 2599.24 2612.24 74.0 311040000 5000 15000
PancakeVsSelectionSort_8_3 20 169.63 170.49 23.0 311040000 5000 15000
PancakeVsSelectionSort_8_4 20 2271.80 2282.26 55.0 311040000 5000 15000
SAT_H_instances_childsnack_p06.hddl_2 10 3.98 4.01 1059.0 311040000 5000 15000
SAT_H_instances_childsnack_p10.hddl_2 10 12.04 12.12 3219.0 311040000 5000 15000
SAT_MS_sat_nurikabe_p16.pddl_166 1 4975.01 5001.03 9417.0 311040000 5000 15000
SAT_MS_sat_snake_p01.pddl_39 10 3802.43 3820.47 1241.0 311040000 5000 15000
SAT_dat.k80 20 113.43 113.98 46.0 311040000 5000 15000
SC21_Timetable_C_527_E_71_Cl_35_S_35 10 28.37 28.56 337.0 311040000 5000 15000
SC21_Timetable_C_542_E_71_Cl_36_S_35 10 18.71 18.90 353.0 311040000 5000 15000
SC22_Timetable_C_436_E_39_Cl_29_S_27 1 4979.71 5001.03 386.0 311040000 5000 15000
SC22_Timetable_C_436_E_40_Cl_29_S_27 1 4979.81 5001.03 504.0 311040000 5000 15000
SC22_Timetable_C_436_E_41_Cl_29_S_27 1 4969.77 5001.03 393.0 311040000 5000 15000
SC22_Timetable_C_436_E_42_Cl_29_S_27 1 4979.59 5001.03 363.0 311040000 5000 15000
SC22_Timetable_C_436_E_43_Cl_29_S_27 1 4979.01 5001.03 394.0 311040000 5000 15000
SC22_Timetable_C_451_E_43_Cl_30_S_27 1 4977.22 5001.03 480.0 311040000 5000 15000
SC22_Timetable_C_451_E_45_Cl_30_S_27 1 4974.33 5001.03 404.0 311040000 5000 15000
SC22_Timetable_C_451_E_46_Cl_30_S_27 10 531.95 534.22 290.0 311040000 5000 15000
SC22_Timetable_C_451_E_48_Cl_30_S_27 10 1686.91 1693.93 564.0 311040000 5000 15000
SC22_Timetable_C_451_E_50_Cl_30_S_28 10 20.79 21.00 242.0 311040000 5000 15000
SCPC-500-10 20 29.47 29.70 13.0 311040000 5000 15000
SCPC-500-11 20 91.72 92.12 20.0 311040000 5000 15000
SCPC-500-15 20 31.79 31.99 15.0 311040000 5000 15000
SCPC-500-16 20 61.84 62.21 20.0 311040000 5000 15000
SCPC-500-17 20 59.06 59.37 18.0 311040000 5000 15000
SCPC-500-18 20 28.10 28.33 12.0 311040000 5000 15000
SCPC-500-19 20 22.19 22.31 12.0 311040000 5000 15000
SCPC-500-2 20 31.36 31.55 18.0 311040000 5000 15000
SCPC-500-20 20 17.62 17.74 11.0 311040000 5000 15000
SCPC-500-4 20 25.29 25.44 12.0 311040000 5000 15000
SCPC-500-7 20 38.93 39.19 13.0 311040000 5000 15000
SCPC-500-8 20 29.41 29.73 16.0 311040000 5000 15000
SCPC-500-9 20 24.19 24.36 12.0 311040000 5000 15000
SE_PR_stb_588_138.apx_1 10 314.23 315.53 25.0 311040000 5000 15000
UNSAT_H_instances_childsnack_p12.hddl_1 20 12.24 12.31 3656.0 311040000 5000 15000
UNSAT_MS_opt_snake_p20.pddl_29 20 1106.06 1111.28 728.0 311040000 5000 15000
UTI-20-10p0-sc2009 20 164.34 165.13 91.0 311040000 5000 15000
Wallace_Bits_Fast_2.cnf 10 0.10 0.18 5.0 311040000 5000 15000
Wallace_Bits_Fast_3.cnf 10 9.75 9.85 14.0 311040000 5000 15000
Wallace_Bits_Fast_7.cnf 10 3.78 3.84 14.0 311040000 5000 15000
ablmulub16x4o 20 70.15 70.48 11.0 311040000 5000 15000
abw-V-nos6.mtx-w220 10 364.52 366.20 477.0 311040000 5000 15000
aes_32_2_keyfind_1 10 1062.12 1066.47 33.0 311040000 5000 15000
af-synthesis_stb_50_100_4_unsat 20 1535.47 1542.45 38.0 311040000 5000 15000
af-synthesis_stb_50_120_4_unsat 20 346.43 348.06 40.0 311040000 5000 15000
af-synthesis_stb_50_140_0_sat 10 97.62 98.05 38.0 311040000 5000 15000
af-synthesis_stb_50_140_1_sat 10 21.60 21.75 33.0 311040000 5000 15000
af-synthesis_stb_50_140_3_sat 10 40.32 40.54 33.0 311040000 5000 15000
af-synthesis_stb_50_200_4_sat 10 88.42 88.90 40.0 311040000 5000 15000
af-synthesis_stb_50_20_8_sat 10 154.46 155.16 24.0 311040000 5000 15000
af-synthesis_stb_50_20_8_unsat 20 456.59 458.35 34.0 311040000 5000 15000
af-synthesis_stb_50_40_2_sat 10 222.24 223.02 30.0 311040000 5000 15000
af-synthesis_stb_50_80_7_sat 10 115.67 116.51 36.0 311040000 5000 15000
af-synthesis_stb_50_80_7_unsat 20 524.49 526.70 33.0 311040000 5000 15000
atco_enc1_opt2_10_15 20 90.00 90.43 33.0 311040000 5000 15000
atco_enc1_opt2_10_16-sc2014 10 85.26 85.77 35.0 311040000 5000 15000
atco_enc3_opt1_03_53 10 222.05 222.86 470.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_remove_node 20 452.06 454.10 1144.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_sift_either 20 235.16 236.30 2183.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size 20 394.94 396.97 4495.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_hdr_write 20 289.84 291.08 1367.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq 2 300.96 303.73 15036.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad 20 829.43 832.30 2850.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id 20 378.35 380.19 2160.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type 20 160.19 160.93 1488.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks 20 396.86 398.90 2306.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv 20 246.96 248.21 1422.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key 20 453.81 456.00 3289.0 311040000 5000 15000
barman-pfile10-038.sas.ex.15 20 27.86 28.08 802.0 311040000 5000 15000
beempgsol2b1 20 45.39 45.70 17.0 311040000 5000 15000
bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19 20 279.27 280.74 13.0 311040000 5000 15000
bmc_QICE_req_sfl_30 20 1860.73 1868.21 1878.0 311040000 5000 15000
bmc_QICE_rxrsp_vld_30 20 745.54 749.37 1914.0 311040000 5000 15000
bmc_QICE_snp_vld_50 20 1677.72 1683.69 3017.0 311040000 5000 15000
bobsmdct_init_k88 20 1645.85 1652.52 103.0 311040000 5000 15000
bobsmdct_k500 1 4978.07 5001.03 1528.0 311040000 5000 15000
bobsmdct_k88 20 3785.93 3802.08 201.0 311040000 5000 15000
bz-X-4-7-6 10 202.53 203.45 39.0 311040000 5000 15000
cfi-rigid-d3-0180-02-orig 20 206.03 206.93 1984.0 311040000 5000 15000
cfi-rigid-r2-0072-01-or_3 10 15.52 15.70 377.0 311040000 5000 15000
cfi-rigid-s2-0064-02-or_2 20 197.96 198.94 503.0 311040000 5000 15000
cfi-rigid-s2-0064-03-or_2_shuffle_all 20 1070.25 1074.84 507.0 311040000 5000 15000
cfi-rigid-s2-0064-04-or_2 20 525.08 528.04 502.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3 10 11.75 11.89 346.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3_shuffle_all 10 32.14 32.39 360.0 311040000 5000 15000
cfi-rigid-t2-0048-02-or_3_shuffle_all 10 12.34 12.45 258.0 311040000 5000 15000
cfi-rigid-t2-0048-03-or_3_shuffle_all 10 37.31 37.52 374.0 311040000 5000 15000
cfi-rigid-z2-0088-01-or_2_shuffle_all 20 224.97 225.94 470.0 311040000 5000 15000
cfi-rigid-z2-0088-02-or_2_shuffle_all 20 218.00 218.99 467.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2 20 165.19 166.08 490.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2_shuffle_all 20 234.37 235.46 471.0 311040000 5000 15000
cliquecoloring_n18_k6_c5 1 4978.56 5001.03 159.0 311040000 5000 15000
cliquecoloring_n60_k5_c4 1 4982.18 5001.03 303.0 311040000 5000 15000
combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2 10 64.89 65.25 19.0 311040000 5000 15000
coreJSON:skipCollection 10 154.31 155.10 2998.0 311040000 5000 15000
coreMQTT:MQTT_Connect 20 548.25 550.38 2138.0 311040000 5000 15000
coreMQTT:MQTT_SerializeConnect 20 570.57 572.89 2526.0 311040000 5000 15000
corePKCS11:C_CreateObject 20 256.29 257.78 1153.0 311040000 5000 15000
ctl_4291_567_12_unsat 20 226.53 227.67 35.0 311040000 5000 15000
ctl_4291_567_1_unsat_pre 20 699.81 702.33 36.0 311040000 5000 15000
div-mitern164 20 1588.25 1595.00 39.0 311040000 5000 15000
div-mitern165 20 1342.16 1347.85 36.0 311040000 5000 15000
div-mitern167 20 593.97 596.61 26.0 311040000 5000 15000
div-mitern168 20 330.18 332.02 22.0 311040000 5000 15000
div-mitern171 20 75.13 75.50 13.0 311040000 5000 15000
div-mitern174 20 18.71 18.84 10.0 311040000 5000 15000
div_miter_lec_1 1 4979.47 5001.03 93.0 311040000 5000 15000
div_miter_lec_3 1 4979.33 5001.03 119.0 311040000 5000 15000
div_miter_lec_4 1 4981.45 5001.03 121.0 311040000 5000 15000
ecarev-110-4099-22-30-7 10 280.46 281.84 120.0 311040000 5000 15000
edit_distance041_183 20 53.53 53.85 51.0 311040000 5000 15000
eqsparcl12bpwtrc12 20 3977.29 3994.45 37.0 311040000 5000 15000
ex175_20 10 92.87 93.37 1418.0 311040000 5000 15000
frb75-13-2.used-as.sat04-878 10 111.16 111.78 24.0 311040000 5000 15000
g2-mizh-md5-48-2 10 61.83 62.19 48.0 311040000 5000 15000
gaussian.c.75.smt2-cvc4 10 127.90 128.59 943.0 311040000 5000 15000
grid-color-12-14-10-cb 1 4983.76 5001.03 288.0 311040000 5000 15000
grid-color-12-14-12-cb 1 4975.76 5001.03 237.0 311040000 5000 15000
grid-color-12-14-14-cb 1 4975.51 5001.03 180.0 311040000 5000 15000
grid-color-12-14-2-cb 10 4848.96 4870.62 289.0 311040000 5000 15000
grid-color-12-14-4-cb 1 4979.58 5001.03 260.0 311040000 5000 15000
grid-color-12-14-6-cb 1 4974.95 5001.04 233.0 311040000 5000 15000
grid-color-12-14-8-cb 1 4973.15 5001.03 214.0 311040000 5000 15000
grid-color-14-14-10-cb 1 4975.67 5001.03 244.0 311040000 5000 15000
grid-color-14-14-12-cb 1 4980.04 5001.03 256.0 311040000 5000 15000
grid-color-14-14-14-cb 1 4978.18 5001.03 179.0 311040000 5000 15000
grid-color-14-14-2-cb 1 4978.13 5001.03 253.0 311040000 5000 15000
grid-color-14-14-6-cb 1 4978.27 5001.03 258.0 311040000 5000 15000
grid-color-14-14-8-cb 1 4981.00 5001.03 238.0 311040000 5000 15000
grid-strips-grid-y-3.045-NOTKNOWN 10 131.52 132.20 193.0 311040000 5000 15000
gss-18-s100 10 85.99 86.48 15.0 311040000 5000 15000
gus-md5-11 1 4982.15 5001.03 88.0 311040000 5000 15000
h31 1 4979.77 5001.03 80.0 311040000 5000 15000
h31_large 1 4980.87 5001.03 126.0 311040000 5000 15000
hantzsche_wendt_unit_147 10 4664.78 4683.13 131.0 311040000 5000 15000
hantzsche_wendt_unit_83 20 567.22 569.40 44.0 311040000 5000 15000
hantzsche_wendt_unit_92 20 2089.22 2099.06 71.0 311040000 5000 15000
hantzsche_wendt_unit_93 10 126.72 127.39 48.0 311040000 5000 15000
hwmcc15deep-6s516r-k18-sc2017 20 608.10 610.67 80.0 311040000 5000 15000
hyp_cec_multi_1 1 4978.91 5001.03 259.0 311040000 5000 15000
hyp_cec_multi_3 1 4979.48 5001.03 262.0 311040000 5000 15000
hyp_cec_multi_4 1 4974.84 5001.03 324.0 311040000 5000 15000
hyp_cec_multi_5 1 4967.54 5001.03 303.0 311040000 5000 15000
intel036_Iter109 10 21.89 22.09 435.0 311040000 5000 15000
intel046_Iter124 10 15.53 15.66 57.0 311040000 5000 15000
j3037_10_gmto_b 10 21.00 21.12 18.0 311040000 5000 15000
j3037_10_gmto_bm1 20 25.34 25.61 14.0 311040000 5000 15000
j3037_1_rggt_b 10 35.44 35.66 23.0 311040000 5000 15000
j3037_1_rggt_bm1 20 347.32 348.94 38.0 311040000 5000 15000
j3037_9_gmto_b 10 57.35 57.63 24.0 311040000 5000 15000
j3037_9_gmto_bm1 1 4979.51 5001.03 75.0 311040000 5000 15000
j3037_9_mdd_b 10 79.64 80.05 35.0 311040000 5000 15000
j3045_10_gmto_bm1 1 4978.15 5001.03 68.0 311040000 5000 15000
j3045_10_mdd_bm1 1 4980.44 5001.03 69.0 311040000 5000 15000
j3045_4_gmto_bm1 20 474.73 476.83 23.0 311040000 5000 15000
j3045_4_mdd_b 10 46.59 46.90 20.0 311040000 5000 15000
j3045_4_rggt_bm1 20 241.36 242.48 28.0 311040000 5000 15000
knight_18 10 70.96 71.39 127.0 311040000 5000 15000
ktf_TF-3.tf_3_0.02_24 20 121.29 121.89 32.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind40 20 26.39 26.51 681.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind41 20 108.02 108.55 785.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind43 20 13.83 13.99 535.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind44 20 68.40 68.71 878.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind48 20 217.70 218.71 2595.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind55 20 252.27 253.36 1284.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind56 20 170.04 170.89 1326.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind59 20 133.82 134.46 1444.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind66 20 194.24 195.27 1710.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind67 20 126.35 126.98 1709.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind71 20 91.03 91.47 1936.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind74 20 208.25 209.24 2114.0 311040000 5000 15000
manol-pipe-f7nidw 20 31.07 31.28 119.0 311040000 5000 15000
manthey_single-ordered-initialized-w42-b8 20 82.30 82.71 23.0 311040000 5000 15000
manthey_single-ordered-initialized-w50-b7 20 624.24 626.83 41.0 311040000 5000 15000
md4__zeroOut_19__freeIn_23__seed_2 10 165.58 166.29 24.0 311040000 5000 15000
mdp-28-10-sat 10 364.62 366.13 32.0 311040000 5000 15000
mdp-28-11-unsat 20 1169.93 1174.65 29.0 311040000 5000 15000
mdp-28-12-sat 10 684.75 687.26 26.0 311040000 5000 15000
mdp-28-12-unsat 20 627.86 630.71 27.0 311040000 5000 15000
mdp-28-16-sat 10 175.59 176.35 22.0 311040000 5000 15000
mdp-32-12-sat 10 452.49 454.53 28.0 311040000 5000 15000
mdp-32-16-unsat 1 4981.23 5001.03 41.0 311040000 5000 15000
mdp-36-11-sat 1 4968.89 5001.03 47.0 311040000 5000 15000
mdp-36-11-unsat 1 4977.81 5001.03 46.0 311040000 5000 15000
mdp-36-12-sat 1 4977.05 5001.03 47.0 311040000 5000 15000
mdp-36-14-unsat 1 4977.68 5001.03 52.0 311040000 5000 15000
mdp-36-16-sat 1 4974.90 5001.03 50.0 311040000 5000 15000
mdp-36-16-unsat 1 4976.36 5001.03 47.0 311040000 5000 15000
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519 10 35.36 35.55 9.0 311040000 5000 15000
mp1-21.7 10 11.45 11.58 23.0 311040000 5000 15000
mp1-9_27 10 10.96 11.10 14.0 311040000 5000 15000
mp1-blockpuzzle_5x12_s6_free3 20 215.63 216.67 55.0 311040000 5000 15000
mp1-klieber2017s-0300-034-t12 10 84.43 84.91 22.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abio_SAT 10 58.65 59.11 20.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abix_SAT 10 89.56 90.07 27.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_bail_SAT 10 6.96 7.11 9.0 311040000 5000 15000
ncc_none_3001_7_3_3_1_31_435991723 10 108.20 108.77 768.0 311040000 5000 15000
ncc_none_7047_6_3_3_0_0_420 20 105.34 105.82 874.0 311040000 5000 15000
ortholatin-7 10 2.88 3.00 14.0 311040000 5000 15000
ota-for-aws-iot-embedded-sdk:parseJSONbyModel 20 443.13 445.28 1496.0 311040000 5000 15000
pj2002_k9 20 333.37 334.79 675.0 311040000 5000 15000
pj2003_k9 20 352.41 353.87 628.0 311040000 5000 15000
pj2005_k80 10 1648.91 1655.70 1867.0 311040000 5000 15000
pj2008_k300 1 4977.18 5001.03 7507.0 311040000 5000 15000
pj2008_k400 1 4975.35 5001.03 10199.0 311040000 5000 15000
pj2015_k9 20 408.24 410.24 757.0 311040000 5000 15000
pj2016_k120 1 4977.18 5001.03 9371.0 311040000 5000 15000
pj2016_k140 1 4975.62 5001.03 12248.0 311040000 5000 15000
pj2016_k80 10 4658.88 4679.66 6099.0 311040000 5000 15000
pj2018_k10 10 176.06 176.84 231.0 311040000 5000 15000
ps_200_300_70 20 137.44 138.20 225.0 311040000 5000 15000
ps_200_323_70 20 788.30 791.79 271.0 311040000 5000 15000
puzzle30_sat 10 18.52 18.63 20.0 311040000 5000 15000
q_query_3_L200_coli.sat 20 107.70 108.23 241.0 311040000 5000 15000
reconf10_140_queen6_1 10 635.93 638.55 361.0 311040000 5000 15000
reconf10_145_queen6_2 10 246.80 247.84 389.0 311040000 5000 15000
reconf10_42_queen20_4_0961 10 282.29 283.57 165.0 311040000 5000 15000
reconf10_68_queen15_2 10 2.35 2.49 225.0 311040000 5000 15000
reconf10_86_sp003_1 10 618.85 621.36 157.0 311040000 5000 15000
reconf10_99_Ins_3_1 10 63.30 63.68 274.0 311040000 5000 15000
reconf20_116_le450_25c_1 20 144.91 145.65 1258.0 311040000 5000 15000
reconf20_20_grid10_1_6141 20 528.42 530.84 72.0 311040000 5000 15000
reconf20_20_grid10_4_4957 20 312.57 313.97 47.0 311040000 5000 15000
reconf20_26_3-FullIns_4_1 20 95.70 96.14 80.0 311040000 5000 15000
reconf20_320_hc-square-2_1 20 194.81 195.70 1376.0 311040000 5000 15000
reconf20_50_grid10_3_6844 20 175.78 176.62 92.0 311040000 5000 15000
reconf20_61_myciel4_2 20 36.14 36.34 55.0 311040000 5000 15000
rphp_p105_r105 1 4979.28 5001.03 1763.0 311040000 5000 15000
rphp_p14_r14 1 4980.40 5001.03 275.0 311040000 5000 15000
rphp_p6_r28 20 2330.90 2341.07 111.0 311040000 5000 15000
rphp_p90_r90 1 4978.51 5001.03 2451.0 311040000 5000 15000
rphp_p95_r95 1 4980.14 5001.03 1653.0 311040000 5000 15000
rubikcube701-sc2017 20 933.37 937.33 36.0 311040000 5000 15000
s2n:s2n_stuffer_private_key_from_pem 20 77.23 77.63 649.0 311040000 5000 15000
s2n:s2n_stuffer_write_base64 20 588.58 591.37 4322.0 311040000 5000 15000
satch2ways12u 20 48.39 48.68 42.0 311040000 5000 15000
satcoin-genesis-SAT-4 10 0.20 0.28 57.0 311040000 5000 15000
satcoin-genesis-SAT-5 10 0.90 0.92 59.0 311040000 5000 15000
satcoin-genesis-SAT-8192 10 233.46 234.79 86.0 311040000 5000 15000
sha256__zeroOut_12__freeIn_16__seed_1 1 4977.08 5001.03 146.0 311040000 5000 15000
sin-mitern28 20 57.42 57.76 26.0 311040000 5000 15000
sin-mitern29 20 26.98 27.11 19.0 311040000 5000 15000
sin_depth_miter_1 1 4980.68 5001.03 511.0 311040000 5000 15000
sin_depth_miter_2 1 4977.08 5001.03 169.0 311040000 5000 15000
sin_depth_miter_4 20 782.36 785.68 76.0 311040000 5000 15000
sin_depth_miter_5 20 3046.58 3068.28 70.0 311040000 5000 15000
sin_depth_miter_6 20 2257.41 2268.11 62.0 311040000 5000 15000
sin_depth_miter_8 1 4980.81 5001.03 131.0 311040000 5000 15000
size_5_5_5_i198_r12 10 479.52 481.74 45.0 311040000 5000 15000
smtlib-qfbv-aigs-countbits128-tseitin 20 2145.98 2155.66 73.0 311040000 5000 15000
soelberg_unit_109 20 230.48 231.49 45.0 311040000 5000 15000
soelberg_unit_158 1 4978.52 5001.03 119.0 311040000 5000 15000
soelberg_unit_159 10 2445.82 2456.39 106.0 311040000 5000 15000
soelberg_unit_223 1 4976.21 5001.03 171.0 311040000 5000 15000
spg_420_280 20 143.22 143.81 420.0 311040000 5000 15000
sqrt-mitern168 20 790.29 794.41 33.0 311040000 5000 15000
sqrt-mitern172 20 34.35 34.57 12.0 311040000 5000 15000
sqrt_ineq_3.c 10 2.58 2.69 64.0 311040000 5000 15000
ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418 10 1045.44 1050.43 86.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_670 20 468.38 470.36 2955.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_730 20 564.67 567.14 3593.0 311040000 5000 15000
sudoku-N30-10 1 4979.83 5001.03 462.0 311040000 5000 15000
sudoku-N30-11 20 3320.49 3334.69 445.0 311040000 5000 15000
sudoku-N30-20 20 2949.35 2963.18 469.0 311040000 5000 15000
sudoku-N30-22 20 292.60 293.90 450.0 311040000 5000 15000
sudoku-N30-24 20 276.14 277.34 463.0 311040000 5000 15000
sudoku-N30-27 20 297.19 298.44 434.0 311040000 5000 15000
sudoku-N30-29 20 3413.83 3428.92 418.0 311040000 5000 15000
sudoku-N30-4 20 3570.82 3584.28 461.0 311040000 5000 15000
sudoku-N30-6 20 351.43 353.22 443.0 311040000 5000 15000
sudoku-N30-7 1 4978.45 5001.03 423.0 311040000 5000 15000
sudoku-N30-8 20 3268.91 3282.79 442.0 311040000 5000 15000
sum_of_three_cubes_165_known_representation 10 620.73 623.20 480.0 311040000 5000 15000
sum_of_three_cubes_165_unknown_representation 1 4981.25 5001.03 875.0 311040000 5000 15000
sum_of_three_cubes_33_known_representation 10 139.43 140.06 397.0 311040000 5000 15000
sum_of_three_cubes_33_unknown_representation 1 4975.50 5001.03 849.0 311040000 5000 15000
sum_of_three_cubes_3_unknown_representation 1 4977.23 5001.03 880.0 311040000 5000 15000
sum_of_three_cubes_906_unknown_representation 1 4975.92 5001.03 854.0 311040000 5000 15000
sum_of_three_cubes_still_open 1 4975.78 5001.03 874.0 311040000 5000 15000
sum_of_three_cubes_still_open_large 1 4975.93 5001.03 2172.0 311040000 5000 15000
summle_X111102_steps8_I1-2-2-4-4-8-25-100 10 198.96 199.91 40.0 311040000 5000 15000
summle_X111104_steps6_I1-2-2-4-4-8-25-100 10 134.39 135.07 26.0 311040000 5000 15000
summle_X111107_steps8_I1-2-2-4-4-8-25-100 10 68.91 69.26 29.0 311040000 5000 15000
summle_X111113_steps7_I1-2-2-4-4-8-25-100 10 42.71 42.99 26.0 311040000 5000 15000
summle_X111117_steps8_I1-2-2-4-4-8-25-100 10 41.03 41.21 28.0 311040000 5000 15000
summle_X111119_steps7_I1-2-2-4-4-8-25-100 10 48.60 48.84 26.0 311040000 5000 15000
summle_X111121_steps7_I1-2-2-4-4-8-25-100 10 86.92 87.35 24.0 311040000 5000 15000
summle_X11113_steps8_I1-2-2-4-4-8-25-100 10 27.89 28.07 28.0 311040000 5000 15000
summle_X8634_steps8_I1-2-2-4-4-8-25-100 10 139.00 139.69 38.0 311040000 5000 15000
summle_X8637_steps8_I1-2-2-4-4-8-25-100 10 63.06 63.36 28.0 311040000 5000 15000
summle_X8639_steps8_I1-2-2-4-4-8-25-100 10 21.90 22.03 28.0 311040000 5000 15000
summle_X8646_steps8_I1-2-2-4-4-8-25-100 10 12.44 12.51 26.0 311040000 5000 15000
summle_X8651_steps8_I1-2-2-4-4-8-25-100 10 32.64 32.81 27.0 311040000 5000 15000
sv-comp19_prop-reachsafety.triangular-longer_false-unreach-call.i-witness 10 119.90 120.41 43.0 311040000 5000 15000
traffic_f_unknown 20 91.28 91.81 75.0 311040000 5000 15000
tseitin_grid_n14_m14 1 4978.54 5001.03 100.0 311040000 5000 15000
tseitin_grid_n16_m16 1 4978.81 5001.03 111.0 311040000 5000 15000
tseitin_n192_d3 1 4979.88 5001.03 145.0 311040000 5000 15000
tseitin_n196_d3 1 4981.77 5001.03 150.0 311040000 5000 15000
tseitin_n200_d3 1 4979.47 5001.03 153.0 311040000 5000 15000
urquhart3_25bis.shuffled 20 3.22 3.39 9.0 311040000 5000 15000
velev-vliw-sat-4.0-b8 10 42.21 42.48 787.0 311040000 5000 15000
vlsat2_113_1150 10 6.48 6.55 61.0 311040000 5000 15000
vlsat2_24450_2770239.dimacs 10 1.19 1.25 98.0 311040000 5000 15000
vlsat2_57038_10572502.dimacs 10 83.05 83.47 510.0 311040000 5000 15000
worker_20_20_16_0.9 1 4979.80 5001.03 146.0 311040000 5000 15000
worker_20_60_20_0.9 1 4979.38 5001.03 235.0 311040000 5000 15000
worker_30_120_30_0.8 1 4978.55 5001.03 436.0 311040000 5000 15000
worker_40_40_30_0.9 1 4980.77 5001.03 240.0 311040000 5000 15000
worker_40_80_35_0.85 1 4981.57 5001.03 487.0 311040000 5000 15000
worker_40_80_40_0.85 1 4977.17 5001.03 407.0 311040000 5000 15000
worker_500_500_500_0.35 10 5.86 5.98 284.0 311040000 5000 15000
worker_50_150_40_0.85 1 4975.46 5001.03 494.0 311040000 5000 15000
worker_50_50_50_0.85 1 4975.86 5001.03 409.0 311040000 5000 15000
worker_80_80_80_0.8 1 4977.51 5001.03 798.0 311040000 5000 15000
xor_op_n44_d3 1 4978.47 5001.03 201.0 311040000 5000 15000
