Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET 2019-01-14 11:19:50 CET
Run set sv-comp19_prop-memsafety.MemSafety-Other sv-comp19_prop-memsafety.MemSafety-Other
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
loops/invert_string_false-valid-deref.c false(valid-deref) 8.30 5.00 243769344 false(valid-deref) 8.56 5.09 249692160
loop-acceleration/array3_false-valid-deref.i timeout 901    839    948715520 timeout 901    842    1067421696
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 104    68.1  1400303616 false(valid-deref) 111    72.3  1337913344
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 41.9  25.8  757653504 false(valid-deref) 40.4  25.1  761311232
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.0  7.98 425218048 true 15.0  8.45 423657472
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.5  8.20 424095744 true 14.6  8.17 418463744
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.6  6.75 321748992 true 11.9  6.76 331182080
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.4  6.60 314626048 true 11.9  6.88 326406144
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.8  6.73 325443584 true 12.2  6.98 330838016
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.7  7.22 371970048 true 13.6  7.63 374157312
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.5  7.62 378421248 true 13.3  7.49 368873472
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.22 5.43 251502592 true 9.63 5.47 251068416
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.84 5.83 292098048 true 10.4  6.08 287371264
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.8  6.31 300277760 true 10.4  6.04 296714240
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 8.03 4.72 244355072 true 7.76 4.73 243011584
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 7.93 4.76 245383168 true 8.24 4.97 246157312
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 7.80 4.74 237625344 true 7.61 4.63 246550528
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 7.98 4.83 247779328 true 7.82 4.68 247992320
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 7.42 4.52 248602624 true 7.74 4.70 243355648
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.28 4.96 247885824 true 7.93 4.79 242442240
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 7.92 4.80 242790400 true 7.67 4.69 246210560
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 7.76 4.75 246861824 true 8.34 4.93 247431168
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.37 4.52 240455680 true 7.57 4.58 242380800
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.65 4.61 241422336 true 7.44 4.56 238514176
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.71 4.61 244039680 true 7.37 4.49 242040832
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 7.96 4.76 240828416 true 7.82 4.72 241733632
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.67 4.64 241872896 true 8.03 4.85 245288960
memsafety-ext3/derefAfterFree1_false-valid-deref.c false(valid-deref) 9.22 5.69 251912192 false(valid-deref) 9.20 5.47 253186048
memsafety-ext3/derefAfterFree2_false-valid-deref.c false(valid-deref) 14.0  8.40 426934272 false(valid-deref) 15.6  9.19 428347392
memsafety-ext3/derefInLoop1_false-valid-deref.c false(valid-deref) 8.50 5.12 254980096 false(valid-deref) 8.73 5.26 254533632
memsafety-ext3/getNumbers1_false-valid-deref.c false(valid-deref) 17.1  10.1  473497600 false(valid-deref) 18.1  10.6  469811200
memsafety-ext3/getNumbers2_false-valid-deref.c false(valid-deref) 33.3  20.9  606277632 false(valid-deref) 29.4  17.9  602722304
memsafety-ext3/getNumbers4_false-valid-deref.c false(valid-deref) 89.7  68.5  814010368 false(valid-deref) 82.9  58.7  825421824
memsafety-ext3/naturalNumbers1_false-valid-deref.c true 11.5  6.89 340733952 true 11.6  7.00 336965632
memsafety-ext3/realloc1_false-valid-deref.c false(valid-deref) 18.3  10.8  472313856 false(valid-deref) 18.1  10.6  471973888
memsafety-ext3/scopes1_false-valid-deref.c false(valid-deref) 7.75 4.68 243630080 false(valid-deref) 7.89 4.71 243441664
memsafety-ext3/scopes2_false-valid-deref.c false(valid-deref) 7.44 4.48 244113408 false(valid-deref) 8.17 4.90 245559296
memsafety-ext3/scopes3_false-valid-deref.c false(valid-deref) 17.1  9.91 479367168 false(valid-deref) 16.6  9.67 476770304
memsafety-ext3/scopes4_false-valid-deref.c false(valid-deref) 8.06 4.93 249622528 false(valid-deref) 8.18 4.97 246743040
memsafety-ext3/scopes5_false-valid-deref.c false(valid-deref) 7.37 4.57 244576256 false(valid-deref) 7.59 4.57 241963008
memsafety-ext3/freeAlloca_false-valid-free.c false(valid-free) 21.9  14.8  473427968 false(valid-free) 22.2  14.9  476938240
memsafety-ext3/getNumbers1_true-valid-memsafety.c true 15.1  9.25 479215616 true 14.3  8.64 427393024
memsafety-ext3/getNumbers3_true-valid-memsafety.c true 12.9  7.72 376528896 true 12.6  7.59 386170880
memsafety-ext3/getNumbers4_true-valid-memsafety.c true 67.4  45.5  920498176 true 80.8  55.0  1067716608
memsafety-ext3/scopes4_true-valid-memsafety.c true 12.6  7.35 360341504 true 15.9  9.18 541065216
pthread-memsafety/fillarray1_false-valid-deref.i error (7) 20.2  11.4  332689408 error (7) 21.4  12.1  345149440
pthread-memsafety/fillarray_false-valid-deref.i error (7) 19.8  11.3  336252928 error (7) 21.0  12.0  336027648
pthread-memsafety/list1_false-valid-deref.i error (7) 21.5  12.2  348176384 error (7) 21.8  12.3  348282880
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 48 1720   1350    18654846976 48 1740   1360    19024363520
    correct results 43 743   471    16348278784 43 760   476    16590516224
        correct true 27 329   200    8711888896 27 348   212    9004187648
        correct false 16 414   272    7636389888 16 412   264    7586328576
    incorrect results 1 11.5 6.89 340733952 1 11.6 7.00 336965632
        incorrect true 1 11.5 6.89 340733952 1 11.6 7.00 336965632
        incorrect false 0 0
score (48 tasks, max score: 75) 38 38
Run set sv-comp19_prop-memsafety.MemSafety-Other sv-comp19_prop-memsafety.MemSafety-Other