Tool ULTIMATE Automizer 0.1.23-b8f97f7c
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-10 15:10:49 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 444    372    1409798144 unknown 59.7  35.4  2099294208 true 509    410    2848747520
20051113-1.c_false-valid-memtrack.i_13.bpl true 442    371    1416384512 unknown 86.2  58.0  2805465088 true 524    429    2852597760
20051113-1.c_false-valid-memtrack.i_15.bpl true 445    372    1421398016 error: exception 88.4  62.5  2824589312 error: exception 92.7  65.5  2821320704
20051113-1.c_false-valid-memtrack.i_17.bpl true 451    375    1375756288 error: exception 89.6  63.3  2819563520 error: exception 92.1  64.3  2819428352
20051113-1.c_false-valid-memtrack.i_20.bpl true 137    101    1419309056 error: exception 29.8  15.3  1153306624 error: exception 29.3  15.2  1148010496
20051113-1.c_false-valid-memtrack.i_22.bpl true 454    378    1471066112 error: exception 28.1  14.5  1149915136 error: exception 27.2  14.3  1151586304
20051113-1.c_false-valid-memtrack.i_25.bpl true 454    379    1504034816 error: exception 26.8  14.1  1140740096 error: exception 27.9  14.5  1145585664
20051113-1.c_false-valid-memtrack.i_29.bpl true 110    77.9  1361739776 error: exception 117    86.2  2827157504 error: exception 109    81.7  2823286784
20051113-1.c_false-valid-memtrack.i_31.bpl true 447    374    1462665216 error: exception 28.9  14.9  1144020992 error: exception 30.1  15.6  1146183680
20051113-1.c_false-valid-memtrack.i_33.bpl true 450    376    1483169792 error: exception 102    79.7  2816892928 error: exception 112    83.1  2826637312
20051113-1.c_false-valid-memtrack.i_35.bpl true 450    375    1500512256 error: exception 28.1  14.8  1144799232 error: exception 28.2  14.8  1148035072
20051113-1.c_false-valid-memtrack.i_38.bpl true 452    377    1523552256 error: exception 115    89.0  2823815168 error: exception 109    84.2  2824536064
20051113-1.c_false-valid-memtrack.i_40.bpl true 461    383    1444786176 error: exception 29.0  14.9  1150619648 error: exception 28.3  14.6  1146593280
20051113-1.c_false-valid-memtrack.i_42.bpl true 453    377    1531514880 error: exception 28.5  14.7  1155510272 error: exception 30.0  15.8  1153392640
20051113-1.c_false-valid-memtrack.i_44.bpl true 464    385    1498255360 error: exception 29.8  15.3  1154523136 error: exception 28.3  14.6  1155821568
20051113-1.c_false-valid-memtrack.i_46.bpl true 471    394    1504538624 error: exception 29.9  15.4  1158168576 error: exception 30.5  15.7  1161613312
20051113-1.c_false-valid-memtrack.i_5.bpl true 15.2  8.97 553304064 unknown 11.4  6.11 672595968 true 19.5  11.1  701894656
20051113-1.c_false-valid-memtrack.i_7.bpl true 439    368    1400360960 unknown 23.0  11.9  1131802624 true 451    375    2380722176
20051113-1.c_false-valid-memtrack.i_9.bpl true 437    367    1377878016 unknown 38.7  21.2  1742258176 true 470    384    2850643968
960521-1_1_false-valid-free.i_11.bpl true 83.3  62.0  1238204416 unknown 51.5  27.0  1978236928 true 131    87.8  2495320064
960521-1_1_false-valid-free.i_12.bpl true 16.8  10.5  671408128 error: exception 114    84.6  2851061760 error: exception 120    86.0  2856968192
960521-1_1_true-valid-memsafety.i_11.bpl true 84.8  62.2  1237303296 unknown 50.0  25.5  2065416192 true 64.4  37.4  1879015424
960521-1_false-valid-deref.i_5.bpl timeout 600    524    1311457280 unknown 62.7  36.1  2752655360 timeout 600    507    2834894848
960521-1_false-valid-free.i_5.bpl timeout 601    522    1337643008 unknown 66.7  37.6  2529673216 timeout 600    514    2849722368
960521-1_true-valid-memsafety.i_5.bpl timeout 600    524    1298825216 unknown 68.6  38.2  2676973568 timeout 600    511    2839343104
ArraysOfVariableLength2_true-valid-memsafety.c_10.bpl true 13.5  7.89 477634560 unknown 37.4  19.1  1217810432 true 42.5  22.5  1276608512
ArraysOfVariableLength2_true-valid-memsafety.c_12.bpl true 10.0  5.65 298409984 unknown 32.5  16.8  1165230080 true 41.0  21.2  1185161216
ArraysOfVariableLength2_true-valid-memsafety.c_13.bpl true 13.2  7.89 459718656 unknown 40.4  20.9  1448546304 true 48.6  25.9  1416212480
ArraysOfVariableLength2_true-valid-memsafety.c_14.bpl true 18.3  11.2  681394176 unknown 78.9  46.8  2502500352 true 93.8  55.1  2859614208
ArraysOfVariableLength2_true-valid-memsafety.c_16.bpl timeout 601    514    3255697408 unknown 98.0  65.2  2967609344 timeout 600    491    3135987712
ArraysOfVariableLength2_true-valid-memsafety.c_17.bpl true 12.4  7.26 437825536 unknown 77.1  48.6  2797215744 true 80.9  50.4  2827431936
ArraysOfVariableLength2_true-valid-memsafety.c_18.bpl timeout 601    523    2981838848 unknown 102    68.1  2865496064 timeout 601    509    3019558912
ArraysOfVariableLength2_true-valid-memsafety.c_19.bpl timeout 600    519    2949828608 error: exception 6.71 3.75 210821120 error: exception 6.52 3.60 210354176
ArraysOfVariableLength2_true-valid-memsafety.c_20.bpl timeout 600    512    3424505856 unknown 98.4  64.8  2853277696 timeout 601    499    3028402176
ArraysOfVariableLength2_true-valid-memsafety.c_8.bpl true 8.44 4.77 286998528 unknown 31.8  16.6  1163067392 true 35.4  18.6  1175351296
ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_7.bpl true 11.6  6.66 372752384 error: exception 11.6  6.15 660893696 error: exception 11.3  5.99 670072832
ArraysOfVariableLength4_true-valid-memsafety_true-termination.c_8.bpl true 11.3  6.36 349175808 unknown 11.9  6.28 662712320 true 17.2  9.37 687423488
ArraysOfVariableLength5_true-valid-memsafety.c_10.bpl true 11.3  6.49 322961408 unknown 18.3  9.46 1030864896 true 25.3  13.4  996999168
ArraysOfVariableLength5_true-valid-memsafety.c_11.bpl true 550    462    3458166784 unknown 34.3  17.5  1450500096 timeout 600    503    3385159680
ArraysOfVariableLength5_true-valid-memsafety.c_12.bpl timeout 601    525    2905976832 unknown 35.3  18.1  1450921984 timeout 601    520    2900041728
ArraysOfVariableLength5_true-valid-memsafety.c_13.bpl true 8.90 4.98 274518016 error: exception 6.50 3.62 209309696 error: exception 6.12 3.45 208674816
ArraysOfVariableLength5_true-valid-memsafety.c_6.bpl true 9.14 5.09 263184384 unknown 18.1  9.38 850718720 true 23.1  12.1  914567168
ArraysOfVariableLength5_true-valid-memsafety.c_8.bpl true 9.14 5.15 273240064 unknown 17.3  9.03 842133504 true 21.6  11.4  925233152
ArraysOfVariableLength5_true-valid-memsafety.c_9.bpl true 10.1  5.82 309547008 unknown 20.6  10.7  976949248 true 25.9  13.6  1069273088
ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_7.bpl true 10.0  5.66 300204032 error: exception 10.7  5.78 663261184 error: exception 11.3  6.00 662065152
ArraysOfVariableLength6_true-valid-memsafety_true-termination.c_8.bpl true 8.62 4.85 258498560 unknown 10.9  5.87 672063488 true 15.5  8.30 694247424
ArraysOfVariableLength_true-valid-memsafety.c_10.bpl true 9.25 5.26 275116032 unknown 13.0  6.83 675217408 true 19.2  10.2  692170752
ArraysOfVariableLength_true-valid-memsafety.c_11.bpl true 19.9  12.1  680968192 unknown 16.9  8.82 782528512 true 29.2  16.8  918331392
ArraysOfVariableLength_true-valid-memsafety.c_12.bpl timeout 601    524    2890256384 unknown 17.6  9.15 821235712 timeout 601    523    2856247296
ArraysOfVariableLength_true-valid-memsafety.c_13.bpl timeout 600    511    2913529856 unknown 20.8  10.8  1001336832 timeout 600    511    2922209280
ArraysOfVariableLength_true-valid-memsafety.c_6.bpl true 8.33 4.69 254951424 unknown 12.7  6.80 676118528 true 16.9  8.97 694464512
ArraysOfVariableLength_true-valid-memsafety.c_7.bpl true 8.66 4.87 246607872 unknown 12.7  6.76 673284096 true 17.1  9.06 698777600
ArraysOfVariableLength_true-valid-memsafety.c_8.bpl true 8.44 4.85 255713280 unknown 12.8  6.71 684863488 true 15.0  8.11 694706176
ArraysOfVariableLength_true-valid-memsafety.c_9.bpl true 12.9  7.52 403271680 unknown 13.1  6.97 678649856 true 19.5  10.8  709468160
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_11.bpl true 8.83 4.96 271273984 error: exception 6.60 3.70 210665472 error: exception 6.57 3.65 210018304
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_12.bpl timeout 600    523    3128139776 unknown 32.7  16.8  1429725184 timeout 601    511    2924331008
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_13.bpl timeout 601    526    2949378048 unknown 32.7  16.7  1218195456 timeout 601    521    3223490560
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_6.bpl true 9.98 5.62 290836480 error: exception 11.2  5.96 674779136 error: exception 11.2  5.96 659632128
ArraysWithLenghtAtDeclaration_false-valid-deref-read.c_7.bpl true 10.4  5.82 306372608 unknown 11.6  6.12 668028928 true 17.2  9.23 698851328
ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_8.bpl true 9.60 5.46 285036544 error: exception 10.8  5.78 662568960 error: exception 11.7  6.15 661233664
ArraysWithLenghtAtDeclaration_false-valid-deref-write.c_9.bpl true 13.7  7.81 447504384 unknown 13.2  6.98 674938880 true 21.2  11.5  705572864
ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_10.bpl timeout 600    519    3012837376 unknown 33.1  16.9  1199874048 timeout 601    519    2958946304
ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_11.bpl true 546    461    3339579392 unknown 33.9  17.3  1432915968 timeout 601    509    3520724992
ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c_9.bpl true 9.21 5.15 271634432 error: exception 6.44 3.57 210509824 error: exception 6.15 3.45 215527424
add_last-alloca_true-valid-memsafety_true-termination.i_10.bpl true 10.6  6.07 326991872 unknown 18.3  9.59 839610368 true 23.8  12.6  932962304
add_last-alloca_true-valid-memsafety_true-termination.i_11.bpl true 14.4  8.58 565645312 unknown 17.6  9.27 966754304 true 27.2  15.0  1003659264
add_last-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.0  5.79 299229184 unknown 18.1  9.45 864260096 true 22.9  12.2  926248960
add_last-alloca_true-valid-memsafety_true-termination.i_9.bpl timeout 601    528    1364078592 unknown 19.0  9.80 969560064 timeout 601    526    2144116736
alternating_list_true-unreach-call_true-valid-memsafety.i_17.bpl true 10.5  5.97 338575360 error: exception 9.83 5.27 593256448 error: exception 10.2  5.46 593907712
alternating_list_true-unreach-call_true-valid-memsafety.i_18.bpl true 12.4  7.16 398307328 error: exception 10.7  5.70 660439040 error: exception 10.2  5.52 661889024
alternating_list_true-unreach-call_true-valid-memsafety.i_20.bpl true 21.9  14.2  685318144 error: exception 8.85 4.90 413454336 error: exception 8.81 4.77 414588928
alternating_list_true-unreach-call_true-valid-memsafety.i_22.bpl true 11.2  6.44 366665728 error: exception 10.5  5.62 608190464 error: exception 10.3  5.52 614121472
alternating_list_true-unreach-call_true-valid-memsafety.i_23.bpl true 12.8  7.52 449806336 error: exception 11.2  5.98 663900160 error: exception 10.9  5.78 667774976
alternating_list_true-unreach-call_true-valid-memsafety.i_24.bpl true 19.7  12.4  698175488 error: exception 10.6  5.66 582569984 error: exception 9.98 5.37 582873088
alternating_list_true-unreach-call_true-valid-memsafety.i_25.bpl true 20.2  12.3  681418752 error: exception 10.9  5.78 611041280 error: exception 10.1  5.50 608190464
alternating_list_true-unreach-call_true-valid-memsafety.i_26.bpl true 24.0  16.0  770117632 error: exception 10.8  5.93 607522816 error: exception 10.5  5.58 608808960
alternating_list_true-unreach-call_true-valid-memsafety.i_27.bpl true 12.5  7.21 428298240 error: exception 6.69 3.80 211968000 error: exception 6.25 3.52 210640896
alternating_list_true-unreach-call_true-valid-memsafety.i_28.bpl true 21.8  13.6  687804416 error: exception 6.54 3.71 210776064 error: exception 6.80 3.86 211456000
alternating_list_true-unreach-call_true-valid-memsafety.i_31.bpl true 19.7  12.5  683978752 error: exception 10.5  5.66 616910848 error: exception 10.4  5.59 611311616
alternating_list_true-unreach-call_true-valid-memsafety.i_33.bpl true 13.9  8.18 556314624 error: exception 10.6  5.70 616271872 error: exception 10.3  5.54 613842944
alternating_list_true-unreach-call_true-valid-memsafety.i_34.bpl true 22.5  14.4  763629568 error: exception 6.47 3.66 209350656 error: exception 6.73 3.77 211075072
alternating_list_true-unreach-call_true-valid-memsafety.i_35.bpl true 75.6  57.1  1259573248 error: exception 6.78 3.82 211447808 error: exception 7.09 3.96 211718144
alternating_list_true-unreach-call_true-valid-memsafety.i_36.bpl true 32.6  22.2  928628736 error: exception 10.3  5.59 581894144 error: exception 10.3  5.59 581689344
alternating_list_true-unreach-call_true-valid-memsafety.i_37.bpl true 34.3  23.1  873390080 error: exception 10.6  5.69 582062080 error: exception 10.6  5.62 582123520
alternating_list_true-unreach-call_true-valid-memsafety.i_38.bpl true 104    81.2  1356804096 error: exception 11.1  5.90 623456256 error: exception 10.6  5.67 623300608
alternating_list_true-unreach-call_true-valid-memsafety.i_39.bpl true 415    364    1436553216 error: exception 10.9  6.00 667013120 error: exception 10.9  5.87 665731072
alternating_list_true-unreach-call_true-valid-memsafety.i_40.bpl true 20.6  13.2  688267264 error: exception 10.6  5.70 583516160 error: exception 10.2  5.50 578699264
alternating_list_true-unreach-call_true-valid-memsafety.i_41.bpl true 45.3  31.5  1035829248 error: exception 10.7  5.79 577536000 error: exception 9.90 5.30 579993600
alternating_list_true-unreach-call_true-valid-memsafety.i_42.bpl timeout 600    531    1412784128 error: exception 11.3  6.05 666669056 error: exception 11.6  6.22 678039552
alternating_list_true-unreach-call_true-valid-memsafety.i_43.bpl true 150    123    1422577664 error: exception 11.3  6.05 664547328 error: exception 11.2  6.01 663834624
alternating_list_true-unreach-call_true-valid-memsafety.i_44.bpl true 15.6  9.37 671649792 error: exception 11.4  6.10 668565504 error: exception 11.1  5.96 670244864
alternating_list_true-unreach-call_true-valid-memsafety.i_45.bpl timeout 601    533    1359126528 error: exception 7.43 4.03 211423232 error: exception 6.89 3.85 211177472
alternating_list_true-unreach-call_true-valid-memsafety.i_46.bpl timeout 601    533    1352712192 error: exception 6.96 4.14 210243584 error: exception 7.00 3.90 210698240
alternating_list_true-unreach-call_true-valid-memsafety.i_47.bpl true 202    169    1402712064 error: exception 11.1  6.01 663621632 error: exception 11.6  6.18 658907136
alternating_list_true-unreach-call_true-valid-memsafety.i_48.bpl true 257    218    1377861632 error: exception 11.1  5.92 666759168 error: exception 10.9  5.87 669474816
array01-alloca_true-valid-memsafety_true-termination.i_4.bpl true 16.4  10.2  670855168 error: exception 8.68 4.63 370642944 error: exception 8.50 4.61 372187136
array01-alloca_true-valid-memsafety_true-termination.i_8.bpl true 14.2  8.48 513728512 unknown 9.82 5.23 514584576 true 17.5  10.1  646578176
array02-alloca_true-valid-memsafety_true-termination.i_6.bpl true 15.9  10.1  671244288 error: exception 9.91 5.32 550232064 error: exception 9.69 5.24 550137856
array02-alloca_true-valid-memsafety_true-termination.i_8.bpl true 15.1  8.98 522125312 unknown 11.3  6.01 657870848 true 21.1  11.9  699383808
array03-alloca_true-valid-memsafety_true-termination.i_6.bpl true 17.0  10.6  681857024 unknown 16.3  8.51 787795968 true 29.2  16.6  837816320
array03-alloca_true-valid-memsafety_true-termination.i_8.bpl true 14.7  8.86 576856064 unknown 16.0  8.40 802422784 true 25.3  14.1  840818688
array3_false-valid-deref.i_5.bpl true 8.11 4.60 241405952 unknown 11.4  6.06 665546752 true 13.2  7.13 679956480
array3_false-valid-deref.i_6.bpl timeout 600    519    1343270912 unknown 11.2  5.95 665538560 timeout 601    521    1591386112
array3_false-valid-deref.i_8.bpl timeout 601    502    2461274112 unknown 11.7  6.21 670900224 timeout 601    503    2292097024
bubblesort-alloca_true-valid-memsafety_true-termination.i_7.bpl true 15.8  9.68 657915904 error: exception 10.0  5.40 523288576 error: exception 9.45 5.13 534634496
bubblesort-alloca_true-valid-memsafety_true-termination.i_8.bpl timeout 601    525    1732521984 error: exception 9.76 5.30 501080064 error: exception 9.58 5.16 499187712
count_down-alloca_true-valid-memsafety_true-termination.i_6.bpl true 9.13 5.07 250740736 unknown 12.5  6.75 671879168 true 16.0  8.52 687398912
count_down-alloca_true-valid-memsafety_true-termination.i_7.bpl true 14.3  8.53 503599104 unknown 11.6  6.18 678256640 true 19.8  11.3  696451072
count_down-alloca_true-valid-memsafety_true-termination.i_8.bpl timeout 600    516    1745489920 unknown 14.6  7.66 805384192 timeout 600    512    2020732928
cstrcat-alloca_true-valid-memsafety_true-termination.i_10.bpl timeout 601    540    1422159872 unknown 50.4  29.7  2528157696 timeout 601    527    2853662720
cstrcat-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.6  6.13 332550144 unknown 50.3  25.8  2096758784 true 53.4  27.9  2230919168
cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 40.7  30.0  977154048 timeout 600    559    2971185152 timeout 600    556    2975428608
cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 52.2  38.6  1050423296 timeout 600    560    2955661312 timeout 600    560    2993205248
cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl true 10.4  5.92 318799872 unknown 15.0  7.86 814358528 true 19.7  10.6  838410240
cstrlen-alloca_true-valid-memsafety_true-termination.i_6.bpl true 32.1  22.3  896352256 unknown 17.3  9.04 915562496 true 46.2  29.5  1151787008
cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl timeout 602    542    1285779456 unknown 54.8  29.8  2380771328 timeout 601    528    2851295232
cstrncat-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.6  6.02 322715648 unknown 41.9  22.0  1936486400 true 48.2  25.1  2086268928
cstrncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl true 24.4  16.2  783167488 timeout 600    559    2963968000 timeout 600    559    2975150080
cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl true 31.6  21.4  822890496 error: exception 33.4  17.1  1439412224 error: exception 32.7  16.8  1484115968
cstrncpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 54.3  40.6  1140248576 timeout 600    559    2938548224 timeout 600    555    3004129280
diff-alloca_true-valid-memsafety_true-termination.i_11.bpl true 20.9  13.6  681582592 error: exception 16.2  8.55 808861696 error: exception 15.2  7.90 794939392
diff-alloca_true-valid-memsafety_true-termination.i_14.bpl true 24.8  15.6  801796096 unknown 52.6  27.9  2105720832 true 64.1  37.4  2161176576
diff-alloca_true-valid-memsafety_true-termination.i_15.bpl true 54.2  38.1  1145749504 unknown 68.8  35.0  2072137728 true 104    64.6  2569846784
diff-alloca_true-valid-memsafety_true-termination.i_9.bpl true 22.8  14.9  712982528 error: exception 18.3  9.59 954695680 error: exception 18.5  9.65 995483648
dll_extends_pointer_true-valid-memsafety.i_14.bpl true 14.1  8.34 526741504 error: exception 50.3  26.1  1777573888 error: exception 51.2  26.0  1906536448
dll_extends_pointer_true-valid-memsafety.i_15.bpl true 12.4  7.19 431214592 error: exception 47.7  25.9  1789243392 error: exception 52.1  26.4  1769418752
dll_extends_pointer_true-valid-memsafety.i_23.bpl true 11.8  6.86 367714304 error: exception 51.4  26.9  2098499584 error: exception 47.4  25.7  2088534016
dll_extends_pointer_true-valid-memsafety.i_24.bpl true 15.6  9.32 575205376 error: exception 55.4  28.2  1887342592 error: exception 45.2  24.8  1911132160
dll_extends_pointer_true-valid-memsafety.i_27.bpl timeout 601    540    1357295616 error: exception 49.2  25.6  1729220608 error: exception 52.7  26.8  1840730112
dll_extends_pointer_true-valid-memsafety.i_28.bpl true 14.7  8.90 575684608 error: exception 50.3  26.5  1833164800 error: exception 48.4  25.9  2042834944
dll_extends_pointer_true-valid-memsafety.i_29.bpl timeout 601    534    1406267392 error: exception 52.3  26.8  1796243456 error: exception 46.2  24.8  1789300736
dll_extends_pointer_true-valid-memsafety.i_30.bpl timeout 601    529    1337737216 error: exception 47.9  25.2  1843372032 error: exception 52.9  26.9  1843642368
dll_extends_pointer_true-valid-memsafety.i_33.bpl timeout 601    533    1369137152 error: exception 49.4  25.7  1864634368 error: exception 53.0  27.0  1746198528
dll_extends_pointer_true-valid-memsafety.i_36.bpl timeout 600    534    1376231424 error: exception 50.7  26.4  1737728000 error: exception 49.4  26.1  1779433472
dll_extends_pointer_true-valid-memsafety.i_37.bpl timeout 601    532    1459093504 error: exception 52.0  26.9  1782382592 error: exception 52.2  26.7  1901608960
dll_extends_pointer_true-valid-memsafety.i_38.bpl timeout 601    536    1394458624 error: exception 49.2  26.1  1853173760 error: exception 45.8  24.5  1914286080
java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_10.bpl true 20.5  12.9  683925504 error: exception 10.0  5.41 493019136 error: exception 9.77 5.23 484372480
java_BubbleSort-alloca_true-valid-memsafety_true-termination.i_6.bpl true 14.6  8.94 583524352 error: exception 9.88 5.36 520822784 error: exception 9.79 5.21 520335360
lis-alloca_true-valid-memsafety_true-termination.i_10.bpl true 11.4  6.57 361938944 unknown 85.4  57.6  2828435456 true 89.5  59.8  2842640384
lis-alloca_true-valid-memsafety_true-termination.i_14.bpl true 17.9  11.4  696221696 unknown 131    96.1  2846572544 true 136    98.8  2864340992
lis-alloca_true-valid-memsafety_true-termination.i_5.bpl true 19.5  12.5  684564480 unknown 56.5  31.0  2076327936 true 65.8  38.0  2079293440
lis-alloca_true-valid-memsafety_true-termination.i_7.bpl true 12.1  6.85 368852992 unknown 63.3  38.2  2796900352 true 71.6  42.1  2610937856
lis-alloca_true-valid-memsafety_true-termination.i_9.bpl true 15.6  9.32 586543104 unknown 56.0  30.5  2265268224 true 57.3  33.9  2176520192
lis_unsafe_false-valid-deref.i_10.bpl true 18.6  11.7  682491904 unknown 53.7  30.3  2136801280 true 67.1  38.4  2133491712
lis_unsafe_false-valid-deref.i_11.bpl false 9.18 5.16 289361920 unknown 66.4  40.0  2802753536 false 68.7  42.7  2816245760
lis_unsafe_false-valid-deref.i_13.bpl true 13.2  7.69 420319232 unknown 84.4  57.7  2834366464 true 98.2  64.9  2840289280
memset2_true-valid-memsafety_true-termination.c_4.bpl true 74.1  52.0  1214234624 unknown 8.81 4.71 350162944 true 71.6  51.3  1261428736
memset3_true-valid-memsafety_true-termination.c_4.bpl true 290    236    1317998592 unknown 8.69 4.74 364740608 true 302    243    1354747904
memsetNonZero2_true-valid-memsafety_true-termination.c_4.bpl true 73.4  51.6  1214066688 unknown 8.29 4.53 358019072 true 78.0  56.4  1253830656
memsetNonZero3_true-valid-memsafety_true-termination.c_4.bpl true 301    243    1338667008 unknown 8.75 4.72 356954112 true 298    244    1488281600
memsetNonZero_true-valid-memsafety_true-termination.c_4.bpl true 285    234    1309855744 unknown 8.44 4.58 356577280 true 292    238    1403453440
memset_true-valid-memsafety_true-termination.c_4.bpl true 287    234    1348050944 unknown 8.25 4.53 347107328 true 301    244    1405145088
merge_sort_true-unreach-call_true-valid-memsafety.i_19.bpl timeout 601    543    1488334848 error: exception 9.21 5.08 398782464 error: exception 9.17 5.00 398729216
mult_array-alloca_true-valid-memsafety_true-termination.i_12.bpl unknown 6.09 3.54 214048768 error: exception 6.37 3.57 213045248 error: exception 5.99 3.42 210415616
mult_array-alloca_true-valid-memsafety_true-termination.i_6.bpl unknown 6.19 3.51 210731008 error: exception 6.08 3.42 208736256 error: exception 5.97 3.36 210194432
mult_array-alloca_true-valid-memsafety_true-termination.i_7.bpl unknown 6.36 3.55 210903040 error: exception 6.15 3.50 210788352 error: exception 6.10 3.42 209793024
openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i_5.bpl true 52.2  42.7  777441280 unknown 11.3  6.03 652627968 true 51.2  39.7  998162432
openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i_4.bpl true 24.3  16.0  762552320 error: exception 9.12 4.90 455233536 error: exception 8.98 4.82 456224768
openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i_3.bpl true 50.6  42.0  700239872 error: exception 9.15 4.92 453607424 error: exception 8.29 4.61 456478720
openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i_4.bpl true 22.9  15.3  781754368 unknown 12.4  6.56 677523456 true 31.4  19.6  933167104
openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 27.6  18.6  767062016 unknown 136    95.0  2847948800 true 139    103    2872598528
openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 41.8  29.2  934027264 unknown 158    122    2857975808 true 189    143    2883289088
openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_12.bpl true 60.2  44.9  1165836288 error: exception 10.0  5.36 451735552 error: exception 9.99 5.37 452874240
openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_15.bpl true 108    86.0  1265836032 error: exception 9.91 5.34 452042752 error: exception 10.0  5.35 452800512
openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i_16.bpl true 67.1  51.4  1174966272 error: exception 10.6  5.68 474574848 error: exception 9.96 5.31 473358336
openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i_9.bpl timeout 601    539    1317949440 unknown 50.3  29.9  2461376512 timeout 601    525    2842877952
openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_13.bpl true 41.7  30.0  979718144 unknown 102    71.0  2862911488 true 133    92.3  2893586432
openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_14.bpl true 58.6  44.1  1134751744 unknown 89.5  63.2  2844794880 true 146    103    2881736704
openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i_16.bpl true 13.0  7.73 471093248 unknown 92.9  64.8  2848473088 true 93.3  64.6  2883121152
openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 26.4  18.0  771104768 unknown 107    77.2  2848698368 true 131    92.9  2863902720
openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i_8.bpl true 39.4  27.8  943583232 unknown 161    124    2855370752 true 182    138    2879115264
openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_10.bpl true 51.3  38.3  1035980800 unknown 94.7  65.2  2863661056 true 135    90.8  2883997696
openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i_9.bpl true 38.1  27.2  971476992 timeout 600    563    3056066560 timeout 600    556    3031703552
openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_16.bpl true 50.7  37.2  1045139456 error: exception 29.1  15.0  1178222592 error: exception 28.5  14.6  1180213248
openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i_18.bpl true 50.8  37.8  1042128896 error: exception 37.0  19.5  1565667328 error: exception 35.4  19.1  1764524032
openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i_5.bpl true 28.8  19.5  757227520 unknown 17.8  9.19 870486016 true 42.7  26.3  1144000512
openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_10.bpl true 10.2  5.84 312279040 unknown 45.5  23.5  2059857920 true 47.9  25.1  2099937280
openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i_12.bpl timeout 601    542    1285455872 unknown 57.1  31.8  2626740224 timeout 601    528    2854133760
openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_14.bpl true 38.3  27.4  979787776 unknown 99.8  67.4  2870153216 true 118    82.8  2888253440
openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_15.bpl true 59.3  45.3  1119395840 unknown 97.7  60.1  2844495872 true 136    99.5  2873303040
openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i_16.bpl true 13.4  7.95 474484736 unknown 95.3  60.9  2866229248 true 87.7  59.8  2880684032
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_10.bpl true 55.1  41.4  1029681152 timeout 600    551    3043364864 timeout 600    562    3006492672
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_11.bpl true 27.7  18.7  780820480 error: exception 371    324    2918699008 error: exception 374    334    2919268352
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_13.bpl true 26.2  17.4  773763072 error: exception 32.6  16.9  1490833408 error: exception 31.8  16.3  1536143360
openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i_14.bpl true 22.6  15.1  762155008 error: exception 45.6  23.3  2052923392 error: exception 43.9  22.4  1980731392
openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_10.bpl true 43.2  32.2  1055969280 unknown 98.2  63.7  2851995648 true 131    87.0  2874605568
openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i_11.bpl true 38.6  27.1  880521216 timeout 600    556    3003748352 timeout 600    557    3017007104
openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_10.bpl true 36.5  26.2  875171840 timeout 600    557    2970759168 timeout 600    557    3025768448
openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i_9.bpl true 64.8  49.2  1133883392 unknown 97.1  67.4  2863878144 true 138    99.3  2897215488
openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_10.bpl true 33.0  22.5  872800256 unknown 52.7  27.9  2378428416 true 70.8  44.5  2630914048
openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i_13.bpl true 46.0  33.2  962048000 timeout 600    560    3033894912 timeout 600    559    3058544640
optional_data_creation_test04_false-valid-memtrack.i_23.bpl true 12.6  7.04 353996800 error: exception 8.96 4.81 417628160 error: exception 8.89 4.91 414351360
optional_data_creation_test04_false-valid-memtrack.i_25.bpl true 15.1  9.31 655163392 error: exception 9.03 4.91 413757440 error: exception 9.45 5.06 414285824
optional_data_creation_test04_false-valid-memtrack.i_32.bpl true 62.0  38.3  1408004096 error: exception 9.14 5.01 416608256 error: exception 9.62 5.17 421732352
optional_data_creation_test04_false-valid-memtrack.i_35.bpl true 361    303    1400500224 error: exception 9.43 5.11 415367168 error: exception 9.27 5.03 419274752
optional_data_creation_test04_true-valid-memsafety.i_23.bpl true 12.1  6.96 353792000 error: exception 8.89 4.86 412221440 error: exception 9.17 4.94 412291072
optional_data_creation_test04_true-valid-memsafety.i_25.bpl true 14.5  9.11 648155136 error: exception 8.95 4.87 413880320 error: exception 8.56 4.67 415244288
optional_data_creation_test04_true-valid-memsafety.i_32.bpl true 58.9  36.6  1339502592 error: exception 9.58 5.20 416555008 error: exception 9.64 5.22 415547392
optional_data_creation_test04_true-valid-memsafety.i_35.bpl true 353    300    1416069120 error: exception 8.95 4.90 419356672 error: exception 9.07 4.97 415416320
reverse_array_alloca_unsafe_false-valid-deref.i_6.bpl true 13.9  8.31 493174784 error: exception 7.38 4.14 337244160 error: exception 8.24 4.53 341131264
sanfoundry_24_false-valid-deref.i_4.bpl timeout 600    521    1375432704 error: exception 7.65 4.27 300204032 error: exception 8.29 4.56 301068288
selectionsort-alloca_true-valid-memsafety_true-termination.i_13.bpl true 10.6  6.07 331120640 unknown 14.9  7.96 797261824 true 23.2  12.3  837033984
selectionsort-alloca_true-valid-memsafety_true-termination.i_14.bpl true 13.4  7.83 438550528 error: exception 5.99 3.37 210685952 error: exception 6.34 3.51 209379328
selectionsort-alloca_true-valid-memsafety_true-termination.i_15.bpl true 14.3  8.32 480956416 error: exception 6.49 3.60 209907712 error: exception 6.42 3.58 209600512
selectionsort-alloca_true-valid-memsafety_true-termination.i_16.bpl true 16.9  10.4  672899072 unknown 104    77.9  2807758848 true 130    92.9  2837524480
selectionsort-alloca_true-valid-memsafety_true-termination.i_7.bpl true 14.5  8.62 504700928 error: exception 9.82 5.27 536502272 error: exception 10.2  5.51 534999040
selectionsort-alloca_true-valid-memsafety_true-termination.i_8.bpl true 14.3  8.57 487579648 error: exception 10.2  5.43 550125568 error: exception 9.82 5.29 552050688
selectionsort-alloca_true-valid-memsafety_true-termination.i_9.bpl true 10.7  6.08 318832640 error: exception 12.2  6.43 671940608 error: exception 11.7  6.29 658382848
sll-buckets_true-unreach-call_true-valid-memsafety.i_34.bpl true 117    94.8  1347817472 error: exception 10.5  5.61 437956608 error: exception 9.96 5.39 438013952
sll-buckets_true-unreach-call_true-valid-memsafety.i_35.bpl true 87.3  67.6  1265885184 error: exception 9.83 5.31 436105216 error: exception 9.89 5.32 433713152
sll-buckets_true-unreach-call_true-valid-memsafety.i_37.bpl true 98.4  78.7  1330651136 error: exception 10.5  5.60 441217024 error: exception 9.96 5.47 435150848
sll-buckets_true-unreach-call_true-valid-memsafety.i_41.bpl true 111    89.3  1380028416 error: exception 9.91 5.34 440782848 error: exception 10.5  5.60 441331712
sll-buckets_true-unreach-call_true-valid-memsafety.i_42.bpl true 84.8  65.6  1275695104 error: exception 10.6  5.69 429801472 error: exception 10.5  5.62 434413568
sll-buckets_true-unreach-call_true-valid-memsafety.i_43.bpl true 122    98.3  1398870016 error: exception 10.2  5.47 434675712 error: exception 10.4  5.59 434331648
sll-buckets_true-unreach-call_true-valid-memsafety.i_44.bpl true 103    82.7  1372880896 error: exception 10.1  5.43 436158464 error: exception 10.7  5.72 442347520
sll-buckets_true-unreach-call_true-valid-memsafety.i_45.bpl true 95.2  75.0  1416998912 error: exception 10.0  5.45 437743616 error: exception 9.86 5.32 434761728
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_25.bpl true 15.3  8.84 476344320 error: exception 8.99 4.89 433266688 error: exception 9.14 4.95 434917376
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_26.bpl true 17.1  10.2  629800960 error: exception 9.12 4.96 424247296 error: exception 8.54 4.79 422318080
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_27.bpl true 21.2  13.0  695934976 error: exception 9.36 5.04 432685056 error: exception 9.78 5.21 434388992
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_29.bpl true 21.6  13.9  700432384 error: exception 9.42 5.01 424996864 error: exception 9.35 4.99 425697280
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_35.bpl true 26.7  17.3  796311552 error: exception 9.12 4.96 422670336 error: exception 9.37 5.14 432562176
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_40.bpl true 18.3  11.7  682094592 error: exception 9.23 4.94 428797952 error: exception 9.56 5.23 438558720
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_41.bpl timeout 601    531    1352650752 error: exception 9.59 5.15 438071296 error: exception 8.96 4.86 437334016
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_42.bpl timeout 601    533    1394249728 error: exception 9.61 5.21 437473280 error: exception 9.31 5.12 436232192
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_45.bpl true 14.3  8.40 527638528 error: exception 9.49 5.11 438452224 error: exception 8.94 4.92 438657024
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_46.bpl true 21.4  13.7  703471616 error: exception 9.69 5.16 440864768 error: exception 9.74 5.23 438755328
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_47.bpl true 33.3  22.1  872599552 error: exception 9.49 5.10 451788800 error: exception 9.55 5.13 451878912
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_48.bpl true 36.8  24.9  904880128 error: exception 9.25 5.04 422944768 error: exception 9.40 5.12 425869312
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_49.bpl true 31.4  21.2  857686016 error: exception 9.68 5.25 430338048 error: exception 9.38 5.15 424259584
sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i_50.bpl true 56.6  40.5  1056784384 error: exception 10.1  5.37 425172992 error: exception 9.80 5.23 427577344
sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_16.bpl true 13.9  7.92 441487360 error: exception 225    190    2952044544 error: exception 234    192    2960543744
sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_17.bpl true 16.6  10.3  681263104 error: exception 279    238    2993049600 error: exception 266    228    2977193984
sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i_30.bpl timeout 601    538    1502765056 error: exception 231    197    3012390912 error: exception 226    186    2982043648
standard_strcpy_false-valid-deref_ground.i_10.bpl timeout 601    530    1922342912 unknown 27.2  14.0  1167249408 timeout 601    521    2884358144
standard_strcpy_false-valid-deref_ground.i_11.bpl true 12.3  7.04 345550848 unknown 32.2  16.4  1461243904 true 40.8  21.3  1463156736
standard_strcpy_false-valid-deref_ground.i_8.bpl timeout 601    522    1734516736 unknown 26.9  13.8  1150595072 timeout 600    518    2818174976
standard_strcpy_original_false-valid-deref.i_7.bpl timeout 601    527    1474101248 unknown 27.0  13.8  1160421376 timeout 601    516    2473500672
standard_strcpy_original_false-valid-deref.i_9.bpl timeout 601    531    2089111552 unknown 26.2  13.4  1159045120 timeout 601    522    2831523840
stroeder1-alloca_true-valid-memsafety_true-termination.i_4.bpl true 18.3  11.5  682045440 error: exception 7.59 4.25 353804288 error: exception 8.33 4.52 353652736
stroeder2-alloca_true-valid-memsafety_true-termination.i_4.bpl true 17.6  11.3  678572032 error: exception 7.64 4.22 352890880 error: exception 8.18 4.49 353075200
stroeder2-alloca_true-valid-memsafety_true-termination.i_8.bpl true 11.8  7.06 393097216 unknown 9.88 5.26 525836288 true 17.6  9.78 689319936
strreplace-alloca_true-valid-memsafety_true-termination.i_8.bpl true 10.6  6.06 320262144 unknown 18.9  9.81 976007168 true 26.4  14.0  1047220224
strreplace-alloca_true-valid-memsafety_true-termination.i_9.bpl true 33.2  23.4  861368320 unknown 22.5  11.6  1136291840 true 50.5  32.0  1365925888
test-0219_true-valid-memsafety.i_25.bpl unknown 7.03 3.97 223989760 error: exception 119    88.8  2954350592 error: exception 116    85.1  2940981248
test-0219_true-valid-memsafety.i_26.bpl unknown 7.33 4.13 223232000 error: exception 133    104    2961629184 error: exception 139    106    2956238848
test-0219_true-valid-memsafety.i_34.bpl unknown 8.07 4.55 239644672 error: exception 77.2  46.4  2815598592 error: exception 79.4  48.1  2852626432
test-0220_false-valid-memtrack.i_25.bpl unknown 6.67 3.84 221528064 error: exception 129    95.0  2944159744 error: exception 121    90.4  2939748352
test-0220_false-valid-memtrack.i_26.bpl unknown 6.77 3.85 223539200 error: exception 137    103    2952060928 error: exception 134    105    2953486336
test-0220_false-valid-memtrack.i_34.bpl unknown 7.72 4.37 245366784 error: exception 81.9  48.1  2830761984 error: exception 84.0  48.1  2813788160
test-0521_true-valid-memsafety.i_38.bpl true 45.5  33.0  1039908864 error: exception 11.7  6.33 672350208 error: exception 11.7  6.26 670982144
test-bitfields-2.1_false-valid-free.i_13.bpl true 12.6  7.14 486924288 timeout 600    570    2946564096 timeout 601    573    2944798720
test-bitfields-2.1_false-valid-free.i_15.bpl true 12.8  7.25 512557056 timeout 601    573    2954772480 timeout 600    569    2968469504
test-bitfields-2.1_false-valid-free.i_17.bpl true 18.7  11.4  684281856 error: exception 14.3  7.53 759537664 error: exception 13.8  7.33 756805632
test-bitfields-2.1_false-valid-free.i_19.bpl true 29.7  19.2  793354240 error: exception 14.2  7.51 760942592 error: exception 14.4  7.55 766124032
test-bitfields-2.1_true-valid-memsafety_true-termination.i_13.bpl true 11.7  6.53 399949824 error: exception 385    355    2910437376 error: exception 406    377    2900549632
test-bitfields-2.1_true-valid-memsafety_true-termination.i_16.bpl true 22.0  13.6  698916864 error: exception 14.2  7.46 744849408 error: exception 13.7  7.21 748720128
test-bitfields-2.1_true-valid-memsafety_true-termination.i_18.bpl true 23.5  14.9  781901824 error: exception 14.4  7.63 740622336 error: exception 13.2  6.96 745345024
test-bitfields-2_false-valid-deref.i_13.bpl true 13.1  7.39 489111552 error: exception 355    327    2849148928 error: exception 355    328    2847141888
test-bitfields-2_false-valid-deref.i_15.bpl true 15.0  8.31 518291456 error: exception 366    340    2851172352 error: exception 360    336    2897932288
test-bitfields-2_true-valid-memsafety_true-termination.i_13.bpl true 11.5  6.56 445419520 error: exception 342    317    2892881920 error: exception 376    341    2876522496
test-bitfields-2_true-valid-memsafety_true-termination.i_15.bpl true 12.6  7.10 470261760 error: exception 359    329    2854440960 error: exception 406    374    2851000320
test-bitfields-2_true-valid-memsafety_true-termination.i_17.bpl true 19.2  11.7  685400064 error: exception 15.1  7.89 793604096 error: exception 14.2  7.47 783736832
test-bitfields-2_true-valid-memsafety_true-termination.i_19.bpl true 26.0  16.4  796766208 error: exception 14.9  7.80 787312640 error: exception 14.8  7.82 800595968
test-bitfields-2_true-valid-memsafety_true-termination.i_21.bpl true 24.7  15.7  800509952 error: exception 14.2  7.50 801120256 error: exception 14.3  7.50 786468864
test-bitfields-3.1_true-valid-memsafety_true-termination.i_11.bpl true 32.3  21.0  896786432 timeout 600    568    2951135232 timeout 600    571    2946011136
test-bitfields-3.1_true-valid-memsafety_true-termination.i_7.bpl true 18.1  10.5  694538240 error: exception 13.7  7.16 728236032 error: exception 14.4  7.50 722120704
test-bitfields-3.1_true-valid-memsafety_true-termination.i_9.bpl true 20.3  11.6  690118656 timeout 600    565    2979225600 timeout 601    576    2949275648
test-bitfields-3_false-valid-deref.i_11.bpl true 27.4  17.8  782721024 error: exception 13.3  7.05 747704320 error: exception 13.8  7.31 745594880
test-bitfields-3_false-valid-deref.i_7.bpl true 16.7  9.82 688693248 timeout 600    569    3050119168 timeout 600    566    3023613952
test-bitfields-3_false-valid-deref.i_9.bpl true 17.0  9.97 689147904 timeout 600    563    3032047616 timeout 600    573    3038302208
test-bitfields-3_true-valid-memsafety_true-termination.i_11.bpl true 30.0  19.2  782041088 error: exception 13.7  7.20 756961280 error: exception 13.4  7.06 747388928
test-bitfields-3_true-valid-memsafety_true-termination.i_7.bpl true 18.7  10.8  687157248 timeout 600    567    3015675904 timeout 600    573    3054964736
test-bitfields-3_true-valid-memsafety_true-termination.i_9.bpl true 17.4  10.1  696377344 timeout 600    568    3029831680 timeout 600    571    2998800384
test-memleak_nexttime_true-valid-memsafety_true-termination.i_11.bpl true 11.9  6.79 425005056 error: exception 9.72 5.24 479358976 error: exception 9.56 5.15 476655616
test-memleak_nexttime_true-valid-memsafety_true-termination.i_16.bpl true 23.1  14.7  781664256 error: exception 9.64 5.16 439554048 error: exception 9.46 5.13 436846592
test-memleak_nexttime_true-valid-memsafety_true-termination.i_9.bpl true 14.9  8.66 539967488 error: exception 9.33 5.05 475799552 error: exception 9.85 5.24 476684288
tree_of_cslls_true-valid-memsafety.i_47.bpl true 15.3  9.31 631275520 error: exception 64.8  43.0  2828058624 error: exception 64.6  42.0  2829242368
tree_of_cslls_true-valid-memsafety.i_49.bpl true 49.7  35.5  1047388160 error: exception 75.1  46.6  2835582976 error: exception 76.4  46.4  2834898944
tree_of_cslls_true-valid-memsafety.i_51.bpl true 38.1  26.3  885702656 error: exception 68.0  43.4  2826317824 error: exception 72.8  45.9  2822750208
../../../trunk/examples/programs/20181010-MemSafetyPathprograms/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 279 41700 35000 261873577984 279 21500 17300 381240471552 279 40100 33400 424538898432
    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