Tool CPAchecker 1.1-svn
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 (ABE-LF) Impact with FC (ABE-LF) Predicate Abstraction (ABE-LF) Impact (ABE-Loops) Impact with FC (ABE-Loops) Predicate Abstraction (ABE-Loops)
Options -setprop cpa.conditions.global.time.wall=-1
-setprop statistics.memory=false
-noout
-heap 12000m
-impact-refiner-lbe		 -setprop cpa.conditions.global.time.wall=-1
-setprop statistics.memory=false
-noout
-heap 12000m
-setprop cpa.forcedCovering=cpa.predicate.PredicateForcedCovering
-impact-refiner-lbe		 -setprop cpa.conditions.global.time.wall=-1
-setprop statistics.memory=false
-noout
-heap 12000m
-predicateAnalysis-lbe		 -setprop cpa.conditions.global.time.wall=-1
-setprop statistics.memory=false
-noout
-heap 12000m
-impact-refiner		 -setprop cpa.conditions.global.time.wall=-1
-setprop statistics.memory=false
-noout
-heap 12000m
-setprop cpa.forcedCovering=cpa.predicate.PredicateForcedCovering
-impact-refiner		 -setprop cpa.conditions.global.time.wall=-1
-setprop statistics.memory=false
-noout
-heap 12000m
-predicateAnalysis
test/programs/benchmarks/ status cputime walltime refinements status cputime walltime refinements status cputime walltime refinements status cputime walltime refinements status cputime walltime refinements status cputime walltime refinements
pthread/fib_bench_BUG.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
pthread/fib_bench_longer_BUG.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
pthread/queue_BUG.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
pthread/reorder_5_BUG.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
pthread/twostage_3_BUG.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
pthread/fib_bench.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
pthread/fib_bench_longer.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
pthread/queue_ok.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
ntdrivers-simplified/cdaudio_simpl1_BUG.cil.c unsafe 13.06 9.93 656 unsafe 6.57 4.25 198 unsafe 9.83 6.74 227 unsafe 4.02 2.61 2 unsafe 4.51 2.66 2 unsafe 4.38 2.74 2
ntdrivers-simplified/floppy_simpl3_BUG.cil.c unsafe 5.29 2.98 151 unsafe 3.33 2.19 71 unsafe 6.84 4.32 217 unsafe 2.97 1.64 5 unsafe 2.68 1.60 3 unsafe 2.67 1.63 3
ntdrivers-simplified/floppy_simpl4_BUG.cil.c unsafe 5.95 3.89 224 unsafe 3.91 2.55 95 unsafe 11.21 7.77 529 unsafe 3.11 1.87 5 unsafe 3.00 1.83 3 unsafe 3.15 1.91 3
ntdrivers-simplified/kbfiltr_simpl2_BUG.cil.c unsafe 2.54 1.48 55 unsafe 2.95 1.54 53 unsafe 4.08 2.09 57 unsafe 2.42 1.34 1 unsafe 2.27 1.32 1 unsafe 2.29 1.34 1
ntdrivers-simplified/cdaudio_simpl1.cil.c safe 9.16 6.26 442 safe 5.92 3.52 178 safe 18.87 14.19 704 safe 4.09 2.27 1 safe 4.08 2.29 1 safe 3.76 2.35 1
ntdrivers-simplified/diskperf_simpl1.cil.c safe 219.53 215.10 3132 safe 7.66 5.06 157 safe 19.96 15.02 596 safe 3.28 1.96 5 safe 2.90 1.91 2 safe 2.97 1.95 2
ntdrivers-simplified/floppy_simpl3.cil.c safe 6.19 4.23 249 safe 3.99 2.72 76 safe 8.87 6.02 308 safe 2.80 1.54 5 safe 2.49 1.48 2 safe 2.48 1.52 2
ntdrivers-simplified/floppy_simpl4.cil.c safe 7.69 5.13 309 safe 5.20 3.35 105 safe 12.90 9.34 699 safe 2.86 1.70 5 safe 2.81 1.65 2 safe 2.88 1.72 2
ntdrivers-simplified/kbfiltr_simpl1.cil.c safe 1.97 1.17 25 safe 1.96 1.15 21 safe 3.07 1.69 25 safe 1.92 1.04 0 safe 1.72 1.02 0 safe 1.92 1.05 0
ntdrivers-simplified/kbfiltr_simpl2.cil.c safe 2.40 1.39 46 safe 2.43 1.39 41 safe 5.29 2.46 80 safe 2.14 1.20 0 safe 2.45 1.23 0 safe 2.18 1.23 0
ntdrivers/cdaudio.BUG.i.cil.c unsafe 12.69 8.10 392 unsafe 8.87 4.35 150 unsafe 19.97 15.66 807 unsafe 7.99 4.50 24 unsafe 8.21 4.35 19 unsafe 7.26 4.08 7
ntdrivers/diskperf.BUG.i.cil.c unsafe 215.92 209.52 3302 unsafe 8.35 5.59 130 unsafe 7.29 3.46 123 unsafe 4.08 2.38 6 unsafe 4.60 2.42 3 unsafe 4.56 2.73 3
ntdrivers/floppy.BUG.i.cil.c unsafe 209.77 194.53 3071 unsafe 8.77 5.23 148 unsafe 16.75 12.48 757 unsafe 34.06 26.76 213 unsafe 6.80 3.60 21 unsafe 17.87 13.02 84
ntdrivers/kbfiltr.BUG.i.cil.c unsafe 4.50 2.56 107 unsafe 3.65 2.19 60 unsafe 9.66 6.51 282 unsafe 3.57 1.84 1 unsafe 3.55 1.84 1 unsafe 3.23 1.87 1
ntdrivers/parport.BUG.i.cil.c timeout - - - out of native memory - - - unsafe 7.66 4.12 71 out of memory - - - timeout - - - out of memory - - -
ntdrivers/cdaudio.i.cil.c safe 14.42 10.56 510 safe 10.18 5.07 168 safe 39.81 34.08 1772 safe 8.19 4.95 17 safe 7.45 4.36 14 safe 7.01 3.91 6
ntdrivers/diskperf.i.cil.c safe 234.69 225.62 3381 safe 8.62 5.89 145 safe 24.62 18.16 510 safe 4.70 2.56 5 safe 4.59 2.50 2 safe 4.79 2.60 2
ntdrivers/floppy.i.cil.c safe 288.50 278.78 4080 safe 15.03 11.46 177 safe 40.42 34.02 1849 safe 129.28 110.70 488 safe 6.63 4.15 25 safe 10.87 6.93 38
ntdrivers/parport.i.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of memory - - - timeout - - -
ssh-simplified/s3_clnt_1_BUG.cil.c unsafe 2.70 1.57 6 unsafe 3.61 2.19 6 unsafe 3.12 1.89 5 unsafe 3.05 1.73 6 unsafe 3.61 2.35 6 unsafe 3.20 2.00 4
ssh-simplified/s3_clnt_2_BUG.cil.c unsafe 2.97 1.57 6 unsafe 3.32 2.20 6 unsafe 2.87 1.73 4 unsafe 3.06 1.63 6 unsafe 3.81 2.32 6 unsafe 3.12 1.91 5
ssh-simplified/s3_clnt_3_BUG.cil.c unsafe 2.87 1.64 6 unsafe 3.64 2.40 6 unsafe 3.48 2.09 5 unsafe 3.22 1.81 6 unsafe 3.66 2.39 6 unsafe 3.45 1.80 4
ssh-simplified/s3_clnt_4_BUG.cil.c unsafe 2.69 1.58 6 unsafe 3.37 2.25 6 unsafe 2.85 1.72 4 unsafe 3.05 1.63 6 unsafe 3.63 2.23 6 unsafe 3.14 1.94 5
ssh-simplified/s3_srvr_10_BUG.cil.c unsafe 2.00 1.10 2 unsafe 2.02 1.10 2 unsafe 2.00 1.15 2 unsafe 1.98 1.18 2 unsafe 2.02 1.10 2 unsafe 1.95 1.15 2
ssh-simplified/s3_srvr_11_BUG.cil.c unsafe 4.70 3.09 14 unsafe 6.14 4.52 14 unsafe 5.04 2.74 6 unsafe 4.76 3.34 14 unsafe 5.90 4.59 14 unsafe 5.12 2.78 6
ssh-simplified/s3_srvr_12_BUG.cil.c unsafe 4.33 2.68 12 unsafe 5.03 3.79 12 unsafe 4.70 2.81 5 unsafe 4.38 2.95 12 unsafe 5.22 3.96 12 unsafe 9.89 6.79 7
ssh-simplified/s3_srvr_13_BUG.cil.c unsafe 2.86 1.75 12 unsafe 3.16 2.00 12 unsafe 3.26 1.93 6 unsafe 3.31 1.80 12 unsafe 3.13 1.97 12 unsafe 3.50 2.05 7
ssh-simplified/s3_srvr_14_BUG.cil.c unsafe 2.46 1.26 4 unsafe 2.52 1.29 4 unsafe 2.82 1.44 3 unsafe 2.49 1.40 4 unsafe 2.56 1.30 4 unsafe 2.37 1.34 3
ssh-simplified/s3_srvr_1_BUG.cil.c unsafe 2.54 1.42 4 unsafe 2.67 1.60 4 unsafe 2.95 1.68 4 unsafe 2.83 1.57 4 unsafe 3.12 1.63 4 unsafe 2.87 1.66 4
ssh-simplified/s3_srvr_2_BUG.cil.c unsafe 2.50 1.40 4 unsafe 3.07 1.64 4 unsafe 2.92 1.65 4 unsafe 2.77 1.54 4 unsafe 2.63 1.57 4 unsafe 2.65 1.52 3
ssh-simplified/s3_srvr_6_BUG.cil.c unsafe 1.56 0.93 1 unsafe 1.73 0.95 1 unsafe 1.57 0.93 1 unsafe 1.69 1.01 1 unsafe 1.55 0.93 1 unsafe 1.57 0.93 1
ssh-simplified/s3_clnt_1.cil.c safe 36.11 34.17 22 safe 29.39 27.68 14 safe 6.00 3.80 5 safe 42.04 40.04 24 safe 40.68 38.63 15 safe 6.82 4.60 5
ssh-simplified/s3_clnt_2.cil.c safe 37.23 35.19 22 safe 43.53 41.76 15 safe 5.10 3.07 4 safe 58.50 56.42 25 safe 38.33 36.65 14 safe 7.04 4.81 5
ssh-simplified/s3_clnt_3.cil.c safe 30.31 28.46 21 safe 48.37 46.13 15 safe 13.55 9.37 6 safe 101.09 98.60 31 safe 45.44 43.48 15 safe 8.42 5.41 6
ssh-simplified/s3_clnt_4.cil.c safe 69.51 67.67 29 safe 31.62 29.58 14 safe 7.11 4.83 5 safe 51.43 49.31 23 safe 45.54 43.48 15 safe 7.50 5.23 5
ssh-simplified/s3_srvr_1.cil.c out of native memory - - - out of native memory - - - safe 193.88 128.56 6 out of native memory - - - out of native memory - - - safe 56.49 35.75 5
ssh-simplified/s3_srvr_1a.cil.c safe 8.15 7.11 36 safe 5.28 4.18 24 safe 2.90 1.74 5 safe 8.20 7.11 36 safe 4.99 4.15 24 safe 3.26 1.77 5
ssh-simplified/s3_srvr_1b.cil.c safe 1.49 0.95 12 safe 1.53 0.91 6 safe 1.53 0.93 3 safe 1.65 0.97 12 safe 1.32 0.87 6 safe 1.56 0.92 3
ssh-simplified/s3_srvr_2.cil.c timeout - - - out of native memory - - - safe 23.22 15.83 6 out of native memory - - - out of native memory - - - safe 105.93 70.78 8
ssh-simplified/s3_srvr_3.cil.c out of native memory - - - out of native memory - - - safe 10.15 7.03 5 out of native memory - - - out of native memory - - - safe 30.10 22.44 8
ssh-simplified/s3_srvr_4.cil.c out of native memory - - - out of native memory - - - safe 9.60 6.53 7 out of native memory - - - out of native memory - - - safe 14.57 10.01 5
ssh-simplified/s3_srvr_6.cil.c out of native memory - - - out of native memory - - - safe 651.49 599.96 5 out of native memory - - - timeout - - - safe 17.36 12.00 4
ssh-simplified/s3_srvr_7.cil.c out of native memory - - - out of native memory - - - safe 147.04 101.92 7 out of native memory - - - out of native memory - - - safe 27.41 19.60 7
ssh-simplified/s3_srvr_8.cil.c out of native memory - - - out of native memory - - - safe 274.40 183.05 6 out of native memory - - - out of native memory - - - safe 10.90 7.75 5
ssh/s3_clnt.blast.01.BUG.i.cil.c timeout - - - unsafe 11.31 8.79 7 unsafe 48.44 37.33 82 unsafe 3.64 2.39 14 unsafe 4.62 3.39 14 unsafe 4.28 2.42 5
ssh/s3_clnt.blast.02.BUG.i.cil.c timeout - - - unsafe 5.55 3.96 3 unsafe 15.59 11.69 26 unsafe 3.17 1.70 6 unsafe 3.42 2.27 6 unsafe 3.40 2.04 5
ssh/s3_clnt.blast.03.BUG.i.cil.c timeout - - - unsafe 6.83 4.85 3 unsafe 18.20 13.64 28 unsafe 3.16 1.69 6 unsafe 3.39 2.25 6 unsafe 3.39 2.02 5
ssh/s3_clnt.blast.04.BUG.i.cil.c timeout - - - unsafe 6.30 4.62 3 unsafe 29.20 22.14 36 unsafe 3.24 1.88 6 unsafe 3.33 2.23 6 unsafe 3.07 1.84 4
ssh/s3_srvr.blast.01.BUG.i.cil.c unsafe 685.84 666.47 1817 unsafe 4.14 2.68 5 unsafe 15.56 10.75 17 unsafe 3.22 1.69 8 unsafe 3.02 1.83 8 unsafe 3.62 1.91 5
ssh/s3_srvr.blast.02.BUG.i.cil.c unsafe 134.59 127.18 716 unsafe 3.93 2.76 3 unsafe 70.94 55.52 16 unsafe 3.00 1.56 4 unsafe 2.79 1.71 4 unsafe 3.03 1.78 4
ssh/s3_srvr.blast.03.BUG.i.cil.c unsafe 759.98 740.64 1719 unsafe 4.09 2.87 3 unsafe 167.32 131.82 15 unsafe 2.96 1.68 4 unsafe 2.78 1.68 4 unsafe 3.02 1.77 4
ssh/s3_srvr.blast.04.BUG.i.cil.c unsafe 63.61 57.92 530 unsafe 4.03 2.82 3 unsafe 105.22 93.67 13 unsafe 2.96 1.68 4 unsafe 2.80 1.69 4 unsafe 3.01 1.77 4
ssh/s3_srvr.blast.06.BUG.i.cil.c timeout - - - unsafe 36.15 33.50 25 unsafe 9.59 5.90 13 unsafe 3.69 2.20 6 unsafe 4.32 2.92 6 unsafe 3.84 2.18 4
ssh/s3_srvr.blast.07.BUG.i.cil.c timeout - - - unsafe 13.76 11.46 7 timeout - - - unsafe 3.75 2.35 12 unsafe 4.51 2.92 12 unsafe 6.50 3.97 6
ssh/s3_srvr.blast.08.BUG.i.cil.c timeout - - - unsafe 68.18 65.00 24 timeout - - - unsafe 6.53 4.51 10 unsafe 11.89 9.55 10 unsafe 7.00 3.98 6
ssh/s3_srvr.blast.09.BUG.i.cil.c timeout - - - unsafe 13.99 11.30 8 timeout - - - unsafe 3.94 2.28 12 unsafe 4.72 3.01 12 unsafe 8.55 5.73 6
ssh/s3_srvr.blast.10.BUG.i.cil.c timeout - - - unsafe 64.10 60.53 24 timeout - - - unsafe 6.12 4.20 10 unsafe 10.40 8.73 10 unsafe 6.29 3.39 7
ssh/s3_srvr.blast.11.BUG.i.cil.c timeout - - - unsafe 5.63 3.93 5 unsafe 613.27 388.21 34 unsafe 3.28 1.95 9 unsafe 3.46 2.19 9 unsafe 5.32 2.83 6
ssh/s3_srvr.blast.12.BUG.i.cil.c timeout - - - unsafe 24.04 21.01 24 unsafe 13.13 9.68 19 unsafe 3.55 2.11 6 unsafe 4.58 2.84 6 unsafe 4.60 2.41 5
ssh/s3_srvr.blast.13.BUG.i.cil.c timeout - - - unsafe 22.97 20.15 8 timeout - - - unsafe 3.81 2.20 12 unsafe 4.30 2.95 12 unsafe 9.35 6.85 7
ssh/s3_srvr.blast.14.BUG.i.cil.c timeout - - - unsafe 33.13 30.30 23 unsafe 14.01 10.54 24 unsafe 3.69 2.19 6 unsafe 4.54 2.88 6 unsafe 4.67 2.70 4
ssh/s3_srvr.blast.15.BUG.i.cil.c timeout - - - unsafe 62.60 58.99 26 unsafe 454.45 272.66 45 unsafe 6.09 4.16 10 unsafe 11.83 9.43 10 unsafe 5.59 3.39 6
ssh/s3_srvr.blast.16.BUG.i.cil.c timeout - - - unsafe 24.29 21.06 25 unsafe 14.44 10.93 47 unsafe 3.72 2.21 6 unsafe 4.25 2.88 6 unsafe 3.80 2.24 4
ssh/s3_clnt.blast.01.i.cil.c timeout - - - safe 150.89 147.95 6 timeout - - - safe 28.44 26.15 20 safe 43.53 41.66 15 safe 8.65 5.74 5
ssh/s3_clnt.blast.02.i.cil.c timeout - - - safe 85.70 82.65 5 timeout - - - safe 76.01 73.27 28 safe 38.22 36.45 15 safe 18.07 13.39 6
ssh/s3_clnt.blast.03.i.cil.c timeout - - - safe 105.88 102.84 6 timeout - - - safe 31.22 28.82 22 safe 42.37 40.58 15 safe 9.11 5.56 5
ssh/s3_clnt.blast.04.i.cil.c timeout - - - safe 112.02 108.68 6 timeout - - - out of native memory - - - safe 41.48 39.54 15 safe 11.84 8.03 5
ssh/s3_srvr.blast.01.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 12.00 7.84 5
ssh/s3_srvr.blast.02.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 42.29 24.36 7
ssh/s3_srvr.blast.06.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 16.58 11.16 5
ssh/s3_srvr.blast.07.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 16.08 10.43 6
ssh/s3_srvr.blast.08.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 165.32 121.69 6
ssh/s3_srvr.blast.09.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 11.70 7.43 8
ssh/s3_srvr.blast.10.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 54.30 45.50 7
ssh/s3_srvr.blast.11.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 139.39 122.48 10
ssh/s3_srvr.blast.12.i.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - safe 44.07 34.62 6
ssh/s3_srvr.blast.13.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 32.46 19.99 8
ssh/s3_srvr.blast.14.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - timeout - - - safe 45.31 32.48 5
ssh/s3_srvr.blast.15.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 11.87 7.43 5
ssh/s3_srvr.blast.16.i.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 13.82 9.80 5
locks/test_locks_14.BUG.c unsafe 1.56 0.95 1 unsafe 1.40 0.90 1 unsafe 1.59 0.95 1 unsafe 1.47 0.96 1 unsafe 1.40 0.90 1 unsafe 1.43 0.92 1
locks/test_locks_15.BUG.c unsafe 1.40 0.92 1 unsafe 1.55 0.95 1 unsafe 1.45 0.93 1 unsafe 1.57 0.94 1 unsafe 1.54 0.94 1 unsafe 1.45 0.94 1
locks/test_locks_10.c safe 1.30 0.84 0 safe 1.29 0.83 0 safe 1.34 0.85 0 safe 1.37 0.87 0 safe 1.31 0.83 0 safe 1.46 0.86 0
locks/test_locks_11.c safe 1.47 0.87 0 safe 1.32 0.84 0 safe 1.58 0.95 0 safe 1.36 0.87 0 safe 1.29 0.84 0 safe 1.48 0.88 0
locks/test_locks_12.c safe 1.45 0.87 0 safe 1.31 0.85 0 safe 1.53 0.90 0 safe 1.48 0.88 0 safe 1.33 0.85 0 safe 1.35 0.86 0
locks/test_locks_13.c safe 1.50 0.88 0 safe 1.31 0.85 0 safe 1.37 0.88 0 safe 1.39 0.89 0 safe 1.35 0.86 0 safe 1.50 0.90 0
locks/test_locks_14.c safe 1.50 0.89 0 safe 1.35 0.86 0 safe 1.55 0.91 0 safe 1.44 0.93 0 safe 1.34 0.86 0 safe 1.37 0.87 0
locks/test_locks_15.c safe 1.51 0.90 0 safe 1.35 0.87 0 safe 1.36 0.89 0 safe 1.44 0.93 0 safe 1.35 0.87 0 safe 1.55 0.91 0
locks/test_locks_5.c safe 1.40 0.83 0 safe 1.24 0.81 0 safe 1.28 0.83 0 safe 1.37 0.83 0 safe 1.25 0.81 0 safe 1.26 0.82 0
locks/test_locks_6.c safe 1.26 0.80 0 safe 1.27 0.80 0 safe 1.44 0.85 0 safe 1.32 0.84 0 safe 1.47 0.92 0 safe 1.25 0.81 0
locks/test_locks_7.c safe 1.44 0.84 0 safe 1.45 0.84 0 safe 1.30 0.83 0 safe 1.41 0.83 0 safe 1.26 0.81 0 safe 1.29 0.82 0
locks/test_locks_8.c safe 1.26 0.82 0 safe 1.30 0.81 0 safe 1.49 0.87 0 safe 1.37 0.87 0 safe 1.28 0.82 0 safe 1.28 0.83 0
locks/test_locks_9.c safe 1.41 0.85 0 safe 1.29 0.83 0 safe 1.32 0.84 0 safe 1.41 0.84 0 safe 1.28 0.82 0 safe 1.33 0.85 0
heap-manipulation/bubble_sort_linux_BUG.cil.c unsafe 1.72 1.07 2 unsafe 1.91 1.08 2 unsafe 2.24 1.37 2 unsafe 1.89 1.10 2 unsafe 1.71 1.05 2 unsafe 1.78 1.12 2
heap-manipulation/dll_of_dll_BUG.cil.c unsafe 1.39 0.90 1 unsafe 1.39 0.88 1 unknown - - - unsafe 1.48 0.93 1 unsafe 1.38 0.88 1 unknown - - -
heap-manipulation/merge_sort_BUG.cil.c unsafe 1.48 0.95 4 unsafe 1.55 0.96 4 unsafe 2.09 1.13 4 unsafe 1.61 1.02 4 unsafe 1.52 0.96 4 unsafe 1.61 1.01 4
heap-manipulation/sll_to_dll_rev_BUG.cil.c timeout - - - timeout - - - timeout - - - timeout - - - timeout - - - timeout - - -
heap-manipulation/bubble_sort_linux.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
heap-manipulation/dll_of_dll.cil.c unsafe - - - unsafe - - - unknown - - - unsafe - - - unsafe - - - unknown - - -
heap-manipulation/merge_sort.cil.c safe 1.65 0.96 4 safe 1.36 0.88 1 safe 1.51 0.94 1 safe 1.61 0.99 4 safe 1.40 0.89 1 safe 1.43 0.90 1
heap-manipulation/sll_to_dll_rev.cil.c timeout - - - timeout - - - timeout - - - timeout - - - timeout - - - timeout - - -
list-properties/alternating_list.cil.c unsafe - - - safe 1.36 0.88 2 safe 1.41 0.90 1 unsafe - - - safe 1.34 0.88 2 safe 1.39 0.89 1
list-properties/list.cil.c unsafe - - - safe 1.45 0.91 1 safe 1.47 0.93 1 unsafe - - - safe 1.42 0.91 1 safe 1.62 0.95 1
list-properties/list_flag.cil.c unsafe - - - safe 1.53 0.90 2 safe 1.45 0.92 2 unsafe - - - safe 1.41 0.89 2 safe 1.63 0.95 2
list-properties/simple.cil.c unsafe - - - safe 1.32 0.88 1 unsafe - - - unsafe - - - safe 1.51 0.89 1 unsafe - - -
list-properties/simple_built_from_end.cil.c out of native memory - - - safe 1.37 0.87 2 unsafe - - - out of native memory - - - safe 1.37 0.87 2 unsafe - - -
list-properties/splice.cil.c unsafe - - - safe 1.70 0.96 2 unsafe - - - unsafe - - - safe 1.53 0.94 2 unsafe - - -
systemc/kundu1_BUG.cil.c unsafe 247.80 237.48 3889 unsafe 12.62 10.64 45 unsafe 25.96 17.60 138 out of native memory - - - unsafe 14.27 11.59 87 unsafe 5.80 3.29 20
systemc/kundu2_BUG.cil.c timeout - - - unsafe 9.42 7.24 42 timeout - - - out of native memory - - - unsafe 10.00 7.55 71 unsafe 5.84 3.68 30
systemc/pc_sfifo_1_BUG.cil.c unsafe 1.31 0.86 1 unsafe 1.32 0.86 1 unsafe 1.35 0.89 1 unsafe 1.39 0.90 1 unsafe 1.31 0.86 1 unsafe 1.35 0.88 1
systemc/pc_sfifo_2_BUG.cil.c unsafe 1.54 0.95 2 unsafe 1.57 0.95 2 unsafe 1.57 0.94 1 unsafe 1.32 0.88 1 unsafe 1.35 0.89 1 unsafe 1.54 0.93 1
systemc/pipeline_BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - unsafe 44.70 41.86 18 unsafe 12.32 8.79 6
systemc/token_ring.01.BUG.cil.c unsafe 2.46 1.53 36 unsafe 2.31 1.54 7 unsafe 3.89 2.17 17 unsafe 9.41 6.40 228 unsafe 2.34 1.44 12 unsafe 2.54 1.44 12
systemc/token_ring.02.BUG.cil.c unsafe 358.64 347.06 1880 unsafe 8.31 6.45 14 unsafe 80.80 52.05 37 unsafe 483.38 468.95 1457 unsafe 7.69 5.26 26 unsafe 4.22 2.09 8
systemc/token_ring.03.BUG.cil.c timeout - - - unsafe 33.74 30.24 24 timeout - - - timeout - - - unsafe 26.17 22.82 34 unsafe 5.86 3.25 10
systemc/token_ring.04.BUG.cil.c timeout - - - unsafe 238.99 234.64 42 timeout - - - timeout - - - unsafe 135.60 129.17 64 unsafe 14.15 9.68 18
systemc/token_ring.05.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - unsafe 76.19 61.11 27
systemc/token_ring.06.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - unsafe 92.57 65.51 16
systemc/token_ring.07.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.08.BUG.cil.c timeout - - - segmentation fault - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.09.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.10.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.11.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.12.BUG.cil.c timeout - - - segmentation fault - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.13.BUG.cil.c timeout - - - segmentation fault - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.14.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.15.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/toy1_BUG.cil.c timeout - - - unsafe 193.67 190.46 84 unsafe 571.04 347.40 96 timeout - - - unsafe 96.42 93.39 65 unsafe 128.19 108.16 33
systemc/toy2_BUG.cil.c timeout - - - unsafe 145.17 142.47 45 unsafe 315.56 186.32 141 timeout - - - unsafe 197.74 194.75 30 unsafe 144.80 117.59 32
systemc/transmitter.01.BUG.cil.c unsafe 1.57 0.99 6 unsafe 1.73 1.06 4 unsafe 1.99 1.23 6 unsafe 1.70 1.03 6 unsafe 1.51 0.97 4 unsafe 1.93 1.12 5
systemc/transmitter.02.BUG.cil.c unsafe 3.41 2.08 54 unsafe 3.49 2.17 8 unsafe 5.29 3.31 30 unsafe 4.01 2.06 60 unsafe 3.41 2.08 14 unsafe 2.29 1.36 5
systemc/transmitter.03.BUG.cil.c unsafe 14.53 10.94 289 unsafe 12.86 10.62 12 unsafe 89.54 76.94 105 unsafe 10.82 7.55 192 unsafe 10.60 7.73 37 unsafe 3.73 2.03 6
systemc/transmitter.04.BUG.cil.c unsafe 224.68 210.79 1528 unsafe 145.87 141.68 18 timeout - - - unsafe 587.11 575.13 1615 unsafe 31.57 27.88 72 unsafe 7.85 3.91 10
systemc/transmitter.05.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - segmentation fault - - - unsafe 7.55 4.45 8
systemc/transmitter.06.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - segmentation fault - - - unsafe 21.98 16.27 9
systemc/transmitter.07.BUG.cil.c timeout - - - segmentation fault - - - timeout - - - timeout - - - out of native memory - - - unsafe 75.17 52.02 9
systemc/transmitter.08.BUG.cil.c timeout - - - segmentation fault - - - timeout - - - timeout - - - out of native memory - - - unsafe 559.20 375.46 17
systemc/transmitter.09.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/transmitter.10.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/transmitter.11.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/transmitter.12.BUG.cil.c timeout - - - segmentation fault - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/transmitter.13.BUG.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/transmitter.15.BUG.cil.c unsafe 2.37 1.34 2 unsafe 2.80 1.42 2 unsafe 2.75 1.36 1 unsafe 2.69 1.40 2 unsafe 2.40 1.37 2 unsafe 2.66 1.53 2
systemc/transmitter.16.BUG.cil.c unsafe 2.85 1.45 2 unsafe 2.38 1.38 2 unsafe 2.36 1.36 1 unsafe 2.82 1.45 2 unsafe 2.40 1.41 2 unsafe 2.71 1.57 2
systemc/bist_cell.cil.c safe 46.20 41.46 647 safe 9.61 7.38 17 safe 408.51 271.59 29 safe 6.55 3.97 31 safe 2.12 1.21 3 safe 1.92 1.19 2
systemc/kundu.cil.c timeout - - - out of native memory - - - timeout - - - out of native memory - - - out of native memory - - - safe 13.74 10.60 49
systemc/mem_slave_tlm.1.cil.c timeout - - - safe 9.94 7.39 48 timeout - - - timeout - - - safe 12.58 8.95 52 timeout - - -
systemc/mem_slave_tlm.2.cil.c timeout - - - safe 21.54 19.08 60 timeout - - - timeout - - - safe 27.50 24.09 85 timeout - - -
systemc/mem_slave_tlm.3.cil.c timeout - - - safe 52.33 49.71 73 timeout - - - timeout - - - safe 56.61 52.67 100 timeout - - -
systemc/mem_slave_tlm.4.cil.c timeout - - - safe 116.33 113.12 85 timeout - - - timeout - - - safe 116.83 113.33 115 timeout - - -
systemc/mem_slave_tlm.5.cil.c timeout - - - safe 191.06 187.81 97 timeout - - - timeout - - - safe 257.65 254.36 130 timeout - - -
systemc/pc_sfifo_1.cil.c safe 10.33 7.33 336 safe 2.64 1.72 6 safe 6.03 3.45 48 timeout - - - safe 2.81 1.83 26 safe 3.93 2.07 12
systemc/pc_sfifo_2.cil.c timeout - - - safe 5.24 3.49 36 safe 12.55 9.22 69 timeout - - - safe 4.23 3.09 49 safe 4.06 2.34 26
systemc/pc_sfifo_3.cil.c timeout - - - safe 65.21 62.65 64 safe 5.09 3.12 33 safe 2.30 1.33 18 safe 1.59 1.01 4 safe 1.93 1.11 1
systemc/pipeline.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - safe 358.39 354.15 39 safe 113.28 86.56 5
systemc/token_ring.01.cil.c timeout - - - safe 5.45 3.35 7 safe 12.39 8.90 33 timeout - - - safe 4.02 2.84 9 safe 4.05 1.99 15
systemc/token_ring.02.cil.c timeout - - - safe 18.10 15.34 14 timeout - - - timeout - - - safe 21.89 18.45 16 safe 6.64 4.23 14
systemc/token_ring.03.cil.c timeout - - - safe 95.53 92.36 21 timeout - - - timeout - - - safe 86.40 81.93 22 safe 54.82 38.24 47
systemc/token_ring.04.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - safe 224.55 165.43 70
systemc/token_ring.05.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - out of native memory - - -
systemc/token_ring.06.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - segmentation fault - - -
systemc/token_ring.07.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.08.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.09.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.10.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.11.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.12.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/token_ring.13.cil.c timeout - - - out of native memory - - - timeout - - - timeout - - - out of native memory - - - timeout - - -
systemc/toy.cil.c timeout - - - safe 174.74 171.96 48 timeout - - - timeout - - - safe 198.42 195.19 40 safe 600.69 345.14 40
ldv-regression/1_3.c-unsafe.cil.c unsafe 1.29 0.83 1 unsafe 1.24 0.79 1 unsafe 1.24 0.81 1 unsafe 1.27 0.82 1 unsafe 1.36 0.81 1 unsafe 1.23 0.80 1
ldv-regression/alt_test.c-unsafe.cil.c unsafe 1.25 0.82 2 unsafe 1.29 0.83 2 unsafe 1.46 0.87 2 unsafe 1.31 0.85 1 unsafe 1.28 0.83 1 unsafe 1.30 0.84 1
ldv-regression/callfpointer.c-unsafe.cil.c safe - - - safe - - - unsafe 1.39 0.80 1 safe - - - safe - - - unsafe 1.24 0.79 1
ldv-regression/fo_test.c-unsafe.cil.c unsafe 1.28 0.81 1 unsafe 1.26 0.82 1 unsafe 1.29 0.83 1 unsafe 1.33 0.86 1 unsafe 1.25 0.81 1 unsafe 1.46 0.86 1
ldv-regression/mutex_lock_int.c-unsafe.cil.c unsafe 1.22 0.78 1 unsafe 1.23 0.78 1 unsafe 1.41 0.82 1 unsafe 1.29 0.81 1 unsafe 1.39 0.81 1 unsafe 1.22 0.79 1
ldv-regression/mutex_lock_struct.c-unsafe.cil.c unsafe 1.35 0.80 1 unsafe 1.21 0.79 1 unsafe 1.41 0.83 1 unsafe 1.31 0.82 1 unsafe 1.37 0.81 1 unsafe 1.24 0.79 1
ldv-regression/recursive_list.c-unsafe.cil.c unsafe 1.26 0.81 1 unsafe 1.26 0.81 1 unsafe 1.27 0.82 1 unsafe 1.32 0.85 1 unsafe 1.24 0.80 1 unsafe 1.41 0.85 1
ldv-regression/rule57_ebda_blast.c-unsafe.cil.c unsafe 1.26 0.81 1 unsafe 1.25 0.82 1 unsafe 1.29 0.84 2 unsafe 1.28 0.84 1 unsafe 1.27 0.81 1 unsafe 1.28 0.83 1
ldv-regression/rule60_list2.c-unsafe_1.cil.c unsafe 1.59 0.94 6 unsafe 1.64 0.95 6 unsafe 1.57 0.99 5 unsafe 1.47 0.94 1 unsafe 1.37 0.89 1 unsafe 1.62 0.94 1
ldv-regression/stateful_check-unsafe.cil.c unsafe 1.98 1.22 55 unsafe 1.63 1.08 15 unsafe 2.33 1.28 17 unsafe 1.64 1.05 12 unsafe 1.59 1.03 12 unsafe 1.64 1.04 5
ldv-regression/test_while_int.c-unsafe.cil.c unsafe 1.22 0.79 3 unsafe 1.45 0.84 3 unsafe 1.28 0.82 3 unsafe 1.29 0.81 3 unsafe 1.40 0.84 3 unsafe 1.43 0.84 3
ldv-regression/test_while_int.c-unsafe_1.cil.c unsafe 1.20 0.78 3 unsafe 1.25 0.80 3 unsafe 1.26 0.81 3 unsafe 1.29 0.82 3 unsafe 1.23 0.79 3 unsafe 1.27 0.82 3
ldv-regression/alias_of_return.c-safe.cil.c safe 1.21 0.78 1 safe 1.20 0.78 1 safe 1.25 0.79 1 safe 1.39 0.81 0 safe 1.21 0.77 0 safe 1.23 0.78 0
ldv-regression/alias_of_return.c-safe_1.cil.c safe 1.34 0.79 1 safe 1.23 0.77 1 safe 1.24 0.78 1 safe 1.38 0.80 0 safe 1.23 0.77 0 safe 1.22 0.78 0
ldv-regression/alias_of_return_2.c-safe.cil.c safe 1.20 0.77 1 safe 1.24 0.78 1 safe 1.25 0.79 1 safe 1.30 0.82 0 safe 1.21 0.77 0 safe 1.22 0.78 0
ldv-regression/alias_of_return_2.c-safe_1.cil.c safe 1.34 0.80 1 safe 1.34 0.80 1 safe 1.23 0.79 1 safe 1.30 0.81 0 safe 1.40 0.80 0 safe 1.23 0.78 0
ldv-regression/ex3_forlist.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/just_assert.c-safe.cil.c safe 1.37 0.78 0 safe 1.19 0.77 0 safe 1.22 0.77 0 safe 1.27 0.80 0 safe 1.34 0.79 0 safe 1.34 0.80 0
ldv-regression/mutex_lock_int.c-safe_1.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/mutex_lock_struct.c-safe_1.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/nested_structure-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/nested_structure.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/nested_structure_noptr-safe.cil.c safe 1.18 0.77 0 safe 1.20 0.77 0 safe 1.43 0.81 0 safe 1.34 0.79 0 safe 1.36 0.80 0 safe 1.41 0.81 0
ldv-regression/nested_structure_noptr.c-safe.cil.c safe 1.22 0.78 1 safe 1.35 0.80 1 safe 1.24 0.78 1 safe 1.28 0.81 0 safe 1.38 0.81 0 safe 1.36 0.81 0
ldv-regression/nested_structure_ptr-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/nested_structure_ptr.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/oomInt.c-safe.cil.c safe 1.35 0.80 1 safe 1.21 0.78 1 safe 1.42 0.83 1 safe 1.31 0.82 0 safe 1.39 0.81 0 safe 1.38 0.81 0
ldv-regression/oomInt.c-safe_1.cil.c safe 1.21 0.78 1 safe 1.36 0.81 1 safe 1.42 0.82 1 safe 1.30 0.82 0 safe 1.23 0.78 0 safe 1.39 0.82 0
ldv-regression/rule57_ebda_blast.c-safe_1.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/rule60_list.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/rule60_list2.c-safe.cil.c safe 1.45 0.89 5 safe 1.30 0.87 5 safe 1.46 0.94 4 safe 1.36 0.87 0 safe 1.29 0.84 0 safe 1.50 0.89 0
ldv-regression/sizeofparameters_test.c-safe.cil.c safe 1.34 0.80 1 safe 1.21 0.77 1 safe 1.41 0.82 1 safe 1.35 0.80 0 safe 1.21 0.77 0 safe 1.39 0.81 0
ldv-regression/structure_assignment.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/test_address.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/test_cut_trace.c-safe.cil.c safe 1.22 0.77 2 safe 1.23 0.77 2 safe 1.23 0.79 2 safe 1.38 0.81 0 safe 1.19 0.77 0 safe 1.21 0.78 0
ldv-regression/test_malloc-1-safe.cil.c safe 1.36 0.81 0 safe 1.21 0.79 0 safe 1.27 0.80 0 safe 1.23 0.78 0 safe 1.24 0.78 0 safe 1.42 0.82 0
ldv-regression/test_malloc-2-safe.cil.c safe 1.35 0.81 0 safe 1.39 0.80 0 safe 1.25 0.80 0 safe 1.31 0.83 0 safe 1.24 0.79 0 safe 1.23 0.79 0
ldv-regression/test_overflow.c-safe.cil.c safe 1.39 0.81 1 safe 1.21 0.79 1 safe 1.25 0.79 1 safe 1.31 0.81 0 safe 1.24 0.79 0 safe 1.22 0.79 0
ldv-regression/test_union.c-safe.cil.c safe 1.34 0.80 1 safe 1.22 0.78 1 safe 1.23 0.79 1 safe 1.28 0.80 0 safe 1.22 0.78 0 safe 1.21 0.77 0
ldv-regression/test_union.c-safe_1.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/test_union_cast-1-safe.cil.c safe 1.39 0.81 0 safe 1.22 0.77 0 safe 1.25 0.78 0 safe 1.39 0.81 0 safe 1.21 0.78 0 safe 1.40 0.82 0
ldv-regression/test_union_cast-2-safe.cil.c safe 1.40 0.83 0 safe 1.22 0.79 0 safe 1.23 0.81 0 safe 1.29 0.82 0 safe 1.24 0.79 0 safe 1.22 0.80 0
ldv-regression/test_union_cast.c-safe.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-regression/test_union_cast.c-safe_1.cil.c safe 1.22 0.78 1 safe 1.40 0.81 1 safe 1.24 0.79 1 safe 1.39 0.80 0 safe 1.20 0.77 0 safe 1.36 0.81 0
ldv-regression/volatile_alias.c-safe.cil.c safe 1.22 0.77 0 safe 1.39 0.80 0 safe 1.23 0.78 0 safe 1.28 0.80 0 safe 1.22 0.77 0 safe 1.23 0.78 0
ldv-regression/volatile_alias.c-safe_1.cil.c safe 1.20 0.76 0 safe 1.21 0.76 0 safe 1.22 0.78 0 safe 1.40 0.86 0 safe 1.21 0.76 0 safe 1.23 0.78 0
ddv-machzwd/ddv_machzwd_all_BUG.cil.c safe - - - safe - - - unsafe 3.40 1.77 12 safe - - - safe - - - unsafe 3.92 1.89 12
ddv-machzwd/ddv_machzwd_inw_BUG.cil.c safe - - - safe - - - unsafe 3.37 1.79 12 safe - - - safe - - - unsafe 3.49 1.78 12
ddv-machzwd/ddv_machzwd_outb_BUG.cil.c safe - - - safe - - - unsafe 3.21 1.73 12 safe - - - safe - - - unsafe 3.89 1.86 12
ddv-machzwd/ddv_machzwd_inb.cil.c safe 3.04 1.46 0 safe 2.71 1.45 0 safe 2.87 1.50 0 safe 3.05 1.63 0 safe 3.08 1.48 0 safe 3.61 1.69 0
ddv-machzwd/ddv_machzwd_inb_p.cil.c safe 2.65 1.43 0 safe 2.68 1.45 0 safe 3.09 1.53 0 safe 3.04 1.48 0 safe 2.73 1.45 0 safe 3.09 1.64 0
ddv-machzwd/ddv_machzwd_inl.cil.c safe 2.67 1.44 0 safe 2.69 1.45 0 safe 2.84 1.49 0 safe 3.06 1.64 0 safe 3.10 1.48 0 safe 3.06 1.61 0
ddv-machzwd/ddv_machzwd_inl_p.cil.c safe 3.10 1.47 0 safe 2.73 1.46 0 safe 2.90 1.52 0 safe 3.12 1.63 0 safe 2.73 1.44 0 safe 3.06 1.62 0
ddv-machzwd/ddv_machzwd_inw_p.cil.c safe 2.65 1.42 0 safe 2.72 1.46 0 safe 3.23 1.53 0 safe 2.98 1.57 0 safe 3.10 1.48 0 safe 3.08 1.63 0
ddv-machzwd/ddv_machzwd_outb_p.cil.c safe 2.68 1.43 0 safe 2.67 1.44 0 safe 2.87 1.51 0 safe 3.01 1.61 0 safe 2.70 1.44 0 safe 3.61 1.68 0
ddv-machzwd/ddv_machzwd_outl.cil.c safe 2.66 1.43 0 safe 2.68 1.44 0 safe 2.84 1.49 0 safe 3.01 1.62 0 safe 3.17 1.52 0 safe 3.08 1.63 0
ddv-machzwd/ddv_machzwd_outl_p.cil.c safe 2.69 1.43 0 safe 2.72 1.45 0 safe 2.90 1.52 0 safe 3.07 1.48 0 safe 2.74 1.44 0 safe 3.62 1.69 0
ddv-machzwd/ddv_machzwd_outw_p.cil.c safe 2.70 1.44 0 safe 2.71 1.45 0 safe 2.83 1.49 0 safe 3.25 1.65 0 safe 2.74 1.45 0 safe 3.12 1.66 0
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock.cil.c safe 3.03 1.46 0 safe 3.08 1.49 0 safe 2.86 1.50 0 safe 3.08 1.47 0 safe 2.92 1.47 0 safe 3.12 1.64 0
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-unsafe.cil.out.i.pp.cil.c unsafe 13.92 6.57 110 unsafe 10.11 4.74 4 unsafe 9.52 4.25 7 out of native memory - - - unsafe 9.76 4.45 4 unsafe 8.99 4.15 3
ldv-drivers/module_get_put-drivers-block-loop.ko-unsafe.cil.out.i.pp.cil.c unsafe 15.91 11.16 141 unsafe 14.09 10.25 9 unsafe 27.44 15.97 23 unsafe 18.61 10.94 64 unsafe 10.07 6.21 18 unsafe 12.68 7.25 13
ldv-drivers/module_get_put-drivers-block-pktcdvd.ko-unsafe.cil.out.i.pp.cil.c unsafe 84.33 43.14 51 unsafe 19.71 11.02 27 unsafe 16.87 9.15 30 unsafe 143.49 72.12 68 unsafe 123.27 59.09 10 unsafe 130.36 67.37 10
ldv-drivers/module_get_put-drivers-isdn-gigaset-gigaset.ko-unsafe.cil.out.i.pp.cil.c unsafe 11.85 4.32 12 unsafe 7.11 2.99 5 unsafe 10.95 5.10 25 unsafe 11.72 4.28 5 unsafe 7.12 2.98 3 unsafe 7.18 3.09 3
ldv-drivers/module_get_put-drivers-isdn-mISDN-mISDN_core.ko-unsafe.cil.out.i.pp.cil.c timeout - - - unsafe 14.43 8.26 6 unsafe 14.01 7.67 75 timeout - - - unsafe 82.69 76.74 21 unsafe 76.15 65.98 119
ldv-drivers/module_get_put-drivers-net-ppp_generic.ko-unsafe.cil.out.i.pp.cil.c unsafe 17.01 9.11 11 unsafe 13.47 6.72 5 unsafe 41.14 25.26 49 unsafe 17.25 8.65 4 unsafe 10.96 5.21 3 unsafe 13.36 6.54 2
ldv-drivers/module_get_put-drivers-net-wan-farsync.ko-unsafe.cil.out.iunsafe.cil.out.i.pp.cil.c unsafe 10.16 5.42 57 unsafe 13.41 7.51 36 unsafe 76.32 46.26 162 unsafe 61.20 35.70 154 unsafe 63.21 53.18 9 unsafe 127.47 64.12 63
ldv-drivers/module_get_put-drivers-tty-synclink_gt.ko-unsafe.cil.out.i.pp.cil.c unsafe 8.03 3.05 1 unsafe 5.87 2.55 1 unsafe 5.99 2.61 1 unsafe 5.98 2.63 1 unsafe 5.85 2.54 1 unsafe 5.95 2.58 1
ldv-drivers/module_get_put-drivers-usb-core-usbcore.ko-unsafe.cil.out.i.pp.cil.c unsafe 18.82 11.89 228 unsafe 11.56 4.38 5 unsafe 8.99 3.91 11 unsafe 11.21 4.37 10 unsafe 8.56 3.76 3 unsafe 8.73 3.79 2
ldv-drivers/usb_urb-drivers-hid-usbhid-usbmouse.ko-unsafe.cil.out.i.pp.cil.c unsafe 143.56 129.30 682 unsafe 11.47 8.36 15 unsafe 6.43 3.32 43 unsafe 244.11 205.46 708 unsafe 8.85 6.34 34 unsafe 10.99 7.05 36
ldv-drivers/usb_urb-drivers-input-misc-keyspan_remote.ko-unsafe.cil.out.i.pp.cil.c timeout - - - out of native memory - - - unsafe 23.10 18.60 176 timeout - - - unsafe 380.69 374.11 24 unsafe 80.59 55.26 108
ldv-drivers/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko-unsafe.cil.out.i.pp.cil.c unsafe 5.68 2.72 2 unsafe 5.05 2.33 2 unsafe 7.15 3.28 21 unsafe 5.56 2.71 2 unsafe 5.75 2.42 2 unsafe 4.81 2.34 2
ldv-drivers/usb_urb-drivers-net-can-usb-ems_usb.ko-unsafe.cil.out.i.pp.cil.c timeout - - - out of native memory - - - unsafe 6.54 2.96 26 timeout - - - out of native memory - - - timeout - - -
ldv-drivers/usb_urb-drivers-net-usb-catc.ko-unsafe.cil.out.i.pp.cil.c timeout - - - timeout - - - unsafe 21.91 15.33 117 timeout - - - timeout - - - unsafe 525.64 428.41 88
ldv-drivers/usb_urb-drivers-staging-lirc-lirc_imon.ko-unsafe.cil.out.i.pp.cil.c timeout - - - unsafe 9.13 5.69 25 unsafe 10.73 6.44 66 timeout - - - timeout - - - unsafe 37.96 29.11 51
ldv-drivers/usb_urb-drivers-usb-misc-iowarrior.ko-unsafe.cil.out.i.pp.cil.c unsafe 4.54 2.08 3 unsafe 4.05 2.04 3 unsafe 19.60 13.65 214 unsafe 5.00 2.17 3 unsafe 4.96 2.15 3 unsafe 5.23 2.31 3
ldv-drivers/module_get_put-drivers-atm-eni.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 162.39 153.52 1 timeout - - - out of memory - - - out of memory - - - out of memory - - -
ldv-drivers/module_get_put-drivers-block-drbd-drbd.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 13.60 7.15 1 safe 41.36 28.79 28 timeout - - - segmentation fault - - - timeout - - -
ldv-drivers/module_get_put-drivers-block-paride-pt.ko-safe.cil.out.i.pp.cil.c timeout - - - timeout - - - safe 216.83 123.20 105 out of memory - - - out of memory - - - timeout - - -
ldv-drivers/module_get_put-drivers-bluetooth-btmrvl.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 8.82 5.03 1 safe 13.17 7.77 43 out of memory - - - safe 7.24 4.34 4 safe 7.21 4.12 1
ldv-drivers/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko-safe.cil.out.i.pp.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
ldv-drivers/module_get_put-drivers-gpu-drm-i915-i915.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 19.75 8.56 1 safe 31.62 16.32 31 timeout - - - safe 378.88 314.02 623 timeout - - -
ldv-drivers/module_get_put-drivers-hid-hid-magicmouse.ko-safe.cil.out.i.pp.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
ldv-drivers/module_get_put-drivers-hwmon-it87.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 5.88 3.02 1 safe 99.57 52.13 59 timeout - - - safe 46.07 34.16 10 safe 324.46 230.15 8
ldv-drivers/module_get_put-drivers-net-atl1c-atl1c.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 27.39 15.77 1 timeout - - - out of memory - - - out of memory - - - out of memory - - -
ldv-drivers/module_get_put-drivers-net-pppox.ko-safe.cil.out.i.pp.cil.c safe 5.67 3.38 74 safe 2.52 1.41 2 safe 2.98 1.59 7 safe 3.37 1.68 7 safe 2.47 1.38 2 safe 2.62 1.44 2
ldv-drivers/module_get_put-drivers-net-sis900.ko-safe.cil.out.i.pp.cil.c timeout - - - segmentation fault - - - safe 221.89 141.78 158 timeout - - - timeout - - - timeout - - -
ldv-drivers/module_get_put-drivers-scsi-megaraid.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 37.97 25.05 1 timeout - - - timeout - - - timeout - - - timeout - - -
ldv-drivers/module_get_put-drivers-staging-et131x-et131x.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 571.68 490.61 1 timeout - - - out of memory - - - out of memory - - - timeout - - -
ldv-drivers/module_get_put-drivers-video-aty-aty128fb.ko-safe.cil.out.i.pp.cil.c timeout - - - segmentation fault - - - timeout - - - out of memory - - - out of memory - - - out of memory - - -
ldv-drivers/usb_urb-drivers-input-tablet-kbtab.ko-safe.cil.out.i.pp.cil.c safe 687.10 658.21 2403 safe 3.97 2.29 9 safe 5.41 2.87 28 timeout - - - safe 3.52 1.90 14 safe 7.49 4.04 29
ldv-drivers/usb_urb-drivers-media-video-c-qcam.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 36.96 20.40 2 safe 222.79 126.70 161 out of memory - - - out of memory - - - timeout - - -
ldv-drivers/usb_urb-drivers-media-video-msp3400.ko-safe.cil.out.i.pp.cil.c out of memory - - - safe 183.89 105.85 2 timeout - - - timeout - - - timeout - - - timeout - - -
ldv-drivers/usb_urb-drivers-misc-c2port-core.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 54.40 47.26 2 safe 136.84 118.68 68 out of memory - - - safe 41.07 33.07 2 timeout - - -
ldv-drivers/usb_urb-drivers-mtd-sm_ftl.ko-safe.cil.out.i.pp.cil.c unknown - - - unknown - - - unknown - - - unknown - - - unknown - - - unknown - - -
ldv-drivers/usb_urb-drivers-scsi-dc395x.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 22.72 12.79 2 timeout - - - timeout - - - out of native memory - - - timeout - - -
ldv-drivers/usb_urb-drivers-usb-serial-ir-usb.ko-safe.cil.out.i.pp.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-drivers/usb_urb-drivers-usb-serial-whiteheat.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 8.17 4.58 4 safe 91.94 66.92 256 timeout - - - safe 37.55 28.09 14 timeout - - -
ldv-drivers/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko-safe.cil.out.i.pp.cil.c unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - - unsafe - - -
ldv-drivers/usb_urb-drivers-vhost-vhost_net.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 17.01 8.96 2 safe 263.35 169.42 200 timeout - - - safe 32.85 17.16 2 timeout - - -
ldv-drivers/usb_urb-drivers-video-arkfb.ko-safe.cil.out.i.pp.cil.c timeout - - - safe 12.66 6.20 2 safe 95.54 58.39 124 out of memory - - - safe 15.26 7.61 4 timeout - - -
total files 277 5154.31 4777.22 37686 277 4191.11 3631.49 3569 277 6648.81 4512.55 13351 277 2469.47 2097.37 5910 277 3677.86 3225.08 2564 277 4892.52 3382.90 1661
correct results 124 5154.31 4777.22 37686 182 4191.11 3631.49 3569 168 6648.81 4512.55 13351 139 2469.47 2097.37 5910 176 3677.86 3225.08 2564 196 4892.52 3382.90 1661
false negatives 4 0 0 0 4 0 0 0 0 0 0 0 4 0 0 0 4 0 0 0 0 0 0 0
false positives 22 0 0 0 17 0 0 0 19 0 0 0 22 0 0 0 17 0 0 0 19 0 0 0
score (277 files, max score: 435) 126 230 216 143 217 258