Tool ULTIMATE Automizer 0.1.23-ccafca92
Limits timelimit: 240 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-03 22:43:14 CET
Run set Camel SmtInterpolCraig SmtInterpolNoArray z3
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-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/cade18-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/cade18-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/cade18-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.3  4.90 360312832 false(valid-deref) 10.4  3.97 336248832 false(valid-deref) 11.4  4.74 428056576 error: exception 7.96 2.93 318124032
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 7.90 2.99 328998912 false(valid-deref) 8.11 3.02 318435328 false(valid-deref) 8.27 3.10 317665280 error: exception 7.57 2.83 286965760
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 12.1  4.82 377978880 false(valid-deref) 9.70 3.96 334315520 error: exception 6.45 2.49 251682816 error: exception 8.03 3.05 312336384
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 6.88 2.58 271679488 false(valid-deref) 7.08 2.87 268091392 error: exception 5.37 2.11 228495360 error: exception 5.03 2.06 232194048
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 12.5  4.78 361537536 false(valid-deref) 11.9  4.59 366018560 error: exception 5.32 2.10 231022592 error: exception 6.70 2.53 292450304
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 6.37 2.80 260358144 unknown 5.22 2.15 216260608 unknown 5.02 2.04 225124352 false(valid-deref) 6.40 2.45 286998528
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 246    192    1805217792 timeout (error (143)) 240    186    2251255808 error: exception 7.12 2.74 262664192 error: exception 6.26 2.41 289398784
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 9.03 3.41 339292160 true 8.40 3.26 319127552 error: exception 9.57 3.66 339406848 error: exception 6.54 2.47 305197056
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 9.56 3.68 338243584 true 8.86 3.37 337633280 error: exception 10.4  4.37 333062144 error: exception 7.03 2.77 315645952
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 9.33 3.48 331759616 true 8.65 3.23 335818752 error: exception 9.73 3.99 342036480 error: exception 7.05 2.64 303247360
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 8.99 3.42 337666048 true 8.44 3.13 316108800 error: exception 9.22 3.48 340045824 error: exception 6.70 2.58 311754752
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 13.1  5.04 371146752 true 10.7  4.09 342241280 error: exception 11.0  4.27 372043776 error: exception 6.71 2.60 307097600
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    212    1235705856 timeout (error (143)) 241    179    2233831424 error: exception 5.85 2.34 256114688 error: exception 6.95 2.63 282783744
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 12.1  5.12 372248576 true 10.7  4.11 364847104 error: exception 9.60 3.82 335802368 error: exception 6.39 2.42 290828288
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 27.5  15.5  471814144 true 18.5  8.08 473870336 error: exception 5.35 2.16 219889664 error: exception 6.60 2.44 287735808
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 15.6  6.85 427425792 true 13.5  5.72 388149248 error: exception 7.63 2.89 289648640 error: exception 7.21 2.75 317562880
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 26.6  14.5  506134528 true 16.9  6.88 439250944 error: exception 5.08 2.00 224157696 error: exception 6.64 2.53 288264192
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 10.8  4.20 362946560 true 9.99 4.05 336863232 error: exception 10.4  4.14 370368512 error: exception 7.49 2.82 298917888
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 244    198    2200653824 timeout (error: exception) 241    191    2249338880 error: exception 6.41 2.38 257499136 error: exception 8.24 3.11 299479040
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 24.6  12.9  497725440 true 17.3  7.59 460836864 error: exception 5.29 2.05 226906112 error: exception 6.65 2.61 289681408
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 22.0  10.3  463196160 true 17.5  7.11 515268608 error: exception 7.55 2.83 275718144 error: exception 6.96 2.54 306905088
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 44.5  27.7  603963392 true 19.6  7.92 454557696 error: exception 5.23 2.13 226082816 error: exception 6.62 2.62 285089792
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 54.9  37.9  602447872 true 19.1  7.99 506335232 error: exception 5.27 2.06 227434496 error: exception 6.76 2.49 289300480
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 16.7  6.42 415756288 true 13.2  5.13 392572928 error: exception 5.03 2.00 222138368 error: exception 5.36 2.13 224575488
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 12.9  5.12 411811840 true 11.7  4.45 365662208 error: exception 7.62 2.82 276946944 error: exception 6.83 2.57 303013888
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 10.0  3.73 341176320 true 9.32 3.46 347201536 error: exception 8.47 3.14 313225216 error: exception 7.64 3.03 330809344
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 23.4  11.3  462090240 true 18.7  8.04 466006016 error: exception 5.33 2.07 232845312 error: exception 6.86 2.61 302264320
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 14.9  7.64 362557440 unknown 5.27 2.05 223973376 unknown 5.48 2.04 225767424 error: exception 6.58 2.43 303529984
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 12.7  4.99 385003520 true 10.5  4.06 355024896 error: exception 9.96 3.90 342822912 error: exception 9.71 3.67 351408128
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 11.6  4.56 362561536 true 9.91 3.88 333451264 error: exception 9.41 3.66 339718144 error: exception 7.11 2.72 314044416
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 21.6  14.7  425537536 true 15.5  8.88 405594112 error: exception 11.1  4.52 355278848 error: exception 6.70 2.49 306458624
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 11.0  4.35 375832576 true 9.41 3.86 331300864 error: exception 7.22 2.79 273166336 error: exception 8.41 3.33 325906432
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 13.7  5.75 421621760 true 12.7  5.26 401661952 error: exception 7.24 2.81 271409152 error: exception 6.08 2.35 288153600
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 67.6  37.9  922935296 true 52.7  25.7  861155328 error: exception 7.44 2.74 274300928 error: exception 7.25 2.74 307445760
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 245    179    3958988800 timeout (error (143)) 240    182    1743011840 error: exception 5.73 2.29 256049152 error: exception 6.89 2.64 275668992
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 23.8  11.8  504893440 true 19.6  7.93 472182784 error: exception 5.20 2.06 228581376 error: exception 6.57 2.53 290267136
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 14.0  5.96 410836992 true 12.6  4.86 404848640 error: exception 7.48 2.97 278085632 error: exception 6.69 2.53 313655296
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 25.3  13.9  500219904 true 17.0  7.32 458592256 error: exception 5.21 2.09 221089792 error: exception 6.36 2.51 282083328
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 41.7  20.8  589713408 true 47.0  19.9  646062080 error: exception 5.29 2.10 223711232 error: exception 6.31 2.45 290979840
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 10.7  4.60 363945984 true 9.71 3.77 339828736 error: exception 9.30 3.61 340578304 error: exception 7.28 2.80 285413376
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    207    540315648 timeout (error (143)) 241    184    2230337536 error: exception 6.17 2.41 258519040 error: exception 7.96 3.08 308641792
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 26.7  14.1  530776064 true 20.9  8.18 507850752 error: exception 5.30 2.13 223391744 error: exception 6.73 2.59 295956480
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 25.3  12.7  489521152 true 20.4  8.71 466735104 error: exception 8.03 3.00 282566656 error: exception 7.11 2.69 321527808
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 12.6  5.18 414142464 true 12.2  4.74 375476224 error: exception 10.9  4.15 358146048 error: exception 7.35 2.84 288088064
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 25.9  14.8  486518784 true 18.8  7.99 514887680 error: exception 5.53 2.26 222945280 error: exception 6.42 2.48 289619968
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 27.6  15.2  500158464 true 20.9  9.40 494403584 error: exception 5.17 2.03 223518720 error: exception 7.21 2.89 291594240
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    209    562741248 timeout (error (143)) 241    178    2274009088 error: exception 5.40 2.09 228769792 error: exception 7.61 2.89 322965504
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 14.4  8.07 383410176 true 10.2  4.06 354283520 error: exception 11.2  4.82 366346240 error: exception 6.90 2.65 282693632
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 11.0  4.31 360849408 timeout (error: exception) 240    191    2289979392 error: exception 8.40 3.35 312803328 error: exception 8.40 3.03 310898688
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 9.61 3.61 340144128 true 8.57 3.29 312815616 error: exception 10.4  4.38 333996032 error: exception 6.93 2.58 305745920
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 10.0  3.68 346329088 true 9.20 3.54 329306112 error: exception 9.92 3.99 342503424 error: exception 6.95 2.56 319070208
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 16.3  8.20 401489920 true 11.1  4.25 353767424 error: exception 10.0  3.84 338292736 error: exception 7.71 2.97 289837056
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 26.1  12.8  538562560 true 21.0  8.97 496943104 error: exception 5.30 2.12 226811904 error: exception 6.59 2.52 288747520
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    222    525164544 true 25.3  11.6  579649536 error: exception 5.40 2.10 219754496 error: exception 6.63 2.58 299749376
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 241    186    1834074112 timeout (error (143)) 241    186    2280353792 timeout (error: exception) 241    178    2022547456 timeout (error (143)) 241    183    1126436864
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 246    218    768442368 timeout (error (143)) 240    189    2229399552 error: exception 6.46 2.76 259837952 error: exception 7.73 3.01 334123008
memsafety/test-0137_false-valid-deref.i false(valid-deref) 135    103    932548608 false(valid-deref) 45.7  21.4  824389632 error: exception 8.82 3.46 311726080 error: exception 12.6  4.96 411398144
memsafety/test-0235_false-valid-deref.i timeout (error (143)) 240    226    517910528 unknown 8.07 2.93 308047872 unknown 7.93 2.92 308473856 timeout (error (143)) 242    219    875753472
memsafety/960521-1_false-valid-free.i timeout (error (143)) 246    222    813707264 timeout (error (143)) 240    189    2226655232 error: exception 6.28 2.65 257675264 error: exception 7.16 2.77 329285632
memsafety/test-0158_false-valid-free.i false(valid-free) 7.46 2.81 285446144 false(valid-free) 7.27 2.73 281845760 error: exception 5.24 1.96 227401728 false(valid-free) 8.10 2.96 333049856
memsafety/test-0232_false-valid-free.i error: exception 79.4  45.7  892239872 false(valid-free) 70.4  39.3  1092120576 error: exception 6.62 2.70 283107328 error: exception 9.31 3.50 356270080
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 240    201    1107419136 unknown: overapproxcex 78.4  36.6  1589145600 error: exception 8.02 3.10 297029632 error: exception 10.7  4.01 412909568
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 246    208    987426816 unknown: overapproxcex 157    103    2267267072 error: exception 7.66 2.99 292622336 error: exception 7.10 2.70 310599680
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 33.4  12.6  668278784 unknown: overapproxcex 44.6  15.8  963289088 unknown: overapproxcex 35.6  13.4  695779328 error: exception 8.67 3.34 358170624
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 12.5  4.33 395759616 unknown: overapproxcex 10.6  3.76 353435648 unknown: overapproxcex 11.7  4.16 354119680 error: exception 8.74 3.31 350535680
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 50.7  22.4  912973824 unknown: overapproxcex 56.6  21.6  1478606848 unknown: overapproxcex 49.0  20.5  905003008 error: exception 8.86 3.24 351256576
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.3  3.84 360284160 unknown: overapproxcex 10.3  3.99 343543808 error: exception 4.86 2.20 227172352 error: exception 18.0  13.1  321347584
memsafety/test-0102_false-valid-memtrack.i timeout (error (143)) 244    203    946688000 timeout (error (143)) 241    189    2311802880 error: exception 8.74 3.30 331149312 error: exception 9.86 3.57 404938752
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 6.05 2.41 253452288 unknown: overapproxcex 5.96 2.34 256901120 error: exception 4.92 2.07 219279360 unknown: overapproxcex 6.08 2.36 300756992
memsafety/test-0232_false-valid-memtrack.i unknown: overapproxcex 22.5  8.97 489271296 unknown: overapproxcex 18.2  7.24 456294400 error: exception 6.53 2.89 275079168 error: exception 9.25 3.60 356925440
memsafety/test-0234_false-valid-memtrack.i timeout (error (143)) 240    228    547168256 unknown 7.96 2.94 306204672 unknown 7.73 2.87 302166016 error: exception 78.4  54.6  1024561152
memsafety/test-0235_false-valid-memtrack.i timeout (error (143)) 242    228    540905472 unknown 8.10 2.99 300118016 unknown 8.05 3.00 313962496 true 52.3  35.2  770379776
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 246    233    888213504 timeout (error (143)) 240    188    2210836480 error: exception 6.26 2.32 249208832 error: exception 8.08 3.00 329003008
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (error (143)) 241    153    3674161152 timeout (error (143)) 262    134    4482969600 error: exception 85.7  43.2  1847054336 error: exception 8.76 3.20 333213696
memsafety/test-0019_true-valid-memsafety_true-termination.i true 12.3  5.07 398073856 true 13.1  5.65 406216704 error: exception 5.20 2.16 226926592 error: exception 15.0  10.1  319246336
memsafety/test-0102_true-valid-memsafety.i error: exception 160    125    1271898112 timeout (error: exception) 241    181    2342797312 error: exception 8.81 3.49 335433728 error: exception 10.6  4.01 403177472
memsafety/test-0134_true-valid-memsafety.i timeout (error (143)) 241    189    1531215872 timeout (error (143)) 241    176    2247454720 error: exception 7.97 3.14 306372608 error: exception 12.6  4.80 386011136
memsafety/test-0158_true-valid-memsafety_true-termination.i true 7.77 2.87 302870528 true 7.53 2.92 302350336 error: exception 4.83 2.05 227020800 error: exception 8.03 3.00 329826304
memsafety/test-0232_true-valid-memsafety.i timeout (error (143)) 240    188    998133760 timeout (error (143)) 241    181    1721475072 error: exception 6.36 2.64 277364736 error: exception 9.18 3.61 348737536
memsafety/test-0234_true-valid-memsafety.i timeout (error (143)) 240    228    491765760 unknown 7.68 2.86 295833600 unknown 7.71 3.02 301330432 timeout (error (143)) 242    215    1524703232
memsafety/test-0235_true-valid-memsafety.i timeout (error (143)) 240    226    553598976 unknown 7.93 2.94 303005696 unknown 8.02 3.13 305659904 timeout (error (143)) 241    212    959832064
memsafety/test-0236_true-valid-memsafety.i timeout (error (143)) 241    223    650964992 unknown 7.71 2.88 301756416 unknown 8.13 3.10 296017920 error: exception 51.3  30.4  973180928
memsafety/test-0237_true-valid-memsafety.i timeout (error (143)) 242    230    546869248 unknown 8.25 3.04 300589056 unknown 7.86 3.06 305332224 timeout (error (143)) 242    216    1139331072
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 242    204    1704308736 timeout (error (143)) 240    179    1499774976 error: exception 7.55 2.89 271818752 error: exception 11.0  4.01 355459072
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 241    190    792387584 timeout (error (143)) 240    183    1331535872 error: exception 9.68 3.88 338141184 error: exception 12.6  4.93 387956736
memsafety/test-0521_true-valid-memsafety.i timeout (error (143)) 246    204    1178423296 timeout (error (143)) 241    181    1231499264 error: exception 13.4  5.18 380260352 error: exception 18.9  7.38 495628288
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 131    112    1014792192 true 20.9  9.10 569868288 error: exception 6.13 2.54 264163328 timeout (error (143)) 241    219    2536841216
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 241    203    1096155136 timeout (error (143)) 240    182    1622077440 error: exception 9.15 3.69 342712320 error: exception 8.37 3.25 326094848
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 242    223    562302976 timeout (error (143)) 241    172    1965309952 error: exception 8.70 3.84 336719872 error: exception 9.18 3.49 324620288
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 242    219    599973888 timeout (error (143)) 241    176    1837719552 error: exception 9.69 3.86 342757376 error: exception 10.3  3.65 337891328
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 241    198    661225472 timeout (error (143)) 241    180    1261174784 error: exception 8.42 3.16 296423424 error: exception 10.8  3.89 354115584
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 244    216    772005888 timeout (error (143)) 241    179    1461940224 error: exception 10.9  4.51 345341952 error: exception 10.8  4.03 399249408
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 241    214    648937472 timeout (error (143)) 241    177    1591185408 error: exception 10.2  4.27 334876672 error: exception 10.3  3.85 334766080
memsafety-ext2/split_list_test05_false-valid-deref.i out of memory 190    146    5999996928 out of memory 181    139    5999996928 error: exception 10.5  4.18 362381312 error: exception 16.9  6.59 456683520
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 241    175    2285117440 timeout (error (143)) 249    171    5505622016 error: exception 7.69 3.13 300716032 error: exception 11.4  4.32 421883904
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 240    183    1382367232 timeout (error (143)) 242    167    2096922624 error: exception 8.54 3.26 304926720 error: exception 11.0  4.08 412221440
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 244    213    1755373568 out of memory 210    154    5999996928 error: exception 9.14 3.46 348110848 error: exception 13.6  5.13 430485504
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 241    199    1194717184 timeout (error (143)) 241    177    1495511040 error: exception 7.10 2.72 265109504 error: exception 9.56 3.63 355930112
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 241    178    2292514816 timeout (error (143)) 240    180    2278031360 error: exception 8.21 2.96 310861824 error: exception 13.5  4.94 394637312
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 241    175    1469124608 timeout (error (143)) 241    169    2185650176 error: exception 8.44 3.08 312279040 error: exception 11.5  4.43 427704320
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 246    212    1046798336 error: exception 220    171    4847890432 error: exception 9.11 3.50 343248896 error: exception 14.7  5.61 441982976
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error: exception 97.1  62.6  946421760 timeout (error: exception) 240    180    1279320064 error: exception 7.12 2.75 265678848 error: exception 9.92 3.89 356184064
memsafety-ext2/split_list_test05_true-valid-memsafety.i out of memory 160    112    5999996928 error: exception 104    68.6  5648388096 error: exception 10.7  3.99 341708800 error: exception 18.9  7.12 460259328
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 11.1  4.07 342777856 false(valid-deref) 9.75 3.62 335355904 error: exception 6.49 2.69 251105280 error: exception 10.3  3.78 324857856
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 240    188    1150410752 timeout (error (143)) 241    180    1198395392 error: exception 12.4  4.88 387854336 error: exception 8.17 3.03 322052096
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 9.01 3.36 331468800 false(valid-deref) 9.20 3.54 326504448 error: exception 7.51 2.83 271888384 error: exception 7.29 2.79 320057344
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 15.0  6.03 397721600 false(valid-free) 11.9  4.49 361594880 error: exception 6.50 2.65 258875392 error: exception 9.71 3.56 336060416
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 7.66 2.82 288075776 false(valid-free) 8.02 2.87 294121472 error: exception 5.10 2.14 225579008 false(valid-free) 9.37 3.44 335941632
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 22.1  10.3  552873984 unknown: overapproxcex 23.1  10.0  509890560 error: exception 5.14 2.19 223227904 error: exception 17.5  12.1  322633728
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 6.24 2.46 250810368 unknown: overapproxcex 6.05 2.36 265400320 error: exception 5.16 2.33 226197504 unknown: overapproxcex 6.81 2.62 296345600
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 19.5  7.50 472633344 unknown: overapproxcex 17.6  6.43 449695744 error: exception 6.68 2.69 259366912 error: exception 9.83 3.66 350949376
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 241    205    841728000 timeout (error (143)) 240    186    2185105408 error: exception 6.64 2.69 253227008 error: exception 9.62 3.57 335466496
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 240    183    791683072 timeout (error (143)) 241    179    1247760384 error: exception 9.57 3.83 340267008 error: exception 8.37 3.45 314720256
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 243    197    1163755520 timeout (error (143)) 241    179    1827880960 error: exception 7.54 3.12 271527936 error: exception 8.78 3.58 339337216
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 241    193    742170624 timeout (error (143)) 241    178    1233485824 error: exception 11.4  4.55 383860736 error: exception 7.34 2.84 290365440
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 23.4  11.2  526405632 true 23.9  11.5  570363904 error: exception 5.47 2.38 223059968 error: exception 21.0  15.7  332713984
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 7.36 2.75 318046208 true 7.67 2.78 316129280 error: exception 5.08 2.50 219467776 error: exception 8.42 3.07 322514944
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i error: exception 67.2  39.3  771534848 timeout (error (143)) 240    184    2284036096 error: exception 6.82 2.82 263069696 error: exception 9.62 3.58 357425152
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 240    205    1179906048 unknown 18.2  6.87 442712064 error: exception 8.43 3.32 290357248 error: exception 13.5  5.17 387207168
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 241    181    1052368896 timeout (error: exception) 240    181    1361633280 error: exception 11.5  4.34 355319808 error: exception 16.7  6.98 470790144
memory-alloca/c.03-alloca_true-valid-memsafety.i true 11.5  4.19 352854016 true 11.1  4.33 357728256 error: exception 5.25 2.38 225644544 error: exception 5.57 2.17 233656320
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 7.45 2.78 285282304 false(valid-deref) 7.40 2.77 280678400 error: exception 5.65 2.42 256020480 error: exception 9.35 3.40 332423168
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error: exception) 240    182    2333270016 timeout (error (143)) 242    191    2440298496 timeout (error (143)) 241    174    2466385920 error: exception 5.87 2.34 267022336
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error: exception) 240    184    2410209280 timeout (error (143)) 241    189    2560786432 timeout (error (143)) 241    172    2629820416 error: exception 6.37 2.53 273297408
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 246    205    2319560704 timeout (error: exception) 240    184    2543611904 error: exception 7.26 2.89 280092672 error: exception 8.87 3.51 331206656
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 10.6  3.75 341688320 timeout (error: exception) 241    198    2627870720 true 9.45 4.45 338071552 error: exception 6.15 2.45 267558912
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 11.3  4.46 362541056 timeout (error (143)) 240    183    2493091840 true 11.9  4.97 354086912 error: exception 7.58 2.85 318898176
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 9.56 3.64 333692928 timeout (error (143)) 242    196    2612240384 true 9.67 3.58 335085568 error: exception 6.28 2.39 271634432
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 12.0  4.44 370974720 timeout (error (143)) 241    185    2330308608 true 11.6  4.44 369135616 error: exception 9.04 3.34 324628480
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 11.0  4.14 340369408 timeout (error (143)) 241    185    2488291328 true 10.7  4.05 357298176 error: exception 6.26 2.42 275136512
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 6.81 2.59 273588224 true 28.6  13.5  654852096 true 6.82 2.65 262545408 error: exception 35.4  22.5  639229952
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 7.72 3.07 288088064 true 89.4  58.0  1208000512 true 7.24 2.74 276885504 error: exception 138    109    1130192896
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 7.64 2.77 281726976 true 28.5  13.2  649400320 true 6.70 2.59 274227200 error: exception 33.8  21.6  731574272
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 7.69 2.92 286920704 true 88.7  57.9  1172647936 true 7.21 2.69 273215488 error: exception 140    110    1263828992
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 7.13 2.85 267218944 true 89.0  57.8  1227198464 true 6.90 2.63 258732032 error: exception 138    108    1171869696
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 6.72 2.63 271933440 true 89.5  59.2  1194635264 true 6.94 2.71 269447168 error: exception 141    111    1158737920
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 244    222    2554232832 false(valid-deref) 46.6  22.0  1114894336 error: exception 30.7  12.6  622141440 error: exception 9.68 3.42 317296640
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 241    203    1029054464 false(valid-deref) 49.4  23.1  1154256896 error: exception 31.8  13.4  623554560 error: exception 9.46 3.45 320331776
ldv-memsafety/memleaks_test12_false-valid-free.i timeout (error (143)) 242    209    732098560 timeout (error: exception) 241    170    3161956352 error: exception 9.29 3.48 318824448 error: exception 29.3  13.6  567005184
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error (143)) 241    220    1675198464 false(valid-free) 77.5  39.5  1113116672 error: exception 25.1  11.0  543952896 error: exception 9.75 4.00 342016000
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 137    109    745988096 false(valid-free) 42.7  17.5  649306112 error: exception 7.97 3.03 287170560 error: exception 7.58 2.90 329756672
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 13.7  5.19 404795392 false(valid-free) 14.2  5.24 418705408 error: exception 8.81 3.25 322502656 timeout (error (143)) 242    235    380276736
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout (error (143)) 242    219    666738688 unknown: overapproxcex 62.1  29.4  848920576 error: exception 10.1  3.84 336240640 error: exception 9.64 3.68 397885440
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error: exception 200    139    1076264960 timeout (error (143)) 241    176    1777479680 error: exception 7.65 2.88 289161216 true 69.9  44.3  771301376
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout (error (143)) 242    225    1733648384 timeout (error (143)) 241    173    1708101632 error: exception 70.6  56.0  532795392 error: exception 9.59 3.64 343023616
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout (error (143)) 243    222    632688640 timeout (error: exception) 241    185    2284212224 error: exception 67.2  54.4  485601280 error: exception 8.91 3.44 341049344
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 52.2  45.1  404885504 unknown: overapproxcex 11.4  4.22 343044096 error: exception 7.76 2.94 290889728 error: exception 9.81 3.83 340721664
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout (error (143)) 241    214    803024896 timeout (error (143)) 240    180    2434961408 error: exception 7.59 2.83 284626944 error: exception 9.85 3.85 347897856
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown: overapproxcex 68.2  55.3  468758528 unknown: overapproxcex 17.2  6.51 455393280 error: exception 9.67 3.56 340488192 error: exception 8.66 3.35 335912960
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 63.5  40.8  654594048 unknown: overapproxcex 35.7  14.0  829079552 unknown: overapproxcex 40.2  17.3  713424896 error: exception 9.59 3.53 322691072
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 39.5  26.0  520753152 unknown: overapproxcex 17.7  6.39 442183680 unknown: overapproxcex 20.5  7.54 498814976 error: exception 7.77 2.98 317923328
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown: overapproxcex 75.2  52.5  695668736 unknown: overapproxcex 37.8  14.9  793919488 unknown: overapproxcex 41.1  17.9  707792896 error: exception 9.75 3.61 333922304
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 12.5  4.57 367677440 unknown: overapproxcex 12.5  4.60 370814976 error: exception 8.86 3.27 327589888 timeout (error (143)) 242    235    389279744
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown: overapproxcex 11.3  4.13 367538176 unknown: overapproxcex 12.0  4.27 369164288 error: exception 8.18 2.94 301916160 error: exception 76.5  68.7  385441792
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.7  3.84 338141184 unknown: overapproxcex 11.3  4.02 346615808 error: exception 6.76 2.63 262807552 error: exception 8.50 3.25 338305024
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout (error (143)) 241    217    594153472 true 112    66.2  1719771136 error: exception 10.4  3.96 352993280 error: exception 10.2  4.04 397856768
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout (error (143)) 240    224    654163968 timeout (error: exception) 242    184    3230695424 error: exception 10.0  3.95 320065536 error: exception 32.5  14.2  578203648
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout (error (143)) 241    200    705740800 true 239    165    2273808384 error: exception 10.3  3.79 345190400 error: exception 18.4  7.07 460369920
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 241    224    1640792064 timeout (error (143)) 241    170    1660293120 error: exception 70.0  55.6  555360256 error: exception 9.31 3.69 317956096
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 242    219    529645568 timeout (error (143)) 241    165    1891774464 error: exception 13.3  5.27 384798720 error: exception 9.87 4.09 392843264
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout (error (143)) 240    222    915144704 timeout (error (143)) 241    182    2278797312 error: exception 8.22 2.98 324956160 error: exception 10.9  4.42 364281856
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 86.5  59.2  734343168 true 47.7  20.5  771276800 error: exception 7.38 2.79 289492992 error: exception 7.95 2.90 315387904
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 7.18 2.73 287293440 true 8.13 2.99 284364800 error: exception 6.64 2.42 268599296 error: exception 7.88 2.92 325763072
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout (error (143)) 242    210    887844864 true 57.8  28.4  1234419712 error: exception 28.4  11.6  570245120 error: exception 9.10 3.42 318140416
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 242    207    2709688320 true 83.9  43.9  1746972672 error: exception 45.0  19.4  745644032 error: exception 9.49 3.61 324685824
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 241    205    1621356544 true 87.8  47.3  1623371776 error: exception 49.7  23.0  774582272 error: exception 9.89 3.68 323354624
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 8.66 3.14 326410240 true 8.48 3.12 337805312 error: exception 8.17 3.03 308457472 error: exception 8.95 3.44 315400192
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 11.9  4.58 380739584 true 11.9  4.19 369086464 error: exception 8.60 3.15 333705216 error: exception 9.27 3.71 362061824
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 9.19 3.40 346275840 true 9.78 3.54 332382208 error: exception 8.66 3.16 332967936 error: exception 9.73 3.73 322281472
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 15.7  5.92 421163008 true 16.1  6.18 407453696 error: exception 8.71 3.24 326369280 timeout (error (143)) 243    236    368041984
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 14.1  5.24 405065728 true 14.6  5.53 417824768 error: exception 8.37 2.95 295227392 error: exception 9.48 3.66 336396288
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 9.05 3.31 362524672 true 8.68 3.33 345092096 error: exception 7.96 2.93 306176000 error: exception 8.33 3.32 325836800
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 8.48 3.10 338890752 true 8.95 3.19 335880192 error: exception 7.39 2.76 309133312 error: exception 8.94 3.39 381181952
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    204    826601472 timeout (error (143)) 241    181    1753149440 error: exception 8.87 3.40 320749568 error: exception 14.0  5.28 460767232
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    199    984420352 timeout (error (143)) 241    173    2235764736 error: exception 13.3  5.12 380637184 error: exception 18.9  7.46 487649280
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 241    203    932413440 unknown: overapproxcex 69.2  36.0  852606976 error: exception 8.48 3.13 322457600 error: exception 9.37 3.45 389922816
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown: overapproxcex 22.1  8.72 522207232 unknown: overapproxcex 22.1  9.31 493158400 error: exception 8.32 3.16 317464576 error: exception 13.1  5.12 427610112
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 46.1  22.4  654213120 unknown: overapproxcex 34.4  14.4  600784896 error: exception 7.62 2.95 288313344 error: exception 10.3  3.86 392744960
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 38.1  19.3  615510016 unknown: overapproxcex 26.9  11.7  525094912 error: exception 7.30 2.75 268685312 error: exception 10.2  3.65 358875136
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    192    1323929600 timeout (error (143)) 241    181    1035968512 error: exception 7.43 2.77 268513280 error: exception 7.71 2.87 305082368
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 7.33 2.78 259645440 unknown: overapproxcex 7.39 2.86 258064384 unknown: overapproxcex 7.12 2.71 257757184 error: exception 6.77 2.56 308879360
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 10.2  4.00 346021888 unknown: overapproxcex 10.2  4.15 348016640 unknown: overapproxcex 10.3  4.05 346021888 error: exception 7.45 2.80 302047232
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 7.45 2.71 311361536 unknown: overapproxcex 7.74 2.87 308936704 unknown: overapproxcex 8.24 2.97 303108096 error: exception 8.18 3.06 325484544
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 9.81 3.83 343117824 unknown: overapproxcex 9.68 3.55 339656704 unknown: overapproxcex 10.4  3.86 340709376 error: exception 6.84 2.52 289058816
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 7.55 2.86 268029952 unknown: overapproxcex 7.46 2.77 272519168 unknown: overapproxcex 7.73 2.97 267276288 error: exception 7.35 2.68 316874752
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    201    855146496 timeout (error (143)) 240    180    1259253760 error: exception 9.49 3.53 342614016 error: exception 11.8  4.32 372277248
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    212    683794432 timeout (error (143)) 241    179    1459748864 error: exception 9.55 3.61 337907712 error: exception 9.56 3.54 350658560
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    187    912388096 timeout (error (143)) 241    178    1497526272 error: exception 9.44 3.58 348839936 error: exception 11.0  3.98 387231744
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    179    991899648 timeout (error (143)) 241    178    2263019520 error: exception 7.72 3.11 287019008 error: exception 10.8  4.17 409104384
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    190    902397952 timeout (error (143)) 241    182    1901187072 error: exception 7.53 2.78 284516352 error: exception 10.8  4.07 420794368
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    185    1070874624 timeout (error (143)) 240    183    1328799744 error: exception 8.60 3.30 315359232 error: exception 13.6  5.21 446169088
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    182    1237327872 timeout (error (143)) 240    179    1303207936 error: exception 7.78 2.93 294268928 error: exception 10.7  4.19 414461952
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    208    817102848 timeout (error (143)) 241    179    1284734976 error: exception 7.66 2.86 294068224 error: exception 12.6  4.53 410542080
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    200    1430388736 timeout (error (143)) 240    183    1497452544 error: exception 10.4  3.98 335785984 error: exception 9.25 3.49 370724864
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    208    765927424 timeout (error (143)) 241    175    1560002560 error: exception 9.36 3.56 350609408 error: exception 10.3  3.73 353247232
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    198    827555840 timeout (error (143)) 241    180    1324085248 error: exception 12.2  4.53 379731968 error: exception 9.71 3.64 327725056
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    189    884248576 timeout (error (143)) 241    180    1568186368 error: exception 9.83 3.73 337063936 error: exception 8.47 3.19 332640256
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    197    1127391232 timeout (error (143)) 241    178    1863270400 error: exception 9.15 3.49 351920128 error: exception 10.1  3.82 325599232
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    178    1135091712 timeout (error (143)) 240    181    2158977024 error: exception 7.76 3.00 291053568 error: exception 10.4  3.86 375296000
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    188    977895424 timeout (error (143)) 241    179    1787240448 error: exception 7.87 2.97 279330816 error: exception 9.91 3.64 367243264
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    188    1148907520 timeout (error (143)) 240    182    1229066240 error: exception 8.34 3.14 299380736 error: exception 11.1  4.12 457654272
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    189    1583894528 timeout (error (143)) 240    180    1278648320 error: exception 7.61 2.92 276025344 error: exception 10.1  3.68 370556928
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    189    912789504 timeout (error (143)) 241    183    1196224512 error: exception 8.04 2.99 296435712 error: exception 10.8  3.96 387637248
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 244    197    1217011712 timeout (error (143)) 240    184    1309724672 error: exception 10.3  4.05 344346624 error: exception 8.45 3.13 337461248
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 68.5  38.7  869339136 false(valid-deref) 40.4  19.1  710574080 error: exception 7.36 2.81 278798336 error: exception 11.0  4.16 414040064
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 29.8  11.9  561012736 false(valid-deref) 26.0  10.1  505434112 error: exception 9.48 3.62 342302720 error: exception 10.4  3.75 335314944
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 49.3  26.5  679309312 false(valid-deref) 28.0  12.7  563941376 error: exception 7.14 2.72 272322560 error: exception 9.32 3.50 373800960
../../../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 207 25200 20300 169835208704 207 22600 16000 244590333952 207 2930 1490 73951703040 207 4900 3380 83101925376
    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 SmtInterpolCraig SmtInterpolNoArray z3