Tool ULTIMATE Automizer 0.1.23-26d9e06f
Limits timelimit: 90 s, memlimit: 6000 MB, CPU core limit: 4
Host hetzner
OS Linux-4.4.0-112-generic-x86_64-with-Ubuntu-16.04-xenial
System CPU: Intel Core i7-4770 CPU @ 3.40GHz, cores: 8, frequency: 3900 MHz, Turbo Boost: enabled; RAM: 33593 MB
Date of execution 2018-02-02 08:39:56 CET
Run set Camel SmtInterpol SmtInterpol-NoArray z3
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cav18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cav18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_Array.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cav18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_NoArray.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cav18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_z3.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage 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) 5.77 4.36 250675200 false(valid-deref) 6.03 2.33 262877184 false(valid-deref) 6.17 2.36 253911040 false(valid-deref) 6.54 2.52 282951680
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 5.06 4.00 242024448 false(valid-deref) 5.40 2.11 253083648 false(valid-deref) 5.46 2.19 252461056 false(valid-deref) 5.92 2.46 254222336
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 6.11 2.49 253739008 false(valid-deref) 6.02 2.33 255823872 false(valid-deref) 5.86 2.32 256286720 false(valid-deref) 6.72 2.53 291586048
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 4.90 2.30 224010240 false(valid-deref) 4.98 1.99 214544384 false(valid-deref) 4.80 1.95 211763200 false(valid-deref) 4.95 1.95 227614720
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 11.8  5.54 364478464 false(valid-deref) 10.3  4.13 333176832 false(valid-deref) 9.99 3.92 347832320 error: exception 7.95 2.94 305000448
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 8.14 3.41 315904000 false(valid-deref) 8.21 3.10 327094272 false(valid-deref) 8.23 3.17 321257472 error: exception 7.51 2.82 325279744
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 4.94 2.04 222380032 false(valid-deref) 4.93 1.94 223432704 false(valid-deref) 4.93 2.01 223346688 false(valid-deref) 4.91 1.96 222474240
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 5.17 2.08 224542720 false(valid-deref) 5.04 1.98 227422208 false(valid-deref) 4.77 1.93 228413440 false(valid-deref) 4.87 1.95 225538048
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 11.9  5.03 369532928 false(valid-deref) 9.53 3.72 333148160 error: exception 6.62 2.51 253014016 error: exception 8.09 3.02 311009280
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 5.69 2.47 247726080 false(valid-deref) 5.64 2.20 253579264 false(valid-deref) 5.83 2.22 258338816 false(valid-deref) 6.07 2.38 253075456
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 6.80 2.67 267632640 false(valid-deref) 7.36 2.87 281796608 error: exception 5.40 2.05 228958208 error: exception 5.60 2.14 234680320
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 12.2  4.81 367075328 false(valid-deref) 11.5  4.35 349630464 error: exception 5.31 2.09 229236736 error: exception 6.76 2.62 290967552
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 6.47 2.74 269803520 unknown 5.32 2.05 224083968 unknown 5.16 2.04 220647424 false(valid-deref) 6.71 2.52 290512896
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 7.09 2.81 256581632 false(valid-deref) 7.19 2.69 258125824 false(valid-deref) 7.08 2.73 258129920 false(valid-deref) 10.6  3.94 396292096
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 6.83 2.66 263405568 false(valid-deref) 7.10 2.60 254926848 false(valid-deref) 6.43 2.47 250564608 false(valid-deref) 8.11 3.03 341094400
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 5.49 2.62 248221696 false(valid-deref) 5.40 2.16 244039680 false(valid-deref) 5.53 2.25 253632512 false(valid-deref) 6.29 2.47 266727424
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 5.09 2.37 213573632 false(valid-deref) 4.98 1.99 223379456 false(valid-deref) 5.26 2.31 229019648 false(valid-deref) 4.77 1.88 223121408
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error: exception) 91.1  57.9  947912704 timeout (error (143)) 90.7  54.6  1113784320 error: exception 7.18 2.77 264077312 error: exception 6.60 2.54 288165888
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 8.90 3.81 343666688 true 8.30 3.12 316706816 error: exception 8.00 3.08 315113472 error: exception 6.67 2.63 298815488
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 9.89 3.91 342396928 true 8.76 3.26 343044096 error: exception 8.82 3.34 324452352 error: exception 7.07 2.73 315654144
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 9.60 3.74 338714624 true 8.65 3.23 340045824 error: exception 8.54 3.30 315293696 error: exception 6.82 2.53 309837824
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 9.71 3.65 337694720 true 8.48 3.15 326176768 error: exception 8.28 3.06 320438272 error: exception 6.65 2.57 312340480
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 12.1  5.24 365039616 true 10.7  3.96 345321472 error: exception 10.4  3.84 334954496 error: exception 7.23 2.74 296030208
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 90.7  65.1  964648960 timeout (error (143)) 90.7  52.3  1159507968 error: exception 5.86 2.34 251432960 error: exception 6.72 2.61 277528576
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 11.4  5.04 371576832 true 10.6  4.19 368902144 error: exception 8.30 3.20 342564864 error: exception 6.58 2.49 286920704
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 25.4  13.8  495202304 true 19.3  8.30 482463744 error: exception 5.19 2.02 222007296 error: exception 6.68 2.64 288919552
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 15.8  7.24 421314560 true 13.5  5.64 399929344 error: exception 7.72 2.80 289763328 error: exception 6.93 2.63 312004608
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 24.9  12.5  505499648 true 17.0  6.91 452845568 error: exception 5.28 2.08 221450240 error: exception 6.43 2.57 286654464
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 11.4  4.94 360988672 true 9.82 3.80 349745152 error: exception 9.34 3.53 336216064 error: exception 7.42 2.76 286175232
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 91.2  81.1  538136576 timeout (error (143)) 90.4  53.9  983801856 error: exception 6.35 2.46 257478656 error: exception 8.63 3.14 316194816
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 32.5  20.9  507252736 true 17.5  7.62 454041600 error: exception 5.20 2.08 224755712 error: exception 6.74 2.61 295661568
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 21.7  10.3  447782912 true 17.6  7.37 526307328 error: exception 7.31 2.78 271699968 error: exception 6.95 2.65 317214720
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 42.7  25.2  586989568 true 18.4  7.96 462123008 error: exception 5.37 1.99 226181120 error: exception 6.62 2.82 295727104
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 51.5  35.9  553058304 true 18.7  7.87 484814848 error: exception 5.16 2.02 225161216 error: exception 6.81 2.61 288673792
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 17.1  6.87 419946496 true 13.3  4.97 403615744 error: exception 5.22 2.02 222167040 error: exception 5.64 2.20 229957632
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 12.8  5.53 399044608 true 12.4  4.80 366493696 error: exception 7.89 2.88 279859200 error: exception 7.39 3.09 298344448
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 10.6  3.96 330571776 true 9.19 3.35 341299200 error: exception 8.13 3.04 309891072 error: exception 8.29 3.31 321966080
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 24.3  11.7  483233792 true 19.2  8.30 471629824 error: exception 5.56 2.13 231944192 error: exception 7.17 2.75 294596608
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 11.2  4.99 360837120 unknown 4.90 1.97 219541504 unknown 4.93 2.00 223461376 error: exception 6.69 2.49 296943616
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 12.5  5.46 373448704 true 10.6  4.10 354033664 error: exception 9.69 3.59 338767872 error: exception 9.59 3.83 351694848
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 12.0  5.42 383217664 true 9.65 4.00 343867392 error: exception 8.90 3.26 336769024 error: exception 6.97 2.65 309706752
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 18.5  10.8  417636352 true 16.6  8.86 383234048 error: exception 10.1  3.84 343695360 error: exception 6.88 2.63 305582080
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 11.2  4.63 356208640 true 9.27 3.74 328802304 error: exception 7.13 2.77 275341312 error: exception 8.53 3.26 322109440
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 15.4  7.14 403832832 true 12.4  4.85 398548992 error: exception 6.99 2.68 269791232 error: exception 5.98 2.33 265195520
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 72.0  42.6  867057664 true 51.5  25.5  777764864 error: exception 7.31 2.71 267923456 error: exception 7.13 2.75 308088832
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 91.4  66.5  834768896 timeout (error (143)) 91.1  56.0  904609792 error: exception 5.66 2.22 253087744 error: exception 6.95 2.53 282243072
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 23.0  11.9  494252032 true 19.4  7.95 501972992 error: exception 5.24 2.10 230076416 error: exception 6.68 2.56 284545024
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 14.3  6.34 409747456 true 12.2  4.88 397971456 error: exception 7.31 2.71 276410368 error: exception 6.83 2.64 313434112
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 29.2  18.4  493006848 true 17.9  7.35 482934784 error: exception 5.33 2.05 224378880 error: exception 6.23 2.48 280100864
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 43.2  22.8  588570624 true 49.7  21.5  748048384 error: exception 5.22 2.02 223985664 error: exception 6.62 2.50 291606528
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 11.2  5.00 364789760 true 10.1  3.99 349945856 error: exception 8.28 3.27 344190976 error: exception 7.72 2.90 307134464
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 90.6  66.7  726446080 timeout (error (143)) 91.2  55.3  980029440 error: exception 6.40 2.50 257110016 error: exception 7.83 2.97 325189632
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 28.6  14.6  519532544 true 19.4  7.79 506580992 error: exception 5.09 2.05 225267712 error: exception 6.37 2.46 289992704
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 28.7  14.2  548454400 true 19.9  8.45 451149824 error: exception 7.52 2.99 280272896 error: exception 6.47 2.49 313225216
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 12.8  5.61 393154560 true 11.8  4.48 350875648 error: exception 9.87 3.63 335441920 error: exception 7.53 2.83 290705408
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 29.2  18.0  493109248 true 18.3  7.68 499339264 error: exception 5.05 2.08 229146624 error: exception 6.39 2.44 282304512
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 29.9  16.6  523743232 true 19.2  8.59 493940736 error: exception 5.43 2.06 219430912 error: exception 6.68 2.56 278343680
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 91.8  74.4  644313088 timeout (error (143)) 90.7  49.3  1479970816 error: exception 5.87 2.22 250523648 error: exception 6.82 2.60 311160832
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 19.3  13.0  396742656 true 10.6  4.12 363483136 error: exception 9.53 3.83 330858496 error: exception 6.89 2.72 291684352
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 11.3  4.67 360374272 timeout (error: exception) 91.0  60.2  1642213376 error: exception 8.41 3.50 312930304 error: exception 8.20 2.96 313233408
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 10.4  4.16 341585920 true 8.29 3.13 325849088 error: exception 8.53 3.28 317693952 error: exception 6.47 2.48 302211072
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 10.1  4.06 347340800 true 8.35 3.14 329863168 error: exception 8.64 3.28 324009984 error: exception 6.80 2.58 311455744
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 15.9  8.65 410402816 true 10.6  3.97 381906944 error: exception 8.79 3.34 344788992 error: exception 7.75 2.96 304054272
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 27.1  14.1  515629056 true 21.0  8.94 465203200 error: exception 5.15 2.07 221949952 error: exception 6.49 2.47 297947136
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 79.2  56.3  768217088 true 25.3  11.8  582656000 error: exception 4.95 2.01 222806016 error: exception 6.60 2.51 296280064
array-examples/relax_false-valid-deref.i false(valid-deref) 6.25 2.56 257531904 false(valid-deref) 6.00 2.35 253255680 false(valid-deref) 5.98 2.37 258740224 false(valid-deref) 5.69 2.12 235118592
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 90.7  59.1  861343744 timeout (error (143)) 91.6  55.0  1353322496 timeout (error (143)) 91.0  56.2  1209712640 timeout (error (143)) 90.7  67.0  808275968
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 90.6  59.5  1095995392 timeout (error (143)) 90.2  57.9  1674362880 timeout (error (143)) 90.2  58.2  1337843712 timeout (error (143)) 91.0  57.7  937639936
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 90.9  54.8  1027883008 timeout (error (143)) 90.9  56.9  1303138304 timeout (error (143)) 90.8  56.9  1157066752 timeout (error (143)) 91.0  67.3  1033531392
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 91.3  69.8  696172544 timeout (error (143)) 90.2  58.4  1330200576 error: exception 6.51 2.53 257605632 error: exception 7.79 2.84 323825664
memsafety/test-0137_false-valid-deref.i timeout (error (143)) 91.1  63.2  923168768 false(valid-deref) 45.4  21.8  701149184 error: exception 8.26 3.15 317739008 error: exception 11.6  4.71 392658944
memsafety/test-0235_false-valid-deref.i timeout (error (143)) 91.8  79.4  488378368 unknown 8.88 3.43 302309376 unknown 8.29 3.04 310366208 timeout (error (143)) 91.3  66.6  920379392
memsafety/960521-1_false-valid-free.i timeout (error (143)) 95.5  65.7  870871040 timeout (error (143)) 90.3  58.0  1159163904 error: exception 6.44 2.44 262647808 error: exception 7.61 2.78 327532544
memsafety/test-0158_false-valid-free.i false(valid-free) 7.66 3.54 277143552 false(valid-free) 7.77 2.83 275091456 error: exception 5.11 1.99 227024896 false(valid-free) 8.16 3.04 335880192
memsafety/test-0232_false-valid-free.i error: exception 80.4  48.8  964808704 false(valid-free) 71.3  39.8  912891904 error: exception 6.65 2.59 266874880 error: exception 8.81 3.36 349155328
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 91.6  64.4  779067392 unknown: overapproxcex 81.0  38.3  1328533504 error: exception 8.18 3.06 305094656 error: exception 11.4  4.19 398594048
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 92.5  58.9  832401408 timeout (error (143)) 90.9  46.0  2018095104 error: exception 7.46 2.85 289673216 error: exception 7.09 2.72 316919808
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 38.6  14.4  672403456 unknown: overapproxcex 45.3  16.1  872259584 unknown: overapproxcex 44.2  15.5  845869056 error: exception 10.0  3.81 321376256
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 12.9  4.41 389799936 unknown: overapproxcex 11.1  3.94 343851008 unknown: overapproxcex 10.2  3.63 354070528 error: exception 9.95 3.73 357650432
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 57.7  25.0  1016111104 unknown: overapproxcex 54.2  21.9  1609191424 unknown: overapproxcex 55.0  21.0  1449361408 error: exception 9.51 3.50 337178624
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.5  4.37 358662144 unknown: overapproxcex 10.8  4.13 363216896 error: exception 5.38 2.12 228278272 error: exception 16.7  11.3  322502656
memsafety/test-0102_false-valid-memtrack.i timeout (error (143)) 90.9  60.9  817664000 timeout (error (143)) 91.9  51.9  2240450560 error: exception 8.81 3.33 347881472 error: exception 10.4  3.83 410423296
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 5.97 2.94 254672896 unknown: overapproxcex 6.02 2.40 254963712 error: exception 5.21 2.09 226144256 unknown: overapproxcex 6.28 2.48 285831168
memsafety/test-0220_false-valid-memtrack.i error: exception 4.43 1.73 201109504 error: exception 4.31 1.66 199020544 error: exception 4.10 1.58 201596928 error: exception 4.20 1.61 201060352
memsafety/test-0232_false-valid-memtrack.i unknown: overapproxcex 21.6  9.43 479477760 unknown: overapproxcex 18.3  7.36 484184064 error: exception 6.85 2.50 270245888 error: exception 9.37 3.49 351510528
memsafety/test-0234_false-valid-memtrack.i timeout (error (143)) 92.6  82.4  504143872 unknown 8.05 3.04 295473152 unknown 8.05 3.02 304742400 error: exception 80.4  53.1  938725376
memsafety/test-0235_false-valid-memtrack.i timeout (error (143)) 92.6  80.9  464105472 unknown 8.08 3.00 311832576 unknown 8.02 2.93 308322304 true 51.5  35.3  737460224
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 96.1  83.7  622817280 timeout (error (143)) 90.6  58.0  1308295168 error: exception 6.58 2.47 259592192 error: exception 7.93 3.14 316780544
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (error (143)) 90.8  44.0  2194796544 timeout (error (143)) 90.3  38.4  2810490880 timeout (error (143)) 91.3  39.0  2912743424 error: exception 8.59 3.19 327192576
memsafety/test-0019_true-valid-memsafety_true-termination.i true 12.2  5.88 413319168 true 12.6  5.23 395120640 error: exception 5.33 2.07 226029568 error: exception 19.4  14.4  325603328
memsafety/test-0102_true-valid-memsafety.i timeout (error (143)) 90.8  62.8  952397824 timeout (error (143)) 93.3  51.6  2226737152 error: exception 9.30 3.63 333721600 error: exception 10.1  3.75 398274560
memsafety/test-0134_true-valid-memsafety.i timeout (error (143)) 91.1  51.0  1068920832 timeout (error (143)) 92.2  50.9  1216458752 error: exception 8.56 3.29 304713728 error: exception 12.2  4.62 396525568
memsafety/test-0158_true-valid-memsafety_true-termination.i true 7.54 3.04 301789184 true 7.66 2.87 302034944 error: exception 5.22 2.12 228130816 error: exception 7.97 2.97 319180800
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 4.42 1.97 202362880 error: exception 4.36 1.65 202035200 error: exception 4.34 1.68 201330688 error: exception 4.07 1.61 199143424
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 4.26 1.86 198754304 error: exception 4.08 1.60 202833920 error: exception 4.38 1.69 199938048 error: exception 4.32 1.75 202739712
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 4.37 1.96 201703424 error: exception 4.22 1.68 204464128 error: exception 4.35 1.73 202608640 error: exception 4.37 1.65 211017728
memsafety/test-0219_true-valid-memsafety.i error: exception 3.97 1.93 202199040 error: exception 4.23 1.65 200806400 error: exception 4.19 1.66 202948608 error: exception 4.25 1.67 199692288
memsafety/test-0232_true-valid-memsafety.i timeout (error (143)) 90.9  59.7  989433856 timeout (error (143)) 91.4  54.6  946057216 error: exception 6.41 2.53 267948032 error: exception 9.58 3.61 356507648
memsafety/test-0234_true-valid-memsafety.i timeout (error (143)) 90.7  80.6  491941888 unknown 7.65 2.93 302260224 unknown 7.66 2.97 301842432 timeout (error (143)) 91.2  72.5  701767680
memsafety/test-0235_true-valid-memsafety.i timeout (error (143)) 94.2  82.6  512118784 unknown 8.73 3.20 308658176 unknown 8.14 2.99 307486720 timeout (error (143)) 92.0  70.7  1005694976
memsafety/test-0236_true-valid-memsafety.i timeout (error (143)) 90.8  80.2  604045312 unknown 8.27 3.16 299950080 unknown 8.26 3.12 301363200 error: exception 51.7  30.5  954208256
memsafety/test-0237_true-valid-memsafety.i timeout (error (143)) 92.3  81.7  521269248 unknown 8.19 2.99 305987584 unknown 7.69 2.87 298479616 timeout (error (143)) 91.5  73.2  793440256
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 91.4  58.4  798986240 error: exception 54.1  24.9  839897088 error: exception 7.45 2.80 280743936 error: exception 11.0  4.12 357396480
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 90.6  64.7  682582016 error: exception 56.5  27.0  837906432 error: exception 9.69 3.75 340385792 error: exception 12.7  4.73 432701440
memsafety/test-0521_true-valid-memsafety.i timeout (error (143)) 92.9  60.6  847302656 timeout (error (143)) 91.1  53.4  900554752 error: exception 14.3  5.56 392511488 error: exception 20.2  7.67 507314176
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 90.9  78.9  669175808 true 21.0  8.78 565948416 error: exception 7.22 3.04 268308480 timeout (error (143)) 90.3  75.5  2301939712
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 90.4  53.6  852045824 timeout (error (143)) 92.0  55.8  1228808192 error: exception 9.65 3.69 329347072 error: exception 8.38 3.16 325107712
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error: exception 4.21 2.07 204591104 error: exception 3.78 1.52 199090176 error: exception 4.16 1.65 205254656 error: exception 4.13 1.53 202903552
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error: exception 4.31 1.95 204193792 error: exception 3.82 1.61 201859072 error: exception 4.28 1.70 199593984 error: exception 4.21 1.69 204754944
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 92.5  76.1  538284032 timeout (error (143)) 91.6  50.6  924008448 error: exception 9.68 3.64 337575936 error: exception 9.43 3.58 326135808
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 91.8  74.1  582021120 timeout (error (143)) 90.2  50.4  906231808 error: exception 10.1  3.80 360857600 error: exception 10.3  3.68 339787776
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 91.1  72.6  592007168 error: exception 76.0  43.7  895365120 error: exception 8.47 3.16 300191744 error: exception 11.2  4.06 362463232
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 91.1  64.0  704745472 timeout (error: exception) 90.8  52.1  1093324800 error: exception 10.5  4.02 347017216 error: exception 10.3  3.87 375033856
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 90.9  67.1  667045888 timeout (error (143)) 90.4  52.4  1090330624 error: exception 10.4  4.04 337854464 error: exception 9.61 3.56 339795968
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (error: exception) 90.8  62.2  1307926528 timeout (error (143)) 95.3  68.7  2338394112 error: exception 10.5  4.01 340860928 error: exception 17.5  6.68 482598912
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 92.8  40.2  1311436800 timeout (error (143)) 90.8  38.7  1984880640 error: exception 7.69 2.88 292163584 error: exception 11.6  4.31 405512192
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 90.9  49.1  1141604352 timeout (error (143)) 90.4  46.9  1160966144 error: exception 7.62 2.85 297701376 error: exception 12.3  4.43 425914368
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 90.7  64.7  994652160 timeout (error (143)) 90.1  57.5  1066078208 error: exception 9.17 3.51 342155264 error: exception 13.4  5.13 461524992
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 90.8  53.2  940236800 timeout (error (143)) 90.7  49.5  993312768 error: exception 7.08 2.67 291172352 error: exception 10.2  3.85 389484544
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 90.2  43.4  1255833600 timeout (error (143)) 91.2  48.2  1618386944 error: exception 7.86 2.92 295735296 error: exception 11.9  4.49 405204992
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 91.1  45.9  1137844224 timeout (error (143)) 90.6  45.5  1222451200 error: exception 7.66 2.98 296292352 error: exception 11.6  4.41 417566720
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 91.2  62.6  982634496 timeout (error (143)) 91.0  59.1  978800640 error: exception 9.64 3.47 332582912 error: exception 14.2  5.78 464113664
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 91.3  57.4  1006030848 timeout (error (143)) 91.4  51.9  1110011904 error: exception 7.10 2.64 274264064 error: exception 10.8  3.99 356106240
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 92.2  68.0  916733952 timeout (error (143)) 97.2  64.3  4830208000 error: exception 10.5  3.92 334843904 error: exception 20.9  8.94 478396416
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 10.9  4.30 348160000 false(valid-deref) 9.45 3.51 328167424 error: exception 6.38 2.52 253050880 error: exception 9.62 3.62 341889024
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 91.2  61.4  880287744 timeout (error (143)) 90.6  52.7  1121882112 error: exception 11.7  4.55 402571264 error: exception 8.02 3.18 304263168
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 9.10 3.79 335269888 false(valid-deref) 8.87 3.58 339136512 error: exception 7.46 2.84 263729152 error: exception 7.98 2.99 307007488
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 15.3  6.86 402644992 false(valid-free) 11.3  4.52 352305152 error: exception 6.53 2.55 255131648 error: exception 10.4  3.85 346263552
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 7.99 3.18 281186304 false(valid-free) 7.45 2.76 281038848 error: exception 5.31 2.05 224923648 false(valid-free) 8.93 3.51 332935168
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 21.7  10.6  493953024 unknown: overapproxcex 21.4  9.88 536940544 error: exception 5.48 2.08 227385344 error: exception 15.5  10.2  331108352
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 6.19 2.69 253550592 unknown: overapproxcex 6.16 2.49 253952000 error: exception 5.24 2.02 225202176 unknown: overapproxcex 6.72 2.75 297472000
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 20.7  8.24 469319680 unknown: overapproxcex 17.5  6.62 454909952 error: exception 6.92 2.61 266395648 error: exception 9.52 3.60 361664512
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 90.2  62.3  764186624 timeout (error (143)) 90.8  56.2  1086025728 error: exception 6.81 2.55 266739712 error: exception 9.74 3.76 331829248
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 90.4  57.9  833699840 timeout (error (143)) 91.2  55.1  939556864 error: exception 9.71 3.74 337051648 error: exception 8.38 3.26 323657728
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 92.0  60.4  795967488 timeout (error (143)) 90.9  53.3  1030000640 error: exception 7.44 3.00 270454784 error: exception 7.58 2.89 306343936
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 91.2  63.4  775692288 timeout (error (143)) 91.7  53.9  1042305024 error: exception 10.7  4.17 366555136 error: exception 7.28 2.78 282468352
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 24.0  12.0  537759744 true 23.8  11.4  532234240 error: exception 5.40 2.06 226590720 error: exception 20.0  14.9  321372160
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 7.92 3.09 315830272 true 7.57 2.94 303968256 error: exception 5.14 2.13 228839424 error: exception 8.45 3.08 310919168
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 4.36 1.79 201564160 error: exception 4.26 1.70 203042816 error: exception 4.30 1.58 202235904 error: exception 4.21 1.64 201015296
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 4.37 1.77 204533760 error: exception 4.30 1.60 203702272 error: exception 4.26 1.65 204742656 error: exception 4.19 1.56 204029952
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout (error (143)) 90.1  58.2  831832064 error: exception 83.3  51.4  1048043520 error: exception 6.81 2.56 264163328 error: exception 9.37 3.51 367407104
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 91.6  65.3  879448064 unknown 18.0  6.62 443940864 error: exception 7.87 2.93 292212736 error: exception 12.9  4.94 420560896
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 91.0  57.7  888594432 error: exception 70.0  35.3  1032208384 error: exception 12.0  4.69 363278336 error: exception 15.2  6.27 475119616
memory-alloca/c.03-alloca_true-valid-memsafety.i true 10.8  4.48 360071168 true 10.9  4.19 352100352 error: exception 5.53 2.33 225824768 error: exception 5.47 2.21 228388864
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 6.69 2.82 254992384 false(valid-deref) 6.69 2.64 258539520 false(valid-deref) 7.35 2.84 262221824 false(valid-deref) 8.50 3.14 332361728
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 7.33 3.00 283721728 false(valid-deref) 7.39 2.85 282578944 error: exception 6.03 2.59 254717952 error: exception 9.37 3.41 338538496
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 5.73 2.57 256323584 false(valid-deref) 5.50 2.25 258146304 false(valid-deref) 5.62 2.25 254742528 false(valid-deref) 6.05 2.42 257282048
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 5.57 2.23 261304320 false(valid-deref) 5.34 2.25 252985344 false(valid-deref) 5.61 2.18 255201280 false(valid-deref) 6.16 2.40 261316608
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 90.4  50.5  2221490176 timeout (error: exception) 90.6  52.6  2245541888 timeout (error: exception) 90.3  55.0  2247700480 error: exception 6.22 2.47 271306752
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error: exception) 90.8  52.0  2235719680 timeout (error (143)) 90.6  53.8  2257584128 timeout (error: exception) 90.8  55.2  2266836992 error: exception 6.41 2.45 270921728
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 5.40 2.62 252469248 false(valid-deref) 5.29 2.15 254234624 false(valid-deref) 5.23 2.13 260091904 false(valid-deref) 5.83 2.30 239173632
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 5.78 2.80 265162752 false(valid-deref) 5.22 2.18 256962560 false(valid-deref) 5.12 2.07 260161536 false(valid-deref) 5.58 2.13 245698560
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 5.44 2.21 258961408 false(valid-deref) 5.22 2.14 251625472 false(valid-deref) 5.05 2.05 260874240 false(valid-deref) 5.40 2.15 237522944
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 5.47 2.43 250777600 false(valid-deref) 5.39 2.28 253067264 false(valid-deref) 5.31 2.16 250773504 false(valid-deref) 5.72 2.19 270827520
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 5.38 2.29 250527744 false(valid-deref) 5.20 2.19 260235264 false(valid-deref) 5.12 2.02 256819200 false(valid-deref) 6.43 2.74 258854912
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 5.72 2.57 235118592 false(valid-deref) 5.38 2.23 256389120 false(valid-deref) 5.00 2.07 259104768 false(valid-deref) 5.57 2.31 248193024
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 95.4  56.7  2236665856 timeout (error (143)) 91.6  52.3  2294013952 error: exception 7.34 2.73 285687808 error: exception 10.4  4.71 320569344
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 9.79 3.99 332693504 timeout (error: exception) 91.2  58.0  2280980480 timeout (error: exception) 91.1  58.3  2291998720 error: exception 7.32 3.30 263397376
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 11.3  4.81 357298176 timeout (error (143)) 90.7  54.0  2295595008 timeout (error: exception) 90.6  53.2  2291597312 error: exception 7.64 3.09 320831488
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 10.2  3.83 328925184 timeout (error: exception) 91.1  57.3  2275045376 timeout (error: exception) 91.1  57.9  2278215680 error: exception 6.39 2.84 263696384
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 13.0  5.00 374689792 timeout (error (143)) 91.1  50.6  2233675776 timeout (error (143)) 91.1  50.5  2228981760 error: exception 9.06 3.73 329949184
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 11.1  4.20 331763712 timeout (error (143)) 90.1  52.5  2294452224 timeout (error: exception) 90.3  51.1  2292269056 error: exception 6.40 2.48 276381696
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error: type error 4.44 1.94 184467456 error: type error 3.89 1.63 201306112 error: type error 4.31 1.78 200155136 error: type error 4.13 1.55 199733248
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error: type error 4.35 1.95 184598528 error: type error 4.14 1.68 201363456 error: type error 4.20 1.63 200114176 error: type error 4.07 1.60 201043968
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 4.70 2.14 191283200 true 4.14 1.70 207982592 true 4.53 1.83 207933440 true 4.56 1.85 208699392
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 7.33 2.85 255029248 true 28.8  13.7  635076608 error: exception 28.3  13.3  646115328 error: exception 36.7  23.5  737284096
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 7.50 3.19 269676544 timeout (true) 90.1  59.6  1199235072 error: exception 88.7  58.2  1180909568 timeout (error (143)) 90.8  69.2  930070528
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 7.29 2.91 277843968 true 28.9  13.1  679559168 error: exception 27.5  13.2  582082560 error: exception 33.8  21.6  715845632
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 7.78 3.12 282058752 true 87.6  58.4  1198166016 error: exception 86.1  56.8  1192259584 timeout (error (143)) 90.7  69.2  971653120
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 7.23 3.28 272089088 timeout (true) 90.3  58.8  1291784192 error: exception 88.3  58.1  1171865600 timeout (error (143)) 91.0  68.5  845004800
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 7.18 2.79 271089664 timeout (true) 90.5  58.7  1157369856 timeout (error: exception) 90.3  58.8  1220190208 timeout (error (143)) 90.6  69.3  879751168
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 4.27 1.96 198578176 error: exception 4.13 1.69 201605120 error: exception 4.12 1.67 203141120 error: exception 4.13 1.69 198672384
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 93.2  71.3  1832787968 false(valid-deref) 47.4  22.5  1100255232 error: exception 26.7  9.95 635822080 error: exception 9.29 3.49 309977088
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 90.7  66.5  714948608 false(valid-deref) 52.0  24.4  1305661440 error: exception 28.6  10.8  561332224 error: exception 9.41 3.55 321654784
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error: exception 4.12 2.15 198152192 error: exception 4.43 1.81 200114176 error: exception 4.14 1.62 200916992 error: exception 4.24 1.67 200183808
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error: exception 4.12 1.59 200175616 error: exception 4.41 1.71 200867840 error: exception 4.28 1.65 200347648 error: exception 4.38 1.60 203497472
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 4.32 1.94 205131776 error: exception 4.35 1.70 206708736 error: exception 4.14 1.61 199565312 error: exception 4.45 1.69 207204352
ldv-memsafety/memleaks_test12_false-valid-free.i timeout (error (143)) 91.3  75.0  629014528 timeout (error (143)) 90.8  51.3  1455529984 error: exception 9.37 3.43 322265088 error: exception 29.3  13.9  571424768
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error (143)) 92.9  79.2  527646720 false(valid-free) 76.2  39.1  1087676416 error: exception 14.3  5.16 419176448 error: exception 10.1  3.96 414912512
ldv-memsafety/memleaks_test19_false-valid-free.i timeout (error (143)) 91.8  66.5  721203200 false(valid-free) 45.7  19.5  611921920 error: exception 7.54 2.81 291688448 error: exception 7.68 2.90 321593344
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 6.90 2.65 268132352 false(valid-free) 6.96 2.70 265007104 false(valid-free) 6.68 2.67 265183232 false(valid-free) 7.63 2.90 317014016
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 5.02 2.03 215281664 false(valid-free) 5.07 2.02 213454848 false(valid-free) 5.38 2.13 213020672 false(valid-free) 4.93 1.92 224288768
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 14.4  5.48 411910144 false(valid-free) 14.4  5.55 422313984 error: exception 9.18 3.49 328720384 timeout (error (143)) 91.5  84.9  384778240
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 7.16 2.70 262193152 false(valid-free) 7.61 2.92 272732160 false(valid-free) 7.56 2.90 261709824 false(valid-free) 8.68 3.22 318099456
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout (error (143)) 92.3  72.8  666832896 unknown: overapproxcex 62.2  29.1  872488960 error: exception 9.33 3.58 338235392 error: exception 10.6  3.96 417013760
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 4.00 1.57 201482240 error: exception 4.41 1.74 204427264 error: exception 4.47 1.70 200138752 error: exception 4.08 1.63 206274560
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 4.09 1.62 200736768 error: exception 4.40 1.68 205967360 error: exception 4.17 1.64 203079680 error: exception 4.00 1.58 200159232
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 4.09 1.66 199520256 error: exception 4.38 1.73 199323648 error: exception 4.29 1.62 198504448 error: exception 4.16 1.59 203247616
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 4.10 1.64 205639680 error: exception 4.01 1.67 202186752 error: exception 4.09 1.58 202141696 error: exception 4.14 1.59 201781248
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 4.23 1.64 202276864 error: exception 4.29 1.65 200904704 error: exception 4.09 1.61 201007104 error: exception 4.22 1.64 205283328
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout (error (143)) 90.2  65.1  663756800 timeout (error (143)) 90.4  51.6  1184849920 error: exception 7.59 2.89 279543808 true 71.5  45.0  813621248
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 4.18 1.69 200065024 error: exception 4.10 1.68 199204864 error: exception 4.12 1.61 196788224 error: exception 4.37 1.66 208879616
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 4.16 1.58 201428992 error: exception 4.16 1.63 199143424 error: exception 3.94 1.56 199249920 error: exception 3.82 1.51 199352320
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout (error (143)) 94.3  81.3  505470976 error: exception 87.2  43.5  1192828928 error: exception 17.2  6.10 413020160 error: exception 9.24 3.58 339001344
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout (error (143)) 92.5  75.9  577052672 timeout (error: exception) 91.6  46.2  1462972416 error: exception 16.5  6.07 412332032 error: exception 8.59 3.39 391532544
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 54.7  47.4  375447552 unknown: overapproxcex 10.6  3.95 351342592 error: exception 7.80 2.92 297402368 error: exception 9.71 3.81 348094464
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout (error (143)) 90.8  76.3  664498176 timeout (error (143)) 91.9  49.8  1871130624 error: exception 7.50 2.92 270036992 error: exception 9.95 3.92 366161920
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown: overapproxcex 74.3  60.6  477601792 unknown: overapproxcex 18.1  6.96 453443584 error: exception 8.52 3.15 334839808 error: exception 8.97 3.49 310939648
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown: overapproxcex 5.28 2.14 257064960 unknown: overapproxcex 5.75 2.27 255356928 unknown: overapproxcex 5.81 2.35 256049152 unknown: overapproxcex 6.11 2.38 278368256
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 4.17 1.66 202768384 error: exception 4.18 1.66 200712192 error: exception 4.39 1.73 201543680 error: exception 4.16 1.66 200515584
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 4.01 1.52 203870208 error: exception 4.24 1.64 199856128 error: exception 4.36 1.76 197947392 error: exception 4.07 1.60 200675328
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 70.3  47.5  684068864 unknown: overapproxcex 38.9  15.4  736071680 error: exception 31.4  11.6  684777472 error: exception 10.0  3.69 319864832
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 36.2  21.2  502882304 unknown: overapproxcex 18.7  6.57 451944448 unknown: overapproxcex 18.4  7.07 447250432 error: exception 8.16 3.09 325046272
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown: overapproxcex 76.5  52.2  707387392 unknown: overapproxcex 37.5  15.0  841445376 error: exception 32.0  12.0  666390528 error: exception 9.70 3.75 319389696
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.72 2.95 282083328 unknown: overapproxcex 7.67 2.94 275161088 unknown: overapproxcex 7.72 2.82 279420928 unknown: overapproxcex 9.22 3.58 323485696
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 5.82 2.22 249638912 unknown: overapproxcex 5.79 2.29 253747200 unknown: overapproxcex 5.52 2.28 255361024 unknown: overapproxcex 6.28 2.40 282324992
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.12 2.73 266416128 unknown: overapproxcex 7.30 2.77 261554176 unknown: overapproxcex 6.93 2.66 256544768 unknown: overapproxcex 7.76 2.92 320503808
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 12.4  4.57 371118080 unknown: overapproxcex 12.1  4.53 375148544 error: exception 8.75 3.16 327786496 timeout (error (143)) 93.8  87.2  387346432
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown: overapproxcex 11.6  4.17 372703232 unknown: overapproxcex 12.3  4.42 366190592 error: exception 8.13 3.02 303579136 timeout (error (143)) 91.4  84.8  375205888
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.8  4.04 335753216 unknown: overapproxcex 11.1  4.14 339574784 error: exception 6.90 2.61 260964352 error: exception 8.39 3.24 340586496
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 5.89 2.25 261734400 unknown: overapproxcex 5.90 2.35 256692224 unknown: overapproxcex 5.71 2.26 254529536 unknown: overapproxcex 6.52 2.52 291414016
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 6.86 2.52 264073216 unknown: overapproxcex 7.09 2.71 263819264 unknown: overapproxcex 7.13 2.59 265101312 unknown: overapproxcex 8.40 3.10 321265664
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 5.46 2.12 255029248 unknown: overapproxcex 5.85 2.27 253681664 unknown: overapproxcex 5.66 2.20 249565184 unknown: overapproxcex 6.72 2.61 317079552
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout (error (143)) 91.1  70.5  581656576 timeout (error: exception) 90.6  50.7  906895360 error: exception 10.1  3.85 344489984 error: exception 10.6  4.12 407257088
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 4.26 1.64 195870720 error: exception 4.29 1.63 199368704 error: exception 4.35 1.71 200683520 error: exception 4.34 1.71 200671232
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout (error (143)) 91.5  74.7  625336320 timeout (error (143)) 91.8  50.2  1304887296 error: exception 10.7  3.92 323170304 error: exception 32.1  14.8  609521664
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 4.00 1.60 200712192 error: exception 4.33 1.70 202149888 error: exception 4.51 1.84 195555328 error: exception 4.36 1.74 202829824
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 4.11 1.61 202309632 error: exception 4.15 1.64 204181504 error: exception 4.21 1.78 201957376 error: exception 4.43 1.74 201523200
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout (error (143)) 91.8  74.3  606613504 timeout (error (143)) 91.0  47.5  1115934720 error: exception 10.1  3.77 354283520 error: exception 17.4  7.09 479928320
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 4.18 1.67 199708672 error: exception 4.01 1.63 200122368 error: exception 4.26 1.73 199299072 error: exception 4.18 1.58 200810496
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 91.9  78.3  529653760 error: exception 85.9  43.7  1085816832 error: exception 16.7  5.96 435597312 error: exception 8.39 3.27 319668224
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 92.5  82.6  443482112 timeout (error (143)) 90.6  38.4  971669504 error: exception 11.6  4.23 348942336 error: exception 9.70 3.86 389021696
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout (error (143)) 91.0  75.2  659881984 timeout (error (143)) 92.2  51.0  1693642752 error: exception 8.49 3.09 316665856 error: exception 10.9  4.53 363245568
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 89.1  59.9  750379008 true 47.3  20.5  774168576 error: exception 7.80 2.97 292007936 error: exception 7.87 2.96 327815168
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 7.48 2.77 292454400 true 7.41 2.77 280616960 error: exception 6.78 2.64 261533696 error: exception 7.73 2.92 321306624
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 4.53 1.74 203280384 error: exception 4.19 1.68 202436608 error: exception 4.17 1.67 201850880 error: exception 4.33 1.69 202600448
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 4.23 1.67 201908224 error: exception 4.31 1.67 204558336 error: exception 3.92 1.62 201023488 error: exception 4.08 1.64 201015296
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout (error (143)) 90.7  65.6  1063403520 true 58.6  28.1  1255403520 error: exception 27.2  10.1  586440704 error: exception 9.33 3.55 332394496
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 91.0  61.3  1916530688 true 81.8  44.5  1759956992 error: exception 32.2  12.2  652767232 error: exception 9.92 3.89 329584640
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 91.2  55.5  1406382080 timeout (error (143)) 90.7  46.4  1753677824 error: exception 34.0  12.7  700882944 error: exception 10.5  3.83 315183104
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error: exception 4.25 1.71 200495104 error: exception 4.41 1.67 200949760 error: exception 4.52 1.76 199507968 error: exception 4.57 1.81 200376320
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error: exception 4.31 1.65 203636736 error: exception 4.43 1.75 199561216 error: exception 4.34 1.65 204296192 error: exception 4.35 1.73 199098368
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 8.19 2.93 328400896 true 8.36 3.07 324247552 error: exception 8.10 2.98 298491904 error: exception 9.57 3.98 313106432
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 12.6  4.78 365072384 true 11.0  4.08 361668608 error: exception 8.07 3.01 320868352 error: exception 10.8  4.38 325550080
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 9.77 3.77 330850304 true 9.42 3.54 337612800 error: exception 8.66 3.16 330907648 error: exception 10.3  4.03 323497984
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 16.5  6.78 415776768 true 15.2  5.96 421683200 error: exception 8.79 3.26 327217152 timeout (error (143)) 91.7  85.1  366329856
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 15.3  5.92 400568320 true 15.0  5.60 402968576 error: exception 8.06 2.95 294182912 error: exception 9.68 3.79 397017088
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 8.33 3.01 334061568 true 8.54 3.13 338329600 error: exception 7.93 2.94 309485568 error: exception 8.74 3.34 320303104
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 8.87 3.22 330842112 true 9.29 3.34 341381120 error: exception 8.00 2.90 312614912 error: exception 8.91 3.41 379219968
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.95 1.63 198512640 unknown 4.07 1.66 198152192 unknown 3.77 1.52 195907584 unknown 3.53 1.52 200601600
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.88 1.52 199204864 unknown 3.87 1.55 192593920 unknown 3.73 1.51 193757184 unknown 3.78 1.52 196255744
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.68 1.54 197152768 unknown 3.77 1.46 197038080 unknown 3.61 1.41 197328896 unknown 3.68 1.45 198377472
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.84 1.53 198860800 unknown 3.70 1.53 195858432 unknown 3.87 1.51 198684672 unknown 3.80 1.49 191500288
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 4.01 1.60 196521984 unknown 3.71 1.51 198377472 unknown 3.90 1.54 196190208 unknown 3.89 1.50 199127040
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.80 1.50 197419008 unknown 3.86 1.56 199499776 unknown 3.79 1.49 193642496 unknown 3.92 1.54 196694016
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.89 1.54 198520832 unknown 3.70 1.50 195592192 unknown 3.92 1.54 196173824 unknown 3.60 1.45 197304320
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.93 1.62 203321344 unknown 3.67 1.52 191393792 unknown 3.82 1.58 197455872 unknown 3.85 1.49 201252864
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.92 1.50 196718592 unknown 3.73 1.50 199262208 unknown 3.80 1.54 199507968 unknown 3.78 1.51 201691136
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.82 1.57 198455296 unknown 3.84 1.53 197255168 unknown 3.74 1.49 195239936 unknown 3.88 1.51 198107136
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 91.1  61.9  841895936 timeout (error (143)) 90.6  57.1  963022848 error: exception 9.23 3.28 323448832 error: exception 14.4  5.38 443322368
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 4.18 1.66 202121216 error: exception 4.25 1.68 196689920 error: exception 4.19 1.68 202412032 error: exception 4.12 1.61 204042240
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 91.2  60.5  946909184 timeout (error (143)) 91.1  48.6  1146486784 error: exception 13.2  5.50 373727232 error: exception 19.7  7.39 471719936
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error: exception 3.78 1.56 197472256 error: exception 4.14 1.70 200400896 error: exception 4.39 1.87 194416640 error: exception 4.05 1.63 199393280
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error: exception 4.10 1.62 199913472 error: exception 4.06 1.66 197496832 error: exception 4.38 1.74 202829824 error: exception 3.73 1.56 200392704
heap-manipulation/tree_false-valid-deref.i error: exception 4.06 1.64 200253440 error: exception 4.22 1.68 200134656 error: exception 4.10 1.75 200945664 error: exception 4.05 1.51 199659520
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 92.0  75.5  598921216 unknown: overapproxcex 71.8  36.5  939241472 error: exception 7.95 3.14 316456960 error: exception 9.63 3.52 358514688
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown: overapproxcex 24.9  9.39 519024640 unknown: overapproxcex 21.2  8.52 476835840 error: exception 8.92 3.31 316252160 error: exception 13.2  5.29 423809024
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 44.0  21.3  646270976 unknown: overapproxcex 32.3  14.3  590503936 error: exception 7.46 2.86 282951680 error: exception 10.9  3.98 383025152
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 40.0  20.1  597032960 unknown: overapproxcex 28.4  12.1  576868352 error: exception 7.50 2.73 267948032 error: exception 9.66 3.59 350867456
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 91.3  60.8  674369536 timeout (error (143)) 90.9  56.7  824991744 error: exception 7.17 2.73 262246400 error: exception 7.26 2.75 298356736
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 7.08 2.67 259223552 unknown: overapproxcex 7.26 2.70 260063232 unknown: overapproxcex 6.92 2.61 259715072 error: exception 6.96 2.57 289714176
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 10.4  4.10 348119040 unknown: overapproxcex 9.96 3.92 340578304 unknown: overapproxcex 10.7  4.19 350478336 error: exception 7.04 2.68 287846400
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 7.93 2.92 306581504 unknown: overapproxcex 7.78 2.93 304021504 unknown: overapproxcex 7.81 2.93 304304128 error: exception 8.27 3.00 320389120
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 10.7  3.94 332566528 unknown: overapproxcex 9.71 3.44 345878528 unknown: overapproxcex 9.29 3.50 336064512 error: exception 6.75 2.52 283144192
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 7.45 2.83 264392704 unknown: overapproxcex 7.44 2.70 268234752 unknown: overapproxcex 7.52 2.84 266895360 error: exception 7.59 2.78 303841280
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.40 1.69 200306688 unknown 4.54 1.72 200101888 unknown 4.57 1.73 198746112 unknown 4.35 1.64 203403264
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.47 1.72 204300288 unknown 4.44 1.75 200450048 unknown 4.67 1.69 200458240 unknown 4.35 1.59 200712192
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.34 1.69 202752000 unknown 4.62 1.75 203407360 unknown 4.69 1.78 204378112 unknown 4.31 1.70 204353536
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.69 1.85 203157504 unknown 4.45 1.69 200577024 unknown 4.44 1.64 199213056 unknown 4.43 1.72 203472896
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.31 1.76 202981376 unknown 4.06 1.64 205787136 unknown 4.66 1.74 200433664 unknown 4.48 1.75 201822208
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.41 1.67 200163328 unknown 4.63 1.79 200724480 unknown 4.56 1.75 200712192 unknown 4.70 1.77 201986048
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.59 1.78 202436608 unknown 4.48 1.67 206270464 unknown 4.44 1.70 203751424 unknown 4.46 1.69 198877184
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.48 1.70 199757824 unknown 4.10 1.59 200220672 unknown 4.50 1.77 199536640 unknown 4.41 1.70 199352320
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.49 1.69 205287424 unknown 4.43 1.69 202072064 unknown 4.62 1.77 203616256 unknown 4.49 1.73 205619200
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.52 1.74 202280960 unknown 4.42 1.71 200921088 unknown 4.48 1.74 198701056 unknown 4.45 1.77 202276864
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.32 1.87 204234752 unknown 4.50 1.72 200216576 unknown 4.52 1.67 197324800 unknown 4.52 1.75 203141120
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.45 1.77 201117696 unknown 4.37 1.60 201809920 unknown 4.55 1.73 200052736 unknown 4.59 1.74 201719808
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.54 1.70 199471104 unknown 4.42 1.65 197500928 unknown 4.30 1.67 200818688 unknown 4.57 1.70 208322560
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error: exception 44.5  20.9  579186688 error: exception 36.4  16.6  603885568 error: exception 9.57 3.71 343113728 error: exception 11.7  4.21 417619968
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 93.5  73.4  560836608 timeout (error (143)) 91.3  52.7  1090179072 error: exception 9.64 3.59 351182848 error: exception 9.47 3.57 349179904
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 30.8  13.0  616423424 error: exception 24.8  10.5  547512320 error: exception 9.44 3.63 335048704 error: exception 11.2  4.11 380043264
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 90.8  53.2  863109120 timeout (error (143)) 90.8  52.3  1128595456 error: exception 7.60 2.84 288686080 error: exception 11.3  4.25 426455040
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 90.5  56.4  988368896 timeout (error: exception) 90.3  54.2  952483840 error: exception 7.40 2.81 285986816 error: exception 11.2  4.23 427380736
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 90.5  59.5  989548544 timeout (error (143)) 91.1  54.2  1133211648 error: exception 8.61 3.24 320065536 error: exception 14.3  5.44 422916096
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 90.7  60.0  861974528 timeout (error (143)) 90.5  54.0  979357696 error: exception 7.83 2.90 294400000 error: exception 12.4  4.46 449253376
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 91.4  61.4  782299136 timeout (error (143)) 90.9  56.4  1008459776 error: exception 7.88 2.85 296796160 error: exception 11.7  4.60 419553280
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 91.5  65.1  1023234048 timeout (error (143)) 90.3  52.1  859172864 error: exception 10.7  4.12 339218432 error: exception 10.6  4.32 361656320
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 68.5  43.5  718409728 error: exception 34.1  15.0  633942016 error: exception 9.00 3.45 347951104 error: exception 10.5  4.11 339841024
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 90.4  65.3  859385856 timeout (error (143)) 90.3  55.6  952188928 error: exception 11.2  4.30 361803776 error: exception 10.3  3.88 336363520
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 91.2  53.1  859398144 timeout (error (143)) 91.3  50.9  1128165376 error: exception 9.33 3.63 332566528 error: exception 8.87 3.28 330788864
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error: exception 24.9  10.1  546566144 error: exception 19.7  8.24 456466432 error: exception 9.22 3.53 336154624 error: exception 10.5  3.90 326680576
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 90.1  53.0  775077888 timeout (error (143)) 90.7  52.2  968802304 error: exception 7.95 2.91 296656896 error: exception 10.8  3.95 381779968
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 91.2  58.7  784125952 timeout (error (143)) 90.4  55.4  1039994880 error: exception 7.01 2.69 269508608 error: exception 10.2  3.81 362532864
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 91.4  56.9  837283840 timeout (error (143)) 91.2  54.2  1026805760 error: exception 7.78 3.01 304353280 error: exception 11.8  4.41 428584960
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 90.7  56.9  813084672 timeout (error (143)) 90.3  53.3  1059987456 error: exception 7.85 3.05 278077440 error: exception 10.8  3.93 367800320
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 91.2  59.5  977268736 timeout (error (143)) 90.6  57.5  1100206080 error: exception 8.14 3.38 281493504 error: exception 10.6  4.08 396779520
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 91.0  56.5  828993536 timeout (error: exception) 90.4  52.6  877096960 error: exception 10.9  4.17 338440192 error: exception 8.83 3.37 334921728
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 75.5  45.3  768868352 false(valid-deref) 40.1  19.4  695500800 error: exception 7.33 2.86 277786624 error: exception 10.8  4.18 416358400
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 30.9  12.1  548192256 false(valid-deref) 24.7  10.1  529412096 error: exception 9.38 3.40 337481728 error: exception 10.8  4.12 344444928
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 48.6  25.6  728305664 false(valid-deref) 29.2  13.7  575516672 error: exception 7.38 2.91 275697664 error: exception 10.3  3.93 373080064
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 90.4  55.0  1542447104 timeout (error (143)) 91.2  60.0  1654538240 timeout (error (143)) 90.9  61.1  1667461120 timeout (error (143)) 90.7  68.8  723705856
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.34 1.94 209326080 unknown 5.18 1.84 206282752 unknown 5.39 1.97 214880256 unknown 4.96 1.83 204529664
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.74 1.88 203567104 unknown 4.22 1.60 198926336 unknown 4.46 1.73 199200768 unknown 4.45 1.63 203866112
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.49 3.08 311611392 true 8.36 2.97 311926784 true 8.76 3.03 313683968 true 8.10 2.89 305213440
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.40 2.97 310800384 true 8.32 2.86 316563456 true 8.88 3.04 321855488 true 8.07 2.84 314556416
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.84 2.56 307937280 true 6.74 2.45 307924992 true 6.64 2.51 307064832 true 6.39 2.40 305864704
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.02 2.58 311836672 true 7.12 2.85 305278976 true 6.77 2.48 303267840 true 6.58 2.49 311218176
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.55 2.42 309280768 true 6.68 2.42 309170176 true 6.65 2.52 308150272 true 6.65 2.49 308862976
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.56 2.67 315576320 true 7.50 2.78 302952448 true 7.56 2.73 306941952 true 7.28 2.61 307736576
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.35 2.67 310157312 true 7.53 2.64 312299520 true 7.56 2.75 305487872 true 6.97 2.62 311160832
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 5.73 2.23 237539328 true 5.51 2.12 247136256 true 5.74 2.21 238596096 true 5.34 2.10 246214656
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.28 2.42 282771456 true 5.92 2.25 282873856 true 6.12 2.32 281210880 true 6.07 2.32 285847552
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.01 2.28 278564864 true 6.39 2.34 282243072 true 6.20 2.36 270561280 true 6.08 2.29 287563776
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 4.77 1.88 215703552 true 4.61 1.88 218165248 true 4.69 1.83 220762112 true 4.58 1.83 215113728
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 5.09 1.97 209326080 true 4.56 1.85 222097408 true 4.82 1.95 220151808 true 4.75 1.90 215552000
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 5.13 2.02 205258752 true 4.54 1.84 216506368 true 4.93 1.90 227049472 true 4.69 1.94 216018944
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 4.80 1.96 205377536 true 4.67 1.93 217403392 true 4.77 1.88 216260608 true 4.54 1.85 218390528
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 5.08 2.05 199872512 true 4.73 1.86 215625728 true 4.83 1.96 216363008 true 4.61 1.89 214913024
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 4.93 1.97 200663040 true 4.85 1.86 214818816 true 4.75 1.88 214626304 true 4.90 1.93 214515712
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 4.97 1.99 204009472 true 4.74 1.90 225951744 true 4.62 1.78 214691840 true 4.74 1.89 218431488
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 5.02 2.12 203788288 true 4.84 1.93 213913600 true 4.85 1.88 219852800 true 4.66 1.82 214020096
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 4.85 2.00 201084928 true 4.80 1.89 210681856 true 4.41 1.73 220119040 true 4.42 1.76 221065216
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 4.77 1.85 202866688 true 4.58 1.82 213692416 true 4.71 1.91 216072192 true 4.25 1.73 224911360
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 4.75 1.87 221249536 true 4.52 1.88 214601728 true 4.62 1.84 218869760 true 4.59 1.85 219242496
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 4.95 1.92 221044736 true 4.68 1.88 219492352 true 4.49 1.78 219865088 true 4.82 1.84 224120832
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 4.42 1.75 219013120 true 4.32 1.67 220717056 true 4.78 1.88 219537408 true 4.77 1.91 219459584
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 11900 7840 160708841472 326 10900 5890 205625196544 326 3870 1820 117332246528 326 4260 2390 110106800128
local summary 8720 3970 10800 2970 3850 932 3520 1230
    correct results 0 0 0 0
        correct true 0 0 0 0
        correct false 0 0 0 0
    incorrect results 0 0 0 0
        incorrect true 0 0 0 0
        incorrect false 0 0 0 0
Run set Camel SmtInterpol SmtInterpol-NoArray z3