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=${logfile_path_abs}/${test_name}.${sourcefile_name}.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