Tool ULTIMATE Automizer 0.1.23-502d2f42
Limits timelimit: 600 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-10-12 20:38:00 CEST
Run set Automizer HeapSeparator Automizer+HeapSeparator
Options --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBpl.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/IcfgTransformer.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf --generate-csv --csv-dir csv -tc ../../../trunk/examples/toolchains/AutomizerBplTransformed.xml -s ../../../trunk/examples/settings/heapseparator/heapsep-2018-09-18.epf
../../../trunk/examples/programs/20181010-MemSafetyPathprograms/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
20051113-1.c_false-valid-memtrack.i_11.bpl true 441    369    1381736448 unknown 82.9  55.7  2804527104 true 513    417    2858098688
20051113-1.c_false-valid-memtrack.i_13.bpl true 453    377    1471557632 unknown 105    77.6  2812198912 true 516    426    2853240832
20051113-1.c_false-valid-memtrack.i_15.bpl true 449    374    1412833280 unknown 132    99.7  2823876608 true 546    454    2856480768
20051113-1.c_false-valid-memtrack.i_17.bpl true 457    378    1421926400 unknown 184    149    2838913024 true 597    502    2869760000
20051113-1.c_false-valid-memtrack.i_20.bpl true 135    100    1451139072 timeout 600    566    2825150464 timeout 600    564    2858037248
20051113-1.c_false-valid-memtrack.i_22.bpl true 456    379    1436057600 timeout 600    565    2910822400 timeout 601    567    2952335360
20051113-1.c_false-valid-memtrack.i_25.bpl true 456    381    1477529600 timeout 601    568    3003269120 timeout 601    573    2822635520
20051113-1.c_false-valid-memtrack.i_29.bpl true 106    75.0  1335136256 timeout 600    566    2918006784 timeout 601    569    2813927424
20051113-1.c_false-valid-memtrack.i_31.bpl true 450    376    1483870208 timeout 600    567    2914967552 timeout 601    565    2932346880
20051113-1.c_false-valid-memtrack.i_33.bpl true 457    381    1486209024 timeout 600    564    2825306112 timeout 601    570    2822836224
20051113-1.c_false-valid-memtrack.i_35.bpl true 456    379    1533722624 timeout 601    573    2916069376 timeout 601    567    2914045952
20051113-1.c_false-valid-memtrack.i_38.bpl true 457    379    1453850624 timeout 600    565    2826375168 timeout 601    569    2960080896
20051113-1.c_false-valid-memtrack.i_40.bpl true 456    381    1486897152 timeout 601    569    2823548928 timeout 601    570    2822688768
20051113-1.c_false-valid-memtrack.i_42.bpl true 457    380    1468469248 timeout 600    562    2828505088 timeout 600    561    2828509184
20051113-1.c_false-valid-memtrack.i_44.bpl true 456    380    1495810048 timeout 600    566    2819313664 timeout 600    568    2827866112
20051113-1.c_false-valid-memtrack.i_46.bpl true 482    397    1454682112 timeout 601    568    2893291520 timeout 600    565    2933391360
20051113-1.c_false-valid-memtrack.i_5.bpl true 15.4  8.97 544886784 unknown 11.4  6.06 676069376 true 21.3  11.9  692187136
20051113-1.c_false-valid-memtrack.i_7.bpl true 442    368    1358266368 unknown 37.2  19.0  1395658752 true 467    380    2674188288
20051113-1.c_false-valid-memtrack.i_9.bpl true 439    368    1378684928 unknown 54.5  33.2  2083930112 true 479    391    2846568448
960521-1_1_false-valid-free.i_11.bpl true 83.8  62.3  1230307328 unknown 50.1  25.4  1863503872 true 123    83.1  2652663808
960521-1_1_false-valid-free.i_12.bpl true 17.1  10.6  682618880 unknown 467    417    2973790208 true 446    403    2980954112
960521-1_1_true-valid-memsafety.i_11.bpl true 85.4  62.6  1224204288 unknown 50.1  25.4  2003509248 true 69.7  39.4  1938296832
960521-1_false-valid-deref.i_5.bpl timeout 600    525    1342103552 unknown 74.3  42.5  2818068480 timeout 600    510    2852683776
960521-1_false-valid-free.i_5.bpl timeout 600    525    1324359680 unknown 77.4  43.5  2772602880 timeout 600    505    2846580736
960521-1_true-valid-memsafety.i_5.bpl timeout 600    525    1326940160 unknown 70.6  41.1  2811625472 timeout 600    505    2850484224
ArraysOfVariableLength2_true-valid-memsafety.c_10.bpl true 13.2  7.73 480129024 unknown 41.6  23.2  1425391616 true 53.3  29.5  1471852544
ArraysOfVariableLength2_true-valid-memsafety.c_12.bpl true 10.1  5.70 305926144 unknown 40.6  22.6  1473695744 true 45.5  25.2  1446440960
ArraysOfVariableLength2_true-valid-memsafety.c_13.bpl true 13.5  7.98 462749696 unknown 47.3  26.1  1438855168 true 56.8  31.1  1445208064
ArraysOfVariableLength2_true-valid-memsafety.c_14.bpl true 19.0  11.4  694267904 unknown 108    70.5  2957914112 true 109    73.8  2972946432
ArraysOfVariableLength2_true-valid-memsafety.c_16.bpl timeout 601    510    3086204928 unknown 141    97.3  2959753216 timeout 600    488    3226947584
ArraysOfVariableLength2_true-valid-memsafety.c_17.bpl true 12.5  7.40 440639488 unknown 89.5  61.8  2959831040 true 102    68.6  2983530496
ArraysOfVariableLength2_true-valid-memsafety.c_18.bpl timeout 601    521    3057418240 unknown 136    94.8  2954592256 timeout 600    503    3016196096
ArraysOfVariableLength2_true-valid-memsafety.c_19.bpl timeout 601    521    3145011200 unknown 171    131    3055980544 timeout 600    503    3301167104
ArraysOfVariableLength2_true-valid-memsafety.c_20.bpl timeout 601    517    3197771776 unknown 138    97.1  2999193600 timeout 600    486    3037331456
ArraysOfVariableLength2_true-valid-memsafety.c_8.bpl true 8.65 4.92 287256576 unknown 44.2  26.6  1450692608 true 48.3  28.4  1501200384
ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_7.bpl true 11.3  6.56 359886848 error: exception 12.8  6.84 678682624 error: exception 12.6  6.65 674631680
ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_8.bpl true 11.1  6.28 346337280 unknown 13.5  7.13 764645376 true 19.9  10.7  809115648
ArraysOfVariableLength5_true-valid-memsafety.c_10.bpl true 10.9  6.18 323514368 unknown 23.0  11.9  1024778240 true 29.5  15.5  1100914688
ArraysOfVariableLength5_true-valid-memsafety.c_11.bpl true 559    478    3056967680 unknown 95.7  64.6  2897129472 timeout 600    495    3292704768
ArraysOfVariableLength5_true-valid-memsafety.c_12.bpl timeout 601    521    2970599424 unknown 76.9  53.5  2886508544 timeout 601    509    3002380288
ArraysOfVariableLength5_true-valid-memsafety.c_13.bpl true 8.95 5.08 273502208 unknown 80.6  52.9  2894675968 true 96.1  59.4  2889515008
ArraysOfVariableLength5_true-valid-memsafety.c_6.bpl true 8.58 4.85 263663616 unknown 22.8  11.8  1075216384 true 27.9  14.4  1146036224
ArraysOfVariableLength5_true-valid-memsafety.c_8.bpl true 9.34 5.31 280256512 unknown 23.3  12.1  1051721728 true 27.3  14.3  1084100608
ArraysOfVariableLength5_true-valid-memsafety.c_9.bpl true 10.6  5.91 309526528 unknown 26.4  13.7  1146884096 true 37.7  19.5  1189163008
ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_7.bpl true 9.51 5.41 293994496 error: exception 13.4  7.04 680587264 error: exception 12.7  6.73 676917248
ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_8.bpl true 8.58 4.89 260624384 unknown 14.2  7.46 799490048 true 17.4  9.31 818950144
ArraysOfVariableLength_true-valid-memsafety.c_10.bpl true 9.54 5.37 275959808 unknown 12.8  6.74 678531072 true 18.0  9.64 698687488
ArraysOfVariableLength_true-valid-memsafety.c_11.bpl true 20.8  12.6  695422976 unknown 19.0  9.91 993566720 true 35.9  20.1  1050456064
ArraysOfVariableLength_true-valid-memsafety.c_12.bpl timeout 601    523    2898145280 unknown 18.9  9.84 979546112 timeout 601    521    2921648128
ArraysOfVariableLength_true-valid-memsafety.c_13.bpl timeout 600    510    2936803328 unknown 20.1  10.5  998109184 timeout 600    507    2918666240
ArraysOfVariableLength_true-valid-memsafety.c_6.bpl true 8.20 4.63 254889984 unknown 13.1  6.86 684285952 true 15.7  8.35 693825536
ArraysOfVariableLength_true-valid-memsafety.c_7.bpl true 8.55 4.79 249954304 unknown 12.8  6.75 674807808 true 16.7  8.87 693014528
ArraysOfVariableLength_true-valid-memsafety.c_8.bpl true 8.60 4.90 254771200 unknown 12.6  6.65 669917184 true 17.8  9.39 698179584
ArraysOfVariableLength_true-valid-memsafety.c_9.bpl true 13.0  7.53 405839872 unknown 13.5  7.03 676913152 true 21.3  11.6  697311232
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_11.bpl true 9.39 5.16 271400960 unknown 81.7  53.6  2868817920 true 84.2  55.6  2867073024
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_12.bpl timeout 601    520    3062865920 unknown 81.3  57.2  2866298880 timeout 601    513    2946191360
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_13.bpl timeout 601    527    2869506048 unknown 84.8  54.5  2871369728 timeout 601    515    2945998848
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_6.bpl true 10.1  5.71 291352576 error: exception 12.4  6.71 679493632 error: exception 12.5  6.68 674959360
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_7.bpl true 10.1  5.66 313733120 unknown 13.3  7.07 738996224 true 19.1  10.3  786345984
ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_8.bpl true 9.15 5.29 288133120 error: exception 13.5  7.13 682311680 error: exception 12.7  6.72 677376000
ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_9.bpl true 12.9  7.52 447709184 unknown 17.3  9.00 825778176 true 24.4  13.2  853143552
ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_10.bpl timeout 601    527    2939125760 unknown 84.2  54.5  2874703872 timeout 601    518    2902560768
ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_11.bpl true 552    466    3099799552 unknown 101    68.3  2864279552 timeout 600    500    3218989056
ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_9.bpl true 9.09 5.08 280875008 unknown 87.3  54.9  2884861952 true 88.0  56.0  2867126272
add_last-alloca_true-valid-memsafety_true-termination.i_10.bpl true 9.90 5.71 321622016 unknown 19.5  10.1  987820032 true 28.1  14.8  1008156672
add_last-alloca_true-valid-memsafety_true-termination.i_11.bpl true 14.7  8.75 562327552 unknown 20.6  10.6  1021464576 true 31.4  17.0  998588416
add_last-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.1  5.78 301244416 unknown 19.0  9.96 998141952 true 26.5  14.0  1026240512
add_last-alloca_true-valid-memsafety_true-termination.i_9.bpl timeout 601    528    1344356352 unknown 20.5  10.5  977604608 timeout 601    524    2065788928
alternating_list_true-unreach-call_true-valid-memsafety.i_17.bpl true 10.6  6.02 329216000 error: exception 10.2  5.54 662466560 error: exception 10.3  5.49 663384064
alternating_list_true-unreach-call_true-valid-memsafety.i_18.bpl true 11.5  6.73 398241792 error: exception 10.9  5.80 676012032 error: exception 12.0  6.33 678227968
alternating_list_true-unreach-call_true-valid-memsafety.i_20.bpl true 22.1  14.1  686186496 error: exception 8.65 4.78 443023360 error: exception 8.89 4.82 444510208
alternating_list_true-unreach-call_true-valid-memsafety.i_22.bpl true 11.7  6.71 384577536 error: exception 10.8  5.76 666107904 error: exception 11.4  6.12 665370624
alternating_list_true-unreach-call_true-valid-memsafety.i_23.bpl true 12.9  7.55 448094208 error: exception 11.7  6.16 678494208 error: exception 11.6  6.25 681762816
alternating_list_true-unreach-call_true-valid-memsafety.i_24.bpl true 19.9  12.4  698892288 error: exception 11.1  5.91 663744512 error: exception 10.5  5.62 667357184
alternating_list_true-unreach-call_true-valid-memsafety.i_25.bpl true 19.4  12.1  694636544 error: exception 11.3  5.98 666128384 error: exception 10.8  5.80 655564800
alternating_list_true-unreach-call_true-valid-memsafety.i_26.bpl true 24.1  15.7  780120064 error: exception 11.2  5.92 666722304 error: exception 10.4  5.51 665903104
alternating_list_true-unreach-call_true-valid-memsafety.i_27.bpl true 12.4  7.26 428875776 error: exception 11.4  6.04 665239552 error: exception 11.3  6.00 666136576
alternating_list_true-unreach-call_true-valid-memsafety.i_28.bpl true 21.9  13.8  700395520 error: exception 10.9  5.87 678150144 error: exception 11.2  5.99 675282944
alternating_list_true-unreach-call_true-valid-memsafety.i_31.bpl true 20.3  12.7  687308800 error: exception 11.2  5.95 669753344 error: exception 11.0  5.82 665878528
alternating_list_true-unreach-call_true-valid-memsafety.i_33.bpl true 14.3  8.40 556236800 error: exception 11.1  5.93 667783168 error: exception 11.8  6.21 664711168
alternating_list_true-unreach-call_true-valid-memsafety.i_34.bpl true 22.6  14.5  764731392 error: exception 10.9  5.91 667017216 error: exception 11.3  6.00 671211520
alternating_list_true-unreach-call_true-valid-memsafety.i_35.bpl true 78.7  58.7  1209589760 error: exception 12.2  6.48 683945984 error: exception 11.1  5.93 673402880
alternating_list_true-unreach-call_true-valid-memsafety.i_36.bpl true 32.6  21.9  903409664 error: exception 11.2  6.00 666927104 error: exception 11.5  6.15 670027776
alternating_list_true-unreach-call_true-valid-memsafety.i_37.bpl true 33.4  22.6  876072960 error: exception 11.4  6.06 663990272 error: exception 10.5  5.71 661843968
alternating_list_true-unreach-call_true-valid-memsafety.i_38.bpl true 103    80.5  1345216512 error: exception 11.0  5.94 666877952 error: exception 11.3  6.05 673931264
alternating_list_true-unreach-call_true-valid-memsafety.i_39.bpl true 410    360    1383116800 error: exception 11.0  5.88 676294656 error: exception 11.7  6.26 684089344
alternating_list_true-unreach-call_true-valid-memsafety.i_40.bpl true 22.5  14.0  689987584 error: exception 11.4  6.05 664768512 error: exception 11.2  6.01 665317376
alternating_list_true-unreach-call_true-valid-memsafety.i_41.bpl true 46.4  31.6  974278656 error: exception 11.7  6.23 667353088 error: exception 11.1  5.98 667582464
alternating_list_true-unreach-call_true-valid-memsafety.i_42.bpl timeout 600    531    1393254400 error: exception 11.2  5.95 676098048 error: exception 11.9  6.32 682848256
alternating_list_true-unreach-call_true-valid-memsafety.i_43.bpl true 151    125    1542176768 error: exception 11.4  6.11 678219776 error: exception 12.1  6.38 677085184
alternating_list_true-unreach-call_true-valid-memsafety.i_44.bpl true 16.4  9.78 675954688 error: exception 11.4  6.19 679874560 error: exception 12.1  6.46 677453824
alternating_list_true-unreach-call_true-valid-memsafety.i_45.bpl timeout 601    535    1383096320 error: exception 11.4  6.07 666947584 error: exception 11.1  5.90 665104384
alternating_list_true-unreach-call_true-valid-memsafety.i_46.bpl timeout 601    534    1378955264 error: exception 11.8  6.26 677715968 error: exception 11.3  6.06 676810752
alternating_list_true-unreach-call_true-valid-memsafety.i_47.bpl true 199    166    1350479872 error: exception 11.9  6.32 676073472 error: exception 11.3  6.07 674844672
alternating_list_true-unreach-call_true-valid-memsafety.i_48.bpl true 259    219    1386643456 error: exception 12.0  6.38 672907264 error: exception 12.1  6.49 678641664
array01-alloca_true-valid-memsafety_true-termination.i_4.bpl true 15.9  10.0  676040704 error: exception 8.32 4.53 325201920 error: exception 8.52 4.63 334626816
array01-alloca_true-valid-memsafety_true-termination.i_8.bpl true 13.9  8.34 514142208 unknown 9.68 5.23 485310464 true 18.5  10.7  611344384
array02-alloca_true-valid-memsafety_true-termination.i_6.bpl true 15.5  9.83 672722944 error: exception 9.27 5.06 462086144 error: exception 9.24 4.93 469372928
array02-alloca_true-valid-memsafety_true-termination.i_8.bpl true 15.0  8.83 524607488 unknown 11.1  5.93 636190720 true 19.3  11.1  683589632
array03-alloca_true-valid-memsafety_true-termination.i_6.bpl true 17.5  10.8  682692608 unknown 15.6  8.16 808714240 true 28.3  16.2  853643264
array03-alloca_true-valid-memsafety_true-termination.i_8.bpl true 15.7  9.38 590311424 unknown 15.8  8.31 812331008 true 26.4  14.6  840503296
array3_false-valid-deref.i_5.bpl true 7.99 4.51 242323456 unknown 10.5  5.61 673951744 true 13.8  7.38 675762176
array3_false-valid-deref.i_6.bpl timeout 601    524    1317662720 unknown 10.4  5.56 660983808 timeout 601    522    1587449856
array3_false-valid-deref.i_8.bpl timeout 601    501    2450046976 unknown 11.7  6.14 676884480 timeout 601    495    2074771456
bubblesort-alloca_true-valid-memsafety_true-termination.i_7.bpl true 15.3  9.59 657887232 error: exception 10.0  5.38 455643136 error: exception 9.30 5.01 464056320
bubblesort-alloca_true-valid-memsafety_true-termination.i_8.bpl timeout 601    522    1716129792 error: exception 9.54 5.10 472993792 error: exception 9.55 5.09 470036480
count_down-alloca_true-valid-memsafety_true-termination.i_6.bpl true 8.81 4.97 250990592 unknown 12.4  6.59 674217984 true 15.0  8.05 694054912
count_down-alloca_true-valid-memsafety_true-termination.i_7.bpl true 14.5  8.66 501841920 unknown 11.5  6.11 673796096 true 19.9  11.2  700456960
count_down-alloca_true-valid-memsafety_true-termination.i_8.bpl timeout 600    515    1466585088 unknown 15.4  8.10 797118464 timeout 600    516    2131341312
cstrcat-alloca_true-valid-memsafety_true-termination.i_10.bpl timeout 601    539    1284935680 unknown 73.0  43.9  2851520512 timeout 601    524    2874355712
cstrcat-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.5  6.07 332316672 unknown 55.7  31.7  2663006208 true 62.4  35.8  2516541440
cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 40.6  30.2  971231232 timeout 600    554    2986795008 timeout 600    557    3008991232
cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 50.2  37.6  1045737472 timeout 600    547    3001896960 timeout 600    552    2971561984
cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl true 10.1  5.88 301907968 unknown 18.4  9.62 982683648 true 22.4  12.0  992096256
cstrlen-alloca_true-valid-memsafety_true-termination.i_6.bpl true 30.9  22.0  871841792 unknown 20.1  10.4  980803584 true 46.1  29.4  1157304320
cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl timeout 600    540    1283354624 unknown 57.5  34.7  2821476352 timeout 601    523    2862235648
cstrncat-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.2  5.80 308133888 unknown 55.9  29.9  2307395584 true 58.5  31.7  2347913216
cstrncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl true 23.4  15.8  783568896 error: exception 582    542    3017916416 timeout 600    558    2963644416
cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl true 29.5  20.3  813187072 error: exception 217    186    2868887552 error: exception 110    79.1  2838446080
cstrncpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 51.9  39.1  1042026496 timeout 600    550    2947174400 timeout 600    561    2979651584
diff-alloca_true-valid-memsafety_true-termination.i_11.bpl true 20.7  13.4  681152512 error: exception 24.9  12.9  1148297216 error: exception 24.5  12.7  1146105856
diff-alloca_true-valid-memsafety_true-termination.i_14.bpl true 24.1  15.3  791044096 unknown 141    104    2954571776 true 155    114    2943610880
diff-alloca_true-valid-memsafety_true-termination.i_15.bpl true 52.4  37.5  1154740224 unknown 392    344    3267305472 true 422    363    3327696896
diff-alloca_true-valid-memsafety_true-termination.i_9.bpl true 23.6  15.3  729276416 error: exception 32.1  16.5  1174626304 error: exception 31.1  16.0  1166344192
dll_extends_pointer_true-valid-memsafety.i_14.bpl true 14.3  8.33 525647872 timeout 601    555    3023036416 timeout 600    563    3050135552
dll_extends_pointer_true-valid-memsafety.i_15.bpl true 12.4  7.28 437841920 timeout 600    564    3122380800 timeout 600    564    3142365184
dll_extends_pointer_true-valid-memsafety.i_23.bpl true 11.7  6.79 366985216 timeout 600    561    3012804608 timeout 600    561    3085840384
dll_extends_pointer_true-valid-memsafety.i_24.bpl true 13.7  8.44 567918592 timeout 600    559    3117305856 timeout 601    567    2985926656
dll_extends_pointer_true-valid-memsafety.i_28.bpl true 14.7  9.01 572243968 timeout 601    567    3076620288 timeout 600    571    3017687040
java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_10.bpl true 19.9  12.7  685285376 error: exception 9.75 5.23 475844608 error: exception 9.36 5.03 475205632
java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_6.bpl true 14.8  9.15 585191424 error: exception 9.36 5.06 447234048 error: exception 9.37 5.02 449069056
lis-alloca_true-valid-memsafety_true-termination.i_10.bpl true 12.3  7.00 361684992 unknown 240    199    2910191616 true 239    198    2915471360
lis-alloca_true-valid-memsafety_true-termination.i_14.bpl true 18.0  11.5  679530496 unknown 506    462    3078172672 true 512    465    3096207360
lis-alloca_true-valid-memsafety_true-termination.i_5.bpl true 19.1  12.1  680951808 unknown 88.1  59.6  2835697664 true 99.0  66.8  2855628800
lis-alloca_true-valid-memsafety_true-termination.i_7.bpl true 10.9  6.31 357539840 unknown 115    80.1  2843697152 true 123    81.5  2869280768
lis-alloca_true-valid-memsafety_true-termination.i_9.bpl true 15.1  9.10 587198464 unknown 89.1  59.4  2838044672 true 97.9  66.0  2845646848
lis_unsafe_false-valid-deref.i_10.bpl true 19.0  12.0  681172992 unknown 76.0  50.2  2818437120 true 88.4  59.1  2834407424
lis_unsafe_false-valid-deref.i_11.bpl false 9.36 5.21 276414464 unknown 99.5  71.8  2840313856 false 99.6  70.4  2849181696
lis_unsafe_false-valid-deref.i_13.bpl true 12.9  7.50 424562688 unknown 200    162    2877472768 true 204    168    2895294464
memset2_true-valid-memsafety_true-termination.c_4.bpl true 74.4  52.5  1194156032 unknown 7.60 4.23 299560960 true 87.2  63.1  1283915776
memset3_true-valid-memsafety_true-termination.c_4.bpl true 294    237    1336778752 unknown 7.03 3.98 302325760 true 306    246    1439506432
memsetNonZero2_true-valid-memsafety_true-termination.c_4.bpl true 77.1  53.7  1218093056 unknown 7.73 4.21 299728896 true 72.0  51.5  1256144896
memsetNonZero3_true-valid-memsafety_true-termination.c_4.bpl true 293    236    1323241472 unknown 7.62 4.19 304316416 true 296    241    1384976384
memsetNonZero_true-valid-memsafety_true-termination.c_4.bpl true 288    235    1311936512 unknown 7.52 4.15 301907968 true 302    246    1432117248
memset_true-valid-memsafety_true-termination.c_4.bpl true 294    238    1306734592 unknown 6.98 3.89 294244352 true 302    244    1440333824
merge_sort_true-unreach-call_true-valid-memsafety.i_19.bpl timeout 601    545    1549881344 error: exception 9.94 5.30 444522496 error: exception 9.06 4.96 433233920
openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i_5.bpl true 51.9  42.7  789307392 unknown 11.5  6.09 662519808 true 53.0  40.7  970313728
openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i_4.bpl true 23.1  15.4  769986560 error: exception 9.51 5.08 462123008 error: exception 8.90 4.85 464347136
openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i_3.bpl true 48.9  41.1  686292992 error: exception 8.82 4.88 402034688 error: exception 8.99 4.88 401608704
openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i_4.bpl true 22.5  15.1  765558784 unknown 13.3  6.97 681025536 true 30.6  19.3  976011264
openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 27.5  18.7  765247488 unknown 177    138    2885623808 true 213    160    2885513216
openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 38.7  27.3  964616192 unknown 253    211    2936913920 true 267    223    2956201984
openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl true 60.5  45.3  1145352192 error: exception 10.2  5.44 526053376 error: exception 9.95 5.39 526999552
openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_15.bpl true 119    97.8  1263345664 error: exception 10.8  5.74 528793600 error: exception 10.4  5.53 527814656
openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_16.bpl true 69.3  52.7  1168875520 error: exception 10.7  5.76 552484864 error: exception 10.5  5.63 543821824
openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i_9.bpl timeout 601    540    1290424320 unknown 77.8  45.6  2831736832 timeout 601    516    2864668672
openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_13.bpl true 41.7  29.8  1017204736 unknown 140    104    2944438272 true 168    128    2947080192
openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_14.bpl true 58.1  44.1  1136259072 unknown 147    113    2917834752 true 196    148    2945961984
openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_16.bpl true 13.4  7.88 469585920 unknown 128    98.5  2915590144 true 140    105    2947981312
openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 26.5  18.1  784076800 unknown 168    126    2881724416 true 186    141    2905059328
openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 40.6  28.5  979779584 unknown 259    215    2933243904 true 259    221    2958311424
openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_10.bpl true 51.8  38.5  1051459584 unknown 113    78.9  2867474432 true 141    101    2881916928
openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_9.bpl true 38.0  27.5  952348672 timeout 600    560    3015049216 timeout 600    561    3067457536
openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_16.bpl true 51.3  37.7  1040076800 unknown 268    228    2940686336 true 297    251    2962513920
openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_18.bpl true 50.8  37.7  1040424960 error: exception 98.7  64.8  2827501568 error: exception 100    63.5  2833149952
openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl true 27.7  19.2  770719744 unknown 19.3  10.0  1015951360 true 41.7  26.0  1139044352
openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl true 10.7  6.08 322211840 unknown 48.9  28.9  2283687936 true 62.9  35.1  2393968640
openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_12.bpl timeout 601    543    1274793984 unknown 70.0  43.9  2833227776 timeout 601    527    2871050240
openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_14.bpl true 40.1  28.4  972259328 unknown 112    80.3  2904358912 true 138    98.7  2904391680
openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_15.bpl true 58.3  44.8  1124007936 unknown 110    78.0  2915385344 true 164    120    2932473856
openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_16.bpl true 13.4  7.89 477130752 unknown 99.8  71.7  2901196800 true 122    86.3  2916646912
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 53.7  39.3  1046433792 timeout 600    554    3003936768 timeout 600    555    3008462848
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_11.bpl true 27.0  18.4  771325952 timeout 600    557    3043704832 timeout 600    556    3031998464
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl true 26.8  17.7  784257024 error: exception 101    68.2  2843590656 error: exception 108    72.3  2855071744
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_14.bpl true 25.0  16.3  771579904 timeout 600    559    3108364288 timeout 600    557    3104722944
openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_10.bpl true 47.5  34.1  1011613696 unknown 105    73.2  2867671040 true 132    94.1  2876194816
openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_11.bpl true 38.7  27.4  889327616 timeout 600    562    2986422272 timeout 600    564    3013890048
openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_10.bpl true 37.0  26.5  894627840 timeout 600    561    3054018560 timeout 600    565    3016515584
openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_9.bpl true 62.8  48.2  1135738880 unknown 122    89.1  2879725568 true 169    127    2907832320
openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_10.bpl true 33.8  23.1  864559104 unknown 72.7  39.7  2836283392 true 100    58.1  2858369024
openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_13.bpl true 43.3  32.0  961871872 timeout 600    553    3002478592 timeout 600    559    3015921664
optional_data_creation_test04_false-valid-memtrack.i_23.bpl true 11.6  6.59 353484800 error: exception 9.41 5.02 445890560 error: exception 9.17 4.92 445681664
optional_data_creation_test04_false-valid-memtrack.i_25.bpl true 14.5  9.08 651382784 error: exception 9.65 5.15 454250496 error: exception 9.37 5.01 455147520
optional_data_creation_test04_false-valid-memtrack.i_32.bpl true 57.0  35.9  1341771776 error: exception 9.76 5.21 458645504 error: exception 9.80 5.26 462004224
optional_data_creation_test04_false-valid-memtrack.i_35.bpl true 353    300    1436467200 error: exception 9.92 5.23 456314880 error: exception 9.75 5.23 459149312
optional_data_creation_test04_true-valid-memsafety.i_23.bpl true 12.8  7.24 355069952 error: exception 9.45 5.09 453292032 error: exception 9.45 5.05 449712128
optional_data_creation_test04_true-valid-memsafety.i_25.bpl true 14.8  9.30 655618048 error: exception 9.30 5.00 452304896 error: exception 9.64 5.14 457236480
optional_data_creation_test04_true-valid-memsafety.i_32.bpl true 61.8  38.1  1320480768 error: exception 9.84 5.36 462409728 error: exception 9.48 5.09 459948032
optional_data_creation_test04_true-valid-memsafety.i_35.bpl true 367    309    1420705792 error: exception 10.2  5.43 457908224 error: exception 9.57 5.22 463515648
reverse_array_alloca_unsafe_false-valid-deref.i_6.bpl true 14.6  8.69 492183552 error: exception 7.91 4.31 290840576 error: exception 7.45 4.15 299782144
sanfoundry_24_false-valid-deref.i_4.bpl timeout 600    522    1398743040 error: exception 7.52 4.19 287789056 error: exception 7.79 4.29 289763328
selectionsort-alloca_true-valid-memsafety_true-termination.i_13.bpl true 11.7  6.63 345706496 unknown 16.1  8.45 803844096 true 24.8  13.1  842141696
selectionsort-alloca_true-valid-memsafety_true-termination.i_14.bpl true 14.5  8.27 448610304 error: exception 11.3  6.04 658190336 error: exception 11.5  6.12 663085056
selectionsort-alloca_true-valid-memsafety_true-termination.i_15.bpl true 14.0  8.18 479797248 unknown 16.1  8.46 829104128 true 25.2  13.8  842493952
selectionsort-alloca_true-valid-memsafety_true-termination.i_16.bpl true 17.1  10.4  671481856 unknown 64.7  36.2  2641575936 true 69.7  40.8  2579132416
selectionsort-alloca_true-valid-memsafety_true-termination.i_7.bpl true 13.9  8.42 501784576 error: exception 9.46 5.06 462901248 error: exception 9.32 5.02 452620288
selectionsort-alloca_true-valid-memsafety_true-termination.i_8.bpl true 14.1  8.29 486961152 error: exception 9.74 5.18 507129856 error: exception 9.59 5.17 505876480
selectionsort-alloca_true-valid-memsafety_true-termination.i_9.bpl true 10.5  6.03 324022272 error: exception 11.1  5.89 661671936 error: exception 11.3  6.03 668745728
sll-buckets_true-unreach-call_true-valid-memsafety.i_34.bpl true 117    95.1  1253335040 error: exception 10.2  5.53 460132352 error: exception 10.3  5.49 460255232
sll-buckets_true-unreach-call_true-valid-memsafety.i_35.bpl true 85.5  66.9  1274216448 error: exception 10.2  5.52 461291520 error: exception 10.0  5.37 463360000
sll-buckets_true-unreach-call_true-valid-memsafety.i_37.bpl true 103    81.0  1324773376 error: exception 9.63 5.22 459902976 error: exception 10.3  5.49 464056320
sll-buckets_true-unreach-call_true-valid-memsafety.i_41.bpl true 112    89.9  1414197248 error: exception 11.0  5.87 470196224 error: exception 10.4  5.61 460361728
sll-buckets_true-unreach-call_true-valid-memsafety.i_42.bpl true 85.9  66.3  1269329920 error: exception 10.4  5.69 477315072 error: exception 10.5  5.66 474963968
sll-buckets_true-unreach-call_true-valid-memsafety.i_43.bpl true 121    97.1  1398300672 error: exception 10.1  5.46 478412800 error: exception 10.2  5.52 474599424
sll-buckets_true-unreach-call_true-valid-memsafety.i_44.bpl true 104    82.9  1358082048 error: exception 10.6  5.66 460980224 error: exception 10.1  5.55 467406848
sll-buckets_true-unreach-call_true-valid-memsafety.i_45.bpl true 96.0  75.4  1344053248 error: exception 10.4  5.66 459665408 error: exception 10.2  5.51 462004224
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_25.bpl true 13.4  7.84 469364736 error: exception 9.49 5.32 470532096 error: exception 9.64 5.15 483954688
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_26.bpl true 15.9  9.61 619487232 error: exception 9.84 5.28 468504576 error: exception 9.38 5.02 470544384
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_27.bpl true 21.1  12.8  702136320 error: exception 9.69 5.17 469684224 error: exception 9.31 4.99 470216704
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_29.bpl true 22.3  14.2  696877056 error: exception 9.58 5.11 464719872 error: exception 9.60 5.18 466825216
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_35.bpl true 24.1  16.1  788262912 error: exception 9.80 5.25 467914752 error: exception 9.33 5.06 467214336
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_40.bpl true 19.2  12.0  697479168 error: exception 9.78 5.23 470994944 error: exception 9.98 5.32 470380544
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_41.bpl timeout 601    535    1344434176 error: exception 9.50 5.12 476151808 error: exception 10.0  5.37 472580096
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_42.bpl timeout 600    532    1352359936 error: exception 9.47 5.11 474693632 error: exception 9.64 5.32 477155328
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_45.bpl true 13.4  7.97 509517824 error: exception 9.98 5.41 475316224 error: exception 9.63 5.19 476049408
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_46.bpl true 22.2  14.0  699031552 error: exception 10.0  5.35 477315072 error: exception 10.2  5.47 477396992
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_47.bpl true 33.9  22.2  883363840 error: exception 9.73 5.21 484007936 error: exception 9.82 5.29 485228544
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_48.bpl true 39.2  26.1  897183744 error: exception 10.1  5.38 467984384 error: exception 10.1  5.45 479383552
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_49.bpl true 30.9  20.8  899497984 error: exception 9.51 5.17 467148800 error: exception 9.82 5.34 468942848
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_50.bpl true 56.6  40.5  1056518144 error: exception 9.39 5.18 467660800 error: exception 9.93 5.36 465793024
sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_16.bpl true 13.9  7.91 428408832 timeout 600    551    3132092416 timeout 600    549    3112886272
sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_17.bpl true 17.6  10.6  698867712 timeout 600    557    3147788288 timeout 600    556    3158786048
standard_strcpy_false-valid-deref_ground.i_10.bpl timeout 601    529    2080878592 unknown 30.7  15.8  1164615680 timeout 601    521    2871234560
standard_strcpy_false-valid-deref_ground.i_11.bpl true 11.7  6.72 348356608 unknown 44.0  22.5  1567285248 true 51.1  26.3  1599975424
standard_strcpy_false-valid-deref_ground.i_8.bpl timeout 601    528    1443651584 unknown 32.7  16.7  1445527552 timeout 601    515    2823856128
standard_strcpy_original_false-valid-deref.i_7.bpl timeout 601    527    1522053120 unknown 32.4  16.6  1463017472 timeout 601    517    2825080832
standard_strcpy_original_false-valid-deref.i_9.bpl timeout 601    528    2148151296 unknown 30.8  15.8  1165201408 timeout 601    518    2862473216
stroeder1-alloca_true-valid-memsafety_true-termination.i_4.bpl true 17.8  11.3  690814976 error: exception 8.76 4.70 337924096 error: exception 8.28 4.53 337797120
stroeder2-alloca_true-valid-memsafety_true-termination.i_4.bpl true 18.8  11.7  682364928 error: exception 8.19 4.53 335699968 error: exception 8.39 4.61 335306752
stroeder2-alloca_true-valid-memsafety_true-termination.i_8.bpl true 11.7  6.91 399216640 unknown 10.1  5.41 504942592 true 16.3  9.21 623034368
strreplace-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.1  5.87 318451712 unknown 29.3  15.0  1147826176 true 32.7  17.1  1174700032
strreplace-alloca_true-valid-memsafety_true-termination.i_9.bpl true 32.3  22.5  864157696 unknown 30.8  15.8  1416486912 true 57.9  35.7  1820106752
test-0219_true-valid-memsafety.i_25.bpl unknown 7.10 4.00 222707712 error: exception 213    175    2972889088 error: exception 208    176    2981830656
test-0219_true-valid-memsafety.i_26.bpl unknown 7.56 4.22 223367168 error: exception 271    229    3015389184 error: exception 233    198    3001585664
test-0219_true-valid-memsafety.i_34.bpl unknown 8.14 4.59 240140288 timeout 600    552    3070074880 timeout 600    551    3067125760
test-0220_false-valid-memtrack.i_25.bpl unknown 6.91 3.97 223174656 error: exception 219    176    2984148992 error: exception 210    171    2993475584
test-0220_false-valid-memtrack.i_26.bpl unknown 7.40 4.12 223072256 error: exception 272    228    3024642048 error: exception 272    227    3010744320
test-0220_false-valid-memtrack.i_34.bpl unknown 7.49 4.29 240480256 timeout 600    546    3042709504 timeout 600    552    3034075136
test-0521_true-valid-memsafety.i_38.bpl true 43.9  31.9  1059749888 error: exception 12.3  6.54 675856384 error: exception 11.7  6.30 671707136
test-bitfields-2.1_false-valid-free.i_13.bpl true 13.3  7.41 488173568 timeout 600    567    2990088192 timeout 601    577    2951237632
test-bitfields-2.1_false-valid-free.i_15.bpl true 12.8  7.18 514465792 timeout 600    571    2962313216 timeout 600    566    2973851648
test-bitfields-2.1_false-valid-free.i_17.bpl true 19.2  11.7  691310592 timeout 600    576    2950868992 timeout 601    573    2980798464
test-bitfields-2.1_false-valid-free.i_19.bpl true 29.6  18.9  793239552 timeout 600    562    2995593216 timeout 600    574    2970210304
test-bitfields-2.1_true-valid-memsafety_true-termination.i_13.bpl true 11.3  6.35 399331328 timeout 600    568    2993127424 timeout 600    568    2995847168
test-bitfields-2.1_true-valid-memsafety_true-termination.i_16.bpl true 22.5  13.7  699752448 timeout 600    565    2984132608 timeout 600    571    2966044672
test-bitfields-2.1_true-valid-memsafety_true-termination.i_18.bpl true 22.0  14.0  787337216 timeout 600    562    3006128128 timeout 601    572    2984640512
test-bitfields-2_false-valid-deref.i_13.bpl true 13.2  7.42 493051904 timeout 600    567    2983092224 timeout 600    560    2958102528
test-bitfields-2_false-valid-deref.i_15.bpl true 13.3  7.54 519229440 timeout 600    569    3011461120 timeout 600    571    2995245056
test-bitfields-2_true-valid-memsafety_true-termination.i_13.bpl true 13.8  7.60 441012224 timeout 600    561    2993541120 timeout 601    570    2955390976
test-bitfields-2_true-valid-memsafety_true-termination.i_15.bpl true 12.4  6.95 467046400 timeout 600    565    2975313920 timeout 601    570    2985017344
test-bitfields-2_true-valid-memsafety_true-termination.i_17.bpl true 18.0  11.0  688414720 timeout 601    573    2902716416 timeout 601    571    2982895616
test-bitfields-2_true-valid-memsafety_true-termination.i_19.bpl true 24.5  15.8  789233664 timeout 601    571    2972061696 timeout 601    573    2920681472
test-bitfields-2_true-valid-memsafety_true-termination.i_21.bpl true 23.7  15.0  795500544 timeout 600    565    2974269440 timeout 601    570    2994348032
test-bitfields-3.1_true-valid-memsafety_true-termination.i_11.bpl true 34.9  22.4  895750144 timeout 600    568    2964463616 timeout 600    573    2999410688
test-bitfields-3.1_true-valid-memsafety_true-termination.i_7.bpl true 17.8  10.3  689217536 timeout 600    568    2990649344 timeout 600    565    2963259392
test-bitfields-3.1_true-valid-memsafety_true-termination.i_9.bpl true 19.0  10.9  682188800 timeout 600    565    2982162432 timeout 600    572    2975920128
test-bitfields-3_false-valid-deref.i_11.bpl true 30.7  19.5  777650176 timeout 600    570    2957852672 timeout 600    569    2988150784
test-bitfields-3_false-valid-deref.i_7.bpl true 17.8  10.4  687247360 timeout 600    566    2975629312 timeout 600    570    2966900736
test-bitfields-3_false-valid-deref.i_9.bpl true 19.2  11.0  692473856 timeout 600    573    2980225024 timeout 600    567    2990157824
test-bitfields-3_true-valid-memsafety_true-termination.i_11.bpl true 28.4  18.3  781840384 timeout 600    567    3002634240 timeout 600    569    2967506944
test-bitfields-3_true-valid-memsafety_true-termination.i_7.bpl true 18.4  10.7  687226880 timeout 600    571    2977189888 timeout 600    565    2971676672
test-bitfields-3_true-valid-memsafety_true-termination.i_9.bpl true 20.6  11.7  699764736 timeout 600    572    3004481536 timeout 600    570    2977161216
test-memleak_nexttime_true-valid-memsafety_true-termination.i_11.bpl true 12.5  7.03 425316352 error: exception 9.21 5.02 504774656 error: exception 9.38 5.09 505872384
test-memleak_nexttime_true-valid-memsafety_true-termination.i_16.bpl true 25.7  15.9  788242432 error: exception 9.83 5.27 473006080 error: exception 9.99 5.35 469991424
test-memleak_nexttime_true-valid-memsafety_true-termination.i_9.bpl true 15.1  8.52 534061056 error: exception 9.80 5.27 506843136 error: exception 9.68 5.19 504795136
tree_of_cslls_true-valid-memsafety.i_47.bpl true 16.2  9.75 641417216 timeout 600    557    3014066176 timeout 600    549    2994843648
tree_of_cslls_true-valid-memsafety.i_49.bpl true 51.5  36.2  1056317440 timeout 600    559    2981691392 timeout 600    558    3002830848
tree_of_cslls_true-valid-memsafety.i_51.bpl true 36.8  25.5  889610240 timeout 600    558    3006189568 timeout 600    565    3014885376
../../../trunk/examples/programs/20181010-MemSafetyPathprograms/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 268 37000 30800 248307310592 268 45900 40600 458237149184 268 65000 57100 486959292416
    correct results 0 0 0
        correct true 0 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
Run set Automizer HeapSeparator Automizer+HeapSeparator