Tool CBMC
Limits timelimit: 60 s, memlimit: 4000 MB, CPU core limit: 2
Host tortuga
OS Linux 3.13.0-71-generic x86_64
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3401 MHz, Turbo Boost: enabled; RAM: 16783 MB
Date of execution 2015-12-11 12:11:02 CET
Run set cbmc
test/programs/benchmarks/ status cputime (s) walltime (s) memUsage
ntdrivers/cdaudio_false-unreach-call.i.cil.c 60.1  60.1  986857472
ntdrivers/diskperf_false-unreach-call.i.cil.c 1.24 1.26 104386560
ntdrivers/floppy_false-unreach-call.i.cil.c 3.10 3.11 139542528
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 60.1  60.1  573120512
ntdrivers/parport_false-unreach-call.i.cil.c 13.0  13.3  676438016
ntdrivers/cdaudio_true-unreach-call.i.cil.c 60.1  60.4  992849920
ntdrivers/diskperf_true-unreach-call.i.cil.c 60.2  60.1  3500752896
ntdrivers/floppy2_true-unreach-call.i.cil.c 60.1  60.0  989302784
ntdrivers/floppy_true-unreach-call.i.cil.c 60.0  60.4  390643712
ntdrivers/parport_true-unreach-call.i.cil.c 61.1  61.7  2175901696
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 11.6  12.0  411250688
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 3.79 4.15 181800960
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 3.78 3.82 181514240
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 3.77 3.79 180371456
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 4.91 4.94 242040832
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 4.87 4.90 228581376
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 4.89 4.90 228601856
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 4.91 4.96 227807232
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 5.25 5.27 230891520
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 5.11 5.14 233541632
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 15.4  15.4  461254656
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 5.14 5.17 233463808
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 14.9  15.0  459161600
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 5.24 5.26 233922560
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 4.96 4.99 229355520
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 5.25 5.28 232308736
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 4.98 5.02 229531648
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 15.5  15.5  463335424
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 5.22 5.26 229433344
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 60.1  60.1  702951424
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 60.0  60.5  654196736
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 60.1  60.4  654397440
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 60.0  60.4  656076800
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 60.0  60.4  843345920
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 60.0  60.4  796418048
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 60.1  60.4  783564800
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 60.0  60.5  811438080
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 60.1  60.2  799137792
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 60.0  60.4  816816128
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 60.0  60.4  796602368
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 60.1  60.2  814174208
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 60.1  60.1  803172352
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 60.1  60.1  816447488
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 60.1  60.1  803966976
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 60.8  61.5  801054720
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 60.0  60.1  807804928
test/programs/benchmarks/ status cputime (s) walltime (s) memUsage
total tasks 46 1590 1600 28809531392
local summary 148 1620
    correct results 22 147 148 6038536192
        correct true 0
        correct false 22 147 148 6038536192
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (46 tasks, max score: 68) 22
Run set cbmc