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/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/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/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/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
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-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-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/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-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-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/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/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/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_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_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_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_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_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_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_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_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_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_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_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_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_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_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
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/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/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
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-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-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-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
../../../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 202 10800 7280 127828856832 202 9890 5390 171351236608 202 2890 1340 84562452480 202 3260 1880 78246236160
    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