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/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/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/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/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/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/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/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_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_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_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_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_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/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-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-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/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-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-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-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-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-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-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
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_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-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
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/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-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
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
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-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-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 147 8130 5680 87196327936 147 16200 12400 130105044992 147 13100 10000 111599255552
    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