 result time real space tlim rlim slim
003-23-80 1 4976.17 5001.04 340.0 311040000 5000 15000
005-80-12 10 1342.13 1348.84 474.0 311040000 5000 15000
006 10 1775.22 1783.03 300.0 311040000 5000 15000
008-80-8 10 1423.05 1429.45 465.0 311040000 5000 15000
20-100-lambda100-49_sat 10 125.25 125.98 100.0 311040000 5000 15000
20-100-lambda100-89_sat 10 168.66 171.27 95.0 311040000 5000 15000
20-100-p100-55_sat 10 809.57 814.37 321.0 311040000 5000 15000
20180321_140826713_p_cnf_320_1120 10 5.26 5.40 28.0 311040000 5000 15000
3d_perfect_euler_bricks 1 4977.85 5001.05 473.0 311040000 5000 15000
4d_euler_bricks 1 4974.22 5001.05 640.0 311040000 5000 15000
4d_perfect_euler_bricks 1 4976.17 5001.05 816.0 311040000 5000 15000
4g_5color_166_100_02 10 260.13 261.75 10024.0 311040000 5000 15000
50bits_11.dimacs 10 603.28 606.23 89.0 311040000 5000 15000
52bits_12.dimacs 10 2168.73 2177.50 177.0 311040000 5000 15000
6-4-6-sc2018 1 4980.06 5001.04 238.0 311040000 5000 15000
6s105_Iter35 20 329.75 331.37 120.0 311040000 5000 15000
6s105_Iter99 1 4973.30 5001.06 445.0 311040000 5000 15000
6s133-sc2014 20 303.53 305.09 108.0 311040000 5000 15000
6s158_Iter2 20 265.52 266.87 88.0 311040000 5000 15000
6s184 20 332.87 334.72 98.0 311040000 5000 15000
6s186_Iter20 20 181.01 182.05 82.0 311040000 5000 15000
6s186_Iter99 1 4977.87 5001.04 631.0 311040000 5000 15000
6s22_Iter57 20 321.73 323.31 454.0 311040000 5000 15000
6s22_Iter99 1 4977.84 5001.04 1217.0 311040000 5000 15000
6s320rb1_Iter8 20 230.05 231.28 117.0 311040000 5000 15000
6s320rb1_Iter9 10 82.13 83.22 128.0 311040000 5000 15000
8-5-6 10 914.47 918.95 443.0 311040000 5000 15000
9dlx_vliw_at_b_iq6 20 405.33 407.44 1021.0 311040000 5000 15000
Break_16_56.xml 10 49.96 50.37 89.0 311040000 5000 15000
Break_20_36.xml 1 4975.13 5001.06 672.0 311040000 5000 15000
Break_20_54.xml 1 4977.36 5001.04 872.0 311040000 5000 15000
Break_triple_12_30.xml 10 22.11 22.40 56.0 311040000 5000 15000
Break_triple_18_48.xml 10 745.44 748.43 501.0 311040000 5000 15000
Break_triple_20_54.xml 1 4975.03 5001.05 734.0 311040000 5000 15000
Break_triple_20_72.xml 10 4322.98 4344.49 1133.0 311040000 5000 15000
Break_unsat_10_15.xml 1 4977.21 5001.05 279.0 311040000 5000 15000
Break_unsat_12_19.xml 1 4977.72 5001.04 281.0 311040000 5000 15000
BubbleVsPancakeSort_6_6 20 47.16 47.56 38.0 311040000 5000 15000
Carry_Bits_Fast_12.cnf 10 5.13 5.27 32.0 311040000 5000 15000
Carry_Bits_Fast_16.cnf 10 48.75 49.04 62.0 311040000 5000 15000
Carry_Bits_Fast_18.cnf 10 22.54 22.79 40.0 311040000 5000 15000
Carry_Bits_Fast_23.cnf 10 1.76 1.96 27.0 311040000 5000 15000
Carry_Bits_Fast_4.cnf 10 0.75 0.91 26.0 311040000 5000 15000
Carry_Bits_Fast_5.cnf 10 14.61 14.76 46.0 311040000 5000 15000
Carry_Bits_Fast_8.cnf 10 14.31 14.48 46.0 311040000 5000 15000
Carry_Save_Fast_1.cnf 10 3.80 3.95 43.0 311040000 5000 15000
Carry_Save_Fast_2.cnf 10 12.39 12.54 64.0 311040000 5000 15000
Carry_Save_Fast_3.cnf 10 13.44 13.70 52.0 311040000 5000 15000
DLTM_twitter690_74_16 10 34.32 34.63 96.0 311040000 5000 15000
Eternity-10-06_c18 10 80.08 80.59 79.0 311040000 5000 15000
GP_100_948_32 10 219.61 220.91 10971.0 311040000 5000 15000
GP_100_948_33 10 220.05 223.73 10968.0 311040000 5000 15000
GP_100_948_34 10 220.05 223.92 10971.0 311040000 5000 15000
GP_100_950_32 10 226.65 228.08 12636.0 311040000 5000 15000
GP_100_950_33 10 224.84 226.17 12639.0 311040000 5000 15000
GP_100_950_34 10 226.97 228.30 12637.0 311040000 5000 15000
GP_100_951_35 10 225.10 227.32 12797.0 311040000 5000 15000
GP_100_951_37 10 221.02 225.76 12798.0 311040000 5000 15000
GP_120_400_15 10 97.24 97.88 4424.0 311040000 5000 15000
GP_200_313_5 10 143.79 144.70 6976.0 311040000 5000 15000
GP_300_250_15 10 162.71 163.80 7705.0 311040000 5000 15000
GP_500_200_20 10 172.13 173.24 8773.0 311040000 5000 15000
GP_81_430_13 10 75.14 75.73 3616.0 311040000 5000 15000
ITC2021_Early_4.xml 1 4974.82 5001.06 677.0 311040000 5000 15000
ITC2021_Late_1.xml 10 99.36 99.92 109.0 311040000 5000 15000
ITC2021_Late_2.xml 1 4975.38 5001.05 530.0 311040000 5000 15000
ITC2021_Late_6.xml 10 72.49 73.08 99.0 311040000 5000 15000
Kakuro-easy-112-ext.xml.hg_7 10 645.09 647.96 3793.0 311040000 5000 15000
Kakuro-easy-117-ext.xml.hg_5 10 395.01 397.03 3452.0 311040000 5000 15000
Kakuro-easy-125-ext.xml.hg_4 20 3218.87 3234.47 3894.0 311040000 5000 15000
LABS_n041_goal003 10 890.04 894.17 84.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemovePrefix 2 133.41 135.05 15147.0 311040000 5000 15000
Lab-Project-FreeRTOS-Cellular-Library:Cellular_ATRemoveTrailingWhiteSpaces 20 471.03 473.45 3522.0 311040000 5000 15000
Nb52T6 20 1168.57 1174.20 2996.0 311040000 5000 15000
Nb8T61 10 494.31 496.37 441.0 311040000 5000 15000
PancakeVsInsertSort_6_7 20 60.11 60.57 44.0 311040000 5000 15000
PancakeVsInsertSort_7_7 20 435.43 437.60 81.0 311040000 5000 15000
PancakeVsInsertSort_7_8 20 667.39 670.40 90.0 311040000 5000 15000
PancakeVsInsertSort_8_5 20 3296.76 3307.31 155.0 311040000 5000 15000
PancakeVsInsertSort_8_6 20 3082.95 3096.13 136.0 311040000 5000 15000
PancakeVsInsertSort_8_7 1 4975.73 5001.05 206.0 311040000 5000 15000
PancakeVsInsertSort_9_3 20 585.04 587.27 79.0 311040000 5000 15000
PancakeVsInsertSort_9_4 1 4975.02 5001.04 222.0 311040000 5000 15000
PancakeVsSelectionSort_7_6 20 2387.78 2399.64 160.0 311040000 5000 15000
PancakeVsSelectionSort_7_7 20 3844.21 3859.96 211.0 311040000 5000 15000
PancakeVsSelectionSort_8_3 20 345.91 347.54 66.0 311040000 5000 15000
PancakeVsSelectionSort_8_4 20 4549.00 4569.35 183.0 311040000 5000 15000
SAT_H_instances_childsnack_p06.hddl_2 10 405.49 407.13 10338.0 311040000 5000 15000
SAT_H_instances_childsnack_p10.hddl_2 2 60.51 61.85 15000.0 311040000 5000 15000
SAT_MS_sat_nurikabe_p16.pddl_166 2 1.77 2.85 15095.0 311040000 5000 15000
SAT_MS_sat_snake_p01.pddl_39 2 87.68 89.05 15289.0 311040000 5000 15000
SAT_dat.k80 20 143.14 143.98 88.0 311040000 5000 15000
SC21_Timetable_C_527_E_71_Cl_35_S_35 10 104.45 105.19 749.0 311040000 5000 15000
SC21_Timetable_C_542_E_71_Cl_36_S_35 10 102.81 103.43 759.0 311040000 5000 15000
SC22_Timetable_C_436_E_39_Cl_29_S_27 1 4977.80 5001.04 887.0 311040000 5000 15000
SC22_Timetable_C_436_E_40_Cl_29_S_27 1 4977.30 5001.05 1213.0 311040000 5000 15000
SC22_Timetable_C_436_E_41_Cl_29_S_27 1 4975.89 5001.06 1107.0 311040000 5000 15000
SC22_Timetable_C_436_E_42_Cl_29_S_27 1 4977.07 5001.04 952.0 311040000 5000 15000
SC22_Timetable_C_436_E_43_Cl_29_S_27 1 4975.64 5001.05 968.0 311040000 5000 15000
SC22_Timetable_C_451_E_43_Cl_30_S_27 1 4975.53 5001.05 926.0 311040000 5000 15000
SC22_Timetable_C_451_E_45_Cl_30_S_27 1 4974.30 5001.06 1400.0 311040000 5000 15000
SC22_Timetable_C_451_E_46_Cl_30_S_27 1 4981.17 5001.04 4396.0 311040000 5000 15000
SC22_Timetable_C_451_E_48_Cl_30_S_27 1 4981.89 5001.05 4256.0 311040000 5000 15000
SC22_Timetable_C_451_E_50_Cl_30_S_28 10 736.73 740.86 702.0 311040000 5000 15000
SCPC-500-10 20 33.65 33.94 39.0 311040000 5000 15000
SCPC-500-11 20 103.25 103.90 47.0 311040000 5000 15000
SCPC-500-15 20 36.07 36.44 37.0 311040000 5000 15000
SCPC-500-16 20 75.67 76.14 42.0 311040000 5000 15000
SCPC-500-17 20 91.26 91.83 50.0 311040000 5000 15000
SCPC-500-18 20 30.03 30.33 38.0 311040000 5000 15000
SCPC-500-19 20 24.49 24.91 32.0 311040000 5000 15000
SCPC-500-2 20 37.12 37.46 39.0 311040000 5000 15000
SCPC-500-20 20 28.97 29.27 33.0 311040000 5000 15000
SCPC-500-4 20 33.57 33.92 35.0 311040000 5000 15000
SCPC-500-7 20 32.83 33.15 36.0 311040000 5000 15000
SCPC-500-8 20 37.88 38.18 40.0 311040000 5000 15000
SCPC-500-9 20 28.81 29.18 33.0 311040000 5000 15000
SE_PR_stb_588_138.apx_1 10 269.94 271.35 65.0 311040000 5000 15000
UNSAT_H_instances_childsnack_p12.hddl_1 2 1.87 2.94 15579.0 311040000 5000 15000
UNSAT_MS_opt_snake_p20.pddl_29 2 116.65 118.15 15172.0 311040000 5000 15000
UTI-20-10p0-sc2009 20 278.30 279.74 358.0 311040000 5000 15000
Wallace_Bits_Fast_2.cnf 10 0.75 0.88 27.0 311040000 5000 15000
Wallace_Bits_Fast_3.cnf 10 39.87 40.29 85.0 311040000 5000 15000
Wallace_Bits_Fast_7.cnf 10 1.84 2.51 76.0 311040000 5000 15000
ablmulub16x4o 20 114.47 115.14 40.0 311040000 5000 15000
abw-V-nos6.mtx-w220 10 1559.70 1566.37 7016.0 311040000 5000 15000
aes_32_2_keyfind_1 1 4979.30 5001.05 170.0 311040000 5000 15000
af-synthesis_stb_50_100_4_unsat 20 2154.24 2165.28 861.0 311040000 5000 15000
af-synthesis_stb_50_120_4_unsat 20 532.68 535.46 1019.0 311040000 5000 15000
af-synthesis_stb_50_140_0_sat 10 264.10 265.49 957.0 311040000 5000 15000
af-synthesis_stb_50_140_1_sat 10 302.22 303.65 906.0 311040000 5000 15000
af-synthesis_stb_50_140_3_sat 10 206.41 207.35 1016.0 311040000 5000 15000
af-synthesis_stb_50_200_4_sat 10 223.18 224.39 1305.0 311040000 5000 15000
af-synthesis_stb_50_20_8_sat 10 267.96 269.26 239.0 311040000 5000 15000
af-synthesis_stb_50_20_8_unsat 20 599.56 601.85 241.0 311040000 5000 15000
af-synthesis_stb_50_40_2_sat 10 468.63 470.87 437.0 311040000 5000 15000
af-synthesis_stb_50_80_7_sat 10 406.67 408.53 661.0 311040000 5000 15000
af-synthesis_stb_50_80_7_unsat 20 710.87 714.29 661.0 311040000 5000 15000
atco_enc1_opt2_10_15 20 122.79 123.53 61.0 311040000 5000 15000
atco_enc1_opt2_10_16-sc2014 10 41.76 42.22 61.0 311040000 5000 15000
atco_enc3_opt1_03_53 10 209.23 210.54 1312.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_remove_node 20 488.40 490.89 3975.0 311040000 5000 15000
aws-c-common:aws_priority_queue_s_sift_either 20 348.69 350.17 7784.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_enc_ctx_size 20 456.78 458.84 10426.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_hdr_write 20 673.24 676.47 9542.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_keyring_trace_eq 20 537.33 542.41 9735.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_aad 20 1707.96 1713.74 10281.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_alg_id 20 784.16 786.66 9290.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_content_type 20 460.88 463.11 13319.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_edks 20 1222.12 1226.79 8926.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_hdr_parse_iv 20 440.24 442.53 13475.0 311040000 5000 15000
aws-encryption-sdk-c:aws_cryptosdk_priv_try_gen_key 20 937.55 940.82 12733.0 311040000 5000 15000
barman-pfile10-038.sas.ex.15 20 437.67 439.46 1603.0 311040000 5000 15000
beempgsol2b1 20 351.26 352.95 96.0 311040000 5000 15000
bivium-40-200-0s0-0x92fc13b11169afbb2ef11a684d9fe9a19e743cd6aa5ce23fb5-19 20 474.06 476.41 66.0 311040000 5000 15000
bmc_QICE_req_sfl_30 20 3604.60 3620.82 5322.0 311040000 5000 15000
bmc_QICE_rxrsp_vld_30 20 920.16 924.64 5320.0 311040000 5000 15000
bmc_QICE_snp_vld_50 20 1769.62 1778.75 9085.0 311040000 5000 15000
bobsmdct_init_k88 1 4979.15 5001.04 382.0 311040000 5000 15000
bobsmdct_k500 1 4977.61 5001.05 2873.0 311040000 5000 15000
bobsmdct_k88 20 314.76 316.28 318.0 311040000 5000 15000
bz-X-4-7-6 10 204.62 205.81 72.0 311040000 5000 15000
cfi-rigid-d3-0180-02-orig 20 1475.40 1480.76 12292.0 311040000 5000 15000
cfi-rigid-r2-0072-01-or_3 10 306.79 308.40 3319.0 311040000 5000 15000
cfi-rigid-s2-0064-02-or_2 20 1185.97 1191.31 3251.0 311040000 5000 15000
cfi-rigid-s2-0064-03-or_2_shuffle_all 20 1888.27 1897.15 3275.0 311040000 5000 15000
cfi-rigid-s2-0064-04-or_2 20 1304.09 1309.79 3250.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3 10 299.59 301.28 2450.0 311040000 5000 15000
cfi-rigid-t2-0048-01-or_3_shuffle_all 10 358.92 377.63 2446.0 311040000 5000 15000
cfi-rigid-t2-0048-02-or_3_shuffle_all 10 359.43 379.36 2417.0 311040000 5000 15000
cfi-rigid-t2-0048-03-or_3_shuffle_all 10 283.14 284.67 2423.0 311040000 5000 15000
cfi-rigid-z2-0088-01-or_2_shuffle_all 20 740.12 743.60 2906.0 311040000 5000 15000
cfi-rigid-z2-0088-02-or_2_shuffle_all 20 825.86 829.68 2907.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2 20 626.89 630.05 2907.0 311040000 5000 15000
cfi-rigid-z2-0088-03-or_2_shuffle_all 20 871.84 876.03 2906.0 311040000 5000 15000
cliquecoloring_n18_k6_c5 1 4973.12 5001.06 246.0 311040000 5000 15000
cliquecoloring_n60_k5_c4 1 4978.89 5001.06 498.0 311040000 5000 15000
combined-crypto1-wff-seed-108-wffvars-500-cryptocplx-31-overlap-2 10 64.20 64.69 51.0 311040000 5000 15000
coreJSON:skipCollection 10 706.15 709.03 10642.0 311040000 5000 15000
coreMQTT:MQTT_Connect 20 847.33 851.32 5522.0 311040000 5000 15000
coreMQTT:MQTT_SerializeConnect 20 754.62 758.22 2330.0 311040000 5000 15000
corePKCS11:C_CreateObject 20 386.35 388.49 6255.0 311040000 5000 15000
ctl_4291_567_12_unsat 20 270.40 271.86 81.0 311040000 5000 15000
ctl_4291_567_1_unsat_pre 20 976.03 980.74 120.0 311040000 5000 15000
div-mitern164 20 3807.74 3842.32 159.0 311040000 5000 15000
div-mitern165 20 3137.85 3153.31 147.0 311040000 5000 15000
div-mitern167 20 930.56 934.23 97.0 311040000 5000 15000
div-mitern168 20 643.00 646.19 77.0 311040000 5000 15000
div-mitern171 20 103.39 103.84 47.0 311040000 5000 15000
div-mitern174 20 21.91 22.20 33.0 311040000 5000 15000
div_miter_lec_1 1 4977.54 5001.04 241.0 311040000 5000 15000
div_miter_lec_3 1 4979.48 5001.04 295.0 311040000 5000 15000
div_miter_lec_4 1 4978.14 5001.05 278.0 311040000 5000 15000
ecarev-110-4099-22-30-7 10 159.90 160.79 280.0 311040000 5000 15000
edit_distance041_183 20 87.98 88.58 130.0 311040000 5000 15000
eqsparcl12bpwtrc12 1 4979.31 5001.04 161.0 311040000 5000 15000
ex175_20 10 283.62 285.07 2767.0 311040000 5000 15000
frb75-13-2.used-as.sat04-878 10 177.44 178.41 76.0 311040000 5000 15000
g2-mizh-md5-48-2 10 423.62 425.97 199.0 311040000 5000 15000
gaussian.c.75.smt2-cvc4 10 425.79 427.85 2184.0 311040000 5000 15000
grid-color-12-14-10-cb 1 4976.77 5001.05 272.0 311040000 5000 15000
grid-color-12-14-12-cb 1 4976.62 5001.04 247.0 311040000 5000 15000
grid-color-12-14-14-cb 10 429.26 431.56 216.0 311040000 5000 15000
grid-color-12-14-2-cb 10 2944.60 2953.08 224.0 311040000 5000 15000
grid-color-12-14-4-cb 10 219.38 220.54 216.0 311040000 5000 15000
grid-color-12-14-6-cb 10 1653.67 1670.83 215.0 311040000 5000 15000
grid-color-12-14-8-cb 10 478.53 480.46 215.0 311040000 5000 15000
grid-color-14-14-10-cb 1 4978.30 5001.04 297.0 311040000 5000 15000
grid-color-14-14-12-cb 1 4976.98 5001.05 299.0 311040000 5000 15000
grid-color-14-14-14-cb 1 4977.26 5001.05 298.0 311040000 5000 15000
grid-color-14-14-2-cb 1 4977.99 5001.04 298.0 311040000 5000 15000
grid-color-14-14-6-cb 1 4975.59 5001.05 297.0 311040000 5000 15000
grid-color-14-14-8-cb 10 3709.74 3726.47 298.0 311040000 5000 15000
grid-strips-grid-y-3.045-NOTKNOWN 10 696.23 699.69 5289.0 311040000 5000 15000
gss-18-s100 10 9.10 9.47 42.0 311040000 5000 15000
gus-md5-11 20 1085.68 1090.65 119.0 311040000 5000 15000
h31 1 4975.86 5001.05 357.0 311040000 5000 15000
h31_large 1 4975.88 5001.05 1066.0 311040000 5000 15000
hantzsche_wendt_unit_147 1 4978.34 5001.05 308.0 311040000 5000 15000
hantzsche_wendt_unit_83 20 756.56 760.07 108.0 311040000 5000 15000
hantzsche_wendt_unit_92 20 4115.25 4133.88 208.0 311040000 5000 15000
hantzsche_wendt_unit_93 10 312.67 314.32 79.0 311040000 5000 15000
hwmcc15deep-6s516r-k18-sc2017 20 305.47 307.08 116.0 311040000 5000 15000
hyp_cec_multi_1 1 4977.99 5001.05 990.0 311040000 5000 15000
hyp_cec_multi_3 1 4978.10 5001.05 797.0 311040000 5000 15000
hyp_cec_multi_4 1 4975.51 5001.05 812.0 311040000 5000 15000
hyp_cec_multi_5 1 4978.78 5001.04 860.0 311040000 5000 15000
intel036_Iter109 10 45.53 46.36 1488.0 311040000 5000 15000
intel046_Iter124 10 38.32 38.60 252.0 311040000 5000 15000
j3037_10_gmto_b 10 9.75 9.86 34.0 311040000 5000 15000
j3037_10_gmto_bm1 20 43.87 44.26 45.0 311040000 5000 15000
j3037_1_rggt_b 10 24.61 24.89 47.0 311040000 5000 15000
j3037_1_rggt_bm1 20 486.31 488.37 81.0 311040000 5000 15000
j3037_9_gmto_b 10 249.73 251.03 82.0 311040000 5000 15000
j3037_9_gmto_bm1 1 4978.36 5001.06 209.0 311040000 5000 15000
j3037_9_mdd_b 10 18.06 18.38 46.0 311040000 5000 15000
j3045_10_gmto_bm1 1 4978.22 5001.05 215.0 311040000 5000 15000
j3045_10_mdd_bm1 1 4979.86 5001.05 181.0 311040000 5000 15000
j3045_4_gmto_bm1 20 645.89 649.60 86.0 311040000 5000 15000
j3045_4_mdd_b 10 281.18 282.58 72.0 311040000 5000 15000
j3045_4_rggt_bm1 20 414.65 416.63 70.0 311040000 5000 15000
knight_18 10 2209.53 2219.76 1659.0 311040000 5000 15000
ktf_TF-3.tf_3_0.02_24 20 91.17 91.81 58.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind40 20 182.22 183.33 3722.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind41 20 280.79 282.31 4170.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind43 20 292.51 293.95 4511.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind44 20 217.78 218.90 4683.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind48 20 364.24 366.70 5407.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind55 20 598.87 601.61 6806.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind56 20 682.06 685.47 7026.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind59 20 328.92 330.70 7690.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind66 20 765.74 769.62 9482.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind67 20 2055.32 2064.76 9751.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind71 20 1346.77 1352.52 10792.0 311040000 5000 15000
linked_list_swap_contents_safety_unwind74 20 997.57 1002.05 11601.0 311040000 5000 15000
manol-pipe-f7nidw 20 13.82 14.10 264.0 311040000 5000 15000
manthey_single-ordered-initialized-w42-b8 20 94.23 95.44 50.0 311040000 5000 15000
manthey_single-ordered-initialized-w50-b7 20 747.71 751.48 96.0 311040000 5000 15000
md4__zeroOut_19__freeIn_23__seed_2 10 42.84 47.42 52.0 311040000 5000 15000
mdp-28-10-sat 10 764.77 767.75 72.0 311040000 5000 15000
mdp-28-11-unsat 20 1092.56 1097.79 76.0 311040000 5000 15000
mdp-28-12-sat 10 144.78 147.38 50.0 311040000 5000 15000
mdp-28-12-unsat 20 1277.63 1283.20 87.0 311040000 5000 15000
mdp-28-16-sat 10 179.43 180.30 50.0 311040000 5000 15000
mdp-32-12-sat 10 574.10 576.77 71.0 311040000 5000 15000
mdp-32-16-unsat 1 4980.74 5001.05 154.0 311040000 5000 15000
mdp-36-11-sat 1 4976.63 5001.05 148.0 311040000 5000 15000
mdp-36-11-unsat 1 4979.87 5001.05 184.0 311040000 5000 15000
mdp-36-12-sat 1 4978.34 5001.04 170.0 311040000 5000 15000
mdp-36-14-unsat 1 4980.32 5001.04 194.0 311040000 5000 15000
mdp-36-16-sat 1 4979.38 5001.05 168.0 311040000 5000 15000
mdp-36-16-unsat 1 4976.91 5001.05 139.0 311040000 5000 15000
mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519 10 617.99 620.19 63.0 311040000 5000 15000
mp1-21.7 10 79.87 81.81 89.0 311040000 5000 15000
mp1-9_27 10 244.73 246.12 94.0 311040000 5000 15000
mp1-blockpuzzle_5x12_s6_free3 20 249.22 250.56 154.0 311040000 5000 15000
mp1-klieber2017s-0300-034-t12 10 59.03 59.49 41.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abio_SAT 10 34.60 34.83 44.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_abix_SAT 10 134.45 135.32 61.0 311040000 5000 15000
mp1-squ_ali_s10x10_c39_bail_SAT 10 257.00 258.31 72.0 311040000 5000 15000
ncc_none_3001_7_3_3_1_31_435991723 10 45.11 45.49 1734.0 311040000 5000 15000
ncc_none_7047_6_3_3_0_0_420 20 42.79 43.23 1645.0 311040000 5000 15000
ortholatin-7 10 3.91 4.08 48.0 311040000 5000 15000
ota-for-aws-iot-embedded-sdk:parseJSONbyModel 20 602.52 604.92 8966.0 311040000 5000 15000
pj2002_k9 20 480.66 483.02 552.0 311040000 5000 15000
pj2003_k9 20 359.04 361.02 551.0 311040000 5000 15000
pj2005_k80 10 1642.93 1652.12 2413.0 311040000 5000 15000
pj2008_k300 1 4979.95 5001.04 9169.0 311040000 5000 15000
pj2008_k400 1 4981.13 5001.04 12063.0 311040000 5000 15000
pj2015_k9 20 454.52 456.83 625.0 311040000 5000 15000
pj2016_k120 1 4982.09 5001.04 7244.0 311040000 5000 15000
pj2016_k140 1 4971.53 5001.04 8659.0 311040000 5000 15000
pj2016_k80 1 4977.31 5001.05 4904.0 311040000 5000 15000
pj2018_k10 10 283.81 285.52 441.0 311040000 5000 15000
ps_200_300_70 20 46.15 46.50 403.0 311040000 5000 15000
ps_200_323_70 20 51.16 51.55 430.0 311040000 5000 15000
puzzle30_sat 10 386.54 388.31 128.0 311040000 5000 15000
q_query_3_L200_coli.sat 20 273.69 275.23 869.0 311040000 5000 15000
reconf10_140_queen6_1 10 529.15 531.93 594.0 311040000 5000 15000
reconf10_145_queen6_2 10 178.37 179.31 651.0 311040000 5000 15000
reconf10_42_queen20_4_0961 10 1167.07 1172.87 2826.0 311040000 5000 15000
reconf10_68_queen15_2 10 383.85 385.74 2539.0 311040000 5000 15000
reconf10_86_sp003_1 10 996.87 1001.35 279.0 311040000 5000 15000
reconf10_99_Ins_3_1 10 280.35 282.03 916.0 311040000 5000 15000
reconf20_116_le450_25c_1 2 41.49 42.76 15274.0 311040000 5000 15000
reconf20_20_grid10_1_6141 20 737.02 740.73 169.0 311040000 5000 15000
reconf20_20_grid10_4_4957 20 200.82 201.64 119.0 311040000 5000 15000
reconf20_26_3-FullIns_4_1 20 305.89 307.85 1149.0 311040000 5000 15000
reconf20_320_hc-square-2_1 20 384.63 386.47 1777.0 311040000 5000 15000
reconf20_50_grid10_3_6844 20 619.39 622.43 370.0 311040000 5000 15000
reconf20_61_myciel4_2 20 18.00 18.31 90.0 311040000 5000 15000
rphp_p105_r105 1 4977.85 5001.04 2420.0 311040000 5000 15000
rphp_p14_r14 1 4977.29 5001.05 200.0 311040000 5000 15000
rphp_p6_r28 20 2808.93 2822.62 166.0 311040000 5000 15000
rphp_p90_r90 1 4975.65 5001.05 2785.0 311040000 5000 15000
rphp_p95_r95 1 4976.14 5001.04 2985.0 311040000 5000 15000
rubikcube701-sc2017 20 1390.71 1397.50 124.0 311040000 5000 15000
s2n:s2n_stuffer_private_key_from_pem 20 366.95 368.41 4963.0 311040000 5000 15000
s2n:s2n_stuffer_write_base64 20 680.07 682.80 11938.0 311040000 5000 15000
satch2ways12u 20 7.41 7.66 43.0 311040000 5000 15000
satcoin-genesis-SAT-4 10 2.90 3.05 194.0 311040000 5000 15000
satcoin-genesis-SAT-5 10 2.63 2.85 194.0 311040000 5000 15000
satcoin-genesis-SAT-8192 10 316.92 318.61 196.0 311040000 5000 15000
sha256__zeroOut_12__freeIn_16__seed_1 10 2146.25 2156.88 395.0 311040000 5000 15000
sin-mitern28 20 52.96 53.32 45.0 311040000 5000 15000
sin-mitern29 20 25.63 25.97 39.0 311040000 5000 15000
sin_depth_miter_1 1 4975.58 5001.05 799.0 311040000 5000 15000
sin_depth_miter_2 1 4974.62 5001.05 221.0 311040000 5000 15000
sin_depth_miter_4 20 1078.20 1084.09 97.0 311040000 5000 15000
sin_depth_miter_5 1 4975.19 5001.04 208.0 311040000 5000 15000
sin_depth_miter_6 1 4973.29 5001.05 220.0 311040000 5000 15000
sin_depth_miter_8 1 4975.07 5001.05 313.0 311040000 5000 15000
size_5_5_5_i198_r12 10 1171.46 1175.58 173.0 311040000 5000 15000
smtlib-qfbv-aigs-countbits128-tseitin 20 2268.61 2279.42 221.0 311040000 5000 15000
soelberg_unit_109 20 212.18 213.51 68.0 311040000 5000 15000
soelberg_unit_158 1 4976.50 5001.05 344.0 311040000 5000 15000
soelberg_unit_159 1 4974.55 5001.05 312.0 311040000 5000 15000
soelberg_unit_223 1 4975.50 5001.06 536.0 311040000 5000 15000
spg_420_280 20 89.76 90.36 869.0 311040000 5000 15000
sqrt-mitern168 20 1188.82 1194.31 90.0 311040000 5000 15000
sqrt-mitern172 20 42.16 42.49 39.0 311040000 5000 15000
sqrt_ineq_3.c 10 23.55 23.79 206.0 311040000 5000 15000
ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418 1 4984.72 5001.04 253.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_670 20 492.88 495.20 4470.0 311040000 5000 15000
string_compare_safety_cbmc_unwinding_730 20 535.18 537.85 4994.0 311040000 5000 15000
sudoku-N30-10 1 4976.11 5001.05 895.0 311040000 5000 15000
sudoku-N30-11 20 2823.58 2840.63 896.0 311040000 5000 15000
sudoku-N30-20 20 4337.51 4359.03 895.0 311040000 5000 15000
sudoku-N30-22 20 135.01 136.34 897.0 311040000 5000 15000
sudoku-N30-24 20 268.40 270.45 897.0 311040000 5000 15000
sudoku-N30-27 20 134.12 134.82 895.0 311040000 5000 15000
sudoku-N30-29 20 3237.07 3253.67 897.0 311040000 5000 15000
sudoku-N30-4 20 3087.20 3113.03 897.0 311040000 5000 15000
sudoku-N30-6 20 247.72 249.02 898.0 311040000 5000 15000
sudoku-N30-7 1 4976.45 5001.04 899.0 311040000 5000 15000
sudoku-N30-8 20 3244.09 3260.23 897.0 311040000 5000 15000
sum_of_three_cubes_165_known_representation 10 330.43 332.24 1523.0 311040000 5000 15000
sum_of_three_cubes_165_unknown_representation 1 4975.55 5001.04 2794.0 311040000 5000 15000
sum_of_three_cubes_33_known_representation 1 4984.27 5001.04 1231.0 311040000 5000 15000
sum_of_three_cubes_33_unknown_representation 1 4975.64 5001.05 2794.0 311040000 5000 15000
sum_of_three_cubes_3_unknown_representation 1 4974.82 5001.05 2791.0 311040000 5000 15000
sum_of_three_cubes_906_unknown_representation 1 4975.98 5001.05 2795.0 311040000 5000 15000
sum_of_three_cubes_still_open 1 4973.56 5001.04 2808.0 311040000 5000 15000
sum_of_three_cubes_still_open_large 1 4975.86 5001.05 7159.0 311040000 5000 15000
summle_X111102_steps8_I1-2-2-4-4-8-25-100 10 64.18 64.63 114.0 311040000 5000 15000
summle_X111104_steps6_I1-2-2-4-4-8-25-100 10 109.46 110.19 86.0 311040000 5000 15000
summle_X111107_steps8_I1-2-2-4-4-8-25-100 10 463.43 465.44 112.0 311040000 5000 15000
summle_X111113_steps7_I1-2-2-4-4-8-25-100 10 99.92 100.56 100.0 311040000 5000 15000
summle_X111117_steps8_I1-2-2-4-4-8-25-100 10 26.64 27.11 114.0 311040000 5000 15000
summle_X111119_steps7_I1-2-2-4-4-8-25-100 10 24.41 24.86 100.0 311040000 5000 15000
summle_X111121_steps7_I1-2-2-4-4-8-25-100 10 109.94 110.57 98.0 311040000 5000 15000
summle_X11113_steps8_I1-2-2-4-4-8-25-100 10 28.88 29.20 113.0 311040000 5000 15000
summle_X8634_steps8_I1-2-2-4-4-8-25-100 10 84.37 84.98 113.0 311040000 5000 15000
summle_X8637_steps8_I1-2-2-4-4-8-25-100 10 19.97 20.20 113.0 311040000 5000 15000
summle_X8639_steps8_I1-2-2-4-4-8-25-100 10 22.63 22.96 111.0 311040000 5000 15000
summle_X8646_steps8_I1-2-2-4-4-8-25-100 10 23.28 23.59 111.0 311040000 5000 15000
summle_X8651_steps8_I1-2-2-4-4-8-25-100 10 7.18 7.44 114.0 311040000 5000 15000
sv-comp19_prop-reachsafety.triangular-longer_false-unreach-call.i-witness 10 449.40 451.53 179.0 311040000 5000 15000
traffic_f_unknown 20 177.47 178.44 211.0 311040000 5000 15000
tseitin_grid_n14_m14 1 4977.81 5001.05 177.0 311040000 5000 15000
tseitin_grid_n16_m16 1 4977.94 5001.05 171.0 311040000 5000 15000
tseitin_n192_d3 1 4981.42 5001.05 251.0 311040000 5000 15000
tseitin_n196_d3 1 4980.63 5001.05 223.0 311040000 5000 15000
tseitin_n200_d3 1 4979.43 5001.05 232.0 311040000 5000 15000
urquhart3_25bis.shuffled 20 12.63 12.82 28.0 311040000 5000 15000
velev-vliw-sat-4.0-b8 10 284.70 286.12 13925.0 311040000 5000 15000
vlsat2_113_1150 10 21.84 22.10 270.0 311040000 5000 15000
vlsat2_24450_2770239.dimacs 10 54.56 54.94 622.0 311040000 5000 15000
vlsat2_57038_10572502.dimacs 1 4972.51 5001.06 3281.0 311040000 5000 15000
worker_20_20_16_0.9 1 4977.45 5001.05 215.0 311040000 5000 15000
worker_20_60_20_0.9 1 4976.19 5001.06 223.0 311040000 5000 15000
worker_30_120_30_0.8 1 4979.74 5001.05 276.0 311040000 5000 15000
worker_40_40_30_0.9 1 4977.10 5001.05 267.0 311040000 5000 15000
worker_40_80_35_0.85 1 4977.07 5001.05 293.0 311040000 5000 15000
worker_40_80_40_0.85 1 4976.64 5001.05 305.0 311040000 5000 15000
worker_500_500_500_0.35 10 215.88 216.96 2483.0 311040000 5000 15000
worker_50_150_40_0.85 1 4978.53 5001.05 310.0 311040000 5000 15000
worker_50_50_50_0.85 1 4976.24 5001.06 316.0 311040000 5000 15000
worker_80_80_80_0.8 1 4978.05 5001.05 402.0 311040000 5000 15000
xor_op_n44_d3 1 4976.89 5001.07 425.0 311040000 5000 15000
