Tool ULTIMATE Automizer 0.1.23-c17473d0
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-04 11:59:08 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) 12.0  5.20 358469632 false(valid-deref) 9.68 3.72 341168128 false(valid-deref) 11.1  4.64 367616000 error: exception 8.10 3.00 323219456
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 8.34 3.23 321519616 false(valid-deref) 8.34 3.08 325095424 false(valid-deref) 8.25 3.12 323457024 error: exception 7.83 2.86 297431040
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 11.5  4.81 373071872 false(valid-deref) 10.2  4.01 347148288 false(valid-deref) 11.8  4.93 368832512 error: exception 8.14 3.32 309948416
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 6.84 2.59 270716928 false(valid-deref) 6.59 2.60 273801216 false(valid-deref) 7.24 2.76 265494528 error: exception 5.87 2.30 229769216
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 12.6  4.83 364806144 false(valid-deref) 10.8  4.26 374505472 false(valid-deref) 10.5  3.86 346656768 error: exception 6.81 2.72 293187584
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 6.56 2.61 268259328 unknown 5.24 2.10 222580736 unknown 5.08 2.26 223621120 false(valid-deref) 6.82 2.64 281554944
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 246    189    1380192256 timeout (error: exception) 241    188    2241073152 timeout (error (143)) 240    181    2241777664 error: exception 6.13 2.56 286023680
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 9.56 4.24 341958656 true 8.08 3.34 319967232 true 9.32 3.51 333393920 error: exception 6.48 2.52 305811456
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 9.69 3.77 331288576 true 8.67 3.28 341270528 true 9.85 3.87 343707648 error: exception 6.64 2.63 316899328
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 9.30 3.60 342536192 true 8.54 3.25 332734464 true 10.2  4.07 337203200 error: exception 6.73 2.57 309522432
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 9.11 3.43 331669504 true 9.18 3.38 319582208 true 9.20 3.53 324005888 error: exception 6.90 2.67 304390144
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 12.7  5.10 375443456 true 10.7  4.06 347164672 true 12.1  4.63 366870528 error: exception 6.76 2.71 311033856
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    211    1168289792 timeout (error: exception) 240    184    2228195328 timeout (error (143)) 242    191    3379822592 error: exception 6.73 2.69 277274624
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 11.6  4.87 366055424 true 10.5  4.04 355872768 true 12.5  5.83 340406272 error: exception 6.49 2.51 283701248
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 26.2  15.2  481382400 true 18.1  7.82 443146240 true 33.2  17.2  573493248 error: exception 6.84 2.60 292769792
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 15.3  6.87 430780416 true 14.2  5.60 403668992 timeout (error (143)) 241    179    2340417536 error: exception 7.00 2.62 299749376
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 24.9  13.2  479453184 true 17.5  7.19 449769472 true 23.3  11.8  509853696 error: exception 6.39 2.49 295596032
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 10.5  4.42 363413504 true 9.73 3.81 327671808 true 11.2  4.68 374480896 error: exception 7.50 2.80 290328576
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    199    742010880 timeout (error: exception) 241    195    2244333568 timeout (error (143)) 241    216    770072576 error: exception 8.27 3.06 318160896
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 24.2  12.3  495284224 true 17.6  7.72 445816832 true 22.7  10.6  509710336 error: exception 7.01 2.69 295784448
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 23.0  10.2  497029120 true 17.4  7.41 438374400 timeout (error (143)) 241    175    1662824448 error: exception 7.12 2.65 329244672
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 40.1  24.8  575303680 true 18.8  7.97 448458752 true 32.8  17.8  529821696 error: exception 6.43 2.57 293490688
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 52.0  35.5  588640256 true 18.6  7.88 512929792 true 60.7  42.1  583405568 error: exception 6.55 2.50 294023168
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 17.2  6.49 427814912 true 13.3  4.92 414953472 true 18.2  7.49 441421824 error: exception 5.16 2.12 227807232
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 13.2  5.68 404008960 true 12.3  4.73 364683264 true 13.8  5.57 382345216 error: exception 6.95 2.65 304779264
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 9.74 3.67 330461184 true 9.08 3.46 327516160 true 9.56 3.88 340254720 error: exception 7.45 2.81 329039872
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 23.7  11.5  468959232 true 19.7  8.35 488493056 true 18.7  8.19 459665408 error: exception 6.64 2.47 293289984
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 12.8  6.58 354971648 unknown 4.82 1.89 225468416 unknown 5.02 2.22 222138368 error: exception 6.37 2.61 286699520
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 11.6  4.81 387051520 true 10.6  4.10 354402304 true 13.2  5.46 398585856 error: exception 9.53 3.64 352751616
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 10.6  4.34 370151424 true 10.1  3.92 335933440 true 11.8  5.10 413188096 error: exception 6.88 2.70 310947840
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 20.1  12.3  414478336 true 22.6  15.2  393158656 true 11.6  4.62 361828352 error: exception 6.87 2.66 317620224
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 11.1  4.50 364167168 true 10.1  3.97 335618048 true 12.0  5.54 415563776 error: exception 8.28 3.26 320229376
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 14.9  6.21 399626240 true 12.5  5.13 387407872 timeout (error (143)) 241    178    2280329216 error: exception 6.21 2.45 281305088
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 69.9  39.6  806809600 true 53.2  25.4  864026624 timeout (error (143)) 240    181    1025298432 error: exception 7.80 2.90 324980736
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 242    174    4065804288 timeout (error (143)) 240    182    1883492352 timeout (error (143)) 241    199    1026445312 error: exception 6.89 2.67 286748672
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 25.1  12.7  526753792 true 18.4  7.97 452608000 true 33.4  15.7  575913984 error: exception 6.33 2.47 286564352
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 13.8  6.00 420536320 true 12.7  4.95 388685824 timeout (error (143)) 241    181    2192072704 error: exception 7.23 2.70 319606784
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 26.1  14.9  480002048 true 18.2  7.33 465485824 true 22.0  9.94 501313536 error: exception 6.82 2.51 303136768
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 44.3  21.7  638414848 true 48.4  20.3  698347520 true 163    110    884072448 error: exception 6.81 2.64 292397056
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 11.5  4.95 360218624 true 9.75 3.90 348315648 true 11.3  4.53 361893888 error: exception 7.31 2.75 294072320
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    200    665182208 timeout (error (143)) 241    187    2237808640 timeout (error (143)) 241    216    681136128 error: exception 7.94 3.05 319688704
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 27.5  13.7  518955008 true 19.7  7.82 473169920 true 29.2  13.4  588865536 error: exception 6.80 2.65 284319744
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 26.4  13.1  495501312 true 19.5  8.19 480993280 timeout (error (143)) 241    188    856424448 error: exception 7.58 2.97 310644736
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 13.9  5.62 427466752 true 12.2  4.69 357724160 true 14.3  5.62 433876992 error: exception 7.70 2.94 289034240
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 25.8  15.3  487510016 true 19.1  7.95 512602112 true 30.3  13.7  553353216 error: exception 6.14 2.42 287424512
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 28.4  16.1  502951936 true 21.7  9.16 521662464 true 28.9  15.3  535654400 error: exception 6.48 2.47 286375936
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    211    610738176 timeout (error: exception) 241    176    2291064832 timeout (error (143)) 241    166    1568489472 error: exception 7.12 2.78 310272000
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 20.6  13.8  397864960 true 9.91 3.92 360873984 true 12.1  5.26 426422272 error: exception 7.16 2.64 293433344
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 10.9  4.16 361590784 timeout (error (143)) 241    194    2275774464 true 13.5  5.92 404922368 error: exception 8.03 3.06 315715584
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 10.8  4.15 333004800 true 8.46 3.29 329969664 true 10.4  4.49 336015360 error: exception 6.48 2.48 303742976
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 11.1  4.25 350691328 true 8.86 3.30 333504512 true 10.3  4.08 337915904 error: exception 7.00 2.59 317833216
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 17.2  9.39 411758592 true 10.8  4.36 360562688 true 12.5  4.96 391376896 error: exception 7.43 2.75 294653952
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 27.5  14.1  526098432 true 20.4  8.81 502751232 true 52.4  31.1  640159744 error: exception 6.39 2.43 290881536
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 226    205    587587584 true 24.8  11.4  565129216 true 90.0  68.9  693608448 error: exception 6.75 2.62 291340288
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 242    216    861765632 timeout (error (143)) 241    192    1601601536 timeout (error (143)) 241    178    2317398016 error: exception 7.95 3.04 322895872
memsafety/test-0137_false-valid-deref.i false(valid-deref) 136    104    949669888 false(valid-deref) 45.1  20.7  782753792 false(valid-deref) 120    87.2  934998016 error: exception 13.1  4.88 383234048
memsafety/test-0235_false-valid-deref.i timeout (error (143)) 240    226    519991296 unknown 8.28 3.02 309903360 unknown 8.22 3.05 307040256 timeout (error (143)) 242    217    907751424
memsafety/960521-1_false-valid-free.i timeout (error (143)) 246    222    875233280 timeout (error (143)) 241    192    1723056128 timeout (error (143)) 241    178    2316128256 error: exception 7.36 2.82 325881856
memsafety/test-0232_false-valid-free.i error: exception 86.9  55.2  858103808 false(valid-free) 69.3  39.2  1027338240 timeout (error (143)) 242    215    1335603200 error: exception 9.05 3.53 354164736
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 246    218    1113391104 false(valid-memtrack) 76.6  35.2  1238757376 timeout (error (143)) 241    201    1382432768 error: exception 11.2  4.01 402239488
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 246    209    821501952 false(valid-memtrack) 156    102    2288660480 timeout (error (143)) 240    165    2310537216 error: exception 7.25 2.77 316395520
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 31.7  12.6  683261952 false(valid-memtrack) 42.7  15.1  789831680 false(valid-memtrack) 37.0  13.4  664293376 error: exception 9.39 3.42 384000000
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 12.4  4.39 404746240 false(valid-memtrack) 10.2  3.64 359157760 false(valid-memtrack) 11.3  3.90 355921920 error: exception 9.85 3.66 347475968
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 51.7  23.3  960192512 false(valid-memtrack) 54.7  20.7  1505075200 false(valid-memtrack) 45.8  19.2  928710656 error: exception 10.0  3.58 341512192
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.8  4.09 344686592 false(valid-memtrack) 10.0  3.76 348393472 false(valid-memtrack) 9.54 3.79 331280384 error: exception 13.5  8.59 316465152
memsafety/test-0102_false-valid-memtrack.i timeout (error (143)) 242    200    1058394112 timeout (error (143)) 241    187    2319646720 timeout (error (143)) 242    206    992428032 error: exception 10.1  3.70 407846912
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 23.2  9.96 499974144 false(valid-memtrack) 18.8  7.67 474284032 false(valid-memtrack) 25.2  11.2  544964608 error: exception 10.1  3.82 349577216
memsafety/test-0234_false-valid-memtrack.i timeout (error (143)) 240    227    514146304 unknown 7.67 2.85 287395840 unknown 7.51 2.75 303075328 error: exception 112    83.9  811483136
memsafety/test-0235_false-valid-memtrack.i timeout (error (143)) 241    227    569364480 unknown 8.19 3.06 312770560 unknown 8.10 3.00 307949568 true 39.1  21.6  752979968
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 242    228    901316608 timeout (error (143)) 240    188    1730744320 timeout (error (143)) 241    177    2325278720 error: exception 7.87 2.94 327536640
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (error (143)) 246    152    3571740672 timeout (error (143)) 242    124    4259467264 timeout (error (143)) 241    168    2923823104 error: exception 8.18 3.14 321470464
memsafety/test-0019_true-valid-memsafety_true-termination.i true 12.6  5.76 401227776 true 12.6  5.36 387481600 true 11.9  4.58 374358016 error: exception 15.2  10.4  323936256
memsafety/test-0102_true-valid-memsafety.i error: exception 102    67.5  1245413376 timeout (error: exception) 241    190    2344759296 timeout (error (143)) 242    205    973148160 error: exception 10.5  3.94 424415232
memsafety/test-0134_true-valid-memsafety.i timeout (error (143)) 243    191    1804054528 timeout (error (143)) 241    174    2290929664 timeout (error (143)) 242    206    1003130880 error: exception 12.4  4.95 396468224
memsafety/test-0158_true-valid-memsafety_true-termination.i true 7.39 2.81 296198144 true 7.77 3.25 298307584 true 7.66 2.98 324980736 error: exception 7.33 2.77 305078272
memsafety/test-0232_true-valid-memsafety.i timeout (error (143)) 241    190    858759168 timeout (error (143)) 241    178    1426276352 timeout (error (143)) 241    202    792158208 error: exception 8.60 3.31 352317440
memsafety/test-0234_true-valid-memsafety.i timeout (error (143)) 242    230    521670656 unknown 7.63 2.95 301551616 unknown 7.51 2.84 301207552 timeout (error (143)) 240    210    1451491328
memsafety/test-0235_true-valid-memsafety.i timeout (error (143)) 242    229    565862400 unknown 7.87 2.96 305405952 unknown 7.94 2.93 306761728 timeout (error (143)) 242    217    907005952
memsafety/test-0236_true-valid-memsafety.i timeout (error (143)) 241    227    638853120 unknown 7.88 2.88 302518272 unknown 8.15 2.94 313032704 error: exception 48.2  30.4  894316544
memsafety/test-0237_true-valid-memsafety.i timeout (error (143)) 242    231    535535616 unknown 8.06 2.86 307286016 unknown 7.88 2.95 315777024 timeout (error (143)) 242    214    911708160
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 241    202    1716609024 timeout (error (143)) 241    179    1487839232 timeout (error (143)) 243    207    942080000 error: exception 11.3  4.21 363429888
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 241    191    1041477632 timeout (error (143)) 240    181    1296891904 timeout (error (143)) 241    193    1004765184 error: exception 12.7  4.85 451702784
memsafety/test-0521_true-valid-memsafety.i timeout (error (143)) 245    209    1071788032 timeout (error (143)) 241    183    1134034944 timeout (error (143)) 241    190    2377007104 error: exception 21.6  7.97 484339712
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 133    114    808988672 true 21.0  8.86 569643008 timeout (error (143)) 241    226    925310976 timeout (error (143)) 240    222    2419314688
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 246    206    846761984 timeout (error (143)) 240    184    1671335936 timeout (error (143)) 240    204    858505216 error: exception 8.74 3.29 323452928
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 243    222    594423808 timeout (error (143)) 241    176    1723809792 timeout (error (143)) 241    216    593133568 error: exception 9.73 3.59 325849088
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 241    219    690331648 timeout (error (143)) 241    172    1814265856 timeout (error (143)) 241    197    683094016 error: exception 10.1  3.79 339640320
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 241    199    707919872 timeout (error (143)) 241    179    1327788032 timeout (error (143)) 243    207    931328000 error: exception 11.0  4.01 354844672
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 241    192    837283840 timeout (error (143)) 241    181    1376325632 timeout (error (143)) 242    212    848916480 error: exception 11.2  4.13 398508032
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 243    218    689229824 timeout (error (143)) 241    175    1701306368 timeout (error (143)) 241    214    761024512 error: exception 9.86 3.61 325144576
memsafety-ext2/split_list_test05_false-valid-deref.i out of memory 178    139    5999996928 out of memory 132    101    6000001024 timeout (error (143)) 243    210    1267486720 error: exception 17.8  7.09 449818624
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 240    163    2300006400 timeout (error (143)) 251    171    4504268800 timeout (error (143)) 240    166    2377768960 error: exception 11.2  4.36 400859136
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 241    174    1484156928 timeout (error (143)) 240    175    2274713600 timeout (error (143)) 243    192    1487589376 error: exception 12.3  4.66 409432064
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 241    206    1206706176 out of memory 214    158    5999996928 timeout (error (143)) 242    219    1507860480 error: exception 13.8  5.44 462503936
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 241    196    970125312 timeout (error (143)) 240    178    1398968320 error: exception 152    110    861069312 error: exception 11.4  4.23 361463808
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 241    177    2296721408 timeout (error (143)) 241    177    2289340416 timeout (error (143)) 241    163    2333044736 error: exception 11.4  4.41 427220992
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 241    176    1264250880 timeout (error (143)) 240    173    2013122560 timeout (error (143)) 242    197    1279160320 error: exception 12.7  4.81 405557248
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 241    209    1094258688 error: exception 232    177    4662091776 timeout (error (143)) 242    219    1362493440 error: exception 13.7  5.38 463822848
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error: exception 109    66.9  1034678272 timeout (error (143)) 240    178    1298567168 timeout (error (143)) 241    204    1017954304 error: exception 9.82 3.85 360521728
memsafety-ext2/split_list_test05_true-valid-memsafety.i out of memory 153    114    5999996928 error: exception 110    69.6  5037215744 error: exception 227    190    1710059520 error: exception 18.6  7.15 445706240
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 10.7  4.04 357347328 false(valid-deref) 9.81 3.65 337043456 false(valid-deref) 10.4  4.18 344236032 error: exception 10.0  3.79 333934592
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 243    194    1042464768 timeout (error (143)) 240    176    1204826112 timeout (error (143)) 241    193    1151229952 error: exception 7.93 2.96 317267968
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 9.00 3.53 338526208 false(valid-deref) 8.84 3.24 343191552 false(valid-deref) 9.82 3.82 343904256 error: exception 7.60 2.85 301375488
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 14.1  5.80 414814208 false(valid-free) 11.5  4.41 356450304 false(valid-free) 12.8  5.43 374325248 error: exception 10.2  3.92 330412032
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 22.1  9.96 522641408 false(valid-memtrack) 21.8  9.79 516456448 false(valid-memtrack) 70.8  52.1  601972736 error: exception 17.7  13.2  321675264
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 19.0  7.68 454459392 false(valid-memtrack) 16.7  6.29 434221056 false(valid-memtrack) 24.7  11.1  459173888 error: exception 9.29 3.53 360615936
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 241    204    965586944 timeout (error (143)) 240    181    1987432448 timeout (error (143)) 243    213    733597696 error: exception 9.84 3.68 334839808
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 241    180    788271104 timeout (error (143)) 241    179    1330360320 timeout (error (143)) 241    184    1057796096 error: exception 7.76 2.89 327655424
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 241    196    1303814144 timeout (error (143)) 241    176    1799131136 timeout (error (143)) 241    186    931336192 error: exception 8.01 3.04 319774720
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 241    194    1061425152 timeout (error (143)) 240    180    1206407168 timeout (error (143)) 241    198    852385792 error: exception 7.65 2.84 302899200
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 24.0  11.1  576708608 true 23.5  11.2  530382848 true 79.1  62.4  621539328 error: exception 20.0  14.7  320892928
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 7.81 2.89 313765888 true 7.65 2.88 306012160 true 8.23 3.12 322179072 error: exception 8.14 3.00 315756544
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i error: exception 111    72.9  889917440 timeout (error: exception) 241    180    2064773120 timeout (error (143)) 241    202    739246080 error: exception 9.16 3.46 363655168
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 240    203    1158533120 unknown 17.5  6.43 453226496 unknown 20.3  7.76 448876544 error: exception 12.2  4.62 376885248
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 240    184    1086963712 timeout (error (143)) 240    183    1228124160 timeout (error (143)) 246    209    1366196224 error: exception 15.9  6.37 436797440
memory-alloca/c.03-alloca_true-valid-memsafety.i true 10.9  4.57 352985088 true 10.9  4.00 401973248 true 10.2  3.85 341671936 error: exception 5.38 2.09 234008576
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 7.32 2.80 285949952 false(valid-deref) 7.54 2.97 281124864 false(valid-deref) 7.40 2.77 302243840 error: exception 9.65 3.56 333156352
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error: exception) 240    183    2338951168 timeout (error: exception) 241    189    2507399168 timeout (error: exception) 241    177    2390401024 error: exception 6.36 2.37 275632128
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error: exception) 240    183    2417139712 timeout (error: exception) 241    188    2473693184 timeout (error: exception) 241    177    2542616576 error: exception 6.11 2.35 271630336
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 246    201    2314907648 timeout (error: exception) 241    188    2630840320 timeout (error (143)) 241    171    1903349760 error: exception 9.41 3.55 331214848
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 9.67 3.59 327548928 timeout (error: exception) 241    191    2613071872 true 9.39 3.46 341184512 error: exception 5.95 2.32 271790080
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 10.4  4.00 360644608 timeout (error: exception) 240    179    2492014592 true 11.4  4.34 350982144 error: exception 7.52 2.83 316837888
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 9.67 3.60 338321408 timeout (error: exception) 241    194    2623401984 true 9.80 3.61 335872000 error: exception 6.02 2.42 270168064
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 12.4  4.69 359837696 timeout (error (143)) 241    185    2326577152 true 12.5  4.56 374824960 error: exception 9.39 3.70 327819264
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 10.5  3.95 330194944 timeout (error: exception) 240    185    2489131008 true 10.8  4.04 351219712 error: exception 6.69 2.82 270991360
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 6.80 2.67 271147008 true 27.8  13.1  573681664 true 6.59 2.52 261373952 error: exception 34.3  21.7  776593408
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 7.31 2.80 284651520 true 88.8  58.1  1460133888 true 7.02 2.59 271294464 error: exception 139    110    1198268416
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 7.39 2.81 280219648 true 28.9  13.4  647127040 true 6.80 2.60 261406720 error: exception 34.3  21.7  707182592
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 7.27 2.74 284942336 true 90.0  58.2  1198759936 true 6.94 2.67 272723968 error: exception 139    110    1351720960
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 7.09 2.71 274587648 true 88.3  58.0  1172049920 true 6.91 2.57 265003008 error: exception 141    111    1308717056
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 6.77 2.59 270839808 true 90.6  58.2  1170710528 true 7.20 2.75 260214784 error: exception 142    113    1397612544
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 242    220    2249711616 false(valid-deref) 49.6  22.9  1061040128 timeout (error (143)) 241    198    1422704640 error: exception 9.22 3.47 310259712
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 246    216    915623936 false(valid-deref) 50.5  23.5  1074589696 timeout (error (143)) 240    214    1661456384 error: exception 9.65 3.54 317718528
ldv-memsafety/memleaks_test12_false-valid-free.i timeout (error (143)) 240    208    928661504 timeout (error: exception) 241    180    3387056128 timeout (error (143)) 241    211    748064768 error: exception 29.6  13.9  596488192
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error (143)) 243    223    1639911424 false(valid-free) 74.8  38.8  1063694336 false(valid-free) 188    142    849620992 error: exception 9.22 3.59 344616960
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 123    96.6  779296768 false(valid-free) 43.4  17.8  691740672 false(valid-free) 219    192    576376832 error: exception 7.78 2.89 319340544
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 13.5  5.27 403849216 false(valid-free) 14.1  5.47 421941248 false(valid-free) 170    159    457248768 timeout (error (143)) 244    237    372035584
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout (error (143)) 241    219    606343168 false(valid-memtrack) 60.9  29.0  804593664 timeout (error (143)) 241    205    688734208 error: exception 10.2  3.84 386469888
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout (error (143)) 241    196    778645504 timeout (error (143)) 241    173    1839677440 timeout (error (143)) 243    199    1174728704 true 71.7  45.0  727429120
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout (error (143)) 241    223    1888051200 timeout (error (143)) 241    170    1795346432 timeout (error (143)) 242    215    619053056 error: exception 9.41 3.64 342024192
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout (error (143)) 240    218    613449728 timeout (error: exception) 242    184    2389647360 timeout (error (143)) 242    219    631742464 error: exception 9.10 3.44 340701184
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 53.0  45.6  376999936 false(valid-memtrack) 10.6  3.91 338534400 false(valid-memtrack) 12.3  6.09 346230784 error: exception 9.66 3.68 333361152
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i error: exception 236    209    1080250368 timeout (error (143)) 240    183    2395111424 timeout (error (143)) 241    221    711680000 error: exception 9.47 3.73 344678400
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 67.5  55.0  483860480 false(valid-memtrack) 17.2  6.63 471543808 timeout (error (143)) 241    216    517750784 error: exception 9.04 3.41 342757376
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 78.7  53.7  649019392 false(valid-memtrack) 35.0  13.9  690294784 false(valid-memtrack) 40.9  18.2  661626880 error: exception 10.2  3.75 318373888
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 39.7  24.8  510615552 false(valid-memtrack) 18.1  6.56 436895744 false(valid-memtrack) 22.5  8.52 491380736 error: exception 7.80 2.98 325623808
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 78.2  55.1  674410496 false(valid-memtrack) 35.9  15.0  729346048 false(valid-memtrack) 43.9  20.5  783536128 error: exception 9.64 3.66 325931008
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 12.5  4.58 381255680 false(valid-memtrack) 12.0  4.48 366596096 false(valid-memtrack) 25.5  15.3  453238784 timeout (error (143)) 242    235    381317120
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.9  4.30 370876416 false(valid-memtrack) 12.0  4.30 369131520 false(valid-memtrack) 165    155    438358016 timeout (error (143)) 241    235    390250496
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.0  3.96 342773760 false(valid-memtrack) 11.3  4.12 343531520 false(valid-memtrack) 12.6  5.48 339632128 error: exception 8.23 3.23 318775296
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout (error (143)) 241    199    666943488 true 111    65.5  1501114368 timeout (error (143)) 241    192    909770752 error: exception 10.5  3.98 391454720
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error: exception 120    103    587186176 timeout (error: exception) 241    178    3350290432 timeout (error (143)) 243    211    731983872 error: exception 28.8  13.7  594616320
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout (error (143)) 241    199    746598400 true 230    161    2281865216 timeout (error (143)) 241    182    1039101952 error: exception 17.7  6.91 476815360
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 242    224    1661267968 timeout (error (143)) 241    171    1755529216 timeout (error (143)) 242    219    687427584 error: exception 8.60 3.37 321138688
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 243    221    494723072 timeout (error (143)) 241    161    1772818432 timeout (error (143)) 240    210    596992000 error: exception 9.66 3.82 429481984
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout (error (143)) 242    221    1155063808 timeout (error (143)) 241    183    2626506752 timeout (error (143)) 241    198    655560704 error: exception 11.0  4.42 356089856
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 86.4  57.0  786984960 true 47.3  20.8  753209344 timeout (error (143)) 245    220    696016896 error: exception 7.73 2.99 322285568
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 7.07 2.68 289005568 true 7.49 2.87 281600000 true 7.39 2.75 280485888 error: exception 7.82 2.92 313450496
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout (error (143)) 241    211    892641280 true 57.6  27.4  1339068416 timeout (error (143)) 240    214    1711501312 error: exception 9.08 3.44 324026368
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 246    216    2658410496 true 86.8  44.7  1580503040 timeout (error (143)) 241    193    1524629504 error: exception 9.48 3.53 317947904
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 241    205    1531060224 true 86.3  46.2  1747881984 timeout (error (143)) 243    207    3241091072 error: exception 9.54 3.62 323751936
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 8.30 3.02 322113536 true 8.74 3.20 317710336 true 8.36 3.07 324055040 error: exception 8.80 3.33 314236928
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 12.1  4.62 359194624 true 11.0  4.06 365686784 true 11.1  4.23 341094400 error: exception 8.87 3.63 374833152
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 9.46 3.48 336510976 true 9.98 3.59 334356480 true 9.45 3.56 335863808 error: exception 9.37 3.75 323665920
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 15.3  5.90 434655232 true 16.3  6.37 428097536 true 184    167    482889728 timeout (error (143)) 242    235    384012288
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 13.6  5.01 417959936 true 13.9  5.21 405315584 true 86.4  76.2  602857472 error: exception 9.57 3.68 410021888
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 8.43 3.05 334733312 true 8.75 3.24 350621696 true 8.07 3.12 336957440 error: exception 8.78 3.32 318013440
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 8.06 3.00 343285760 true 8.85 3.21 343527424 true 8.48 3.05 354512896 error: exception 8.67 3.51 313794560
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i error: exception 142    109    766545920 timeout (error (143)) 241    179    1580478464 timeout (error (143)) 241    221    743682048 error: exception 13.5  5.19 446472192
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    198    907280384 timeout (error (143)) 241    171    2199056384 timeout (error (143)) 241    190    1056739328 error: exception 18.3  7.55 481038336
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 241    204    777220096 false(valid-memtrack) 69.3  36.1  844070912 timeout (error (143)) 244    209    830967808 error: exception 9.48 3.54 386719744
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) 24.1  9.48 514183168 false(valid-memtrack) 21.6  8.54 487653376 false(valid-memtrack) 27.7  10.9  583127040 error: exception 13.2  5.15 427634688
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 44.6  22.5  656302080 false(valid-memtrack) 32.0  14.2  581840896 false(valid-memtrack) 91.4  66.3  757092352 error: exception 10.6  4.00 419737600
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 39.0  20.1  609763328 false(valid-memtrack) 29.1  12.0  551161856 false(valid-memtrack) 37.9  18.4  587124736 error: exception 9.07 3.36 343785472
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    191    1112199168 timeout (error (143)) 241    179    1103306752 timeout (error (143)) 241    196    1054146560 error: exception 7.35 2.78 298602496
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.15 2.67 263217152 false(valid-memtrack) 7.24 2.80 256819200 false(valid-memtrack) 6.57 2.51 256806912 error: exception 6.97 2.65 304218112
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 10.5  4.07 353882112 false(valid-memtrack) 10.0  3.92 344043520 false(valid-memtrack) 9.80 3.81 344358912 error: exception 7.26 2.74 301223936
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.48 2.77 306962432 false(valid-memtrack) 7.90 2.88 315207680 false(valid-memtrack) 7.47 2.81 306126848 error: exception 8.47 3.05 328327168
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 10.2  3.82 335265792 false(valid-memtrack) 9.59 3.54 336728064 false(valid-memtrack) 9.65 3.64 331612160 error: exception 6.45 2.45 288854016
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.71 2.86 264175616 false(valid-memtrack) 7.55 2.79 273866752 false(valid-memtrack) 7.68 2.89 271671296 error: exception 7.50 2.76 306167808
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    206    851214336 timeout (error (143)) 240    179    1331351552 timeout (error (143)) 243    211    668086272 error: exception 10.4  4.02 399323136
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    207    642289664 timeout (error (143)) 241    180    1495437312 timeout (error (143)) 241    206    735715328 error: exception 9.47 3.61 356405248
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    193    793694208 timeout (error (143)) 241    180    1433522176 timeout (error (143)) 241    195    953098240 error: exception 10.4  3.85 378556416
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    180    1466699776 timeout (error (143)) 240    181    1805250560 timeout (error (143)) 242    201    869470208 error: exception 11.1  4.17 420155392
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    1415327744 timeout (error (143)) 240    183    1463939072 timeout (error (143)) 240    195    1058148352 error: exception 10.8  4.01 408371200
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    187    1249976320 timeout (error (143)) 240    184    1312522240 timeout (error (143)) 241    190    1097486336 error: exception 13.2  5.10 461209600
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    181    1322852352 timeout (error (143)) 240    181    1323548672 timeout (error (143)) 241    210    863637504 error: exception 11.0  4.04 389746688
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    208    958570496 timeout (error (143)) 241    184    1150124032 timeout (error (143)) 241    197    979132416 error: exception 12.5  4.46 445747200
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 243    203    1586757632 timeout (error (143)) 240    186    1395630080 timeout (error (143)) 242    215    734023680 error: exception 9.99 3.65 371326976
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    208    757325824 timeout (error (143)) 241    176    1341497344 timeout (error (143)) 243    216    625823744 error: exception 10.9  3.92 343703552
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    196    1241403392 timeout (error (143)) 241    182    1272745984 timeout (error (143)) 241    210    864362496 error: exception 10.5  3.78 335187968
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    188    1148207104 timeout (error (143)) 241    176    1292525568 timeout (error (143)) 241    184    1070395392 error: exception 8.07 3.01 331018240
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    197    1086332928 timeout (error (143)) 240    177    1362518016 timeout (error (143)) 242    205    1095401472 error: exception 10.1  3.60 324382720
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    181    1376604160 timeout (error: exception) 240    181    1598267392 timeout (error (143)) 240    190    1350119424 error: exception 11.0  4.03 371306496
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    189    968855552 timeout (error (143)) 241    180    1176408064 timeout (error (143)) 241    193    865533952 error: exception 9.11 3.44 358694912
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    192    1088307200 timeout (error (143)) 240    183    1171869696 timeout (error (143)) 241    190    966242304 error: exception 10.8  4.21 451473408
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    189    1207242752 timeout (error (143)) 241    179    1252020224 timeout (error (143)) 241    189    944992256 error: exception 10.3  3.72 362958848
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    188    965541888 timeout (error (143)) 241    185    1217212416 timeout (error (143)) 241    190    1008427008 error: exception 11.0  4.02 408223744
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    193    1202663424 timeout (error (143)) 240    182    1238175744 timeout (error (143)) 242    207    987713536 error: exception 8.35 3.05 332111872
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 74.1  42.6  872595456 false(valid-deref) 42.7  19.6  689508352 timeout (error (143)) 241    205    941420544 error: exception 11.0  4.04 425349120
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 30.1  11.9  561655808 false(valid-deref) 23.6  9.67 495910912 false(valid-deref) 92.1  74.0  582201344 error: exception 10.3  3.87 343625728
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 50.9  26.4  658538496 false(valid-deref) 29.2  13.3  535097344 false(valid-deref) 49.6  28.0  689459200 error: exception 10.2  3.74 346251264
../../../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 24700 19900 166525181952 202 22300 15800 232916459520 202 26300 21000 165238251520 202 4810 3380 80632516608
    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