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
https://sosy-lab.github.io/benchexec/example-table/test/programs/benchmarks/ status cputime (s) walltime (s) memory (MB)
ntdrivers/cdaudio_false-unreach-call.i.cil.c 60.1  60.1  987
ntdrivers/diskperf_false-unreach-call.i.cil.c 1.24 1.26 104
ntdrivers/floppy_false-unreach-call.i.cil.c 3.10 3.11 140
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 60.1  60.1  573
ntdrivers/parport_false-unreach-call.i.cil.c 13.0  13.3  676
ntdrivers/cdaudio_true-unreach-call.i.cil.c 60.1  60.4  993
ntdrivers/diskperf_true-unreach-call.i.cil.c 60.2  60.1  3500
ntdrivers/floppy2_true-unreach-call.i.cil.c 60.1  60.0  989
ntdrivers/floppy_true-unreach-call.i.cil.c 60.0  60.4  391
ntdrivers/parport_true-unreach-call.i.cil.c 61.1  61.7  2180
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 11.6  12.0  411
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 3.79 4.15 182
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 3.78 3.82 182
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 3.77 3.79 180
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 4.91 4.94 242
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 4.87 4.90 229
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 4.89 4.90 229
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 4.91 4.96 228
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 5.25 5.27 231
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 5.11 5.14 234
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 15.4  15.4  461
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 5.14 5.17 233
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 14.9  15.0  459
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 5.24 5.26 234
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 4.96 4.99 229
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 5.25 5.28 232
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 4.98 5.02 230
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 15.5  15.5  463
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 5.22 5.26 229
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 60.1  60.1  703
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 60.0  60.5  654
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 60.1  60.4  654
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 60.0  60.4  656
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 60.0  60.4  843
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 60.0  60.4  796
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 60.1  60.4  784
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 60.0  60.5  811
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 60.1  60.2  799
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 60.0  60.4  817
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 60.0  60.4  797
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 60.1  60.2  814
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 60.1  60.1  803
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 60.1  60.1  816
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 60.1  60.1  804
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 60.8  61.5  801
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 60.0  60.1  808
https://sosy-lab.github.io/benchexec/example-table/test/programs/benchmarks/ status cputime (s) walltime (s) memory (MB)
total 46 1590 1600 28800
local summary 148 1620
    correct results 22 147 148 6040
        correct true 0
        correct false 22 147 148 6040
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (46 tasks, max score: 68) 22
Run set cbmc