Tool | BLAST 2.7.1 | CPAchecker 1.1.10-svcomp13 | ESBMC 1.20 | Predator | UFO 2012-10-22 | |||||||
Limits | timelimit: 900 s, memlimit: 15360 MB | |||||||||||
System | CPU: Intel(R) Core(TM) i7-2600K CPU @ 3.40GHz with 4 cores, frequency: 3401 MHz; RAM: 16343684 kB | |||||||||||
Date of run | 2012-11-25 00:16 | 2012-11-14 06:53 | 2012-11-14 08:27 | 2012-11-17 03:16 | 2012-12-03 03:44 | 2012-12-14 13:52 | ||||||
Options | -alias bdd -enable-recursion -noprofile -cref -sv-comp -lattice -include-lattice symb |
-sv-comp13--explitp-pred -heap 12000m -disable-java-assertions |
-sv-comp13--combinations -heap 12000m -disable-java-assertions |
-t label -m32 |
--cex= |
|||||||
../sv-benchmarks-trunk/ | status | time | status | time | status | time | status | time | status | time | status | time |
ntdrivers/cdaudio_unsafe.i.cil.c | unsafe | 15 | unsafe | 16 | unsafe | 4.0 | error | 7.8 | error | 1.1 | unsafe | 1.9 |
ntdrivers/diskperf_unsafe.i.cil.c | unsafe | 9.7 | unsafe | 12 | unsafe | 3.2 | unsafe | 3.3 | error | 0.47 | unsafe | 0.62 |
ntdrivers/floppy_unsafe.i.cil.c | unsafe | 6.0 | unsafe | 57 | unsafe | 45 | error | 43 | error | 0.73 | unsafe | 0.76 |
ntdrivers/kbfiltr_unsafe.i.cil.c | unsafe | 25 | unknown | 230 | unknown | 480 | unsafe | 2.1 | error | 0.32 | unsafe | 0.95 |
ntdrivers/parport_unsafe.i.cil.c | unsafe | 5.4 | unsafe | 65 | unsafe | 4.9 | error | 9.1 | error | 2.1 | unsafe | 17 |
ntdrivers/cdaudio_safe.i.cil.c | safe | 260 | safe | 20 | safe | 4.5 | error | 7.7 | error | 1.1 | safe | 1.4 |
ntdrivers/diskperf_safe.i.cil.c | safe | 130 | safe | 17 | safe | 110 | safe | 2.6 | error | 0.48 | safe | 0.62 |
ntdrivers/floppy2_safe.i.cil.c | error | 0.70 | safe | 420 | unknown | 890 | safe | 74 | error | 2.4 | safe | 0.86 |
ntdrivers/floppy_safe.i.cil.c | error | 59 | safe | 18 | safe | 110 | error | 44 | error | 0.74 | safe | 0.79 |
ntdrivers/parport_safe.i.cil.c | timeout | 910 | timeout | 900 | timeout | 900 | error | 9.2 | error | 2.1 | safe | 84 |
ssh/s3_clnt.blast.01_unsafe.i.cil.c | unsafe | 16 | unsafe | 6.1 | unsafe | 7.2 | safe | 14 | error | 0.06 | unsafe | 4.5 |
ssh/s3_clnt.blast.02_unsafe.i.cil.c | unsafe | 11 | unsafe | 5.3 | unsafe | 7.2 | unsafe | 180 | error | 0.06 | unsafe | 3.1 |
ssh/s3_clnt.blast.03_unsafe.i.cil.c | unsafe | 11 | unsafe | 5.5 | unsafe | 7.3 | unsafe | 210 | error | 0.06 | unsafe | 3.2 |
ssh/s3_clnt.blast.04_unsafe.i.cil.c | unsafe | 11 | unsafe | 5.2 | unsafe | 7.3 | unsafe | 170 | error | 0.04 | unsafe | 3.2 |
ssh/s3_srvr.blast.01_unsafe.i.cil.c | unsafe | 6.6 | unsafe | 4.3 | unsafe | 2.3 | timeout | 900 | error | 0.09 | unsafe | 2.4 |
ssh/s3_srvr.blast.02_unsafe.i.cil.c | unsafe | 4.2 | unsafe | 3.4 | unsafe | 2.3 | unsafe | 300 | error | 0.11 | unsafe | 2.0 |
ssh/s3_srvr.blast.03_unsafe.i.cil.c | unsafe | 4.2 | unsafe | 3.4 | unsafe | 2.3 | unsafe | 380 | error | 0.09 | unsafe | 2.0 |
ssh/s3_srvr.blast.04_unsafe.i.cil.c | unsafe | 4.2 | unsafe | 3.5 | unsafe | 2.3 | unsafe | 280 | error | 0.09 | unsafe | 2.4 |
ssh/s3_srvr.blast.06_unsafe.i.cil.c | unsafe | 290 | unsafe | 7.4 | unsafe | 2.5 | unsafe | 500 | error | 0.10 | unsafe | 8.3 |
ssh/s3_srvr.blast.07_unsafe.i.cil.c | unsafe | 200 | unsafe | 5.7 | unsafe | 2.4 | unsafe | 680 | error | 0.09 | unsafe | 5.8 |
ssh/s3_srvr.blast.08_unsafe.i.cil.c | timeout | 910 | unsafe | 10 | unsafe | 43 | safe | 68 | error | 0.09 | unsafe | 5.1 |
ssh/s3_srvr.blast.09_unsafe.i.cil.c | unsafe | 220 | unsafe | 5.6 | unsafe | 2.4 | unsafe | 380 | error | 0.09 | unsafe | 7.0 |
ssh/s3_srvr.blast.10_unsafe.i.cil.c | timeout | 910 | unsafe | 11 | unsafe | 40 | safe | 71 | error | 0.10 | unsafe | 6.9 |
ssh/s3_srvr.blast.11_unsafe.i.cil.c | unsafe | 78 | unsafe | 4.9 | unsafe | 18 | unsafe | 640 | error | 0.09 | unsafe | 3.2 |
ssh/s3_srvr.blast.12_unsafe.i.cil.c | unsafe | 230 | unsafe | 6.8 | unsafe | 2.4 | unsafe | 550 | error | 0.09 | unsafe | 6.8 |
ssh/s3_srvr.blast.13_unsafe.i.cil.c | unsafe | 200 | unsafe | 5.7 | unsafe | 2.4 | unsafe | 780 | error | 0.10 | unsafe | 5.3 |
ssh/s3_srvr.blast.14_unsafe.i.cil.c | unsafe | 240 | unsafe | 6.8 | unsafe | 2.5 | unsafe | 590 | error | 0.10 | unsafe | 4.9 |
ssh/s3_srvr.blast.15_unsafe.i.cil.c | timeout | 910 | unsafe | 9.9 | unsafe | 44 | safe | 120 | error | 0.10 | unsafe | 7.7 |
ssh/s3_srvr.blast.16_unsafe.i.cil.c | unsafe | 290 | unsafe | 7.2 | unsafe | 2.5 | unsafe | 290 | error | 0.09 | unsafe | 7.7 |
ssh/s3_clnt.blast.01_safe.i.cil.c | safe | 260 | safe | 8.6 | safe | 28 | safe | 14 | error | 0.04 | safe | 1.9 |
ssh/s3_clnt.blast.02_safe.i.cil.c | safe | 140 | safe | 9.7 | safe | 28 | safe | 12 | error | 0.04 | safe | 3.0 |
ssh/s3_clnt.blast.03_safe.i.cil.c | safe | 170 | safe | 9.2 | safe | 29 | safe | 7.5 | error | 0.04 | safe | 2.9 |
ssh/s3_clnt.blast.04_safe.i.cil.c | safe | 140 | safe | 8.4 | safe | 29 | safe | 13 | error | 0.04 | safe | 2.9 |
ssh/s3_srvr.blast.01_safe.i.cil.c | safe | 99 | safe | 8.1 | safe | 48 | safe | 24 | error | 0.09 | safe | 3.3 |
ssh/s3_srvr.blast.02_safe.i.cil.c | timeout | 910 | safe | 7.0 | safe | 44 | safe | 12 | error | 0.10 | safe | 5.4 |
ssh/s3_srvr.blast.06_safe.i.cil.c | timeout | 910 | safe | 15 | safe | 200 | safe | 29 | error | 0.09 | safe | 5.5 |
ssh/s3_srvr.blast.07_safe.i.cil.c | timeout | 910 | safe | 11 | safe | 160 | safe | 19 | error | 0.09 | safe | 4.1 |
ssh/s3_srvr.blast.08_safe.i.cil.c | safe | 570 | safe | 10 | safe | 49 | safe | 20 | error | 0.09 | safe | 5.4 |
ssh/s3_srvr.blast.09_safe.i.cil.c | timeout | 910 | safe | 12 | safe | 140 | safe | 26 | error | 0.09 | safe | 5.7 |
ssh/s3_srvr.blast.10_safe.i.cil.c | safe | 460 | safe | 9.1 | safe | 48 | safe | 8.6 | error | 0.10 | safe | 5.4 |
ssh/s3_srvr.blast.11_safe.i.cil.c | timeout | 910 | safe | 11 | safe | 170 | safe | 15 | error | 0.09 | safe | 6.4 |
ssh/s3_srvr.blast.12_safe.i.cil.c | timeout | 910 | safe | 13 | safe | 120 | safe | 31 | error | 0.11 | safe | 4.0 |
ssh/s3_srvr.blast.13_safe.i.cil.c | timeout | 910 | safe | 11 | safe | 170 | safe | 26 | error | 0.09 | safe | 5.7 |
ssh/s3_srvr.blast.14_safe.i.cil.c | timeout | 910 | safe | 14 | safe | 170 | safe | 23 | error | 0.09 | safe | 5.7 |
ssh/s3_srvr.blast.15_safe.i.cil.c | safe | 470 | safe | 9.1 | safe | 48 | safe | 15 | error | 0.09 | safe | 5.3 |
ssh/s3_srvr.blast.16_safe.i.cil.c | timeout | 910 | safe | 14 | safe | 120 | safe | 30 | error | 0.10 | safe | 5.9 |
total files | 46 | 16000 | 46 | 2000 | 46 | 4300 | 46 | 7600 | 46 | 15 | 46 | 280 |
correct results | 31 | 4600 | 44 | 920 | 43 | 2100 | 35 | 6300 | 0 | 0 | 46 | 280 |
false negatives | 0 | 0 | 0 | 0 | 0 | 0 | 4 | 270 | 0 | 0 | 0 | 0 |
false positives | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
false properties | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
score (46 files, max score: 68) | 41 | 65 | 63 | 22 | 0 | 68 |