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-reachsafety.ReachSafety-ControlFlow sv-comp19_prop-reachsafety.ReachSafety-ControlFlow
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
ntdrivers/floppy_false-unreach-call.i.cil.c error (7) 21.0  11.4  350318592 false(unreach-call) 279    247    2747301888
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c error (7) 22.0  11.9  351629312 timeout 900    834    3431763968
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c error (7) 15.1  8.24 234479616 false(unreach-call) 449    393    1280405504
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c error (7) 15.0  8.23 234569728 false(unreach-call) 139    105    1137926144
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c error (7) 15.2  8.41 234475520 false(unreach-call) 141    108    1144340480
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c error (7) 15.4  8.40 242036736 false(unreach-call) 147    111    1110548480
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c error (7) 16.8  9.12 244072448 false(unreach-call) 90.9  56.1  766824448
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c error (7) 15.0  8.28 237723648 false(unreach-call) 93.3  56.5  790589440
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c error (7) 15.9  8.67 237158400 false(unreach-call) 91.7  56.8  798461952
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c error (7) 16.1  8.76 242720768 false(unreach-call) 89.5  54.2  778903552
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c error (7) 15.7  8.63 230416384 timeout 901    812    1333342208
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c error (7) 15.1  8.28 232976384 false(unreach-call) 831    752    1257508864
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c error (7) 16.0  8.73 239558656 timeout 901    789    2803458048
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c error (7) 15.6  8.45 234594304 timeout 901    825    1143926784
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c error (7) 15.0  8.25 242651136 timeout 901    792    2473861120
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c error (7) 16.9  9.28 245997568 false(unreach-call) 122    82.0  1022234624
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c error (7) 15.7  8.55 235085824 timeout 901    803    1301602304
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c error (7) 14.9  8.30 237383680 timeout 901    823    1399922688
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c error (7) 14.9  8.32 231518208 timeout 901    814    1349353472
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c error (7) 16.4  8.85 231727104 timeout 901    795    2640125952
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c error (7) 15.3  8.32 245723136 timeout 901    812    1251618816
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c error (7) 13.8  7.72 239501312 true 295    240    2136965120
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c error (7) 15.1  8.46 233357312 timeout 901    818    1519890432
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c error (7) 16.0  8.75 237957120 true 477    421    3009097728
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c error (7) 15.4  8.48 235098112 timeout 901    808    1384718336
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c error (7) 14.5  7.92 235495424 timeout 901    793    4886728704
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c error (7) 15.5  8.51 232775680 timeout 900    826    2792689664
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c error (7) 16.1  8.81 237727744 timeout 901    820    5328793600
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c error (7) 15.5  8.41 232869888 timeout 901    774    4829626368
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c error (7) 14.0  7.80 234799104 timeout 901    849    2596642816
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c error (7) 15.0  8.23 229474304 timeout 901    832    3234861056
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c error (7) 16.2  8.81 243154944 timeout 900    786    6559506432
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c error (7) 16.8  9.08 230506496 timeout 901    754    5211078656
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c error (7) 13.7  7.71 238907392 timeout 901    775    5082419200
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c error (7) 15.5  8.58 237649920 timeout 901    787    4773076992
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c error (7) 15.4  8.41 236748800 timeout 900    784    6203252736
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c error (7) 16.1  8.71 239001600 timeout 901    844    2439532544
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c error (7) 14.4  8.03 232398848 timeout 901    788    6513197056
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 38 598 328 9224241152 38 25800 22800 100466098176
    correct results 0 13 3250 2680 17981108224
        correct true 0 2 772 661 5146062848
        correct false 0 11 2470 2020 12835045376
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (38 tasks, max score: 56) 0 15
Run set sv-comp19_prop-reachsafety.ReachSafety-ControlFlow sv-comp19_prop-reachsafety.ReachSafety-ControlFlow