 result time real space tlim rlim slim
003-23-80 10 96.05 96.53 41.0 311040000 5000 15000
005-80-12 1 4975.74 5001.03 186.0 311040000 5000 15000
006 10 536.39 538.95 72.0 311040000 5000 15000
008-80-8 10 774.16 777.89 116.0 311040000 5000 15000
20-100-lambda100-49_sat 10 28.35 28.60 27.0 311040000 5000 15000
20-100-lambda100-89_sat 10 116.44 116.96 35.0 311040000 5000 15000
20-100-p100-55_sat 10 285.58 286.81 111.0 311040000 5000 15000
20180321_140826713_p_cnf_320_1120 10 1.69 1.71 7.0 311040000 5000 15000
3d_perfect_euler_bricks 1 4973.63 5001.03 173.0 311040000 5000 15000
4d_euler_bricks 1 4979.87 5001.03 227.0 311040000 5000 15000
4d_perfect_euler_bricks 1 4977.81 5001.03 310.0 311040000 5000 15000
4g_5color_166_100_02 10 719.01 722.07 2039.0 311040000 5000 15000
50bits_11.dimacs 10 514.90 517.05 30.0 311040000 5000 15000
52bits_12.dimacs 10 1162.04 1166.36 43.0 311040000 5000 15000
6-4-6-sc2018 1 4978.09 5001.03 90.0 311040000 5000 15000
6s105_Iter35 20 364.65 366.29 40.0 311040000 5000 15000
6s105_Iter99 1 4977.67 5001.03 126.0 311040000 5000 15000
6s133-sc2014 20 0.04 0.13 18.0 311040000 5000 15000
6s158_Iter2 20 1.00 1.09 7.0 311040000 5000 15000
6s184 20 0.00 0.05 0.0 311040000 5000 15000
6s186_Iter20 20 42.69 43.00 23.0 311040000 5000 15000
6s186_Iter99 1 4977.82 5001.03 198.0 311040000 5000 15000
6s22_Iter57 20 261.35 262.51 210.0 311040000 5000 15000
6s22_Iter99 1 4978.37 5001.03 375.0 311040000 5000 15000
6s320rb1_Iter8 20 166.05 166.91 52.0 311040000 5000 15000
6s320rb1_Iter9 10 129.64 130.22 58.0 311040000 5000 15000
8-5-6 10 818.94 822.96 169.0 311040000 5000 15000
9dlx_vliw_at_b_iq6 20 810.30 814.06 260.0 311040000 5000 15000
Break_16_56.xml 10 39.52 39.71 50.0 311040000 5000 15000
Break_20_36.xml 1 4974.11 5001.03 168.0 311040000 5000 15000
Break_20_54.xml 1 4975.39 5001.03 418.0 311040000 5000 15000
Break_triple_12_30.xml 10 30.77 30.99 25.0 311040000 5000 15000
Break_triple_18_48.xml 10 2155.02 2164.60 352.0 311040000 5000 15000
Break_triple_20_54.xml 1 4974.23 5001.03 385.0 311040000 5000 15000
Break_triple_20_72.xml 10 883.60 887.84 231.0 311040000 5000 15000
Break_unsat_10_15.xml 1 4979.62 5001.03 116.0 311040000 5000 15000
Break_unsat_12_19.xml 1 4978.01 5001.03 139.0 311040000 5000 15000
BubbleVsPancakeSort_6_6 20 28.19 28.31 15.0 311040000 5000 15000
Carry_Bits_Fast_12.cnf 10 1.89 1.98 8.0 311040000 5000 15000
Carry_Bits_Fast_16.cnf 10 27.23 27.51 17.0 311040000 5000 15000
Carry_Bits_Fast_18.cnf 10 0.20 0.27 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.36 7.0 311040000 5000 15000
Carry_Bits_Fast_5.cnf 10 18.93 19.08 17.0 311040000 5000 15000
Carry_Bits_Fast_8.cnf 10 6.96 7.08 16.0 311040000 5000 15000
Carry_Save_Fast_1.cnf 10 3.93 4.28 19.0 311040000 5000 15000
Carry_Save_Fast_2.cnf 10 2.88 2.92 17.0 311040000 5000 15000
Carry_Save_Fast_3.cnf 10 0.19 0.26 12.0 311040000 5000 15000
DLTM_twitter690_74_16 10 141.32 141.99 41.0 311040000 5000 15000
Eternity-10-06_c18 10 1032.64 1036.88 48.0 311040000 5000 15000
GP_100_948_32 10 400.70 402.60 3309.0 311040000 5000 15000
GP_100_948_33 10 224.20 225.83 3424.0 311040000 5000 15000
GP_100_948_34 10 85.99 86.45 2832.0 311040000 5000 15000
GP_100_950_32 10 232.36 233.32 3530.0 311040000 5000 15000
GP_100_950_33 10 530.36 532.42 3915.0 311040000 5000 15000
GP_100_950_34 10 1801.62 1808.59 3692.0 311040000 5000 15000
GP_100_951_35 10 1003.17 1007.86 3879.0 311040000 5000 15000
GP_100_951_37 10 298.12 299.57 3489.0 311040000 5000 15000
GP_120_400_15 10 79.97 80.45 1624.0 311040000 5000 15000
GP_200_313_5 10 242.49 243.51 2429.0 311040000 5000 15000
GP_300_250_15 10 391.09 392.97 2686.0 311040000 5000 15000
GP_500_200_20 10 121.09 121.76 3200.0 311040000 5000 15000
GP_81_430_13 10 33.63 33.88 1108.0 311040000 5000 15000
ITC2021_Early_4.xml 1 4975.54 5001.03 149.0 311040000 5000 15000
ITC2021_Late_1.xml 10 19.91 20.09 53.0 311040000 5000 15000
ITC2021_Late_2.xml 1 4977.04 5001.03 164.0 311040000 5000 15000
ITC2021_Late_6.xml 10 39.71 39.93 77.0 311040000 5000 15000
Kakuro-easy-112-ext.xml.hg_7 10 123.56 124.15 1566.0 311040000 5000 15000
Kakuro-easy-117-ext.xml.hg_5 10 98.84 99.35 1391.0 311040000 5000 15000
Kakuro-easy-125-ext.xml.hg_4 20 3046.10 3059.03 1598.0 311040000 5000 15000
LABS_n041_goal003 10 1019.17 1024.34 48.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix 20 823.17 827.00 7866.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces 20 293.12 294.44 1817.0 311040000 5000 15000
Nb52T6 20 3205.27 3219.61 2307.0 311040000 5000 15000
Nb8T61 10 227.99 228.98 195.0 311040000 5000 15000
PancakeVsInsertSort_6_7 20 47.36 47.67 20.0 311040000 5000 15000
PancakeVsInsertSort_7_7 20 506.77 509.25 50.0 311040000 5000 15000
PancakeVsInsertSort_7_8 20 965.29 968.40 49.0 311040000 5000 15000
PancakeVsInsertSort_8_5 20 1351.98 1358.32 58.0 311040000 5000 15000
PancakeVsInsertSort_8_6 20 3030.96 3040.38 68.0 311040000 5000 15000
PancakeVsInsertSort_8_7 20 4867.12 4887.20 124.0 311040000 5000 15000
PancakeVsInsertSort_9_3 20 307.20 308.99 42.0 311040000 5000 15000
PancakeVsInsertSort_9_4 20 4355.24 4374.44 117.0 311040000 5000 15000
PancakeVsSelectionSort_7_6 20 1319.13 1323.74 55.0 311040000 5000 15000
PancakeVsSelectionSort_7_7 20 2189.84 2196.92 65.0 311040000 5000 15000
PancakeVsSelectionSort_8_3 20 187.77 188.69 23.0 311040000 5000 15000
PancakeVsSelectionSort_8_4 20 3117.16 3131.37 66.0 311040000 5000 15000
SAT_H_instances_childsnack_p06.hddl_2 10 9.36 9.48 2803.0 311040000 5000 15000
SAT_H_instances_childsnack_p10.hddl_2 10 26.79 26.95 8071.0 311040000 5000 15000
SAT_MS_sat_nurikabe_p16.pddl_166 1 4976.92 5001.03 10781.0 311040000 5000 15000
SAT_MS_sat_snake_p01.pddl_39 10 2374.70 2384.90 1296.0 311040000 5000 15000
SAT_dat.k80 20 19.61 19.71 34.0 311040000 5000 15000
SC21_Timetable_C_527_E_71_Cl_35_S_35 10 21.00 21.20 333.0 311040000 5000 15000
SC21_Timetable_C_542_E_71_Cl_36_S_35 10 18.62 18.81 348.0 311040000 5000 15000
SC22_Timetable_C_436_E_39_Cl_29_S_27 1 4979.58 5001.03 353.0 311040000 5000 15000
SC22_Timetable_C_436_E_40_Cl_29_S_27 1 4977.69 5001.03 449.0 311040000 5000 15000
SC22_Timetable_C_436_E_41_Cl_29_S_27 1 4972.79 5001.03 474.0 311040000 5000 15000
SC22_Timetable_C_436_E_42_Cl_29_S_27 1 4974.59 5001.03 395.0 311040000 5000 15000
SC22_Timetable_C_436_E_43_Cl_29_S_27 1 4979.67 5001.03 387.0 311040000 5000 15000
SC22_Timetable_C_451_E_43_Cl_30_S_27 1 4976.59 5001.03 386.0 311040000 5000 15000
SC22_Timetable_C_451_E_45_Cl_30_S_27 1 4978.46 5001.03 437.0 311040000 5000 15000
SC22_Timetable_C_451_E_46_Cl_30_S_27 10 436.16 438.49 292.0 311040000 5000 15000
SC22_Timetable_C_451_E_48_Cl_30_S_27 10 514.64 517.57 278.0 311040000 5000 15000
SC22_Timetable_C_451_E_50_Cl_30_S_28 10 62.37 62.71 248.0 311040000 5000 15000
SCPC-500-10 20 28.75 28.95 19.0 311040000 5000 15000
SCPC-500-11 20 105.94 106.44 21.0 311040000 5000 15000
SCPC-500-15 20 31.12 31.42 12.0 311040000 5000 15000
SCPC-500-16 20 76.61 76.91 19.0 311040000 5000 15000
SCPC-500-17 20 78.03 78.37 23.0 311040000 5000 15000
SCPC-500-18 20 33.99 34.33 19.0 311040000 5000 15000
SCPC-500-19 20 21.91 22.08 12.0 311040000 5000 15000
SCPC-500-2 20 28.47 28.67 20.0 311040000 5000 15000
SCPC-500-20 20 22.01 22.12 13.0 311040000 5000 15000
SCPC-500-4 20 32.73 33.03 18.0 311040000 5000 15000
SCPC-500-7 20 40.49 40.80 19.0 311040000 5000 15000
SCPC-500-8 20 34.42 34.82 19.0 311040000 5000 15000
SCPC-500-9 20 27.28 27.42 13.0 311040000 5000 15000
SE_PR_stb_588_138.apx_1 10 96.55 97.16 18.0 311040000 5000 15000
UNSAT_H_instances_childsnack_p12.hddl_1 20 12.03 12.12 3655.0 311040000 5000 15000
UNSAT_MS_opt_snake_p20.pddl_29 20 360.45 362.13 792.0 311040000 5000 15000
UTI-20-10p0-sc2009 20 173.60 174.31 131.0 311040000 5000 15000
Wallace_Bits_Fast_2.cnf 10 0.20 0.27 7.0 311040000 5000 15000
Wallace_Bits_Fast_3.cnf 10 10.41 10.52 16.0 311040000 5000 15000
Wallace_Bits_Fast_7.cnf 10 1.85 2.01 15.0 311040000 5000 15000
ablmulub16x4o 20 63.64 64.04 16.0 311040000 5000 15000
abw-V-nos6.mtx-w220 10 544.38 546.90 685.0 311040000 5000 15000
aes_32_2_keyfind_1 10 27.77 27.96 13.0 311040000 5000 15000
af-synthesis_stb_50_100_4_unsat 20 1338.63 1344.93 47.0 311040000 5000 15000
af-synthesis_stb_50_120_4_unsat 20 370.70 372.18 42.0 311040000 5000 15000
af-synthesis_stb_50_140_0_sat 10 149.21 149.97 41.0 311040000 5000 15000
af-synthesis_stb_50_140_1_sat 10 252.12 253.22 44.0 311040000 5000 15000
af-synthesis_stb_50_140_3_sat 10 61.10 61.42 36.0 311040000 5000 15000
af-synthesis_stb_50_200_4_sat 10 53.42 53.74 47.0 311040000 5000 15000
af-synthesis_stb_50_20_8_sat 10 205.32 206.30 36.0 311040000 5000 15000
af-synthesis_stb_50_20_8_unsat 20 433.64 435.57 38.0 311040000 5000 15000
af-synthesis_stb_50_40_2_sat 10 127.71 128.22 24.0 311040000 5000 15000
af-synthesis_stb_50_80_7_sat 10 70.80 71.20 38.0 311040000 5000 15000
af-synthesis_stb_50_80_7_unsat 20 509.93 511.73 40.0 311040000 5000 15000
atco_enc1_opt2_10_15 20 108.85 109.34 38.0 311040000 5000 15000
atco_enc1_opt2_10_16-sc2014 10 121.19 121.77 40.0 311040000 5000 15000
atco_enc3_opt1_03_53 10 164.01 164.79 445.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_remove_node 20 135.02 135.78 1733.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_sift_either 20 64.93 65.28 3441.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size 20 206.66 207.68 4866.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_hdr_write 20 144.35 145.12 1520.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq 20 210.87 211.90 4172.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad 20 399.97 401.76 3330.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id 20 192.24 193.21 2844.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type 20 87.64 88.02 1938.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks 20 343.21 344.79 2946.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv 20 111.78 112.43 1948.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key 20 379.43 381.08 4102.0 311040000 5000 15000
barman-pfile10-038.sas.ex.15 20 37.96 38.16 802.0 311040000 5000 15000
beempgsol2b1 20 12.05 12.11 14.0 311040000 5000 15000
bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19 20 295.77 297.21 31.0 311040000 5000 15000
bmc_QICE_req_sfl_30 20 2300.50 2310.82 2205.0 311040000 5000 15000
bmc_QICE_rxrsp_vld_30 20 821.87 825.76 2202.0 311040000 5000 15000
bmc_QICE_snp_vld_50 20 1498.32 1505.18 3830.0 311040000 5000 15000
bobsmdct_init_k88 20 1621.96 1628.67 146.0 311040000 5000 15000
bobsmdct_k500 20 4798.25 4827.33 940.0 311040000 5000 15000
bobsmdct_k88 20 127.43 128.04 188.0 311040000 5000 15000
bz-X-4-7-6 10 194.85 195.82 42.0 311040000 5000 15000
cfi-rigid-d3-0180-02-orig 20 230.12 231.04 2056.0 311040000 5000 15000
cfi-rigid-r2-0072-01-or_3 10 45.41 45.61 530.0 311040000 5000 15000
cfi-rigid-s2-0064-02-or_2 20 228.75 229.87 505.0 311040000 5000 15000
cfi-rigid-s2-0064-03-or_2_shuffle_all 20 1381.32 1387.59 508.0 311040000 5000 15000
cfi-rigid-s2-0064-04-or_2 20 464.05 465.94 511.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3 10 16.73 16.82 336.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3_shuffle_all 10 4.60 4.74 247.0 311040000 5000 15000
cfi-rigid-t2-0048-02-or_3_shuffle_all 10 18.79 18.98 371.0 311040000 5000 15000
cfi-rigid-t2-0048-03-or_3_shuffle_all 10 41.53 41.77 376.0 311040000 5000 15000
cfi-rigid-z2-0088-01-or_2_shuffle_all 20 193.52 194.32 475.0 311040000 5000 15000
cfi-rigid-z2-0088-02-or_2_shuffle_all 20 216.36 217.38 473.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2 20 123.86 124.49 486.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2_shuffle_all 20 236.48 237.61 474.0 311040000 5000 15000
cliquecoloring_n18_k6_c5 20 1595.72 1602.70 115.0 311040000 5000 15000
cliquecoloring_n60_k5_c4 1 4976.73 5001.04 361.0 311040000 5000 15000
combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2 10 62.73 63.08 30.0 311040000 5000 15000
coreJSON:skipCollection 10 122.39 122.94 4216.0 311040000 5000 15000
coreMQTT:MQTT_Connect 20 352.61 354.30 2291.0 311040000 5000 15000
coreMQTT:MQTT_SerializeConnect 20 326.28 327.73 994.0 311040000 5000 15000
corePKCS11:C_CreateObject 20 92.92 93.45 1134.0 311040000 5000 15000
ctl_4291_567_12_unsat 20 244.35 245.46 38.0 311040000 5000 15000
ctl_4291_567_1_unsat_pre 20 754.97 757.94 40.0 311040000 5000 15000
div-mitern164 20 1544.76 1552.22 74.0 311040000 5000 15000
div-mitern165 20 1199.99 1205.00 87.0 311040000 5000 15000
div-mitern167 20 513.39 515.26 72.0 311040000 5000 15000
div-mitern168 20 352.10 353.34 63.0 311040000 5000 15000
div-mitern171 20 76.86 77.22 19.0 311040000 5000 15000
div-mitern174 20 20.71 20.81 12.0 311040000 5000 15000
div_miter_lec_1 1 4977.08 5001.03 90.0 311040000 5000 15000
div_miter_lec_3 1 4974.91 5001.03 103.0 311040000 5000 15000
div_miter_lec_4 1 4971.27 5001.03 118.0 311040000 5000 15000
ecarev-110-4099-22-30-7 10 204.55 205.61 119.0 311040000 5000 15000
edit_distance041_183 20 44.30 44.74 61.0 311040000 5000 15000
eqsparcl12bpwtrc12 20 2954.09 2966.71 76.0 311040000 5000 15000
ex175_20 10 96.54 97.07 1373.0 311040000 5000 15000
frb75-13-2.used-as.sat04-878 10 146.59 147.21 25.0 311040000 5000 15000
g2-mizh-md5-48-2 10 14.37 14.53 39.0 311040000 5000 15000
gaussian.c.75.smt2-cvc4 10 138.47 139.06 1175.0 311040000 5000 15000
grid-color-12-14-10-cb 10 37.52 37.74 58.0 311040000 5000 15000
grid-color-12-14-12-cb 1 4979.70 5001.03 243.0 311040000 5000 15000
grid-color-12-14-14-cb 10 2394.46 2403.05 155.0 311040000 5000 15000
grid-color-12-14-2-cb 10 4655.79 4676.02 258.0 311040000 5000 15000
grid-color-12-14-4-cb 1 4977.69 5001.03 249.0 311040000 5000 15000
grid-color-12-14-6-cb 10 1170.75 1175.68 159.0 311040000 5000 15000
grid-color-12-14-8-cb 10 164.38 165.13 117.0 311040000 5000 15000
grid-color-14-14-10-cb 1 4982.43 5001.03 249.0 311040000 5000 15000
grid-color-14-14-12-cb 1 4982.45 5001.03 275.0 311040000 5000 15000
grid-color-14-14-14-cb 1 4977.06 5001.03 215.0 311040000 5000 15000
grid-color-14-14-2-cb 1 4979.94 5001.03 278.0 311040000 5000 15000
grid-color-14-14-6-cb 1 4980.26 5001.03 290.0 311040000 5000 15000
grid-color-14-14-8-cb 1 4975.96 5001.03 259.0 311040000 5000 15000
grid-strips-grid-y-3.045-NOTKNOWN 10 79.01 79.45 161.0 311040000 5000 15000
gss-18-s100 10 111.26 111.75 16.0 311040000 5000 15000
gus-md5-11 1 4976.42 5001.03 104.0 311040000 5000 15000
h31 1 4980.86 5001.03 81.0 311040000 5000 15000
h31_large 1 4979.01 5001.04 128.0 311040000 5000 15000
hantzsche_wendt_unit_147 10 1204.61 1210.12 121.0 311040000 5000 15000
hantzsche_wendt_unit_83 20 597.38 600.26 45.0 311040000 5000 15000
hantzsche_wendt_unit_92 20 1633.36 1639.95 67.0 311040000 5000 15000
hantzsche_wendt_unit_93 10 921.19 925.44 64.0 311040000 5000 15000
hwmcc15deep-6s516r-k18-sc2017 20 883.96 888.17 77.0 311040000 5000 15000
hyp_cec_multi_1 1 4974.43 5001.03 281.0 311040000 5000 15000
hyp_cec_multi_3 1 4973.93 5001.03 289.0 311040000 5000 15000
hyp_cec_multi_4 1 4978.15 5001.03 306.0 311040000 5000 15000
hyp_cec_multi_5 1 4975.95 5001.03 292.0 311040000 5000 15000
intel036_Iter109 10 25.28 25.46 499.0 311040000 5000 15000
intel046_Iter124 10 16.23 16.35 67.0 311040000 5000 15000
j3037_10_gmto_b 10 22.70 22.82 18.0 311040000 5000 15000
j3037_10_gmto_bm1 20 30.93 31.28 15.0 311040000 5000 15000
j3037_1_rggt_b 10 16.22 16.39 22.0 311040000 5000 15000
j3037_1_rggt_bm1 20 351.10 352.63 36.0 311040000 5000 15000
j3037_9_gmto_b 10 220.14 221.06 37.0 311040000 5000 15000
j3037_9_gmto_bm1 1 4978.93 5001.03 72.0 311040000 5000 15000
j3037_9_mdd_b 10 207.07 208.00 40.0 311040000 5000 15000
j3045_10_gmto_bm1 1 4980.34 5001.03 75.0 311040000 5000 15000
j3045_10_mdd_bm1 1 4979.10 5001.03 83.0 311040000 5000 15000
j3045_4_gmto_bm1 20 399.87 401.95 24.0 311040000 5000 15000
j3045_4_mdd_b 10 479.99 481.74 37.0 311040000 5000 15000
j3045_4_rggt_bm1 20 254.93 256.06 24.0 311040000 5000 15000
knight_18 10 1629.91 1636.50 225.0 311040000 5000 15000
ktf_TF-3.tf_3_0.02_24 20 136.50 137.12 36.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind40 20 13.13 13.30 668.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind41 20 33.53 33.78 756.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind43 20 18.49 18.61 836.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind44 20 34.83 35.06 851.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind48 20 42.30 42.54 949.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind55 20 71.69 72.06 1159.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind56 20 56.42 56.73 1183.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind59 20 49.27 49.56 1326.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind66 20 138.57 139.15 1561.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind67 20 47.90 48.13 1598.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind71 20 45.79 46.02 1744.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind74 20 273.24 274.38 1851.0 311040000 5000 15000
manol-pipe-f7nidw 20 48.56 48.90 165.0 311040000 5000 15000
manthey_single-ordered-initialized-w42-b8 20 89.42 89.89 26.0 311040000 5000 15000
manthey_single-ordered-initialized-w50-b7 20 569.40 572.10 42.0 311040000 5000 15000
md4__zeroOut_19__freeIn_23__seed_2 10 12.64 12.71 19.0 311040000 5000 15000
mdp-28-10-sat 10 118.45 119.08 27.0 311040000 5000 15000
mdp-28-11-unsat 20 990.19 994.68 42.0 311040000 5000 15000
mdp-28-12-sat 10 589.13 591.52 46.0 311040000 5000 15000
mdp-28-12-unsat 20 952.77 956.66 45.0 311040000 5000 15000
mdp-28-16-sat 10 189.13 190.10 37.0 311040000 5000 15000
mdp-32-12-sat 10 1802.43 1810.71 53.0 311040000 5000 15000
mdp-32-16-unsat 1 4976.68 5001.03 96.0 311040000 5000 15000
mdp-36-11-sat 1 4976.33 5001.03 78.0 311040000 5000 15000
mdp-36-11-unsat 1 4977.38 5001.03 72.0 311040000 5000 15000
mdp-36-12-sat 1 4979.82 5001.03 85.0 311040000 5000 15000
mdp-36-14-unsat 1 4977.86 5001.03 89.0 311040000 5000 15000
mdp-36-16-sat 1 4978.39 5001.03 81.0 311040000 5000 15000
mdp-36-16-unsat 1 4977.90 5001.03 90.0 311040000 5000 15000
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519 10 61.25 61.56 10.0 311040000 5000 15000
mp1-21.7 10 34.85 35.05 28.0 311040000 5000 15000
mp1-9_27 10 19.22 19.40 13.0 311040000 5000 15000
mp1-blockpuzzle_5x12_s6_free3 20 195.82 196.78 50.0 311040000 5000 15000
mp1-klieber2017s-0300-034-t12 10 91.50 91.95 23.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abio_SAT 10 25.89 26.01 15.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abix_SAT 10 71.71 72.08 28.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_bail_SAT 10 99.42 99.99 31.0 311040000 5000 15000
ncc_none_3001_7_3_3_1_31_435991723 10 95.17 95.71 914.0 311040000 5000 15000
ncc_none_7047_6_3_3_0_0_420 20 83.39 83.83 794.0 311040000 5000 15000
ortholatin-7 10 12.74 12.81 20.0 311040000 5000 15000
ota-for-aws-iot-embedded-sdk:parseJSONbyModel 20 199.44 200.47 1716.0 311040000 5000 15000
pj2002_k9 20 8.36 8.47 236.0 311040000 5000 15000
pj2003_k9 20 9.56 9.65 243.0 311040000 5000 15000
pj2005_k80 10 142.82 143.47 1588.0 311040000 5000 15000
pj2008_k300 10 949.01 953.40 5932.0 311040000 5000 15000
pj2008_k400 10 1290.05 1295.86 7165.0 311040000 5000 15000
pj2015_k9 20 13.23 13.33 375.0 311040000 5000 15000
pj2016_k120 10 647.54 650.31 6587.0 311040000 5000 15000
pj2016_k140 10 682.30 685.22 9684.0 311040000 5000 15000
pj2016_k80 10 263.12 264.40 4459.0 311040000 5000 15000
pj2018_k10 10 6.66 6.78 200.0 311040000 5000 15000
ps_200_300_70 20 161.87 162.48 241.0 311040000 5000 15000
ps_200_323_70 20 926.77 930.64 274.0 311040000 5000 15000
puzzle30_sat 10 267.18 268.88 56.0 311040000 5000 15000
q_query_3_L200_coli.sat 20 111.95 112.50 309.0 311040000 5000 15000
reconf10_140_queen6_1 10 364.16 365.88 409.0 311040000 5000 15000
reconf10_145_queen6_2 10 2054.60 2064.24 448.0 311040000 5000 15000
reconf10_42_queen20_4_0961 10 719.80 723.66 276.0 311040000 5000 15000
reconf10_68_queen15_2 10 149.07 149.74 365.0 311040000 5000 15000
reconf10_86_sp003_1 10 599.15 601.75 190.0 311040000 5000 15000
reconf10_99_Ins_3_1 10 343.74 345.55 420.0 311040000 5000 15000
reconf20_116_le450_25c_1 20 210.61 211.66 2050.0 311040000 5000 15000
reconf20_20_grid10_1_6141 20 413.63 415.53 49.0 311040000 5000 15000
reconf20_20_grid10_4_4957 20 266.81 267.95 48.0 311040000 5000 15000
reconf20_26_3-FullIns_4_1 20 86.45 86.82 122.0 311040000 5000 15000
reconf20_320_hc-square-2_1 20 216.47 217.36 1572.0 311040000 5000 15000
reconf20_50_grid10_3_6844 20 173.11 173.92 128.0 311040000 5000 15000
reconf20_61_myciel4_2 20 19.35 19.58 69.0 311040000 5000 15000
rphp_p105_r105 1 4979.29 5001.03 1771.0 311040000 5000 15000
rphp_p14_r14 1 4978.27 5001.03 277.0 311040000 5000 15000
rphp_p6_r28 20 2392.67 2402.32 136.0 311040000 5000 15000
rphp_p90_r90 1 4979.64 5001.03 1489.0 311040000 5000 15000
rphp_p95_r95 1 4978.98 5001.03 1632.0 311040000 5000 15000
rubikcube701-sc2017 20 1018.80 1023.29 43.0 311040000 5000 15000
s2n:s2n_stuffer_private_key_from_pem 20 36.74 36.96 825.0 311040000 5000 15000
s2n:s2n_stuffer_write_base64 20 518.89 521.15 5037.0 311040000 5000 15000
satch2ways12u 20 129.58 130.42 71.0 311040000 5000 15000
satcoin-genesis-SAT-4 10 0.70 0.73 96.0 311040000 5000 15000
satcoin-genesis-SAT-5 10 0.90 0.93 97.0 311040000 5000 15000
satcoin-genesis-SAT-8192 10 68.89 69.28 120.0 311040000 5000 15000
sha256__zeroOut_12__freeIn_16__seed_1 10 4554.42 4574.60 149.0 311040000 5000 15000
sin-mitern28 20 57.64 57.96 28.0 311040000 5000 15000
sin-mitern29 20 27.38 27.56 21.0 311040000 5000 15000
sin_depth_miter_1 1 4973.99 5001.03 573.0 311040000 5000 15000
sin_depth_miter_2 1 4977.13 5001.03 257.0 311040000 5000 15000
sin_depth_miter_4 20 873.14 877.99 134.0 311040000 5000 15000
sin_depth_miter_5 20 3935.60 3951.68 88.0 311040000 5000 15000
sin_depth_miter_6 20 2295.43 2304.58 81.0 311040000 5000 15000
sin_depth_miter_8 1 4977.08 5001.03 131.0 311040000 5000 15000
size_5_5_5_i198_r12 10 334.98 336.63 41.0 311040000 5000 15000
smtlib-qfbv-aigs-countbits128-tseitin 20 2105.80 2115.02 76.0 311040000 5000 15000
soelberg_unit_109 20 229.95 230.93 44.0 311040000 5000 15000
soelberg_unit_158 1 4977.08 5001.03 126.0 311040000 5000 15000
soelberg_unit_159 1 4977.61 5001.03 132.0 311040000 5000 15000
soelberg_unit_223 1 4979.46 5001.03 218.0 311040000 5000 15000
spg_420_280 20 277.68 278.94 439.0 311040000 5000 15000
sqrt-mitern168 20 777.57 780.73 68.0 311040000 5000 15000
sqrt-mitern172 20 35.20 35.45 13.0 311040000 5000 15000
sqrt_ineq_3.c 10 1.89 1.93 97.0 311040000 5000 15000
ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418 10 196.61 197.65 71.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_670 20 399.44 401.27 1405.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_730 20 434.69 436.69 1741.0 311040000 5000 15000
sudoku-N30-10 1 4980.53 5001.04 459.0 311040000 5000 15000
sudoku-N30-11 20 3453.25 3467.81 448.0 311040000 5000 15000
sudoku-N30-20 20 3041.28 3054.35 457.0 311040000 5000 15000
sudoku-N30-22 20 310.22 311.73 461.0 311040000 5000 15000
sudoku-N30-24 20 345.19 347.01 474.0 311040000 5000 15000
sudoku-N30-27 20 273.64 274.82 449.0 311040000 5000 15000
sudoku-N30-29 20 3608.39 3624.21 454.0 311040000 5000 15000
sudoku-N30-4 20 3760.20 3778.68 462.0 311040000 5000 15000
sudoku-N30-6 20 289.48 290.79 448.0 311040000 5000 15000
sudoku-N30-7 1 4977.06 5001.03 452.0 311040000 5000 15000
sudoku-N30-8 20 3680.86 3695.31 460.0 311040000 5000 15000
sum_of_three_cubes_165_known_representation 10 17.32 17.48 612.0 311040000 5000 15000
sum_of_three_cubes_165_unknown_representation 1 4978.85 5001.03 1148.0 311040000 5000 15000
sum_of_three_cubes_33_known_representation 10 9.86 9.98 489.0 311040000 5000 15000
sum_of_three_cubes_33_unknown_representation 1 4976.22 5001.03 1148.0 311040000 5000 15000
sum_of_three_cubes_3_unknown_representation 1 4978.82 5001.03 1123.0 311040000 5000 15000
sum_of_three_cubes_906_unknown_representation 1 4976.78 5001.03 1122.0 311040000 5000 15000
sum_of_three_cubes_still_open 1 4975.95 5001.03 1132.0 311040000 5000 15000
sum_of_three_cubes_still_open_large 1 4977.30 5001.03 2793.0 311040000 5000 15000
summle_X111102_steps8_I1-2-2-4-4-8-25-100 10 42.74 43.27 33.0 311040000 5000 15000
summle_X111104_steps6_I1-2-2-4-4-8-25-100 10 90.43 90.85 24.0 311040000 5000 15000
summle_X111107_steps8_I1-2-2-4-4-8-25-100 10 251.57 252.62 42.0 311040000 5000 15000
summle_X111113_steps7_I1-2-2-4-4-8-25-100 10 426.89 428.81 34.0 311040000 5000 15000
summle_X111117_steps8_I1-2-2-4-4-8-25-100 10 26.56 26.98 33.0 311040000 5000 15000
summle_X111119_steps7_I1-2-2-4-4-8-25-100 10 68.24 68.65 23.0 311040000 5000 15000
summle_X111121_steps7_I1-2-2-4-4-8-25-100 10 81.88 82.30 25.0 311040000 5000 15000
summle_X11113_steps8_I1-2-2-4-4-8-25-100 10 60.92 61.29 30.0 311040000 5000 15000
summle_X8634_steps8_I1-2-2-4-4-8-25-100 10 17.52 17.65 33.0 311040000 5000 15000
summle_X8637_steps8_I1-2-2-4-4-8-25-100 10 19.93 20.07 32.0 311040000 5000 15000
summle_X8639_steps8_I1-2-2-4-4-8-25-100 10 45.31 45.54 28.0 311040000 5000 15000
summle_X8646_steps8_I1-2-2-4-4-8-25-100 10 12.04 12.20 31.0 311040000 5000 15000
summle_X8651_steps8_I1-2-2-4-4-8-25-100 10 16.02 16.14 30.0 311040000 5000 15000
sv-comp19_prop-reachsafety.triangular-longer_false-unreach-call.i-witness 10 59.70 60.27 41.0 311040000 5000 15000
traffic_f_unknown 20 100.21 100.70 96.0 311040000 5000 15000
tseitin_grid_n14_m14 1 4980.39 5001.03 102.0 311040000 5000 15000
tseitin_grid_n16_m16 1 4980.88 5001.03 111.0 311040000 5000 15000
tseitin_n192_d3 1 4978.56 5001.03 138.0 311040000 5000 15000
tseitin_n196_d3 1 4975.42 5001.03 152.0 311040000 5000 15000
tseitin_n200_d3 1 4979.43 5001.03 164.0 311040000 5000 15000
urquhart3_25bis.shuffled 20 3.18 3.26 10.0 311040000 5000 15000
velev-vliw-sat-4.0-b8 10 48.68 48.95 974.0 311040000 5000 15000
vlsat2_113_1150 10 0.70 0.73 41.0 311040000 5000 15000
vlsat2_24450_2770239.dimacs 10 169.54 170.35 195.0 311040000 5000 15000
vlsat2_57038_10572502.dimacs 10 75.55 75.94 572.0 311040000 5000 15000
worker_20_20_16_0.9 1 4978.44 5001.03 148.0 311040000 5000 15000
worker_20_60_20_0.9 1 4980.13 5001.03 435.0 311040000 5000 15000
worker_30_120_30_0.8 1 4976.28 5001.03 430.0 311040000 5000 15000
worker_40_40_30_0.9 1 4978.62 5001.03 268.0 311040000 5000 15000
worker_40_80_35_0.85 1 4977.77 5001.03 358.0 311040000 5000 15000
worker_40_80_40_0.85 1 4974.21 5001.03 531.0 311040000 5000 15000
worker_500_500_500_0.35 10 6.36 6.50 411.0 311040000 5000 15000
worker_50_150_40_0.85 1 4983.95 5001.03 492.0 311040000 5000 15000
worker_50_50_50_0.85 1 4980.10 5001.03 416.0 311040000 5000 15000
worker_80_80_80_0.8 1 4976.55 5001.03 796.0 311040000 5000 15000
xor_op_n44_d3 1 4979.76 5001.03 206.0 311040000 5000 15000
