Tool CPAchecker 1.1-svn BLAST 2.7 WOLVERINE 0.5c UFO
Limits timelimit: 900 s, memlimit: 15000 MB
OS Linux 2.6.35-32-generic x86_64
System CPU: Intel(R) Core(TM) i7-2600K CPU @ 3.40GHz with 4 cores, frequency: 3401 MHz; RAM: 16375440 kB
Test Impact (Framework) Impact with FC (Framework) Predicate Abstraction Blast Wolverine uUFO cpUFO
Options -setprop cpa.conditions.global.time.wall=-1
-setprop statistics.memory=false
-noout
-heap 12000m
-impact-refiner-sbe		 -setprop cpa.conditions.global.time.wall=-1
-setprop statistics.memory=false
-noout
-heap 12000m
-setprop cpa.forcedCovering=cpa.predicate.PredicateForcedCovering
-impact-refiner-sbe		 -setprop cpa.conditions.global.time.wall=-1
-setprop statistics.memory=false
-noout
-heap 12000m
-predicateAnalysis-sbe		 -alias bdd
-enable-recursion
-noprofile
-cref
-sv-comp
-lattice
-include-lattice symb		 --error-label ERROR --ufo-post=CPRED
test/programs/benchmarks/ status cputime walltime refinements status cputime walltime refinements status cputime walltime refinements status cputime walltime refinements status cputime walltime status cputime walltime status cputime walltime
pthread/fib_bench_BUG.cil.c unknown - - - unknown - - - unknown - - - safe - - - safe - - unsafe 0.01 0.02 unsafe 0.00 0.01
pthread/fib_bench_longer_BUG.cil.c unknown - - - unknown - - - unknown - - - safe - - - safe - - unsafe 0.01 0.02 unsafe 0.00 0.01
pthread/queue_BUG.cil.c unknown - - - unknown - - - unknown - - - unknown - - - safe - - safe - - safe - -
pthread/reorder_5_BUG.cil.c unknown - - - unknown - - - unknown - - - safe - - - safe - - error (1) - - error (1) - -
pthread/twostage_3_BUG.cil.c unknown - - - unknown - - - unknown - - - safe - - - safe - - error (1) - - error (1) - -
pthread/fib_bench.cil.c unknown - - - unknown - - - unknown - - - safe 0.02 0.04 0 safe 0.02 0.04 unsafe - - unsafe - -
pthread/fib_bench_longer.cil.c unknown - - - unknown - - - unknown - - - safe 0.02 0.04 0 safe 0.02 0.03 unsafe - - unsafe - -
pthread/queue_ok.cil.c unknown - - - unknown - - - unknown - - - unknown - - - safe 0.12 0.14 safe 0.01 0.01 safe 0.00 0.01
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c timeout - - - unsafe 15.59 12.66 228 timeout - - - unsafe 29.14 241.45 49 unsafe 3.03 3.05 unsafe 0.05 0.06 unsafe 0.09 0.10
ntdrivers-simplified/floppy_simpl3_BUG.cil.c unsafe 362.69 350.20 5938 unsafe 9.32 7.44 88 timeout - - - unsafe 5.16 30.54 26 unsafe 1.55 1.57 unsafe 0.04 0.05 unsafe 0.05 0.06
ntdrivers-simplified/floppy_simpl4_BUG.cil.c timeout - - - unsafe 11.12 8.81 102 timeout - - - unsafe 7.54 45.35 38 unsafe 1.61 1.63 unsafe 0.05 0.06 unsafe 0.07 0.08
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c unsafe 58.33 54.80 1905 unsafe 7.05 5.22 64 unsafe 201.94 195.80 10328 unsafe 1.06 4.71 8 unsafe 0.60 0.62 unsafe 0.02 0.03 unsafe 0.02 0.03
ntdrivers-simplified/cdaudio_simpl1.cil.c timeout - - - safe 23.30 20.72 244 timeout - - - unknown - - - safe 10.83 10.90 safe 0.05 0.06 safe 0.05 0.06
ntdrivers-simplified/diskperf_simpl1.cil.c timeout - - - safe 19.89 17.09 144 timeout - - - safe 18.57 164.25 40 safe 7.66 7.70 safe 0.03 0.04 safe 0.03 0.04
ntdrivers-simplified/floppy_simpl3.cil.c timeout - - - safe 14.57 12.31 94 timeout - - - safe 23.89 178.79 47 safe 6.23 6.26 safe 0.03 0.04 safe 0.03 0.03
ntdrivers-simplified/floppy_simpl4.cil.c timeout - - - safe 17.33 14.61 113 timeout - - - safe 42.01 345.10 57 safe 7.46 7.50 safe 0.04 0.05 safe 0.04 0.05
ntdrivers-simplified/kbfiltr_simpl1.cil.c safe 15.19 13.18 636 safe 3.90 2.49 33 safe 129.75 125.28 6203 safe 0.39 2.27 2 safe 1.52 1.54 safe 0.01 0.02 safe 0.01 0.01
ntdrivers-simplified/kbfiltr_simpl2.cil.c safe 41.21 38.28 1439 safe 4.61 2.66 49 safe 480.79 467.31 20839 safe 0.48 2.36 2 safe 2.06 2.08 safe 0.01 0.02 safe 0.01 0.02
ntdrivers/cdaudio.BUG.i.cil.c unsafe 16.41 14.30 40 unsafe 10.01 7.84 24 unsafe 7.62 5.44 11 unsafe 6.16 33.93 15 unsafe 0.92 0.95 unsafe 0.09 0.09 unsafe 0.15 0.16
ntdrivers/diskperf.BUG.i.cil.c unsafe 5.36 4.13 10 unsafe 3.93 2.68 6 unsafe 3.94 2.72 6 unsafe 8.08 9.17 7 unsafe 0.85 0.86 error (255) - - error (255) - -
ntdrivers/floppy.BUG.i.cil.c unsafe 6.56 4.38 16 unsafe 4.70 3.13 8 unsafe 6.22 4.47 16 unsafe 4.55 6.22 8 unsafe 0.90 0.90 error (134) - - error (134) - -
ntdrivers/kbfiltr.BUG.i.cil.c unsafe 212.18 209.65 875 unsafe 14.79 12.52 40 unsafe 74.98 72.10 317 unsafe 12.67 89.61 15 timeout - - unsafe 0.07 0.08 unsafe 0.12 0.12
ntdrivers/parport.BUG.i.cil.c unsafe 17.36 15.16 30 unsafe 6.20 4.32 7 unsafe 18.06 15.40 36 unsafe 3.73 9.31 12 unsafe 0.46 0.48 error (139) - - error (139) - -
ntdrivers/cdaudio.i.cil.c timeout - - - safe 105.06 99.78 309 timeout - - - safe 60.87 509.08 58 safe 15.10 15.16 unsafe - - unsafe - -
ntdrivers/diskperf.i.cil.c timeout - - - safe 94.38 90.83 207 timeout - - - safe 73.28 182.61 35 safe 10.24 10.30 error (255) - - error (255) - -
ntdrivers/floppy.i.cil.c timeout - - - safe 143.08 139.19 278 timeout - - - unknown - - - safe 311.41 312.45 unsafe - - unsafe - -
ntdrivers/parport.i.cil.c timeout - - - segmentation fault - - - timeout - - - unknown - - - timeout - - error (139) - - error (139) - -
ssh-simplified/s3_clnt_1_BUG.cil.c timeout - - - unsafe 52.24 49.86 14 timeout - - - unsafe 2.61 22.24 4 timeout - - unsafe 0.22 0.27 unsafe 0.36 0.37
ssh-simplified/s3_clnt_2_BUG.cil.c timeout - - - unsafe 105.24 102.59 10 out of native memory - - - unsafe 2.63 22.25 4 timeout - - unsafe 0.20 0.22 unsafe 0.35 0.36
ssh-simplified/s3_clnt_3_BUG.cil.c unsafe 11.82 9.59 382 unsafe 66.06 63.47 14 timeout - - - unsafe 2.61 22.20 4 timeout - - unsafe 0.19 0.21 unsafe 0.35 0.35
ssh-simplified/s3_clnt_4_BUG.cil.c timeout - - - unsafe 80.79 78.09 12 unsafe 829.76 818.65 567 unsafe 2.66 22.33 4 timeout - - unsafe 0.21 0.23 unsafe 0.36 0.37
ssh-simplified/s3_srvr_10_BUG.cil.c unsafe 2.36 1.45 36 unsafe 2.25 1.30 4 unsafe 55.69 52.12 689 unsafe 0.04 0.08 0 timeout - - unsafe 0.13 0.14 unsafe 0.22 0.23
ssh-simplified/s3_srvr_11_BUG.cil.c timeout - - - unsafe 117.96 114.98 7 timeout - - - unknown - - - timeout - - unsafe 0.94 0.96 unsafe 1.44 1.45
ssh-simplified/s3_srvr_12_BUG.cil.c timeout - - - unsafe 31.64 29.44 19 timeout - - - unknown - - - timeout - - unsafe 2.20 2.23 unsafe 2.82 2.83
ssh-simplified/s3_srvr_13_BUG.cil.c timeout - - - unsafe 6.05 4.64 13 timeout - - - unknown - - - timeout - - unsafe 0.46 0.47 unsafe 0.53 0.54
ssh-simplified/s3_srvr_14_BUG.cil.c timeout - - - unsafe 6.11 4.35 9 unsafe 22.49 19.21 342 unknown - - - timeout - - unsafe 0.06 0.07 unsafe 0.08 0.09
ssh-simplified/s3_srvr_1_BUG.cil.c timeout - - - out of native memory - - - unsafe 62.14 58.14 247 unsafe 0.89 4.06 1 timeout - - unsafe 0.09 0.10 unsafe 0.14 0.15
ssh-simplified/s3_srvr_2_BUG.cil.c timeout - - - out of native memory - - - unsafe 23.37 20.21 175 unsafe 0.86 4.14 1 timeout - - unsafe 0.08 0.09 unsafe 0.14 0.15
ssh-simplified/s3_srvr_6_BUG.cil.c timeout - - - out of native memory - - - timeout - - - unsafe 0.04 0.06 0 unsafe 1.14 1.17 unsafe 0.04 0.05 unsafe 0.06 0.06
ssh-simplified/s3_clnt_1.cil.c timeout - - - out of native memory - - - timeout - - - safe 14.31 139.20 7 timeout - - safe 5.65 5.68 safe 7.97 8.01
ssh-simplified/s3_clnt_2.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - safe 7.83 7.87 safe 10.19 10.23
ssh-simplified/s3_clnt_3.cil.c timeout - - - out of native memory - - - timeout - - - safe 34.27 348.39 7 timeout - - safe 6.51 6.54 safe 8.84 8.88
ssh-simplified/s3_clnt_4.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - safe 6.54 6.57 safe 8.77 8.80
ssh-simplified/s3_srvr_1.cil.c timeout - - - safe 155.73 153.36 10 timeout - - - unknown - - - timeout - - safe 0.01 0.01 safe 0.00 0.01
ssh-simplified/s3_srvr_1a.cil.c timeout - - - safe 7.42 5.76 9 safe 8.09 5.65 152 safe 0.20 1.08 3 safe 2.54 2.58 safe 2.64 2.66 safe 2.65 2.66
ssh-simplified/s3_srvr_1b.cil.c safe 14.17 11.83 1792 safe 2.11 1.37 7 safe 3.05 1.77 65 safe 0.17 1.12 2 safe 0.29 0.32 safe 0.73 0.76 safe 1.05 1.06
ssh-simplified/s3_srvr_2.cil.c timeout - - - out of native memory - - - timeout - - - safe 42.36 412.10 8 timeout - - safe 79.11 79.38 safe 88.18 88.48
ssh-simplified/s3_srvr_3.cil.c timeout - - - out of native memory - - - timeout - - - safe 43.82 430.14 9 timeout - - safe 62.23 62.46 safe 70.19 70.43
ssh-simplified/s3_srvr_4.cil.c timeout - - - safe 116.51 114.14 9 timeout - - - safe 43.53 437.28 9 timeout - - safe 225.55 226.30 safe 239.96 240.75
ssh-simplified/s3_srvr_6.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - safe 216.84 217.57 safe 239.81 240.60
ssh-simplified/s3_srvr_7.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - error (137) - - error (137) - -
ssh-simplified/s3_srvr_8.cil.c timeout - - - out of native memory - - - timeout - - - safe 19.74 219.04 7 timeout - - safe 47.63 47.81 safe 55.82 56.01
ssh/s3_clnt.blast.01.BUG.i.cil.c timeout - - - unsafe 133.15 130.58 11 unsafe 23.25 20.26 105 unsafe 54.54 555.24 12 timeout - - unsafe 0.29 0.31 unsafe 0.45 0.46
ssh/s3_clnt.blast.02.BUG.i.cil.c timeout - - - unsafe 11.43 9.52 3 unsafe 31.68 29.08 257 unsafe 48.60 516.29 11 timeout - - unsafe 0.24 0.24 unsafe 0.39 0.40
ssh/s3_clnt.blast.03.BUG.i.cil.c timeout - - - unsafe 11.14 9.56 3 timeout - - - unsafe 30.89 302.51 8 timeout - - unsafe 0.24 0.25 unsafe 0.40 0.41
ssh/s3_clnt.blast.04.BUG.i.cil.c timeout - - - unsafe 10.30 8.49 3 unsafe 12.92 10.64 72 unsafe 52.27 558.81 11 timeout - - unsafe 0.24 0.25 unsafe 0.39 0.40
ssh/s3_srvr.blast.01.BUG.i.cil.c unsafe 70.37 66.14 777 unsafe 14.74 12.85 4 unsafe 30.40 27.19 223 unsafe 10.88 88.10 7 timeout - - unsafe 0.06 0.06 unsafe 0.07 0.08
ssh/s3_srvr.blast.02.BUG.i.cil.c unsafe 67.56 64.11 694 unsafe 45.04 43.10 3 unsafe 16.58 13.22 115 unsafe 1.37 6.98 2 timeout - - unsafe 0.12 0.13 unsafe 0.20 0.21
ssh/s3_srvr.blast.03.BUG.i.cil.c timeout - - - unsafe 145.24 142.34 4 unsafe 18.40 15.55 138 unsafe 1.43 6.95 2 timeout - - unsafe 0.13 0.14 unsafe 0.21 0.22
ssh/s3_srvr.blast.04.BUG.i.cil.c unsafe 146.18 139.69 1219 unsafe 45.88 43.94 3 unsafe 16.60 13.22 115 unsafe 1.42 7.12 2 timeout - - unsafe 0.04 0.05 unsafe 0.07 0.07
ssh/s3_srvr.blast.06.BUG.i.cil.c timeout - - - out of native memory - - - timeout - - - unsafe 74.56 606.22 26 timeout - - unsafe 0.05 0.06 unsafe 0.07 0.08
ssh/s3_srvr.blast.07.BUG.i.cil.c timeout - - - segmentation fault - - - timeout - - - unknown - - - timeout - - unsafe 0.41 0.42 unsafe 0.64 0.65
ssh/s3_srvr.blast.08.BUG.i.cil.c timeout - - - unsafe 140.51 137.96 4 out of native memory - - - unknown - - - timeout - - unsafe 0.04 0.05 unsafe 0.06 0.07
ssh/s3_srvr.blast.09.BUG.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 0.44 0.46 unsafe 0.67 0.68
ssh/s3_srvr.blast.10.BUG.i.cil.c timeout - - - unsafe 115.15 112.92 3 timeout - - - unknown - - - timeout - - unsafe 0.03 0.04 unsafe 0.06 0.07
ssh/s3_srvr.blast.11.BUG.i.cil.c timeout - - - unsafe 14.54 12.57 4 timeout - - - unsafe 50.28 454.31 14 timeout - - unsafe 0.41 0.42 unsafe 0.64 0.65
ssh/s3_srvr.blast.12.BUG.i.cil.c out of native memory - - - out of native memory - - - timeout - - - unsafe 110.04 838.74 30 timeout - - unsafe 0.04 0.05 unsafe 0.06 0.07
ssh/s3_srvr.blast.13.BUG.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 0.45 0.47 unsafe 0.68 0.69
ssh/s3_srvr.blast.14.BUG.i.cil.c timeout - - - out of native memory - - - timeout - - - unsafe 124.12 890.17 32 timeout - - unsafe 0.04 0.05 unsafe 0.06 0.07
ssh/s3_srvr.blast.15.BUG.i.cil.c timeout - - - unsafe 118.22 115.98 3 out of native memory - - - unknown - - - timeout - - unsafe 0.05 0.06 unsafe 0.06 0.07
ssh/s3_srvr.blast.16.BUG.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 0.04 0.05 unsafe 0.07 0.07
ssh/s3_clnt.blast.01.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_clnt.blast.02.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_clnt.blast.03.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_clnt.blast.04.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.01.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.02.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.06.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.07.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.08.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.09.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.10.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.11.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.12.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.13.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.14.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.15.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
ssh/s3_srvr.blast.16.i.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
locks/test_locks_14.BUG.c unsafe 2.47 1.65 43 unsafe 2.17 1.49 30 unsafe 5.05 3.78 43 unsafe 0.05 0.08 0 unsafe 0.02 0.05 unsafe 0.02 0.03 unsafe 0.03 0.04
locks/test_locks_15.BUG.c unsafe 3.14 2.41 73 unsafe 3.25 2.24 47 unsafe 8.99 7.05 73 unsafe 0.05 0.09 0 unsafe 0.02 0.05 unsafe 0.02 0.03 unsafe 0.03 0.04
locks/test_locks_10.c out of native memory - - - out of native memory - - - safe 622.85 603.14 20785 unknown - - - timeout - - safe 0.01 0.01 safe 0.00 0.01
locks/test_locks_11.c out of native memory - - - out of native memory - - - timeout - - - unknown - - - timeout - - safe 0.01 0.01 safe 0.00 0.01
locks/test_locks_12.c out of native memory - - - out of native memory - - - timeout - - - unknown - - - timeout - - safe 0.01 0.01 safe 0.00 0.01
locks/test_locks_13.c out of native memory - - - out of native memory - - - timeout - - - unknown - - - timeout - - safe 0.01 0.01 safe 0.00 0.01
locks/test_locks_14.c out of native memory - - - out of native memory - - - timeout - - - unknown - - - timeout - - safe 0.01 0.01 safe 0.00 0.01
locks/test_locks_15.c out of native memory - - - out of native memory - - - timeout - - - unknown - - - timeout - - safe 0.01 0.02 safe 0.00 0.01
locks/test_locks_5.c safe 4.50 3.01 224 safe 4.91 3.51 31 safe 5.25 3.31 284 safe 3.20 22.15 54 safe 1.80 1.82 safe 0.01 0.03 safe 0.00 0.01
locks/test_locks_6.c safe 10.56 9.28 544 safe 13.40 11.67 63 safe 8.56 6.26 643 safe 6.89 42.90 100 safe 11.80 11.86 safe 0.00 0.02 safe 0.00 0.01
locks/test_locks_7.c safe 38.75 37.20 1280 safe 48.62 46.58 127 safe 17.18 14.64 1536 safe 21.93 138.41 168 safe 175.51 176.19 safe 0.00 0.02 safe 0.00 0.01
locks/test_locks_8.c safe 177.97 174.53 2944 safe 201.09 198.18 255 safe 45.46 41.89 3712 safe 46.83 272.43 192 timeout - - safe 0.01 0.01 safe 0.00 0.01
locks/test_locks_9.c out of native memory - - - out of native memory - - - safe 154.19 147.71 8868 safe 145.88 603.45 277 timeout - - safe 0.01 0.02 safe 0.01 0.01
heap-manipulation/bubble_sort_linux_BUG.cil.c unsafe 1.81 1.12 2 unsafe 1.80 1.11 2 unsafe 1.91 1.18 2 unknown - - - failure - - error (134) - - error (134) - -
heap-manipulation/dll_of_dll_BUG.cil.c unsafe 1.40 0.88 1 unsafe 1.39 0.89 1 unknown - - - unsafe 0.04 0.08 0 unsafe 0.03 0.06 unsafe 0.07 0.09 unsafe 0.09 0.10
heap-manipulation/merge_sort_BUG.cil.c unsafe 1.69 0.98 4 unsafe 1.80 1.05 4 unsafe 1.59 1.00 4 unsafe 0.88 3.60 7 failure - - unsafe 0.04 0.06 unsafe 0.05 0.05
heap-manipulation/sll_to_dll_rev_BUG.cil.c timeout - - - timeout - - - unknown - - - unsafe 0.68 2.51 1 failure - - unsafe 0.05 0.07 unsafe 0.06 0.07
heap-manipulation/bubble_sort_linux.cil.c unsafe - - - unsafe - - - unsafe - - - unknown - - - failure - - error (134) - - error (134) - -
heap-manipulation/dll_of_dll.cil.c unsafe - - - unsafe - - - unknown - - - unsafe - - - unsafe - - unsafe - - unsafe - -
heap-manipulation/merge_sort.cil.c safe 1.54 0.97 4 safe 1.41 0.90 1 safe 1.61 1.03 4 unsafe - - - failure - - unsafe - - unsafe - -
heap-manipulation/sll_to_dll_rev.cil.c timeout - - - timeout - - - unknown - - - unsafe - - - failure - - unsafe - - unsafe - -
list-properties/alternating_list.cil.c unsafe - - - safe 1.46 0.92 2 unknown - - - unsafe - - - unsafe - - safe 0.01 0.02 safe 0.00 0.01
list-properties/list.cil.c unsafe - - - safe 1.55 1.00 1 unsafe - - - unsafe - - - unsafe - - safe 0.01 0.01 safe 0.00 0.01
list-properties/list_flag.cil.c unsafe - - - safe 1.48 0.92 1 unsafe - - - unsafe - - - unsafe - - safe 0.01 0.01 safe 0.00 0.01
list-properties/simple.cil.c unsafe - - - safe 1.70 0.99 1 unsafe - - - unsafe - - - failure - - safe 0.01 0.02 safe 0.00 0.01
list-properties/simple_built_from_end.cil.c unsafe - - - safe 1.43 0.91 2 unsafe - - - unsafe - - - failure - - safe 0.01 0.01 safe 0.00 0.01
list-properties/splice.cil.c unsafe - - - exception - - - unknown - - - unsafe - - - failure - - safe 0.01 0.01 safe 0.00 0.01
systemc/kundu1_BUG.cil.c timeout - - - unsafe 12.26 10.53 23 unsafe 143.41 138.10 286 unsafe 40.02 439.25 20 unsafe 27.82 27.92 unsafe 204.97 205.65 unsafe 8.10 8.14
systemc/kundu2_BUG.cil.c timeout - - - unsafe 38.18 35.29 238 unsafe 153.75 147.88 487 unknown - - - unsafe 34.48 34.62 unsafe 0.75 0.76 unsafe 1.21 1.22
systemc/pc_sfifo_1_BUG.cil.c unsafe 4.12 2.61 62 unsafe 3.69 2.44 10 unsafe 27.56 24.59 226 unsafe 0.04 0.06 0 unsafe 0.03 0.05 unsafe 0.08 0.08 unsafe 0.10 0.11
systemc/pc_sfifo_2_BUG.cil.c unsafe 16.42 13.81 689 unsafe 6.79 4.66 77 unsafe 4.78 3.16 45 unsafe 0.05 0.09 0 unsafe 0.04 0.05 unsafe 0.09 0.10 unsafe 0.10 0.11
systemc/pipeline_BUG.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe 192.04 192.69 unsafe 24.78 24.87
systemc/token_ring.01.BUG.cil.c unsafe 392.56 380.90 8792 unsafe 41.17 38.54 164 unsafe 9.15 6.44 77 unsafe 0.53 3.04 2 unsafe 1.98 2.01 unsafe 0.33 0.34 unsafe 0.72 0.73
systemc/token_ring.02.BUG.cil.c timeout - - - unsafe 71.57 67.67 90 unsafe 99.96 95.09 352 unsafe 10.87 78.12 20 unsafe 14.67 14.74 unsafe 0.97 0.99 unsafe 0.91 0.92
systemc/token_ring.03.BUG.cil.c timeout - - - unsafe 349.94 339.52 188 timeout - - - unsafe 56.60 508.44 31 unsafe 152.15 152.67 unsafe 1.63 1.64 unsafe 2.02 2.04
systemc/token_ring.04.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 1.38 1.40 unsafe 2.89 2.90
systemc/token_ring.05.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 3.01 3.03 unsafe 2.44 2.46
systemc/token_ring.06.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 2.87 2.89 unsafe 4.81 4.84
systemc/token_ring.07.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 5.17 5.20 unsafe 2.00 2.01
systemc/token_ring.08.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 4.40 4.42 unsafe 5.15 5.17
systemc/token_ring.09.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 7.68 7.73 unsafe 9.87 9.91
systemc/token_ring.10.BUG.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe 7.32 7.37 unsafe 12.84 12.89
systemc/token_ring.11.BUG.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe 11.59 11.65 unsafe 14.71 14.76
systemc/token_ring.12.BUG.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe 6.50 6.53 unsafe 15.44 15.49
systemc/token_ring.13.BUG.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe 23.09 23.18 unsafe 11.45 11.50
systemc/token_ring.14.BUG.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe 10.63 10.68 unsafe 14.93 14.99
systemc/token_ring.15.BUG.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe 10.88 10.94 unsafe 8.90 8.94
systemc/toy1_BUG.cil.c timeout - - - out of native memory - - - timeout - - - unsafe 33.64 304.29 21 unsafe 430.21 431.62 unsafe 68.63 68.86 unsafe 23.35 23.43
systemc/toy2_BUG.cil.c timeout - - - out of native memory - - - timeout - - - unsafe 32.22 297.25 21 unsafe 427.46 428.87 unsafe 80.47 80.75 unsafe 13.32 13.37
systemc/transmitter.01.BUG.cil.c unsafe 100.13 96.77 2639 unsafe 10.60 8.18 44 unsafe 7.23 4.99 93 unsafe 0.26 1.25 2 unsafe 1.99 2.05 unsafe 0.10 0.11 unsafe 0.15 0.15
systemc/transmitter.02.BUG.cil.c timeout - - - unsafe 136.56 131.94 271 unsafe 25.55 22.20 223 unsafe 2.46 14.15 7 unsafe 15.99 16.06 unsafe 0.10 0.10 unsafe 0.12 0.13
systemc/transmitter.03.BUG.cil.c timeout - - - unsafe 229.63 222.31 116 unsafe 109.50 103.71 319 unsafe 25.06 200.36 36 unsafe 101.64 102.00 unsafe 0.15 0.16 unsafe 0.19 0.20
systemc/transmitter.04.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 0.25 0.26 unsafe 0.25 0.26
systemc/transmitter.05.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 0.24 0.24 unsafe 0.34 0.35
systemc/transmitter.06.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 0.40 0.41 unsafe 0.50 0.51
systemc/transmitter.07.BUG.cil.c timeout - - - segmentation fault - - - timeout - - - unknown - - - timeout - - unsafe 0.47 0.48 unsafe 0.67 0.68
systemc/transmitter.08.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 0.49 0.50 unsafe 0.84 0.85
systemc/transmitter.09.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 0.75 0.77 unsafe 0.72 0.73
systemc/transmitter.10.BUG.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - unsafe 1.28 1.29 unsafe 0.95 0.96
systemc/transmitter.11.BUG.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe 1.37 1.38 unsafe 1.14 1.15
systemc/transmitter.12.BUG.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe 1.19 1.20 unsafe 1.53 1.54
systemc/transmitter.13.BUG.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe 1.82 1.84 unsafe 1.84 1.86
systemc/transmitter.15.BUG.cil.c timeout - - - timeout - - - timeout - - - unsafe 0.21 0.25 0 unsafe 0.23 0.26 unsafe 0.06 0.07 unsafe 0.09 0.10
systemc/transmitter.16.BUG.cil.c timeout - - - timeout - - - timeout - - - unsafe 0.23 0.25 0 unsafe 0.25 0.28 unsafe 0.06 0.08 unsafe 0.09 0.10
systemc/bist_cell.cil.c timeout - - - out of native memory - - - timeout - - - safe 0.46 2.44 1 timeout - - safe 0.01 0.02 safe 0.00 0.01
systemc/kundu.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - error (137) - - error (137) - -
systemc/mem_slave_tlm.1.cil.c timeout - - - safe 57.92 55.13 135 timeout - - - safe 13.19 121.31 12 safe 6.77 6.83 error (137) - - error (137) - -
systemc/mem_slave_tlm.2.cil.c timeout - - - safe 146.40 143.72 121 timeout - - - safe 53.64 554.51 22 safe 25.35 25.47 error (137) - - error (137) - -
systemc/mem_slave_tlm.3.cil.c timeout - - - safe 333.89 330.83 132 timeout - - - unknown - - - safe 63.89 64.14 error (137) - - error (137) - -
systemc/mem_slave_tlm.4.cil.c timeout - - - safe 658.76 653.74 139 timeout - - - unknown - - - safe 125.99 126.45 error (137) - - error (137) - -
systemc/mem_slave_tlm.5.cil.c timeout - - - timeout - - - timeout - - - unknown - - - safe 222.12 222.90 error (137) - - error (137) - -
systemc/pc_sfifo_1.cil.c safe 52.29 49.15 1054 safe 5.56 4.18 11 safe 252.58 241.96 2461 safe 3.06 21.24 9 safe 1.38 1.41 error (137) - - safe 141.43 141.90
systemc/pc_sfifo_2.cil.c safe 438.13 424.83 6028 safe 23.02 20.35 61 safe 626.93 611.48 2771 safe 2.70 18.68 10 safe 2.97 3.00 error (137) - - error (137) - -
systemc/pc_sfifo_3.cil.c timeout - - - safe 140.50 137.69 17 timeout - - - safe 0.50 1.76 1 safe 17.86 17.93 error (134) - - error (134) - -
systemc/pipeline.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - unsafe - - unsafe - -
systemc/token_ring.01.cil.c timeout - - - safe 16.73 14.86 10 safe 344.54 332.07 2606 safe 0.53 3.03 2 safe 2.06 2.08 safe 25.84 25.93 safe 20.93 21.01
systemc/token_ring.02.cil.c timeout - - - safe 121.26 117.70 94 timeout - - - safe 12.34 92.01 23 safe 16.25 16.33 error (137) - - error (137) - -
systemc/token_ring.03.cil.c timeout - - - out of native memory - - - timeout - - - safe 62.38 572.82 34 safe 187.13 187.77 error (137) - - error (137) - -
systemc/token_ring.04.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - error (137) - - error (137) - -
systemc/token_ring.05.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - error (137) - - error (137) - -
systemc/token_ring.06.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - error (137) - - error (137) - -
systemc/token_ring.07.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - error (137) - - error (137) - -
systemc/token_ring.08.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - error (137) - - error (137) - -
systemc/token_ring.09.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - error (137) - - error (137) - -
systemc/token_ring.10.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - timeout - - error (137) - - error (139) - -
systemc/token_ring.11.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - error (137) - - error (139) - -
systemc/token_ring.12.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - error (139) - - error (137) - -
systemc/token_ring.13.cil.c timeout - - - timeout - - - timeout - - - unknown - - - timeout - - error (137) - - error (137) - -
systemc/toy.cil.c timeout - - - out of native memory - - - timeout - - - safe 118.05 783.29 25 timeout - - error (137) - - error (137) - -
ldv-regression/1_3.c-unsafe.cil.c unsafe 1.24 0.79 1 unsafe 1.25 0.80 1 unsafe 1.41 0.83 1 unsafe 0.05 0.09 0 unsafe 0.02 0.11 error (139) - - error (139) - -
ldv-regression/alt_test.c-unsafe.cil.c unsafe 1.27 0.81 1 unsafe 1.44 0.83 1 unsafe 1.45 0.85 1 unsafe 0.17 0.99 2 unsafe 0.07 0.14 unsafe 0.00 0.02 unsafe 0.00 0.01
ldv-regression/callfpointer.c-unsafe.cil.c safe - - - safe - - - unsafe 1.40 0.82 1 unsafe 0.03 0.08 0 unsafe 0.01 0.04 error (139) - - error (139) - -
ldv-regression/fo_test.c-unsafe.cil.c unsafe 1.27 0.82 2 unsafe 1.51 0.88 2 unsafe 1.48 0.88 2 unsafe 0.04 0.09 0 unsafe 0.02 0.05 unsafe 0.01 0.03 unsafe 0.00 0.01
ldv-regression/mutex_lock_int.c-unsafe.cil.c unsafe 1.38 0.81 1 unsafe 1.39 0.81 1 unsafe 1.40 0.82 1 unsafe 0.04 0.08 0 unsafe 0.02 0.04 error (139) - - error (139) - -
ldv-regression/mutex_lock_struct.c-unsafe.cil.c unsafe 1.40 0.81 1 unsafe 1.40 0.81 1 unsafe 1.41 0.82 1 unsafe 0.04 0.08 0 unsafe 0.01 0.03 error (139) - - error (139) - -
ldv-regression/recursive_list.c-unsafe.cil.c unsafe 1.26 0.81 1 unsafe 1.26 0.81 1 unsafe 1.43 0.85 1 unsafe 0.08 0.11 0 unsafe 0.02 0.05 error (139) - - error (139) - -
ldv-regression/rule57_ebda_blast.c-unsafe.cil.c unsafe 1.30 0.83 3 unsafe 1.44 0.86 2 unsafe 1.31 0.86 3 unsafe 0.04 0.09 0 unsafe 0.04 0.06 unsafe 0.01 0.02 unsafe 0.01 0.01
ldv-regression/rule60_list2.c-unsafe_1.cil.c unsafe 1.68 0.99 4 unsafe 1.79 1.07 4 unsafe 1.69 1.09 4 unsafe 0.48 3.43 2 unsafe 1.12 1.15 unsafe 0.01 0.02 unsafe 0.01 0.02
ldv-regression/stateful_check-unsafe.cil.c unsafe 6.44 4.36 291 unsafe 4.64 3.34 8 unsafe 5.18 3.33 96 safe - - - unsafe 1.38 1.42 unsafe 2.31 2.34 unsafe 0.91 0.92
ldv-regression/test_while_int.c-unsafe.cil.c unsafe 1.41 0.83 3 unsafe 1.51 0.89 3 unsafe 1.29 0.84 3 unsafe 0.10 0.58 1 unsafe 0.08 0.10 unsafe 0.02 0.03 unsafe 0.01 0.02
ldv-regression/test_while_int.c-unsafe_1.cil.c unsafe 1.24 0.80 3 unsafe 1.30 0.82 3 unsafe 1.27 0.81 3 unsafe 0.08 0.44 1 unsafe 0.06 0.08 unsafe 0.02 0.03 unsafe 0.01 0.02
ldv-regression/alias_of_return.c-safe.cil.c safe 1.39 0.81 1 safe 1.24 0.78 1 safe 1.25 0.79 1 safe 0.03 0.06 0 safe 0.01 0.03 safe 0.01 0.02 safe 0.00 0.01
ldv-regression/alias_of_return.c-safe_1.cil.c safe 1.23 0.78 1 safe 1.23 0.78 1 safe 1.25 0.79 1 safe 0.03 0.06 0 safe 0.01 0.03 safe 0.00 0.01 safe 0.01 0.01
ldv-regression/alias_of_return_2.c-safe.cil.c safe 1.39 0.81 2 safe 1.25 0.79 1 safe 1.42 0.85 2 safe 0.03 0.06 0 safe 0.01 0.05 safe 0.01 0.01 safe 0.01 0.01
ldv-regression/alias_of_return_2.c-safe_1.cil.c safe 1.38 0.79 1 safe 1.23 0.78 1 safe 1.24 0.78 1 safe 0.03 0.06 0 safe 0.01 0.04 safe 0.00 0.02 safe 0.01 0.01
ldv-regression/ex3_forlist.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unknown - - - safe 57.93 58.16 unsafe - - unsafe - -
ldv-regression/just_assert.c-safe.cil.c safe 1.37 0.79 0 safe 1.21 0.76 0 safe 1.22 0.77 0 safe 0.03 0.06 0 safe 0.01 0.03 safe 0.01 0.01 safe 0.00 0.01
ldv-regression/mutex_lock_int.c-safe_1.cil.c unsafe - - - unsafe - - - unsafe - - - safe 0.02 0.07 0 safe 0.02 0.04 safe 0.01 0.01 safe 0.00 0.01
ldv-regression/mutex_lock_struct.c-safe_1.cil.c unsafe - - - unsafe - - - unsafe - - - safe 0.03 0.06 0 safe 0.01 0.04 safe 0.00 0.01 safe 0.00 0.01
ldv-regression/nested_structure-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - safe 0.02 0.04 safe 0.01 0.01 safe 0.00 0.01
ldv-regression/nested_structure.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - safe 0.03 0.07 0 safe 0.01 0.05 safe 0.00 0.01 safe 0.00 0.01
ldv-regression/nested_structure_noptr-safe.cil.c safe 1.39 0.80 1 safe 1.23 0.78 1 safe 1.40 0.82 1 safe 0.02 0.06 0 safe 0.01 0.04 safe 0.01 0.01 safe 0.01 0.01
ldv-regression/nested_structure_noptr.c-safe.cil.c safe 1.39 0.81 1 safe 1.24 0.78 1 safe 1.25 0.80 1 safe 0.03 0.06 0 safe 0.02 0.04 safe 0.01 0.01 safe 0.01 0.01
ldv-regression/nested_structure_ptr-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - failure - - unsafe - - unsafe - -
ldv-regression/nested_structure_ptr.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - safe 0.03 0.06 0 safe 0.01 0.03 safe 0.01 0.01 safe 0.00 0.01
ldv-regression/oomInt.c-safe.cil.c safe 1.40 0.81 2 safe 1.24 0.79 1 safe 1.42 0.84 2 safe 0.03 0.06 0 safe 0.02 0.03 safe 0.01 0.02 safe 0.01 0.01
ldv-regression/oomInt.c-safe_1.cil.c safe 1.24 0.77 2 safe 1.25 0.79 2 safe 1.26 0.81 3 safe 0.03 0.06 0 safe 0.02 0.04 safe 0.00 0.01 safe 0.01 0.01
ldv-regression/rule57_ebda_blast.c-safe_1.cil.c unsafe - - - unsafe - - - unsafe - - - safe 0.16 1.01 1 safe 0.12 0.15 safe 0.01 0.02 safe 0.01 0.02
ldv-regression/rule60_list.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - safe 0.03 0.06 0 unsafe - - unsafe - - unsafe - -
ldv-regression/rule60_list2.c-safe.cil.c safe 2.24 1.51 24 safe 1.85 1.22 9 safe 2.88 1.96 25 safe 0.44 3.30 2 safe 0.88 0.89 unsafe - - unsafe - -
ldv-regression/sizeofparameters_test.c-safe.cil.c safe 1.23 0.77 1 safe 1.40 0.81 1 safe 1.25 0.79 1 safe 0.02 0.07 0 safe 0.01 0.04 safe 0.01 0.01 safe 0.00 0.01
ldv-regression/structure_assignment.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - safe 0.03 0.06 0 safe 0.02 0.04 safe 0.01 0.01 safe 0.00 0.01
ldv-regression/test_address.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - safe 0.01 0.03 unsafe - - unsafe - -
ldv-regression/test_cut_trace.c-safe.cil.c safe 1.23 0.78 2 safe 1.23 0.78 2 safe 1.24 0.79 2 safe 0.03 0.06 0 safe 0.01 0.04 safe 0.01 0.01 safe 0.01 0.01
ldv-regression/test_malloc-1-safe.cil.c safe 1.40 0.82 1 safe 1.26 0.79 1 unknown - - - unsafe - - - unsafe - - unsafe - - unsafe - -
ldv-regression/test_malloc-2-safe.cil.c safe 1.40 0.82 1 safe 1.24 0.80 1 safe 1.27 0.81 1 unsafe - - - safe 0.02 0.03 unsafe - - unsafe - -
ldv-regression/test_overflow.c-safe.cil.c safe 1.40 0.81 1 safe 1.39 0.82 1 safe 1.40 0.82 1 safe 0.03 0.06 0 safe 0.02 0.04 safe 0.01 0.02 safe 0.00 0.01
ldv-regression/test_union.c-safe.cil.c safe 1.39 0.81 1 safe 1.24 0.78 1 safe 1.39 0.81 1 safe 0.03 0.06 0 safe 0.01 0.03 safe 0.01 0.01 safe 0.00 0.01
ldv-regression/test_union.c-safe_1.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - failure - - safe 0.01 0.01 safe 0.00 0.01
ldv-regression/test_union_cast-1-safe.cil.c safe 1.24 0.78 1 safe 1.39 0.81 1 safe 1.24 0.79 1 safe 0.02 0.06 0 parsing error - - safe 0.01 0.01 safe 0.00 0.01
ldv-regression/test_union_cast-2-safe.cil.c safe 1.26 0.80 1 safe 1.25 0.79 1 safe 1.27 0.81 1 safe 0.03 0.06 0 parsing error - - safe 0.01 0.02 safe 0.00 0.01
ldv-regression/test_union_cast.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - safe 0.03 0.06 0 parsing error - - safe 0.00 0.01 safe 0.00 0.01
ldv-regression/test_union_cast.c-safe_1.cil.c safe 1.39 0.81 1 safe 1.40 0.82 1 safe 1.24 0.79 1 safe 0.03 0.06 0 parsing error - - safe 0.00 0.01 safe 0.01 0.01
ldv-regression/volatile_alias.c-safe.cil.c safe 1.39 0.81 1 safe 1.40 0.87 1 safe 1.40 0.82 1 safe 0.03 0.06 0 safe 0.01 0.03 unsafe - - unsafe - -
ldv-regression/volatile_alias.c-safe_1.cil.c safe 1.35 0.80 1 safe 1.22 0.78 1 safe 1.40 0.82 1 safe 0.03 0.06 0 safe 0.01 0.03 safe 0.01 0.02 safe 0.00 0.01
ddv-machzwd/ddv_machzwd_all_BUG.cil.c safe - - - safe - - - unsafe 420.13 403.74 1000 unsafe 1.59 4.36 5 safe - - safe - - safe - -
ddv-machzwd/ddv_machzwd_inw_BUG.cil.c safe - - - safe - - - unsafe 133.63 128.89 429 unsafe 1.54 4.33 5 safe - - safe - - safe - -
ddv-machzwd/ddv_machzwd_outb_BUG.cil.c safe - - - safe - - - unsafe 166.30 159.84 420 unsafe 1.62 4.40 5 safe - - safe - - safe - -
ddv-machzwd/ddv_machzwd_inb.cil.c safe 2.62 1.42 0 safe 2.63 1.42 0 safe 2.89 1.51 0 safe 0.61 0.63 0 safe 0.19 0.21 safe 0.01 0.02 safe 0.00 0.01
ddv-machzwd/ddv_machzwd_inb_p.cil.c safe 2.65 1.42 0 safe 2.60 1.42 0 safe 2.76 1.50 0 safe 0.60 0.64 0 safe 0.17 0.21 safe 0.01 0.02 safe 0.00 0.01
ddv-machzwd/ddv_machzwd_inl.cil.c safe 2.61 1.41 0 safe 2.60 1.41 0 safe 2.80 1.52 0 safe 0.60 0.64 0 safe 0.19 0.22 safe 0.01 0.02 safe 0.00 0.01
ddv-machzwd/ddv_machzwd_inl_p.cil.c safe 3.06 1.47 0 safe 2.64 1.42 0 safe 2.76 1.50 0 safe 0.60 0.63 0 safe 0.19 0.21 safe 0.01 0.02 safe 0.00 0.01
ddv-machzwd/ddv_machzwd_inw_p.cil.c safe 2.63 1.41 0 safe 2.66 1.42 0 safe 3.13 1.53 0 safe 0.60 0.63 0 safe 0.19 0.20 safe 0.01 0.02 safe 0.00 0.01
ddv-machzwd/ddv_machzwd_outb_p.cil.c safe 3.14 1.50 0 safe 2.63 1.42 0 safe 3.23 1.78 0 safe 0.61 0.63 0 safe 0.19 0.20 safe 0.01 0.03 safe 0.00 0.01
ddv-machzwd/ddv_machzwd_outl.cil.c safe 3.01 1.45 0 safe 3.02 1.45 0 safe 2.83 1.52 0 safe 0.60 0.64 0 safe 0.19 0.20 safe 0.01 0.01 safe 0.00 0.01
ddv-machzwd/ddv_machzwd_outl_p.cil.c safe 2.79 1.51 0 safe 2.67 1.42 0 safe 3.32 1.57 0 safe 0.61 0.63 0 safe 0.18 0.19 safe 0.01 0.02 safe 0.01 0.01
ddv-machzwd/ddv_machzwd_outw_p.cil.c safe 2.96 1.58 0 safe 2.63 1.42 0 safe 3.12 1.54 0 safe 0.62 0.64 0 safe 0.19 0.21 safe 0.01 0.03 safe 0.00 0.01
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c safe 2.61 1.41 0 safe 2.61 1.42 0 safe 2.78 1.51 0 safe 0.61 0.63 0 safe 0.19 0.20 safe 0.01 0.03 safe 0.00 0.01
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c unsafe 10.54 4.74 1 unsafe 11.17 4.52 1 unsafe 8.48 4.00 1 unsafe 8.02 8.39 1 unsafe 22.57 22.60 unsafe 0.08 0.09 unsafe 0.09 0.10
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c timeout - - - unsafe 174.91 169.92 10 unsafe 280.38 271.08 250 unsafe 4.24 10.61 13 unsafe 548.86 550.80 error (134) - - error (134) - -
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c timeout - - - unsafe 232.41 226.16 5 timeout - - - unknown - - - out of memory - - error (134) - - error (134) - -
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c unsafe 20.96 16.71 14 unsafe 14.83 7.47 4 unsafe 52.07 47.35 32 unsafe 12.45 17.67 2 timeout - - error (1) - - error (1) - -
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c unsafe 15.55 11.11 9 unsafe 10.12 6.06 3 unsafe 22.14 16.82 14 unsafe 10.99 19.37 3 unsafe 6.51 6.55 error (1) - - error (1) - -
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c timeout - - - unsafe 392.17 383.71 12 timeout - - - unsafe 18.44 82.72 3 timeout - - error (1) - - error (1) - -
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c timeout - - - segmentation fault - - - timeout - - - unsafe 27.20 48.56 16 timeout - - error (134) - - error (134) - -
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c timeout - - - timeout - - - timeout - - - unsafe 91.49 327.93 2 timeout - - error (1) - - error (1) - -
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c unsafe 114.66 109.35 20 unsafe 35.85 30.20 7 unsafe 95.01 89.11 17 unknown - - - timeout - - error (1) - - error (1) - -
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c timeout - - - unsafe 42.81 40.16 16 timeout - - - unsafe 13.09 19.07 6 unsafe 10.09 10.16 unsafe 0.07 0.08 unsafe 0.11 0.12
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c timeout - - - unsafe 216.95 211.59 18 timeout - - - unsafe 65.68 129.77 24 unsafe 36.83 37.00 unsafe 0.11 0.12 unsafe 0.13 0.14
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c unsafe 250.97 244.96 138 unsafe 137.93 131.70 64 unsafe 311.57 307.53 92 unsafe 3.44 8.31 2 unsafe 418.23 419.74 error (134) - - error (134) - -
ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko-unsafe.cil.out.i.pp.cil.c unsafe 67.81 65.55 55 unsafe 23.78 20.96 10 unsafe 101.17 97.89 55 unknown - - - timeout - - unsafe 0.13 0.15 unsafe 0.18 0.18
ldv-drivers/usb_urb-drivers-net-usb-catc.ko-unsafe.cil.out.i.pp.cil.c timeout - - - unsafe 304.57 300.64 40 unsafe 297.09 290.18 151 unsafe 49.02 263.43 16 timeout - - error (134) - - error (134) - -
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c timeout - - - unsafe 33.38 30.05 15 unsafe 271.11 266.89 303 unknown - - - unsafe 30.97 31.14 unsafe 0.11 0.11 unsafe 0.14 0.15
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c timeout - - - unsafe 140.61 137.38 38 unsafe 541.30 534.35 499 unknown - - - unsafe 21.61 21.72 error (139) - - error (139) - -
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c timeout - - - out of native memory - - - timeout - - - safe 6.08 6.13 0 timeout - - safe 0.05 0.07 safe 0.04 0.05
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 54.97 46.60 1 timeout - - - safe 10.76 10.84 0 timeout - - error (134) - - error (134) - -
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c timeout - - - out of native memory - - - timeout - - - safe 14.30 14.39 0 timeout - - safe 0.04 0.05 safe 0.03 0.03
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 5.54 3.00 1 timeout - - - safe 4.64 4.69 0 timeout - - safe 0.04 0.04 safe 0.02 0.03
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c unknown - - - unknown - - - unknown - - - safe 10.99 11.05 0 timeout - - error (1) - - error (1) - -
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 19.51 11.46 1 safe 594.53 485.40 71 safe 8.45 8.51 0 safe 23.88 24.22 safe 0.04 0.05 safe 0.03 0.04
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c timeout - - - unknown - - - timeout - - - safe 15.55 15.63 0 timeout - - safe 0.31 0.35 safe 0.30 0.31
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 7.87 4.75 1 timeout - - - safe 6.12 6.17 0 timeout - - safe 0.04 0.05 safe 0.02 0.03
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 46.86 34.96 1 timeout - - - safe 4.85 4.90 0 out of memory - - safe 0.04 0.05 safe 0.04 0.05
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c safe 544.30 542.70 292 safe 5.69 4.47 3 safe 260.13 258.09 88 safe 0.56 3.41 2 out of memory - - safe 0.04 0.04 safe 0.03 0.04
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c timeout - - - out of native memory - - - timeout - - - safe 10.74 10.82 0 timeout - - safe 0.05 0.07 safe 0.04 0.04
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c timeout - - - out of native memory - - - timeout - - - unknown - - - out of memory - - error (1) - - error (1) - -
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c timeout - - - timeout - - - timeout - - - safe 14.96 15.05 0 timeout - - safe 0.09 0.11 safe 0.09 0.10
ldv-drivers/module_get_put-drivers-video-aty-aty128fb.ko-safe.cil.out.i.pp.cil.c timeout - - - timeout - - - timeout - - - safe 20.66 20.77 0 timeout - - error (1) - - error (1) - -
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 24.00 21.70 15 timeout - - - safe 93.09 100.11 5 safe 5.69 5.79 unsafe - - unsafe - -
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c timeout - - - out of native memory - - - timeout - - - safe 12.10 12.18 0 timeout - - safe 0.07 0.09 safe 0.06 0.06
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 254.52 218.84 2 timeout - - - safe 12.30 12.37 0 timeout - - safe 0.12 0.15 safe 0.12 0.13
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 833.65 826.94 2 timeout - - - safe 7.01 7.07 0 timeout - - safe 0.04 0.05 safe 0.03 0.03
ldv-drivers/usb_urb-drivers-mtd-sm_ftl.ko-safe.cil.out.i.pp.cil.c unknown - - - unknown - - - unknown - - - safe 32.85 33.00 0 out of memory - - safe 0.08 0.10 safe 0.06 0.07
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 30.18 17.97 2 timeout - - - safe 38.14 38.31 0 out of memory - - safe 0.05 0.07 safe 0.04 0.05
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c unsafe - - - unsafe - - - timeout - - - unknown - - - safe 73.73 74.04 unsafe - - unsafe - -
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 92.29 87.37 9 timeout - - - safe 46.90 69.69 5 safe 55.01 55.22 error (134) - - error (134) - -
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c unsafe - - - unsafe - - - unsafe - - - unknown - - - timeout - - unsafe - - unsafe - -
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 21.32 13.58 2 timeout - - - safe 18.71 18.82 0 out of memory - - error (1) - - error (1) - -
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 16.69 11.64 2 timeout - - - safe 16.30 16.40 0 timeout - - safe 0.04 0.04 safe 0.03 0.04
total files 277 3397.09 3236.84 41059 277 8013.76 7626.14 5074 277 8388.37 7962.79 90505 277 2487.62 15283.04 1868 277 3774.39 3790.11 277 1353.69 1360.08 277 1100.98 1106.01
correct results 80 3397.09 3236.84 41059 146 8013.76 7626.14 5074 102 8388.37 7962.79 90505 163 2487.62 15283.04 1868 114 3774.39 3790.11 183 1353.69 1360.08 184 1100.98 1106.01
false negatives 4 0 0 0 4 0 0 0 0 0 0 0 5 0 0 0 8 0 0 4 0 0 4 0 0
false positives 23 0 0 0 17 0 0 0 19 0 0 0 15 0 0 0 6 0 0 36 0 0 36 0 0
score (277 files, max score: 435) 60 172 110 204 138 185 187