Tool CPAchecker 1.5-svn 20406
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 4
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-35-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-04-30 21:39:17 CEST
Run set NONE LENGTH_MIN LENGTH_MAX DOMAIN_MIN DOMAIN_MAX WIDTH_MIN WIDTH_MAX PIVOT_MIN PIVOT_MAX RANDOM DOMAIN_MIN,WIDTH_MIN WIDTH_MIN,DOMAIN_MIN
Options -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=NONE -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=LENGTH_MIN -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=DOMAIN_MIN,LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=DOMAIN_MAX,LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=WIDTH_MIN,LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=WIDTH_MAX,LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=PIVOT_MIN,LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=PIVOT_MAX,LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=RANDOM -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=DOMAIN_MIN,WIDTH_MIN,LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=WIDTH_MIN,DOMAIN_MIN,LENGTH_MAX
test/programs/benchmarks/ status cputime (s) status cputime (s) status cputime (s) status cputime (s) status cputime (s) status cputime (s) status cputime (s) status cputime (s) status cputime (s) status cputime (s) status cputime (s) status cputime (s)
bitvector/byte_add_false-unreach-call.i 96.5  105    98.4  110    98.1  93.1  92.0  103    91.7  101    103    93.5 
bitvector/byte_add_1_true-unreach-call.i 92.6  29.8  193    193    195    96.5  193    37.4  179    138    109    105   
bitvector/byte_add_2_true-unreach-call.i 90.5  94.7  181    42.3  195    28.9  208    179    193    123    29.5  26.3 
bitvector/gcd_1_true-unreach-call.i 3.26 3.49 3.30 3.65 3.57 3.64 3.43 3.47 3.69 3.48 3.64 3.63
bitvector/gcd_2_true-unreach-call.i 3.69 3.63 3.72 3.40 3.43 3.37 3.65 3.77 3.54 3.34 3.43 3.24
bitvector/gcd_3_true-unreach-call.i 3.50 3.46 3.66 3.70 3.58 3.26 3.74 3.51 3.67 3.40 3.24 3.60
bitvector/gcd_4_true-unreach-call.i 3.83 3.78 3.93 3.84 3.97 3.90 3.57 3.76 3.87 3.85 3.68 3.75
bitvector/interleave_bits_true-unreach-call.i 3.88 5.09 3.85 3.67 3.88 4.07 3.51 4.30 3.96 3.63 3.76 4.08
bitvector/jain_1_true-unreach-call.i 3.47 3.45 3.34 3.52 3.72 3.50 3.30 3.13 3.55 3.53 3.51 3.30
bitvector/jain_2_true-unreach-call.i 3.34 3.57 3.28 3.64 3.67 3.23 3.46 3.31 3.49 3.50 3.16 3.47
bitvector/jain_4_true-unreach-call.i 3.39 3.31 3.42 3.27 3.42 3.27 3.67 3.38 3.28 3.70 3.61 3.56
bitvector/jain_5_true-unreach-call.i 903    902    903    903    903    903    903    902    903    903    903    902   
bitvector/jain_6_true-unreach-call.i 3.35 3.24 3.50 3.66 3.55 3.69 3.47 3.41 3.51 3.40 3.48 3.66
bitvector/jain_7_true-unreach-call.i 3.48 3.67 3.65 3.42 3.33 3.37 3.80 3.49 3.40 3.14 3.62 3.96
bitvector/modulus_true-unreach-call.i 3.48 3.30 3.48 3.56 3.78 3.47 3.65 3.55 3.50 3.59 3.43 3.44
bitvector/num_conversion_1_true-unreach-call.i 4.66 4.18 3.45 4.23 3.97 3.97 3.92 4.37 3.91 3.79 4.19 3.95
bitvector/num_conversion_2_true-unreach-call.i 3.54 3.91 3.54 3.85 3.62 3.71 3.99 3.48 3.69 3.66 3.53 3.91
bitvector/parity_true-unreach-call.i 3.51 3.58 3.59 3.33 3.67 3.48 3.60 3.65 3.44 3.50 3.56 3.60
bitvector/sum02_true-unreach-call.i 3.75 3.75 3.82 3.70 3.72 3.66 3.60 3.62 3.57 3.96 3.85 3.79
bitvector/s3_clnt_1_false-unreach-call.BV.c.cil.c 7.68 7.06 7.64 6.94 6.86 6.79 7.49 7.71 7.84 6.92 8.67 7.21
bitvector/s3_clnt_2_false-unreach-call.BV.c.cil.c 8.40 7.43 8.77 8.26 8.03 7.51 7.79 8.99 7.54 6.88 8.00 7.14
bitvector/s3_clnt_3_false-unreach-call.BV.c.cil.c 8.66 8.10 7.70 7.26 7.79 7.64 7.63 6.79 8.80 7.13 6.98 7.33
bitvector/s3_clnt_1_true-unreach-call.BV.c.cil.c 12.4  11.8  10.3  13.2  9.99 10.1  12.8  11.9  10.1  10.1  11.6  10.4 
bitvector/s3_clnt_2_true-unreach-call.BV.c.cil.c 11.3  14.4  10.5  14.1  10.5  10.7  14.4  13.4  10.5  12.7  13.6  10.0 
bitvector/s3_clnt_3_true-unreach-call.BV.c.cil.c 14.1  13.7  15.6  9.21 11.1  8.23 14.4  16.4  8.76 8.34 9.02 7.82
bitvector/s3_srvr_1_alt_true-unreach-call.BV.c.cil.c 16.7  14.4  16.8  16.5  12.5  16.1  13.4  11.7  15.9  15.9  15.2  15.1 
bitvector/s3_srvr_1_true-unreach-call.BV.c.cil.c 11.3  9.21 13.9  12.7  8.91 11.5  10.9  12.7  9.17 12.4  14.4  10.9 
bitvector/s3_srvr_2_alt_true-unreach-call.BV.c.cil.c 11.5  9.86 11.5  11.0  9.41 11.1  9.22 9.72 9.84 12.8  11.2  11.4 
bitvector/s3_srvr_2_true-unreach-call.BV.c.cil.c 10.2  8.48 10.0  12.6  9.40 10.3  8.45 9.25 9.39 11.0  9.83 10.5 
bitvector/s3_srvr_3_alt_true-unreach-call.BV.c.cil.c 10.8  8.58 10.5  12.1  9.17 9.19 9.39 11.9  10.0  8.88 14.0  10.0 
bitvector/s3_srvr_3_true-unreach-call.BV.c.cil.c 12.2  10.7  11.4  13.1  10.6  10.7  11.1  13.2  11.8  10.9  14.4  11.3 
bitvector/soft_float_1_true-unreach-call.c.cil.c 4.95 4.37 11.0  4.74 18.2  4.37 11.0  9.50 9.67 8.79 4.15 4.64
bitvector/soft_float_2_true-unreach-call.c.cil.c 6.46 5.93 14.6  5.61 22.7  6.75 15.5  14.3  17.6  12.6  5.65 6.64
bitvector/soft_float_3_true-unreach-call.c.cil.c 5.74 7.14 13.3  6.79 20.6  6.43 14.4  14.5  11.9  7.41 6.89 6.39
bitvector/soft_float_4_true-unreach-call.c.cil.c 4.44 4.39 10.1  4.46 17.3  4.80 9.52 8.78 10.0  4.52 4.47 4.44
bitvector/soft_float_5_true-unreach-call.c.cil.c 6.15 5.83 13.8  5.71 22.7  5.86 15.8  14.1  15.7  12.9  5.59 6.70
bitvector-regression/implicitfloatconversion_false-unreach-call.i 3.39 3.31 3.57 3.35 3.43 3.62 3.41 4.37 3.47 3.50 3.40 3.25
bitvector-regression/implicitunsignedconversion_false-unreach-call.i 3.09 3.37 3.17 3.09 3.65 3.46 3.30 3.26 3.59 3.69 3.56 3.21
bitvector-regression/integerpromotion_false-unreach-call.i 3.74 3.99 3.98 4.15 3.77 3.78 4.50 4.11 3.87 3.85 3.69 3.98
bitvector-regression/signextension2_false-unreach-call.i 3.70 4.44 4.08 4.35 3.94 4.31 4.04 3.81 4.05 3.97 4.05 4.21
bitvector-regression/signextension_false-unreach-call.i 4.15 4.27 4.11 4.45 4.38 4.21 3.83 3.81 4.08 3.85 4.35 4.24
bitvector-regression/implicitunsignedconversion_true-unreach-call.i 3.68 3.37 3.60 3.61 3.36 3.48 3.51 3.63 3.34 3.83 3.56 3.42
bitvector-regression/integerpromotion_true-unreach-call.i 3.64 4.07 4.02 3.95 3.68 3.80 4.09 3.89 4.45 3.91 3.80 4.02
bitvector-regression/signextension2_true-unreach-call.i 4.36 4.04 4.46 4.16 4.23 3.95 4.08 3.99 4.16 4.39 4.17 3.84
bitvector-regression/signextension_true-unreach-call.i 4.58 4.13 4.36 3.96 4.29 4.28 4.17 4.48 3.93 4.18 4.05 4.26
bitvector-loops/diamond_false-unreach-call2.i 4.21 4.10 4.05 4.22 3.96 4.21 4.29 4.05 3.94 4.09 4.26 4.15
bitvector-loops/overflow_false-unreach-call1.i 902    902    902    903    903    902    902    902    902    903    902    902   
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 3.59 3.92 3.78 4.03 4.00 3.94 3.75 3.86 3.92 3.97 4.11 3.91
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c 20.6  17.8  16.2  19.9  17.1  20.1  15.0  14.8  17.0  18.2  18.8  16.2 
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c 17.8  14.8  18.5  16.2  16.8  16.1  17.2  16.3  15.4  16.5  17.1  14.4 
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c 24.1  21.6  21.3  22.6  20.1  18.9  17.1  17.6  20.9  20.1  22.4  18.6 
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c 15.6  13.3  14.4  15.8  12.6  12.9  14.7  15.1  14.4  12.0  15.8  13.0 
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c 29.0  29.1  28.7  28.2  30.1  30.8  30.3  25.8  28.0  30.3  27.4  29.1 
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c 25.3  24.8  21.9  17.6  23.1  25.8  22.8  20.8  21.3  24.5  23.6  26.2 
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c 21.8  18.2  14.1  15.5  16.7  14.7  19.5  17.1  17.8  18.3  17.0  14.9 
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c 20.3  22.7  18.4  17.7  22.6  21.6  17.9  19.8  17.2  20.9  20.1  19.4 
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c 8.62 7.62 8.05 8.88 6.86 8.48 8.68 8.78 7.07 8.26 8.90 8.20
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c 9.13 9.28 11.0  11.3  8.21 9.54 11.4  10.9  9.31 10.6  12.4  11.2 
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 7.98 5.89 7.40 7.39 5.94 7.02 5.70 6.02 7.04 7.29 6.86 7.40
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 9.31 6.27 7.76 7.13 6.14 6.76 6.14 6.25 7.08 7.76 7.24 7.58
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 7.65 6.08 7.45 8.28 6.07 7.89 6.18 6.98 7.88 6.23 7.78 7.39
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 8.18 6.16 7.77 7.54 6.12 7.59 5.93 7.00 7.58 7.01 7.95 8.18
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 16.2  15.3  16.7  18.3  14.0  18.2  14.8  14.9  14.5  17.6  16.7  17.2 
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 14.0  10.6  13.5  13.5  10.6  13.8  9.99 11.0  13.8  11.1  14.6  13.6 
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 19.7  16.7  17.5  17.2  14.9  17.3  17.4  17.3  17.4  15.9  19.8  18.6 
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 16.8  14.1  16.8  16.9  14.3  16.2  13.9  14.4  20.1  16.6  15.8  16.2 
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 17.3  15.5  17.4  20.4  14.0  15.9  15.3  16.9  18.4  13.2  18.7  18.6 
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 8.03 5.04 7.25 6.77 5.54 8.76 5.26 5.56 7.25 5.15 6.64 6.50
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 7.27 5.61 6.84 6.53 5.23 6.81 5.36 5.47 6.24 6.85 7.50 6.54
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 4.47 4.81 4.80 5.01 4.81 4.76 4.99 4.99 5.20 4.66 5.38 5.07
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 9.47 10.2  9.91 11.3  8.32 9.09 11.4  10.4  10.0  8.31 10.6  9.08
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 9.53 11.3  10.6  12.1  9.02 8.55 12.3  10.1  9.73 9.18 11.0  10.3 
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 11.2  10.1  9.96 11.7  8.71 10.4  10.9  13.0  9.99 13.6  12.1  11.0 
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 11.1  11.2  8.98 12.4  7.80 8.71 15.7  11.3  9.49 12.7  11.8  9.59
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 10.6  10.7  12.3  12.0  9.71 11.8  9.36 12.5  9.90 8.70 14.3  10.6 
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c 5.23 4.75 4.79 5.14 4.64 4.75 4.98 4.65 5.01 4.73 5.04 4.35
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 4.04 4.41 4.19 4.48 4.51 4.14 4.48 4.16 3.82 4.10 4.10 3.86
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 8.92 8.33 8.33 8.68 8.46 9.76 8.23 7.76 11.1  8.48 9.45 9.47
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 10.2  8.57 12.8  14.6  9.10 10.6  10.0  13.4  9.60 10.9  13.4  9.28
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 10.3  8.07 10.8  9.97 8.48 10.7  8.63 7.92 10.2  9.36 9.25 11.0 
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 18.7  14.1  16.5  22.5  12.0  19.7  14.9  14.7  17.8  19.4  18.1  26.1 
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 15.7  11.8  15.7  13.3  11.5  13.3  10.6  11.8  13.8  14.6  13.0  12.9 
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 12.7  9.20 11.9  14.8  9.08 12.2  11.0  13.4  12.6  13.1  17.7  12.2 
locks/test_locks_14_false-unreach-call.c 5.02 5.25 3.82 3.82 4.01 3.98 4.00 4.14 3.77 4.05 4.02 3.92
locks/test_locks_15_false-unreach-call.c 3.95 3.99 4.09 4.20 4.25 4.29 4.09 3.93 3.85 3.92 3.61 3.82
locks/test_locks_10_true-unreach-call.c 42.9  46.9  47.8  43.7  51.2  43.4  49.0  46.5  43.6  48.8  41.3  42.2 
locks/test_locks_11_true-unreach-call_false-termination.c 133    134    132    106    113    125    138    137    134    109    125    123   
locks/test_locks_12_true-unreach-call_false-termination.c 389    446    458    429    400    514    433    490    502    494    414    411   
locks/test_locks_13_true-unreach-call.c 902    902    902    902    902    902    902    903    903    902    902    902   
locks/test_locks_14_true-unreach-call.c 902    902    902    902    902    902    902    902    902    902    902    902   
locks/test_locks_15_true-unreach-call_false-termination.c 902    902    902    902    902    902    902    902    902    902    902    902   
locks/test_locks_5_true-unreach-call_false-termination.c 6.04 5.80 6.12 6.45 6.32 6.16 6.18 6.60 6.19 5.72 6.17 6.57
locks/test_locks_6_true-unreach-call_false-termination.c 9.52 8.79 8.97 9.01 8.67 8.74 10.1  9.22 9.16 9.10 8.50 9.79
locks/test_locks_7_true-unreach-call_false-termination.c 12.2  12.4  11.7  10.5  11.8  12.4  12.7  11.7  12.9  13.6  11.5  11.6 
locks/test_locks_8_true-unreach-call_false-termination.c 15.3  17.4  16.4  16.5  15.8  17.5  14.5  16.4  14.2  14.1  16.4  16.3 
locks/test_locks_9_true-unreach-call.c 20.7  22.5  23.6  22.9  23.8  23.0  21.8  24.2  24.4  22.8  23.0  20.0 
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i 913    903    903    903    903    903    904    904    903    903    903    904   
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i 904    904    904    903    904    904    904    904    904    904    904    904   
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i 22.1  20.8  21.9  21.9  22.2  22.4  21.0  19.1  21.6  22.5  19.7  22.3 
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i 921    1000    978    960    1000    918    916    919    922    1000    1000    923   
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i 28.2  26.4  26.4  29.2  27.8  28.9  27.2  26.6  29.2  28.0  27.4  25.7 
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i 22.0  23.8  22.5  26.2  22.9  24.6  22.3  22.3  23.1  25.4  23.0  26.9 
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i 25.4  29.6  26.3  29.3  25.8  26.7  27.0  28.2  24.5  25.8  26.3  29.1 
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i 920    970    905    905    911    912    987    1000    905    916    905    911   
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i 922    1000    1000    1000    922    1000    1000    924    1000    962    1000    1000   
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i 9.09 7.78 8.75 8.10 8.43 8.81 8.49 8.71 8.53 8.58 8.19 8.29
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i 10.1  8.58 8.99 8.84 10.0  8.95 9.19 9.78 9.23 10.1  9.11 9.28
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i 903    918    916    916    918    913    914    922    920    915    921    915   
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i 13.6  11.6  13.6  12.1  12.4  13.4  12.5  12.3  13.7  13.0  13.3  13.4 
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i 15.8  18.8  19.8  17.7  18.9  17.9  18.1  18.3  17.9  18.4  17.1  18.1 
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i 908    909    906    910    906    910    910    908    910    910    911    911   
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i 12.3  13.6  9.79 10.0  13.0  13.0  11.0  10.7  14.1  12.6  10.9  13.6 
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i 30.6  33.5  29.2  30.0  33.2  34.1  30.1  31.3  30.2  31.4  30.8  33.4 
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i 105    81.3  38.8  36.5  82.9  73.9  40.1  39.3  44.1  38.0  37.2  76.3 
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i 907    940    30.1  30.0  936    904    28.4  28.1  1000    32.6  23.9  912   
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i 16.6  15.5  18.2  16.6  17.6  15.5  17.2  17.1  17.5  17.5  17.3  16.2 
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i 26.2  26.4  19.7  23.0  19.4  29.0  19.2  20.1  30.1  23.4  30.2  28.2 
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i 52.8  46.5  49.6  48.0  49.0  53.1  45.8  50.0  46.8  49.1  47.8  47.3 
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i 7.10 7.05 6.79 6.40 6.89 6.81 6.49 6.61 6.75 7.20 7.27 6.97
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i 19.4  20.5  15.1  15.0  22.4  19.6  15.7  15.9  18.3  21.9  17.8  19.7 
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i 21.5  20.7  21.0  21.3  22.2  20.5  20.6  23.0  24.9  21.9  22.4  20.5 
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i 904    904    904    904    904    904    903    904    904    904    904    904   
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i 23.3  21.6  20.2  26.4  22.1  20.8  20.6  23.0  20.7  22.3  21.9  21.5 
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i 32.1  34.5  33.9  34.0  36.1  34.0  32.0  31.5  35.9  35.5  36.8  37.3 
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i 24.5  25.1  25.5  24.3  22.9  26.5  26.8  26.6  23.7  24.0  25.1  25.1 
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i 25.6  26.2  26.0  28.0  30.1  29.2  28.4  28.6  32.7  27.2  28.9  28.3 
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i 8.02 7.72 8.09 8.03 8.18 7.92 7.59 7.67 7.86 8.77 7.73 8.52
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i 26.1  23.5  25.0  26.9  27.5  22.8  22.4  25.4  25.2  24.3  23.0  24.0 
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i 38.2  27.7  28.1  37.2  37.2  39.7  35.7  31.6  39.4  26.8  38.7  38.9 
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i 21.2  23.0  20.2  20.1  19.5  18.8  19.0  18.0  22.1  18.7  20.0  17.8 
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i 50.6  41.6  47.2  42.0  44.5  44.5  48.0  51.7  39.1  38.4  41.2  47.1 
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i 35.0  34.4  37.1  32.5  34.6  34.1  39.7  37.6  36.6  36.5  35.5  35.3 
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i 908    907    923    907    942    909    908    908    911    909    907    908   
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i 21.9  23.2  933    21.1  940    21.1  904    904    24.8  21.8  21.9  22.4 
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i 902    902    902    902    902    902    902    902    902    902    902    902   
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i 25.8  29.2  32.3  32.0  30.1  29.7  33.3  29.1  28.5  31.4  30.8  29.5 
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i 20.5  20.0  23.6  21.5  24.4  21.9  25.4  20.4  21.0  20.4  22.8  23.6 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c 48.1  43.6  44.9  44.7  43.0  43.7  43.8  46.2  43.7  43.7  42.4  44.1 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.1  10.3  9.91 11.2  9.94 10.2  10.3  10.9  10.7  10.4  10.9  9.90
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 26.6  25.2  26.9  26.0  25.6  24.9  25.8  25.6  23.8  25.8  27.1  24.7 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c 20.5  22.6  20.1  21.8  20.4  20.9  22.2  18.6  20.6  18.1  21.3  19.1 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 31.1  34.2  31.5  32.2  31.6  31.5  30.0  30.0  32.2  31.5  34.1  30.6 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 35.8  37.6  39.3  36.5  32.6  38.0  33.3  36.2  37.4  35.9  37.9  38.2 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.4  11.4  11.9  12.3  12.7  11.3  11.8  11.3  11.7  11.5  11.2  11.7 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 21.4  21.6  18.0  16.9  22.4  22.3  16.6  16.2  21.9  15.9  18.8  21.6 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 16.6  16.2  17.4  19.7  17.7  15.7  18.0  17.3  17.1  17.4  17.1  16.9 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 19.4  22.6  21.2  20.1  21.8  22.9  22.7  22.3  21.6  22.3  20.5  22.9 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.5  17.7  17.4  17.0  16.8  18.5  17.2  17.7  16.8  17.4  17.4  16.7 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c 39.6  41.0  41.4  37.8  45.6  39.5  36.1  38.1  39.9  38.3  38.5  37.3 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 21.8  23.4  25.6  25.7  24.9  24.9  28.0  24.2  25.8  25.0  24.0  22.9 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.38 9.44 9.31 9.07 8.99 8.85 9.27 9.04 9.29 8.97 8.50 8.95
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 20.8  20.5  19.2  18.7  19.7  18.9  18.8  21.8  20.4  19.1  20.1  18.6 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 25.0  25.8  22.5  24.6  25.7  24.6  28.8  27.0  24.7  25.7  24.9  25.2 
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 98.3  82.2  96.1  89.9  105    65.2  87.5  81.5  87.7  97.0  70.2  109   
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c 35.6  36.8  34.4  35.6  35.6  35.6  38.1  35.0  33.0  36.0  34.3  36.3 
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 33.2  35.2  35.1  33.1  33.1  35.1  34.8  39.8  33.6  33.4  33.1  30.9 
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 907    911    911    912    910    907    911    921    909    909    908    908   
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 22.6  20.7  21.0  22.0  23.3  21.5  19.5  20.8  21.6  22.6  21.6  22.7 
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 36.0  910    41.0  36.3  947    41.1  910    911    43.4  910    39.5  39.1 
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 48.3  100    45.7  43.2  159    117    55.8  106    44.6  125    40.2  103   
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.80 6.96 6.69 7.02 7.34 7.21 6.71 6.65 7.08 6.86 6.83 6.85
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.55 5.35 5.50 5.63 5.92 5.46 5.57 5.23 6.18 5.98 5.72 5.80
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.27 6.37 5.40 7.63 6.12 6.08 6.50 5.87 6.50 5.95 5.65 6.15
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.40 5.86 5.47 5.86 5.85 6.60 5.43 5.31 6.13 6.64 6.04 6.34
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.17 6.08 5.88 6.15 5.92 6.31 6.01 7.93 6.85 6.22 5.89 6.27
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.43 6.96 7.05 7.16 6.78 6.60 6.85 7.08 6.62 6.71 7.44 6.69
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.87 6.54 6.74 5.98 6.27 6.79 6.94 6.46 6.30 7.15 7.20 7.25
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.18 9.19 7.28 7.33 8.25 8.53 7.21 7.87 8.67 8.46 7.46 8.74
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 271    99.9  6.33 6.46 126    122    6.31 6.59 95.5  6.43 6.42 129   
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.79 5.80 5.82 5.85 5.65 5.73 5.58 5.18 5.52 5.79 5.68 6.05
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.48 5.36 5.23 5.13 5.07 5.73 5.32 5.01 5.60 5.36 5.19 5.06
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.55 6.34 6.85 6.62 6.30 6.72 6.74 6.71 6.90 6.38 6.45 6.51
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.2  21.0  19.6  18.4  19.4  18.4  19.1  19.0  19.7  18.5  19.4  17.6 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.36 7.96 8.37 8.33 8.63 8.81 8.94 7.85 8.17 8.67 9.37 8.52
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.84 10.7  9.91 9.99 10.1  11.2  10.8  9.81 10.6  9.29 11.2  10.2 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 16.2  18.3  15.4  16.3  15.7  16.6  17.0  14.7  15.1  14.7  13.4  16.6 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.7  11.8  11.2  11.2  11.9  11.0  11.6  12.2  11.4  11.2  11.6  11.9 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.75 6.63 6.08 6.47 6.41 6.21 6.33 6.23 5.93 6.05 6.37 6.56
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.62 8.31 7.79 7.07 8.27 7.66 7.61 8.11 7.45 7.40 7.65 7.51
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.5  15.8  15.6  15.8  16.6  15.8  15.1  14.2  15.0  16.0  14.5  15.7 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.5  14.0  13.7  17.9  15.8  14.2  16.2  15.8  15.2  13.5  14.5  15.2 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 14.6  13.9  13.9  14.8  15.2  16.2  14.0  14.8  14.9  13.9  13.9  14.5 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.41 6.27 6.41 5.94 6.41 6.18 6.45 6.23 5.79 6.47 6.31 6.33
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.5  11.9  11.0  11.4  13.2  11.1  12.4  12.6  12.2  12.2  11.7 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 23.5  21.0  22.4  21.1  21.7  23.4  22.8  23.3  23.1  21.3  23.3  23.3 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.60 5.26 5.60 5.27 5.46 5.47 5.07 5.46 5.16 5.32 5.88 5.52
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.29 7.05 6.66 6.39 6.73 8.13 6.84 6.83 6.88 6.80 7.53 6.94
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.41 5.51 5.34 5.18 5.52 5.86 5.12 5.51 5.80 5.37 5.39 5.79
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.72 7.59 7.67 7.38 7.08 7.15 6.92 7.64 7.31 7.49 7.44 7.00
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.17 7.32 7.65 7.30 7.39 7.34 7.71 7.26 6.95 7.86 7.11 7.33
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.54 4.44 4.39 6.64 4.99 4.81 4.68 4.68 4.99 5.02 4.76 5.05
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.49 4.46 4.39 4.55 4.13 4.55 4.67 4.56 4.28 4.60 4.09 4.37
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.30 9.10 8.62 9.31 8.14 9.44 7.92 7.43 8.78 8.94 7.90 7.82
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.13 6.12 5.82 5.12 5.63 5.06 4.86 5.31 5.36 5.01 5.21 5.17
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.9  14.7  13.7  13.4  15.0  14.8  12.8  13.3  14.7  13.4  13.5  15.3 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.64 5.02 4.50 5.06 5.00 5.49 5.12 5.07 5.17 5.26 5.13 5.04
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.82 5.66 5.79 5.54 5.49 5.59 5.50 5.96 5.57 6.00 6.09 5.58
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.35 5.66 5.08 5.61 5.40 5.38 5.33 5.65 5.40 5.63 5.56 5.11
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.49 5.45 7.24 5.99 5.86 6.12 5.56 5.69 6.00 5.77 5.55 5.79
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.46 5.25 5.40 4.95 5.37 5.23 4.87 5.13 5.67 5.07 5.04 5.50
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.48 5.69 5.99 5.35 5.66 5.86 5.88 5.35 5.18 5.60 5.79 5.79
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.63 6.78 6.55 6.45 6.82 6.57 6.97 6.68 7.18 6.69 6.67 6.38
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.70 8.78 8.81 8.66 8.98 7.60 8.32 8.88 8.73 8.77 8.90 8.04
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.72 5.38 5.37 5.62 6.02 5.99 5.62 5.43 5.83 6.32 5.84 5.72
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.70 5.34 5.54 5.42 5.39 5.49 5.15 5.24 5.38 5.55 5.41 5.56
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.38 5.62 5.52 5.73 6.75 5.77 5.58 5.63 5.47 5.63 5.51 5.53
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.70 6.08 5.93 6.40 6.09 5.78 5.93 5.92 5.89 5.76 5.95 6.14
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.17 5.10 5.28 5.12 5.70 4.98 5.27 5.18 5.27 5.44 5.45 4.93
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.45 5.47 5.41 6.06 5.51 5.54 5.36 5.64 5.52 5.59 5.64 5.82
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.47 5.87 6.31 6.15 5.68 5.74 6.12 6.23 6.39 5.99 5.76 5.86
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.77 5.55 5.40 5.28 5.52 5.61 5.47 5.44 5.40 5.39 5.46 5.22
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.16 5.38 4.66 5.18 5.38 5.35 4.85 5.16 5.19 5.45 5.41 5.01
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.73 5.47 5.76 5.28 5.51 5.46 5.89 5.98 5.57 5.64 5.65 5.72
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.46 5.71 5.45 5.76 5.66 5.58 5.36 5.78 5.62 5.23 5.25 5.49
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.91 5.05 5.14 5.07 5.30 4.92 5.16 5.17 5.05 5.31 5.29 5.13
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.78 5.90 5.67 5.94 6.07 6.09 5.91 6.49 5.69 6.69 6.31 6.31
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.33 5.05 5.60 5.56 5.43 5.94 5.39 5.87 6.06 5.27 5.29 5.39
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.24 5.19 5.37 5.46 5.30 5.22 4.96 5.13 5.09 5.31 7.50 4.94
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.76 6.73 6.76 7.11 7.66 6.92 6.63 6.92 6.63 6.72 7.08 6.56
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.98 5.80 5.38 5.44 5.58 5.45 5.44 5.96 5.55 5.26 5.64 5.44
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.30 5.37 5.38 5.35 5.53 6.22 5.42 5.74 5.73 5.25 5.75 5.82
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.77 5.41 5.62 5.59 6.76 5.55 5.36 5.57 5.56 5.79 5.85 5.91
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.35 6.17 6.00 6.11 6.19 6.36 6.61 6.83 6.32 5.92 6.41 6.35
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.48 7.45 7.00 7.29 6.81 7.05 6.70 6.96 7.23 7.33 8.23 6.80
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.49 5.19 5.73 5.29 5.44 5.50 5.51 5.79 5.54 5.49 5.71 5.53
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.8  10.3  9.64 9.95 9.81 11.1  11.3  10.4  9.45 11.3  11.1  9.76
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.10 5.88 6.41 6.22 6.23 5.98 6.17 5.61 5.80 5.85 6.07 6.09
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.62 6.73 6.24 6.75 6.57 6.96 6.63 6.49 6.50 6.43 6.87 6.80
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.93 6.01 5.93 5.89 5.77 5.67 5.83 6.06 6.56 5.76 5.94 5.79
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 14.3  16.7  15.7  16.8  16.2  16.4  14.7  15.3  16.3  15.3  16.4  14.8 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.45 6.15 5.85 6.00 6.61 5.68 6.26 6.11 5.98 5.99 6.36 6.48
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.59 6.15 6.50 6.18 6.02 6.31 6.50 6.56 6.72 6.35 6.21 5.94
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.98 5.78 5.42 5.32 5.42 5.81 5.68 5.70 6.03 5.43 5.31 5.74
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.10 6.10 6.34 5.83 6.25 5.97 6.19 6.37 6.05 6.93 6.09 6.14
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.04 5.13 5.29 5.08 4.91 5.15 5.09 5.15 5.61 4.98 5.41 5.24
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.24 5.47 5.71 5.49 5.11 5.20 5.73 5.77 5.90 5.33 5.08 5.26
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.36 7.01 6.91 6.70 7.30 7.49 6.46 7.13 7.20 6.37 6.40 6.96
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.6  11.8  11.8  12.2  11.7  10.9  12.1  10.8  11.1  13.1  11.6  12.0 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.3  9.88 9.67 8.53 9.80 9.83 9.23 8.37 9.92 8.78 9.88 9.36
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.43 6.22 6.60 6.20 6.09 6.39 6.43 6.55 6.60 6.20 6.84 6.64
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.58 6.58 6.28 6.19 6.65 6.62 6.52 6.61 6.13 6.71 6.42 6.95
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.59 5.98 6.08 5.50 6.10 6.00 6.35 6.17 5.76 6.31 6.03 6.07
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 20.7  17.4  17.1  20.2  18.8  19.3  17.9  21.0  19.9  20.5  16.8  17.7 
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.59 5.68 6.17 6.04 7.19 5.86 6.49 6.06 6.56 6.34 6.29 6.31
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.26 8.04 5.64 5.93 950    7.55 6.55 5.47 7.74 6.64 5.76 7.33
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.20 5.55 6.04 6.04 6.28 5.99 5.97 5.79 5.84 5.87 6.65 5.95
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.46 6.46 6.72 6.96 6.27 6.85 6.40 6.38 6.24 6.20 6.27 6.31
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.33 6.30 6.55 6.25 6.15 6.50 6.28 6.01 6.28 6.29 5.82 6.33
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.86 6.14 5.81 5.46 5.90 5.99 6.23 6.22 6.06 6.09 6.07 6.00
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.53 7.93 6.95 6.81 7.49 7.48 6.73 6.91 7.13 6.85 6.77 7.67
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.88 5.71 6.27 5.84 5.50 6.19 5.91 5.84 6.21 5.89 6.04 6.05
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.20 6.79 6.26 6.09 6.12 6.06 6.14 6.19 5.88 6.17 6.59 6.25
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.67 6.16 5.61 6.07 5.82 5.86 5.99 5.62 5.41 5.65 5.71 5.54
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.40 6.26 6.10 6.19 6.16 6.07 6.53 6.37 6.42 6.15 6.08 5.96
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.75 5.30 5.77 6.13 5.86 6.16 5.97 5.79 6.45 5.52 5.98 5.88
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.60 5.94 5.78 5.98 5.83 5.80 5.59 5.75 5.89 5.82 5.98 6.00
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.69 6.14 5.67 5.76 6.04 6.06 5.41 5.94 6.01 5.68 5.43 5.99
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.90 5.74 5.20 5.32 5.65 5.58 5.49 5.77 6.04 5.33 5.56 5.21
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.83 5.89 5.75 5.84 5.20 5.97 5.78 5.67 5.76