Tool ULTIMATE Automizer 0.1.23-1cf7e2d7
Limits timelimit: 180 s, memlimit: 6000 MB, CPU core limit: 4
Host monteverdi
OS Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: enabled; RAM: 25257 MB
Date of execution 2018-03-29 20:12:40 CEST
Run set Automizer AutomizerHeapSep HeapSep
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/IcfgTransformerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 9.70 3.85 258404352 timeout (error (143)) 182    143    1165451264 timeout (error (143)) 186    150    1192894464
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.07 3.43 235716608 false(valid-deref) 72.0  51.2  903036928 unknown 75.1  53.4  900296704
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 10.9  4.07 286736384 timeout (error (143)) 182    151    1027014656 timeout (error (143)) 181    144    1091653632
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.65 2.93 232992768 timeout (error (143)) 181    159    1115398144 timeout (error (143)) 182    158    1139548160
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 19.4  8.28 366927872 false(valid-deref) 35.9  13.0  554504192 unknown 33.4  12.3  504578048
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 13.6  5.12 294731776 false(valid-deref) 31.1  11.1  550125568 unknown 27.8  10.5  481153024
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.54 3.12 233091072 timeout (error (143)) 186    162    1353084928 timeout (error (143)) 186    162    1372975104
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.40 3.19 234962944 timeout (error (143)) 180    150    1048911872 timeout (error (143)) 181    155    1094508544
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 19.0  8.40 357511168 false(valid-deref) 38.2  16.9  577163264 unknown 27.1  10.1  501387264
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 9.13 3.42 235638784 false(valid-deref) 81.2  59.5  784572416 unknown 81.0  60.2  819892224
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 12.5  4.56 298881024 timeout (error (143)) 181    136    1346158592 timeout (error (143)) 184    134    1369960448
array-memsafety/lis_unsafe_false-valid-deref.i error: exception 22.5  9.56 358912000 timeout (error (143)) 181    147    1170202624 timeout (error (143)) 181    150    1131462656
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 9.81 3.82 266010624 timeout (error (143)) 181    150    1138020352 timeout (error (143)) 185    155    1119047680
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 16.1  5.96 323379200 timeout (error (143)) 182    150    1134755840 timeout (error (143)) 181    147    1223139328
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 11.5  4.24 287297536 timeout (error (143)) 183    156    1077940224 timeout (error (143)) 183    156    1028599808
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 8.71 3.45 241827840 false(valid-deref) 70.3  48.4  917172224 unknown 65.5  47.1  839020544
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.38 2.96 233570304 false(valid-deref) 8.73 3.38 259227648 unknown 8.53 3.19 240148480
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    158    1935372288 timeout (error (143)) 181    144    1187901440 timeout (error (143)) 183    143    1134239744
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 18.2  7.25 337747968 true 86.6  57.4  992215040 unknown 85.0  56.7  994578432
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 18.6  7.34 351690752 timeout (error (143)) 181    153    1342324736 timeout (error (143)) 181    150    1297362944
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 17.5  6.98 362999808 timeout (error (143)) 182    145    1326358528 timeout (error (143)) 182    146    1420034048
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    131    945291264 timeout (error (143)) 182    129    1302310912 unknown 133    100    1245347840
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    130    804675584 timeout (error (143)) 181    139    1021403136 timeout (error (143)) 182    144    1083666432
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    149    639086592 timeout (error (143)) 182    144    946937856 timeout (error (143)) 182    141    981909504
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 20.5  8.69 366415872 timeout (error (143)) 182    143    1176817664 timeout (error (143)) 184    150    1107636224
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 101    79.0  598216704 timeout (error (143)) 183    143    915697664 timeout (error (143)) 181    145    936620032
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    145    754196480 timeout (error (143)) 182    148    962252800 timeout (error (143)) 185    155    852766720
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 72.4  52.2  558133248 timeout (error (143)) 181    148    991059968 timeout (error (143)) 180    144    1027354624
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.3  8.67 362237952 error: exception 55.2  23.8  693837824 unknown 54.0  22.2  724574208
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    148    670261248 timeout (error (143)) 182    148    930680832 timeout (error (143)) 181    149    1066807296
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 41.9  23.4  498262016 timeout (error (143)) 181    149    943591424 timeout (error (143)) 181    143    866062336
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    142    671543296 timeout (error (143)) 181    151    1174777856 timeout (error (143)) 182    150    1095544832
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 162    136    669847552 timeout (error (143)) 184    149    999116800 timeout (error (143)) 185    152    802967552
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 144    119    681721856 timeout (error (143)) 182    148    891072512 timeout (error (143)) 181    145    893591552
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    145    662249472 timeout (error (143)) 180    138    1331998720 timeout (error (143)) 181    140    1266561024
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 23.5  9.95 384491520 timeout (error (143)) 181    142    1132879872 unknown 176    146    1231028224
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    132    1045671936 timeout (error (143)) 181    146    1238052864 timeout (error (143)) 180    145    1286995968
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error: exception 36.0  17.5  474902528 timeout (error (143)) 185    150    1421713408 timeout (error (143)) 182    148    1299992576
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 42.0  31.2  366006272 timeout (error (143)) 181    146    1024495616 timeout (error (143)) 185    154    1051504640
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    163    501313536 timeout (error (143)) 181    142    928501760 unknown 124    91.7  918769664
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    153    594018304 timeout (error (143)) 181    147    663093248 unknown 20.5  7.41 324595712
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    159    539078656 timeout (error (143)) 181    153    638558208 unknown 22.0  7.70 377892864
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    153    592908288 timeout (error (143)) 181    140    982736896 unknown 87.8  59.1  1004961792
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    147    858832896 timeout (error (143)) 182    154    902701056 timeout (error (143)) 184    151    1106087936
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error: exception 17.0  6.55 327991296 error: exception 120    89.8  1280995328 error: exception 126    94.7  1226076160
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    143    617910272 timeout (error (143)) 183    150    856776704 timeout (error (143)) 184    149    951267328
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 66.6  47.2  532717568 timeout (error (143)) 183    148    856760320 timeout (error (143)) 184    152    910852096
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    148    840810496 timeout (error (143)) 186    154    987271168 timeout (error (143)) 184    150    1019502592
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 81.1  58.7  546197504 timeout (error (143)) 181    150    1110679552 timeout (error (143)) 181    147    1108856832
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    143    638259200 timeout (error (143)) 181    150    831598592 timeout (error (143)) 181    137    1054121984
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.7  8.40 359858176 error: exception 50.6  23.4  658935808 unknown 46.6  22.5  628924416
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 180    153    619200512 timeout (error (143)) 181    153    882118656 timeout (error (143)) 181    154    1118498816
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 47.7  27.9  549363712 timeout (error (143)) 184    150    937091072 timeout (error (143)) 181    147    1033809920
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    145    629989376 timeout (error (143)) 180    144    1078390784 timeout (error (143)) 182    147    1043251200
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 21.9  9.83 397447168 error: exception 74.5  42.6  923066368 unknown 65.7  39.3  921567232
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 51.4  32.1  509972480 timeout (error (143)) 180    146    1025363968 timeout (error (143)) 185    151    1162129408
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 180    159    545722368 timeout (error (143)) 180    145    1172131840 timeout (error (143)) 181    146    1041354752
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    158    553066496 timeout (error (143)) 181    144    1330941952 timeout (error (143)) 181    144    953049088
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 186    180    1873969152 timeout (error (143)) 186    180    1794281472 timeout (error (143)) 186    180    1741840384
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 22.1  9.09 385212416 true 139    104    1301118976 unknown 138    100    1366941696
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 18.9  7.75 362979328 true 23.5  9.13 403111936 unknown 14.1  4.94 329949184
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 21.5  8.62 368975872 true 122    74.1  1174818816 unknown 103    69.5  1020403712
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 23.4  10.7  372342784 timeout (error (143)) 181    147    1135611904 timeout (error (143)) 182    145    1219432448
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    160    687472640 timeout (error (143)) 183    147    949293056 timeout (error (143)) 182    143    877862912
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    151    636665856 timeout (error (143)) 181    149    912412672 timeout (error (143)) 181    147    871358464
array-examples/relax_false-valid-deref.i false(valid-deref) 12.2  4.43 301400064 false(valid-deref) 27.6  9.40 425402368 unknown 21.7  7.30 435564544
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 180    133    946614272 timeout (error (143)) 181    136    972075008 unknown 7.41 2.81 223932416
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 180    128    1248485376 timeout (error (143)) 181    128    1365164032 unknown 7.25 2.85 226603008
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 180    141    1092861952 timeout (error (143)) 180    140    1013092352 unknown 6.90 2.72 221839360
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 181    149    734957568 timeout (error (143)) 181    142    881721344 unknown 157    122    1035087872
memsafety/test-0137_false-valid-deref.i unknown 6.60 2.54 189669376 unknown 6.53 2.49 198459392 unknown 6.73 2.51 206475264
memsafety/test-0235_false-valid-deref.i error: exception 17.7  6.66 384397312 timeout (error (143)) 181    149    723623936 unknown 29.1  10.5  637255680
memsafety/960521-1_false-valid-free.i timeout (error (143)) 181    148    708358144 timeout (error (143)) 180    139    917266432 unknown 138    107    977035264
memsafety/test-0158_false-valid-free.i false(valid-free) 13.6  5.01 307441664 false(valid-free) 95.6  68.3  1153630208 unknown 83.8  60.0  1144233984
memsafety/test-0232_false-valid-free.i unknown 6.53 2.54 192843776 unknown 6.55 2.65 195751936 unknown 6.47 2.52 201662464
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 186    179    1818828800 timeout (error (143)) 186    180    1727696896 timeout (error (143)) 185    178    1671360512
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 186    133    1046220800 timeout (error (143)) 182    151    1454194688 unknown 167    137    1240346624
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 64.6  26.8  1065803776 timeout (error (143)) 183    150    1081565184 unknown 155    128    1039556608
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 22.1  7.77 397783040 timeout (error (143)) 181    150    1162579968 unknown 156    131    998981632
memsafety/lockfree-3.3_false-valid-memtrack.i timeout (error (143)) 181    114    3374075904 timeout (error (143)) 181    118    2544013312 unknown 75.6  49.5  920465408
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 21.6  9.69 397447168 false(valid-free) 46.2  21.0  759566336 unknown 41.9  19.2  738332672
memsafety/test-0102_false-valid-memtrack.i error: exception 7.32 2.71 209879040 error: exception 7.73 3.85 210407424 error: exception 7.36 2.80 213954560
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.5  4.09 278347776 unknown: overapproxcex 45.2  27.2  710701056 unknown 44.8  24.6  740966400
memsafety/test-0220_false-valid-memtrack.i timeout 204    102    4149751808 timeout (error (143)) 191    153    1255522304 unknown 36.1  13.3  563941376
memsafety/test-0232_false-valid-memtrack.i unknown 6.55 3.00 197210112 unknown 6.04 2.50 193404928 unknown 7.06 2.59 199983104
memsafety/test-0234_false-valid-memtrack.i error: exception 16.3  6.18 339992576 error: exception 39.1  16.5  580448256 unknown 31.8  11.1  772870144
memsafety/test-0235_false-valid-memtrack.i error: exception 17.3  6.54 417685504 error: exception 38.6  15.0  621580288 unknown 36.7  12.8  567279616
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 181    148    746160128 timeout (error (143)) 182    142    839233536 unknown 148    116    1015312384
memsafety/lockfree-3.0_true-valid-memsafety.i error: exception 160    97.3  2497163264 timeout (error (143)) 183    149    940654592 unknown 159    135    1032531968
memsafety/test-0019_true-valid-memsafety_true-termination.i error: exception 23.5  11.4  396103680 false(valid-free) 45.2  19.8  695111680 unknown 41.2  17.9  707076096
memsafety/test-0102_true-valid-memsafety.i error: exception 7.11 2.84 209375232 error: exception 7.06 2.65 212467712 error: exception 7.69 3.24 212185088
memsafety/test-0134_true-valid-memsafety.i unknown 6.35 2.55 191574016 unknown 6.57 2.52 196759552 unknown 7.62 3.16 200413184
memsafety/test-0158_true-valid-memsafety_true-termination.i true 13.6  5.75 308682752 error: exception 57.5  29.3  935170048 unknown 59.1  34.9  779587584
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 6.77 2.52 196689920 error: exception 6.73 2.51 201019392 error: exception 8.54 3.79 205332480
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 6.60 2.63 197722112 error: exception 6.98 2.71 198467584 error: exception 8.49 3.53 204832768
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 6.70 2.56 192913408 error: exception 7.45 2.77 200323072 error: exception 7.78 3.73 200302592
memsafety/test-0219_true-valid-memsafety.i timeout (error (143)) 198    102    4263165952 timeout (error (143)) 182    156    611962880 unknown 33.0  12.5  535408640
memsafety/test-0232_true-valid-memsafety.i unknown 5.84 2.35 192749568 unknown 6.70 2.57 197398528 unknown 7.53 2.95 200810496
memsafety/test-0234_true-valid-memsafety.i error: exception 21.0  10.2  372629504 error: exception 39.3  13.9  885092352 unknown 36.4  13.7  578707456
memsafety/test-0235_true-valid-memsafety.i error: exception 21.2  10.4  392933376 error: exception 33.8  15.1  568733696 unknown 42.8  16.1  604323840
memsafety/test-0236_true-valid-memsafety.i error: exception 18.5  8.26 341094400 error: exception 36.3  13.9  599277568 unknown 36.2  15.5  566845440
memsafety/test-0237_true-valid-memsafety.i error: exception 20.4  10.3  354824192 error: exception 37.8  13.9  631648256 unknown 38.0  15.3  522756096
memsafety/test-0504_true-valid-memsafety.i error: exception 6.28 2.36 189931520 error: exception 6.34 2.44 200167424 error: exception 7.88 3.52 200757248
memsafety/test-0513_true-valid-memsafety.i error: exception 6.53 2.50 195399680 error: exception 6.38 2.48 197771264 error: exception 7.69 3.50 195731456
memsafety/test-0521_true-valid-memsafety.i unknown 6.61 2.54 194596864 unknown 6.28 2.42 196849664 unknown 7.66 2.93 205758464
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 181    157    1125466112 false(valid-free) 48.0  22.0  750411776 unknown 44.4  21.2  657563648
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 181    157    611160064 timeout (error (143)) 184    149    1337409536 timeout (error (143)) 184    149    1299488768
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.68 2.47 196100096 unknown 6.36 2.49 199876608 unknown 7.18 2.90 201392128
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.63 2.57 194920448 unknown 6.40 2.50 195215360 unknown 7.14 2.91 199319552
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i error: exception 6.76 2.66 203571200 error: exception 6.84 2.57 200577024 error: exception 7.35 2.81 205115392
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i error: exception 6.25 2.54 190001152 error: exception 6.58 2.56 197898240 error: exception 7.07 2.99 201031680
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 182    145    713175040 timeout (error (143)) 186    157    1322004480 timeout (error (143)) 186    152    1297707008
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i error: exception 6.41 2.47 193949696 error: exception 6.76 2.56 194760704 error: exception 6.72 2.88 198610944
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i error: exception 6.45 2.50 192454656 error: exception 6.47 2.47 196849664 error: exception 6.38 2.50 198299648
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 6.62 2.58 193740800 error: exception 6.36 2.50 198606848 error: exception 6.74 2.72 203984896
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error: exception 6.60 2.53 196816896 error: exception 6.65 2.52 197787648 error: exception 6.81 2.76 205135872
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error: exception 6.44 2.51 197455872 error: exception 6.57 2.55 199663616 error: exception 7.08 2.61 200441856
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 182    157    695083008 timeout (error (143)) 186    159    1385312256 timeout (error (143)) 186    158    1497878528
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 181    147    719585280 timeout (error (143)) 186    154    993566720 timeout (error (143)) 186    152    981020672
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error: exception 6.48 2.51 196902912 error: exception 6.52 2.54 199299072 error: exception 7.07 2.87 198995968
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i error: exception 6.38 2.49 192155648 error: exception 6.78 2.55 200507392 error: exception 7.05 2.74 202473472
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 181    149    1691275264 timeout (error (143)) 186    160    1253281792 timeout (error (143)) 186    155    1439469568
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 180    149    593571840 timeout (error (143)) 186    156    1010733056 timeout (error (143)) 182    151    1121718272
memsafety-ext2/split_list_test05_true-valid-memsafety.i error: exception 6.36 2.44 196755456 error: exception 6.56 2.42 198922240 error: exception 7.15 3.55 201760768
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 17.3  6.80 352387072 timeout (error (143)) 184    151    1044307968 timeout (error (143)) 183    147    1054973952
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 180    145    603447296 timeout (error (143)) 186    153    1135337472 timeout (error (143)) 180    139    1294397440
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 16.9  6.41 334770176 timeout (error (143)) 182    152    1121845248 timeout (error (143)) 185    150    1144090624
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 23.2  10.4  390324224 timeout (error (143)) 181    145    956248064 timeout (error (143)) 181    147    1051488256
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 12.8  4.96 301625344 timeout (error (143)) 186    161    975413248 timeout (error (143)) 186    162    1079578624
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 43.6  23.3  516026368 false(valid-deref) 141    108    1311162368 unknown 156    128    1444634624
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 11.7  4.68 290004992 timeout (error (143)) 182    159    994582528 timeout (error (143)) 185    159    927531008
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 7.27 2.99 200175616 unknown 6.57 2.52 198021120 unknown 7.10 2.90 202788864
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 182    155    583188480 timeout (error (143)) 182    148    1124302848 timeout (error (143)) 184    145    1023025152
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 183    145    655327232 timeout (error (143)) 185    157    1035902976 timeout (error (143)) 183    153    1116590080
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 180    148    630566912 timeout (error (143)) 186    159    1102266368 timeout (error (143)) 186    158    1028997120
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 180    152    611053568 timeout (error (143)) 181    151    937304064 timeout (error (143)) 186    158    1030959104
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i error: exception 43.4  24.7  525156352 false(valid-deref) 125    91.5  1349492736 unknown 124    100    1364078592
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 14.6  5.68 302493696 timeout (error (143)) 186    160    1045155840 timeout (error (143)) 186    162    1073668096
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 7.18 2.77 199421952 error: exception 6.67 2.49 195661824 error: exception 7.60 2.98 200978432
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 7.22 2.85 201408512 error: exception 6.66 2.54 197058560 error: exception 7.58 3.06 206204928
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 7.10 2.89 195272704 unknown 6.41 2.47 198590464 unknown 7.01 2.83 203644928
list-ext-properties/test-0504_1_true-valid-memsafety.i error: exception 6.78 2.85 192815104 error: exception 6.48 2.49 196096000 error: exception 7.17 2.87 201646080
list-ext-properties/test-0513_1_true-valid-memsafety.i error: exception 6.89 2.70 190132224 error: exception 6.56 2.53 199974912 error: exception 7.34 2.97 200884224
memory-alloca/c.03-alloca_true-valid-memsafety.i error: exception 17.6  7.81 311115776 timeout (error (143)) 186    159    1642434560 timeout (error (143)) 182    152    1844678656
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 11.0  4.32 290091008 timeout (error (143)) 182    153    1045618688 timeout (error (143)) 186    155    1214418944
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 15.6  7.17 324251648 timeout (error (143)) 181    148    1062244352 timeout (error (143)) 182    148    1095172096
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.81 3.41 240594944 false(valid-deref) 39.4  18.1  686358528 unknown 43.8  20.2  679813120
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 9.06 3.56 254144512 false(valid-deref) 45.5  22.3  763039744 unknown 47.6  25.5  685752320
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 181    128    2253299712 timeout (error (143)) 181    121    2241548288 unknown 26.9  9.48 423358464
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 181    126    2247393280 timeout (error (143)) 180    121    2227757056 unknown 25.9  9.23 400863232
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 7.74 3.08 237719552 false(valid-deref) 9.53 3.69 268431360 unknown 9.92 4.04 239583232
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.09 3.18 238112768 false(valid-deref) 9.97 3.82 271720448 unknown 10.3  3.92 245202944
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 7.73 3.07 234602496 false(valid-deref) 9.44 3.67 266383360 unknown 10.1  3.94 239001600
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 8.07 3.28 236732416 false(valid-deref) 9.81 3.84 276135936 unknown 10.3  4.06 248762368
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.84 3.11 238096384 false(valid-deref) 9.32 3.59 265547776 unknown 9.71 3.80 236216320
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.89 3.15 238190592 false(valid-deref) 9.95 3.75 265666560 unknown 9.33 3.76 238006272
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 181    146    720408576 timeout (error (143)) 185    153    1063149568 timeout (error (143)) 180    149    1100886016
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (error (143)) 183    143    2289967104 timeout (error (143)) 186    134    2315669504 unknown 30.4  10.9  435490816
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout (error (143)) 181    127    2254254080 timeout (error (143)) 181    116    2234580992 unknown 30.4  11.4  464846848
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout (error (143)) 186    144    2302046208 timeout (error (143)) 188    134    2313490432 unknown 31.7  11.3  498024448
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout (error (143)) 181    127    2178215936 timeout (error (143)) 180    115    1693110272 unknown 46.3  24.9  700813312
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout (error (143)) 180    125    2245578752 timeout (error (143)) 181    118    2220888064 unknown 30.1  12.1  494145536
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 10.6  3.91 309960704 timeout (error (143)) 182    156    1109102592 timeout (error (143)) 186    159    1316339712
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 10.3  3.86 292302848 timeout (error (143)) 186    163    1283993600 timeout (error (143)) 183    158    1413341184
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 8.47 3.27 244420608 timeout (error (143)) 181    164    1084964864 timeout (error (143)) 181    161    1150337024
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 18.0  7.60 371253248 true 17.8  7.59 381587456 unknown 9.15 3.60 241459200
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 28.2  14.1  451469312 true 26.7  13.2  450859008 unknown 9.58 3.66 238964736
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 19.6  8.80 394338304 true 18.1  7.66 375128064 unknown 9.43 3.66 235696128
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 28.1  13.9  448155648 true 27.9  13.7  469860352 unknown 9.72 3.73 247451648
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 27.2  13.7  438308864 true 27.0  13.7  458407936 unknown 9.14 3.48 241389568
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 28.3  14.1  472473600 true 26.5  13.4  480636928 unknown 9.31 3.65 238972928
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 7.04 2.76 200445952 error: exception 6.97 2.58 203849728 error: exception 7.22 3.00 201265152
ldv-memsafety/memleaks_test22_3_false-valid-deref.i error: exception 7.10 2.66 201089024 error: exception 7.09 2.65 203149312 error: exception 7.55 2.94 203784192
ldv-memsafety/memleaks_test22_5_false-valid-deref.i error: exception 6.98 2.61 202903552 error: exception 6.95 2.59 199401472 error: exception 7.69 3.03 205766656
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.85 2.84 197210112 unknown 6.95 2.56 203145216 unknown 7.64 2.93 203280384
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.07 2.71 198696960 unknown 6.80 2.62 200957952 unknown 7.59 2.86 205709312
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 7.26 2.72 204087296 error: exception 6.82 2.60 201666560 error: exception 7.73 3.04 202887168
ldv-memsafety/memleaks_test12_false-valid-free.i error: exception 6.99 2.61 202678272 error: exception 6.90 2.63 201568256 error: exception 7.39 2.78 203726848
ldv-memsafety/memleaks_test17_2_false-valid-free.i error: exception 7.01 2.73 199774208 error: exception 6.87 2.66 199278592 error: exception 7.06 2.71 203431936
ldv-memsafety/memleaks_test19_false-valid-free.i error: exception 7.19 2.64 198307840 error: exception 6.90 2.62 199553024 error: exception 7.33 2.81 204427264
ldv-memsafety/memleaks_test1_false-valid-free.i error: exception 6.94 2.58 203657216 error: exception 7.00 2.64 201797632 error: exception 7.45 2.71 205889536
ldv-memsafety/memleaks_test3_false-valid-free.i error: exception 7.05 2.63 201347072 error: exception 6.80 2.56 202022912 error: exception 7.58 2.75 211341312
ldv-memsafety/memleaks_test6_2_false-valid-free.i error: exception 7.15 2.70 200892416 error: exception 6.80 2.53 204853248 error: exception 7.21 2.81 202285056
ldv-memsafety/memleaks_test8_2_false-valid-free.i error: exception 7.05 2.65 199405568 error: exception 7.02 2.65 203739136 error: exception 7.48 2.92 205312000
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 7.22 2.74 202108928 error: exception 6.77 2.65 201019392 error: exception 7.67 3.21 203284480
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 6.97 2.61 199598080 error: exception 6.97 2.68 203079680 error: exception 7.78 2.98 206925824
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 7.11 2.72 199802880 error: exception 6.96 2.60 202293248 error: exception 7.71 2.92 206274560
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 6.92 2.60 200253440 error: exception 7.04 2.69 204660736 error: exception 7.71 3.01 204689408
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 6.88 2.63 199954432 error: exception 6.90 2.63 203743232 error: exception 7.65 3.05 201404416
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 6.98 2.64 194998272 error: exception 7.25 2.74 200171520 error: exception 8.01 2.98 211738624
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error: exception 7.03 2.73 199368704 error: exception 7.59 2.81 200028160 error: exception 7.82 3.11 206118912
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 7.03 2.61 198844416 error: exception 7.40 2.81 204242944 error: exception 7.66 2.84 209113088
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 7.04 2.69 200491008 error: exception 7.26 2.76 205058048 error: exception 7.53 3.00 204914688
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i error: exception 6.94 2.63 201887744 error: exception 7.31 2.86 202940416 error: exception 7.79 3.11 207237120
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error: exception 7.08 2.65 198594560 error: exception 7.52 3.08 199589888 error: exception 7.73 3.18 206770176
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i error: exception 7.35 2.79 202420224 error: exception 7.20 2.66 204513280 error: exception 7.68 3.04 201789440
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i error: exception 6.98 2.66 201109504 error: exception 7.52 2.81 203714560 error: exception 7.82 3.41 202702848
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i error: exception 7.11 2.65 196108288 error: exception 7.12 2.64 206704640 error: exception 8.09 3.53 205361152
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i error: exception 7.08 2.66 202035200 error: exception 7.41 2.77 210366464 error: exception 7.71 3.01 206819328
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 6.90 2.65 200110080 error: exception 7.82 3.23 196972544 error: exception 8.03 3.18 208420864
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 6.93 2.58 199213056 error: exception 7.42 3.34 200867840 error: exception 7.73 3.20 202375168
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i error: exception 7.05 2.68 197746688 error: exception 7.74 3.42 197971968 error: exception 7.91 3.03 208621568
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i error: exception 7.08 2.68 201773056 error: exception 7.70 3.40 202309632 error: exception 8.24 3.07 205377536
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i error: exception 6.96 2.61 201740288 error: exception 7.83 3.63 202625024 error: exception 8.11 3.11 210063360
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i error: exception 6.99 2.66 201248768 error: exception 7.73 3.27 200011776 error: exception 7.91 3.10 206774272
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i error: exception 7.07 2.63 199282688 error: exception 7.85 3.60 198029312 error: exception 8.15 3.38 206323712
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i error: exception 6.98 2.62 199053312 error: exception 7.51 3.41 201719808 error: exception 7.97 3.02 203485184
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i error: exception 7.01 2.63 206327808 error: exception 7.73 3.39 201175040 error: exception 7.90 3.13 204619776
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i error: exception 6.75 2.54 196059136 error: exception 8.07 3.19 206192640 error: exception 8.12 3.07 204587008
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i error: exception 6.79 2.60 199622656 error: exception 7.66 3.13 202305536 error: exception 8.08 3.26 205524992
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i error: exception 7.15 2.61 198152192 error: exception 7.89 3.14 201895936 error: exception 7.73 3.21 202969088
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i error: exception 6.98 2.71 199700480 error: exception 7.59 3.15 198197248 error: exception 8.04 3.14 201691136
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i error: exception 7.06 2.63 197529600 error: exception 7.95 3.36 205107200 error: exception 7.50 3.17 207589376
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 7.09 2.67 195706880 error: exception 7.32 2.80 202510336 error: exception 8.11 3.30 204472320
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 7.08 2.71 207687680 error: exception 7.54 2.80 205045760 error: exception 8.17 3.13 207151104
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error: exception 6.98 2.62 197165056 error: exception 7.21 2.67 199315456 error: exception 7.66 3.25 205295616
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 7.01 2.68 204537856 error: exception 7.23 2.64 203915264 error: exception 7.70 3.08 205725696
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 7.15 2.59 206004224 error: exception 7.22 2.79 200863744 error: exception 7.79 2.90 206450688
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i error: exception 7.26 2.70 200953856 error: exception 7.32 2.73 198340608 error: exception 8.05 3.42 211447808
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 6.93 2.58 204136448 error: exception 7.10 2.61 196399104 error: exception 7.89 3.09 205361152
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i error: exception 7.10 2.67 203587584 error: exception 7.26 2.66 201089024 error: exception 8.01 3.11 205520896
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error: exception 7.14 2.73 197402624 error: exception 7.02 2.66 199876608 error: exception 8.33 3.31 207073280
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i error: exception 6.99 2.61 199995392 error: exception 6.94 2.63 202633216 error: exception 8.05 3.13 203890688
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 7.06 2.68 203038720 error: exception 7.25 2.75 201719808 error: exception 7.92 3.07 204615680
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i error: exception 6.94 2.69 192258048 error: exception 7.36 3.03 202027008 error: exception 8.08 3.40 202739712
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 6.90 2.64 201121792 error: exception 7.21 2.71 200159232 error: exception 8.09 3.22 201105408
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 6.93 2.64 200859648 error: exception 7.20 2.71 202878976 error: exception 7.54 3.00 200114176
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i error: exception 6.84 2.59 200826880 error: exception 7.00 2.66 198963200 error: exception 7.91 3.06 202620928
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i error: exception 7.04 2.65 200048640 error: exception 7.54 2.83 205721600 error: exception 7.75 3.01 205725696
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i error: exception 7.04 2.69 200298496 error: exception 7.19 2.72 202858496 error: exception 7.79 3.06 204754944
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.92 2.63 201973760 unknown 7.15 2.73 202047488 unknown 7.81 3.18 201699328
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.74 2.57 194072576 unknown 7.02 2.57 202297344 unknown 8.27 3.48 207355904
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i error: exception 7.17 2.72 201732096 error: exception 7.40 2.76 206991360 error: exception 8.06 3.31 211288064
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i error: exception 7.11 2.58 202035200 error: exception 7.20 2.66 201158656 error: exception 8.26 3.40 211664896
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i error: exception 7.04 2.60 199692288 error: exception 7.34 2.81 205615104 error: exception 7.82 3.26 207007744
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i error: exception 6.97 2.66 203206656 error: exception 7.13 2.71 204636160 error: exception 7.70 3.29 204173312
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i error: exception 6.97 2.62 198631424 error: exception 7.07 2.65 200081408 error: exception 8.25 3.41 206671872
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i error: exception 7.19 2.63 200572928 error: exception 6.90 2.62 196841472 error: exception 7.43 3.20 205864960
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i error: exception 6.94 2.59 199630848 error: exception 7.27 2.78 208277504 error: exception 8.04 3.35 209821696
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 10.3  3.99 282214400 error: exception 71.9  51.1  939802624 unknown 77.4  59.5  971276288
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 18.8  8.69 373485568 false(valid-deref) 51.0  30.3  753278976 unknown 51.8  32.8  913870848
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i timeout (error (143)) 182    171    513286144 false(valid-deref) 47.8  29.1  756428800 unknown 52.6  30.6  774713344
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i timeout (error (143)) 181    166    888487936 false(valid-deref) 163    143    1065447424 timeout (error (143)) 181    161    1197002752
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i timeout (error (143)) 181    169    924114944 false(valid-deref) 75.2  51.6  870604800 unknown 77.1  54.8  754868224
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 10.9  4.35 277975040 error: exception 68.9  50.9  987258880 unknown 79.9  57.1  1115660288
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i timeout (error (143)) 184    171    507777024 false(valid-deref) 52.6  30.6  738529280 unknown 51.6  32.1  809938944
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 11.4  4.39 297058304 timeout (error (143)) 186    159    1324593152 timeout (error (143)) 186    166    1736482816
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i timeout (error (143)) 183    172    890478592 false(valid-deref) 72.7  50.3  830898176 unknown 74.4  54.7  988049408
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i timeout (error (143)) 182    169    537587712 timeout (error (143)) 186    166    1219141632 timeout (error (143)) 185    166    1368379392
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.80 2.60 199389184 unknown 6.75 2.51 202833920 unknown 7.68 3.04 204099584
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 6.95 2.62 197971968 error: exception 6.67 2.50 199213056 error: exception 8.17 3.23 205799424
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.92 2.65 197718016 unknown 6.55 2.50 197963776 unknown 7.67 3.12 202031104
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.91 2.70 196263936 unknown 6.72 2.59 201072640 unknown 7.28 3.24 198545408
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.58 2.53 197193728 unknown 6.46 2.50 200310784 unknown 7.56 3.11 200687616
heap-manipulation/tree_false-valid-deref.i unknown 6.69 2.63 197328896 unknown 6.52 2.57 198844416 unknown 7.56 3.10 203444224
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i error: exception 6.63 2.46 196186112 error: exception 6.52 2.51 201981952 error: exception 7.79 3.14 201039872
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error: exception 6.84 2.65 198488064 error: exception 6.78 2.62 197902336 error: exception 7.34 3.14 198127616
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error: exception 6.54 2.51 197443584 error: exception 6.44 2.51 195059712 error: exception 7.20 3.01 203255808
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 180    147    656834560 timeout (error (143)) 185    152    1171324928 timeout (error (143)) 185    155    1378045952
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    148    629424128 timeout (error (143)) 183    157    1080475648 timeout (error (143)) 185    156    1172627456
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 12.1  4.38 298524672 timeout (error (143)) 186    159    988540928 timeout (error (143)) 184    159    1045180416
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 18.4  7.27 364781568 timeout (error (143)) 183    159    1142341632 timeout (error (143)) 186    163    1253036032
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.7  6.06 325349376 timeout (error (143)) 183    161    975618048 timeout (error (143)) 181    159    1014988800
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 16.1  6.36 332390400 timeout (error (143)) 184    156    1047814144 timeout (error (143)) 182    157    1032691712
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 13.1  4.77 326004736 timeout (error (143)) 185    161    1127583744 timeout (error (143)) 186    163    1279643648
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.55 2.80 237355008 unknown 7.23 2.64 238403584 unknown 7.91 3.20 239329280
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.43 2.71 238063616 unknown 7.17 2.72 227254272 unknown 8.27 3.22 238112768
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.39 2.75 222613504 unknown 7.26 2.73 228290560 unknown 7.66 2.97 221458432
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.50 2.70 228646912 unknown 7.17 2.67 223862784 unknown 8.26 3.10 237322240
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.35 2.77 220864512 unknown 7.43 2.77 231374848 unknown 7.86 3.07 225734656
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.37 2.71 225058816 unknown 7.18 2.72 223662080 unknown 8.02 3.09 225685504
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.74 2.70 222183424 unknown 7.43 2.68 236531712 unknown 7.64 3.08 234446848
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.22 2.67 222793728 unknown 7.42 2.69 225812480 unknown 8.31 3.18 236929024
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.30 2.71 217808896 unknown 7.13 2.66 226799616 unknown 7.93 3.10 238497792
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.24 2.72 222367744 unknown 7.29 2.74 224804864 unknown 8.30 3.09 238575616
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.59 2.75 241917952 unknown 7.51 2.79 226725888 unknown 7.69 3.10 224677888
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.39 2.78 221753344 unknown 7.33 2.69 226385920 unknown 7.78 3.07 236662784
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.55 2.74 234233856 unknown 7.36 2.79 235913216 unknown 7.98 3.08 233611264
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error: exception 6.46 2.60 196231168 error: exception 6.53 2.43 198832128 error: exception 6.90 2.99 205627392
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 6.82 2.63 194883584 error: exception 6.50 2.51 195977216 error: exception 7.22 2.99 204251136
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 6.68 2.53 192757760 error: exception 6.46 2.53 202043392 error: exception 6.61 2.87 202936320
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i error: exception 6.67 2.58 192839680 error: exception 6.50 2.58 206319616 error: exception 6.80 2.88 200835072
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error: exception 6.71 2.55 195579904 error: exception 6.48 2.51 198742016 error: exception 7.20 2.88 198684672
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 6.72 2.66 195624960 error: exception 6.48 2.46 202080256 error: exception 6.86 2.90 198971392
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i error: exception 6.82 2.54 195170304 error: exception 6.71 2.51 195452928 error: exception 6.99 2.86 201654272
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 6.76 2.65 195264512 error: exception 6.58 2.52 200220672 error: exception 7.29 2.91 205668352
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 6.50 2.51 193654784 error: exception 6.54 2.47 203091968 error: exception 7.11 2.85 202776576
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 6.80 2.67 195338240 error: exception 6.74 2.57 201232384 error: exception 6.90 2.89 200085504
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error: exception 71.0  46.2  601378816 timeout (error (143)) 186    161    1223909376 timeout (error (143)) 186    160    1234628608
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i error: exception 6.79 2.54 196153344 error: exception 6.70 2.51 199065600 error: exception 7.25 2.82 204419072
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error: exception 6.66 2.69 199024640 error: exception 6.42 2.53 196186112 error: exception 7.03 2.88 205004800
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i error: exception 6.55 2.56 196014080 error: exception 6.58 2.54 199405568 error: exception 7.38 2.88 204926976
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    138    647335936 timeout (error (143)) 182    155    1397977088 timeout (error (143)) 186    157    1472073728
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    142    664064000 timeout (error (143)) 186    158    1241014272 timeout (error (143)) 186    159    1423220736
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i error: exception 6.79 2.59 195510272 error: exception 6.38 2.44 199012352 error: exception 7.56 2.98 204906496
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 6.69 2.57 198520832 error: exception 6.60 2.51 198332416 error: exception 7.27 2.92 204062720
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i error: exception 6.70 2.58 196706304 error: exception 6.43 2.47 197963776 error: exception 7.30 2.88 198942720
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 6.93 2.69 198332416 error: exception 6.54 2.52 199938048 error: exception 7.34 2.91 205008896
forester-heap/sll-01_false-unreach-call_false-valid-deref.i error: exception 6.69 2.55 193593344 error: exception 6.70 2.54 199958528 error: exception 7.33 2.96 202964992
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 152    115    671105024 timeout (error (143)) 184    154    1236959232 timeout (error (143)) 182    149    1418440704
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 181    137    1665294336 timeout (error (143)) 181    138    1678725120 unknown 7.89 3.24 233811968
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.47 3.03 253493248 unknown 8.77 3.12 266915840 unknown 8.89 3.26 252223488
ntdrivers/kbfiltr_false-valid-deref.i.cil.c error: exception 7.93 2.93 246611968 error: exception 7.80 2.94 245075968 error: exception 8.89 3.34 252448768
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.6  5.74 391151616 true 16.6  5.97 418144256 unknown 16.6  6.20 397402112
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 17.0  6.06 416874496 true 16.9  6.19 340041728 unknown 17.3  6.40 405680128
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.6  4.83 311459840 true 13.9  4.96 330723328 unknown 12.9  4.78 297160704
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.0  4.79 307924992 true 13.5  4.96 332865536 unknown 13.0  4.94 297099264
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.1  4.79 304918528 error: exception 12.5  4.50 307011584 error: exception 13.5  5.10 308727808
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.4  5.21 327372800 true 14.6  5.33 336998400 unknown 14.6  5.56 294592512
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.8  5.02 326692864 true 15.1  5.51 330477568 unknown 14.0  5.30 291676160
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.2  3.93 273887232 true 10.8  4.02 285626368 unknown 9.99 3.82 268644352
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.1  4.48 301592576 true 12.2  4.55 301297664 unknown 11.5  4.69 300208128
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.6  4.57 306348032 true 12.0  4.44 300777472 unknown 12.1  4.60 286900224
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 8.10 3.10 232464384 true 8.30 3.22 232140800 unknown 9.16 3.77 237842432
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.40 3.31 232480768 true 8.14 3.17 232574976 unknown 9.05 3.82 237436928
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.31 3.24 236134400 true 8.45 3.58 237297664 unknown 9.15 3.94 233832448
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 8.45 3.33 231899136 true 8.57 3.24 237121536 unknown 9.32 3.87 240545792
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.19 3.19 233140224 true 8.77 3.37 239857664 unknown 9.20 3.79 238837760
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.47 3.26 235229184 true 8.98 3.38 238567424 unknown 9.26 3.95 236097536
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.57 3.29 234983424 true 8.84 3.41 239882240 unknown 9.05 3.53 237535232
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.29 3.31 232062976 true 8.85 3.31 241549312 unknown 9.43 3.95 236171264
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.85 3.09 230240256 true 7.88 3.25 237891584 unknown 8.27 3.47 229756928
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.46 3.03 233279488 true 7.94 3.09 236810240 unknown 8.80 3.72 235872256
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.94 3.20 231022592 true 8.13 3.14 235806720 unknown 8.44 3.52 233562112
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 8.00 3.14 233172992 true 8.05 3.11 236892160 unknown 8.70 3.53 233807872
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.89 3.18 235618304 true 7.68 2.97 237854720 unknown 8.46 3.56 235020288
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 15800 11600 145443557376 326 24100 18500 202202386432 326 21100 16200 185347534848
local summary 8880 5850 22600 9290 21100 8100
    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 AutomizerHeapSep HeapSep