Tool CPAchecker 1.5-svn 20406
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
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-34-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-03 09:32:57 CEST
Run set loops loops-long functions functions-long joins joins-long sbe sbe-long
Options -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.blk.alwaysAtLoops=true -setprop cpa.predicate.blk.alwaysAtFunctions=false -setprop cpa.predicate.blk.alwaysAtJoin=false -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.blk.alwaysAtLoops=true -setprop cpa.predicate.blk.alwaysAtFunctions=false -setprop cpa.predicate.blk.alwaysAtJoin=false -setprop cpa.predicate.refinement.prefixPreference=LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.blk.alwaysAtLoops=true -setprop cpa.predicate.blk.alwaysAtFunctions=true -setprop cpa.predicate.blk.alwaysAtJoin=false -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.blk.alwaysAtLoops=true -setprop cpa.predicate.blk.alwaysAtFunctions=true -setprop cpa.predicate.blk.alwaysAtJoin=false -setprop cpa.predicate.refinement.prefixPreference=LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.blk.alwaysAtLoops=true -setprop cpa.predicate.blk.alwaysAtFunctions=false -setprop cpa.predicate.blk.alwaysAtJoin=true -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.blk.alwaysAtLoops=true -setprop cpa.predicate.blk.alwaysAtFunctions=false -setprop cpa.predicate.blk.alwaysAtJoin=true -setprop cpa.predicate.refinement.prefixPreference=LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.blk.threshold=1 -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.refinement.prefixPreference=LENGTH_MAX
test/programs/benchmarks/ status cputime (s) #refs #prefixes status cputime (s) #refs #prefixes status cputime (s) #refs #prefixes status cputime (s) #refs #prefixes status cputime (s) #refs #prefixes status cputime (s) #refs #prefixes status cputime (s) #refs #prefixes status cputime (s) #refs #prefixes
bitvector/byte_add_false-unreach-call.i 12.0  5 0 13.2  5 9 12.0  5 0 13.2  5 9 55.4  12 0 58.5  13 21 67.7  12 0 75.0  12 33
bitvector/byte_add_1_true-unreach-call.i 10.9  5 0 12.9  5 9 10.2  5 0 13.3  5 9 52.8  12 0 56.3  13 21 64.0  12 0 76.2  12 33
bitvector/byte_add_2_true-unreach-call.i 11.0  5 0 12.7  5 9 12.2  5 0 12.6  5 9 51.3  12 0 54.2  13 21 63.6  12 0 86.5  12 37
bitvector/gcd_1_true-unreach-call.i 5.10 2 0 5.87 2 2 5.82 2 0 6.32 2 2 6.99 3 0 7.68 3 3 12.4  3 0 12.6  3 5
bitvector/gcd_2_true-unreach-call.i 5.67 3 0 4.84 3 3 3.98 2 0 5.52 2 2 6.56 3 0 7.58 3 3 13.4  3 0 13.4  3 3
bitvector/gcd_3_true-unreach-call.i 4.53 1 0 4.68 1 1 4.13 1 0 5.69 1 1 5.40 2 0 5.71 2 2 6.81 2 0 6.96 2 2
bitvector/gcd_4_true-unreach-call.i 10.7  5 0 10.0  5 5 13.1  5 0 12.6  5 5 12.5  5 0 12.3  5 5 17.6  5 0 16.3  5 8
bitvector/interleave_bits_true-unreach-call.i 19.5  16 0 21.6  16 16 18.5  16 0 17.9  16 16 20.6  16 0 20.4  16 16 22.0  16 0 24.1  16 16
bitvector/jain_1_true-unreach-call.i 4.11 2 0 3.54 2 2 4.48 2 0 4.52 2 2 3.60 2 0 4.40 2 2 5.24 2 0 5.40 2 2
bitvector/jain_2_true-unreach-call.i 4.17 2 0 4.35 2 2 4.53 2 0 4.61 2 2 4.27 2 0 4.59 2 2 4.77 1 0 4.86 1 1
bitvector/jain_4_true-unreach-call.i 4.47 2 0 4.43 2 2 4.71 2 0 4.71 2 2 4.50 2 0 4.69 2 2 4.96 1 0 5.18 1 1
bitvector/jain_5_true-unreach-call.i 902    9 0 901    9 9 901    8 0 901    8 8 901    8 0 901    8 8 901    8 0 902    8 8
bitvector/jain_6_true-unreach-call.i 4.52 2 0 4.71 2 2 4.77 2 0 5.06 2 2 4.72 2 0 4.14 2 2 5.51 1 0 5.86 1 1
bitvector/jain_7_true-unreach-call.i 3.65 2 0 4.60 2 2 4.59 2 0 4.76 2 2 4.34 2 0 4.80 2 2 5.08 1 0 5.04 1 1
bitvector/modulus_true-unreach-call.i 3.99 0 0 4.26 0 0 4.02 0 0 4.01 0 0 3.91 0 0 4.08 0 0 3.91 0 0 3.99 0 0
bitvector/num_conversion_1_true-unreach-call.i 6.83 8 0 7.39 8 8 7.68 8 0 8.35 8 8 9.11 8 0 9.47 8 8 11.1  8 0 11.0  8 8
bitvector/num_conversion_2_true-unreach-call.i 7.65 8 0 7.54 8 8 7.55 8 0 8.82 8 8 9.48 8 0 10.1  8 8 10.9  8 0 10.9  8 8
bitvector/parity_true-unreach-call.i 4.13 0 0 3.60 0 0 3.95 0 0 3.94 0 0 3.99 0 0 4.06 0 0 3.84 0 0 3.27 0 0
bitvector/sum02_true-unreach-call.i 4.46 2 0 4.45 2 2 4.60 2 0 3.97 2 2 4.83 3 0 4.81 3 3 5.25 3 0 6.10 3 3
bitvector/s3_clnt_1_false-unreach-call.BV.c.cil.c 27.6  4 0 30.5  4 4 37.6  5 0 48.4  5 5 54.5  17 0 59.0  15 53 44.2  17 0 71.9  17 102
bitvector/s3_clnt_2_false-unreach-call.BV.c.cil.c 42.7  3 0 40.3  4 4 58.0  4 0 44.9  4 4 52.3  17 0 72.3  16 73 50.1  17 0 71.3  16 134
bitvector/s3_clnt_3_false-unreach-call.BV.c.cil.c 14.3  3 0 14.1  3 3 13.1  3 0 14.0  3 3 16.6  5 0 17.9  5 6 15.7  5 0 26.1  7 23
bitvector/s3_clnt_1_true-unreach-call.BV.c.cil.c 30.8  5 0 33.8  5 5 28.5  5 0 34.7  5 5 56.1  17 0 57.5  15 53 45.9  17 0 69.8  17 102
bitvector/s3_clnt_2_true-unreach-call.BV.c.cil.c 34.5  3 0 33.4  3 3 32.1  3 0 39.0  3 3 49.8  17 0 68.1  16 73 48.1  17 0 66.4  16 134
bitvector/s3_clnt_3_true-unreach-call.BV.c.cil.c 901    5 0 901    5 5 244    3 0 901    4 4 73.0  25 0 901    21 96 83.4  25 0 902    11 81
bitvector/s3_srvr_1_alt_true-unreach-call.BV.c.cil.c 902    7 0 902    6 6 902    7 0 902    7 7 901    21 0 902    18 68 902    21 0 901    18 119
bitvector/s3_srvr_1_true-unreach-call.BV.c.cil.c 37.6  5 0 192    5 5 56.3  5 0 58.8  5 5 71.7  21 0 56.4  11 48 89.4  20 0 141    24 188
bitvector/s3_srvr_2_alt_true-unreach-call.BV.c.cil.c 111    4 0 85.9  4 4 106    5 0 901    7 7 75.1  19 0 84.6  20 102 106    18 0 56.9  9 50
bitvector/s3_srvr_2_true-unreach-call.BV.c.cil.c 41.0  5 0 82.6  5 5 215    5 0 138    5 5 77.8  19 0 84.2  20 102 107    18 0 59.3  9 50
bitvector/s3_srvr_3_alt_true-unreach-call.BV.c.cil.c 54.5  4 0 52.2  4 4 103    4 0 52.9  5 5 79.2  21 0 41.9  10 42 109    20 0 57.1  10 75
bitvector/s3_srvr_3_true-unreach-call.BV.c.cil.c 40.6  4 0 71.8  5 5 64.6  6 0 77.8  4 4 74.8  21 0 42.7  10 42 89.0  20 0 61.9  10 75
bitvector/soft_float_1_true-unreach-call.c.cil.c 6.84 1 0 7.18 1 1 6.36 1 0 6.60 1 1 21.5  5 0 54.7  7 12 33.9  5 0 901    20 83
bitvector/soft_float_2_true-unreach-call.c.cil.c 10.6  1 0 11.9  1 2 6.82 2 0 8.13 2 3 47.4  7 0 53.0  8 18 94.0  7 0 902    38 274
bitvector/soft_float_3_true-unreach-call.c.cil.c 9.94 1 0 12.0  1 2 7.96 2 0 7.92 2 3 8.06 3 0 12.8  4 14 9.24 3 0 902    37 260
bitvector/soft_float_4_true-unreach-call.c.cil.c 5.90 1 0 6.43 1 1 4.97 1 0 5.10 1 1 7.57 2 0 13.7  4 8 26.8  3 0 901    17 71
bitvector/soft_float_5_true-unreach-call.c.cil.c 9.85 1 0 11.6  1 2 7.63 2 0 7.65 2 3 41.1  7 0 54.0  8 18 47.5  7 0 901    38 267
bitvector-regression/implicitfloatconversion_false-unreach-call.i 3.07 0 0 3.59 0 0 3.62 0 0 3.60 0 0 3.74 0 0 3.23 0 0 3.77 0 0 3.83 0 0
bitvector-regression/implicitunsignedconversion_false-unreach-call.i 3.59 3.01 2.85 3.51 3.61 3.04 3.77 1 0 3.88 1 1
bitvector-regression/integerpromotion_false-unreach-call.i 4.24 0 0 4.48 0 0 4.18 0 0 4.19 0 0 3.53 0 0 4.33 0 0 4.22 0 0 4.33 0 0
bitvector-regression/signextension2_false-unreach-call.i 3.36 4.03 3.89 4.01 3.44 4.21 4.32 1 0 4.36 1 2
bitvector-regression/signextension_false-unreach-call.i 3.98 4.20 4.10 3.49 4.20 4.09 4.27 1 0 3.67 1 3
bitvector-regression/implicitunsignedconversion_true-unreach-call.i 3.81 0 0 3.66 0 0 3.88 0 0 3.67 0 0 3.71 0 0 3.68 0 0 3.68 0 0 3.73 0 0
bitvector-regression/integerpromotion_true-unreach-call.i 4.28 0 0 4.23 0 0 4.12 0 0 4.23 0 0 3.70 0 0 4.50 0 0 3.52 0 0 4.41 0 0
bitvector-regression/signextension2_true-unreach-call.i 3.73 0 0 4.40 0 0 3.76 0 0 4.51 0 0 3.70 1 0 3.74 1 1 4.55 1 0 4.11 1 1
bitvector-regression/signextension_true-unreach-call.i 4.29 0 0 4.29 0 0 3.69 0 0 4.29 0 0 4.34 0 0 4.28 0 0 4.23 0 0 3.58 0 0
bitvector-loops/diamond_false-unreach-call2.i 14.9  7 0 18.2  7 7 17.4  7 0 19.2  7 7 37.6  9 0 35.9  9 9 41.1  9 0 617    49 627
bitvector-loops/overflow_false-unreach-call1.i 3.89 1 0 3.96 1 1 3.13 1 0 3.73 1 1 3.85 1 0 3.82 1 1 3.53 1 0 3.84 1 1
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 3.88 3 0 18.0  12 12 4.60 3 0 17.3  12 12 4.77 3 0 17.1  12 12 18.7  13 0 4.05 2 4
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c 24.5  1 0 28.4  1 1 36.9  10 0 41.5  13 18 61.9  16 0 64.9  19 33 100    18 0 132    20 36
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c 17.7  2 0 19.9  2 2 54.6  18 0 57.6  18 19 316    33 0 201    30 50 901    22 0 901    24 42
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c 24.0  3 0 26.1  3 3 81.2  22 0 69.2  22 23 901    33 0 901    31 52 902    22 0 902    23 42
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c 10.5  0 0 11.8  0 0 46.4  13 0 47.3  13 14 115    17 0 111    16 24 901    14 0 901    14 23
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c 26.2  1 0 28.0  1 1 901    22 0 902    23 28 902    21 0 901    23 33 901    16 0 902    19 30
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c 25.6  2 0 22.4  2 2 901    24 0 902    25 31 902    21 0 901    20 34 902    23 0 902    21 43
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c 17.0  2 0 19.1  2 2 60.7  19 0 63.0  19 20 307    33 0 241    32 52 901    22 0 901    24 42
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c 20.3  2 0 23.5  2 2 95.0  23 0 76.5  23 24 901    33 0 901    31 52 901    22 0 901    23 42
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c 5.15 5.11 14.8  8 0 17.8  8 8 39.2  12 0 43.7  11 27 51.7  13 0 53.6  12 43
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c 6.32 7.04 20.5  9 0 21.7  9 10 50.8  13 0 49.3  12 18 49.3  14 0 52.9  13 22
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 17.5  3 0 22.2  3 3 15.6  2 0 16.3  2 2 35.5  15 0 55.8  13 42 35.2  16 0 49.4  11 57
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 16.3  3 0 22.0  3 3 19.3  3 0 21.6  3 3 35.8  15 0 53.2  13 42 48.9  16 0 53.8  11 57
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 16.4  3 0 22.8  3 3 17.7  3 0 20.5  3 3 39.2  15 0 56.5  13 42 52.8  16 0 54.6  11 57
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 18.2  3 0 20.9  3 3 19.7  3 0 17.8  3 3 38.2  15 0 53.1  13 42 48.5  16 0 56.0  11 57
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 7.12 0 0 7.79 0 0 7.42 0 0 7.70 0 0 79.0  25 0 89.0  21 124 184    29 0 368    28 394
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 561    5 0 545    5 5 97.5  5 0 57.9  4 4 122    23 0 111    23 108 159    27 0 139    24 125
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 27.0  2 0 29.4  2 2 471    3 0 218    3 3 416    32 0 336    39 351 901    35 0 655    38 662
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 29.8  3 0 31.6  3 3 39.1  3 0 34.1  3 3 145    28 0 114    26 109 269    32 0 257    29 221
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 11.7  1 0 13.2  1 1 10.5  1 0 11.2  1 1 105    28 0 104    24 233 649    51 0 375    33 484
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 12.5  2 0 14.7  2 2 12.6  2 0 14.0  2 2 20.4  8 0 36.6  7 19 33.1  8 0 45.6  7 35
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 10.4  2 0 13.0  2 2 11.8  2 0 14.0  2 2 19.5  8 0 34.8  7 19 34.5  8 0 50.3  7 35
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 6.36 0 0 5.09 0 0 5.76 0 0 4.30 0 0 6.76 1 0 5.90 1 1 6.09 1 0 7.74 1 1
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 44.5  5 0 42.9  5 5 31.3  3 0 36.1  3 3 61.8  26 0 80.1  19 114 65.0  27 0 82.8  18 187
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 25.8  3 0 30.1  3 3 44.0  4 0 40.1  4 4 73.1  27 0 83.2  21 106 88.1  25 0 98.9  19 174
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 27.6  3 0 32.9  3 3 57.6  5 0 49.0  5 5 77.6  27 0 95.5  21 117 76.4  25 0 109    18 182
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 37.1  5 0 63.0  5 5 45.0  4 0 41.6  4 4 69.9  26 0 78.5  18 87 87.6  25 0 71.3  17 144
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 46.3  3 0 54.2  3 3 49.3  3 0 45.0  3 3 79.8  21 0 63.9  13 66 89.9  20 0 193    23 251
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c 23.2  5 0 25.2  5 5 23.4  5 0 25.0  5 5 29.1  11 0 31.0  11 22 29.3  11 0 29.8  9 48
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 5.64 3 0 6.49 3 3 5.50 3 0 6.32 3 3 8.36 6 0 9.46 6 17 9.89 6 0 12.7  7 22
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 417    5 0 901    5 5 51.7  4 0 48.5  4 4 82.7  21 0 77.7  19 93 104    22 0 74.6  13 87
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 42.5  5 0 46.6  5 5 67.2  5 0 69.6  5 5 79.0  21 0 49.2  10 42 94.7  20 0 137    23 191
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 51.6  5 0 53.3  5 5 52.9  3 0 49.4  3 3 64.4  22 0 53.8  12 46 84.6  21 0 80.6  15 100
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 901    4 0 901    4 4 901    4 0 913    4 4 176    30 0 100    25 341 278    29 0 339    28 658
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 107    6 0 81.9  6 6 59.8  4 0 78.7  4 4 78.0  27 0 69.3  16 91 133    27 0 150    21 206
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 54.0  3 0 60.8  3 3 523    4 0 163    4 4 80.9  23 0 55.6  15 109 96.3  22 0 209    25 354
locks/test_locks_14_false-unreach-call.c 4.19 0 0 4.25 0 0 4.82 0 0 5.02 0 0 3.65 0 0 4.52 0 0 4.47 0 0 4.70 0 0
locks/test_locks_15_false-unreach-call.c 5.25 0 0 5.42 0 0 5.29 0 0 5.26 0 0 4.57 0 0 3.79 0 0 4.46 0 0 4.90 0 0
locks/test_locks_10_true-unreach-call.c 4.43 4.16 4.34 4.14 175    20 0 185    20 20 259    20 0 276    20 20
locks/test_locks_11_true-unreach-call_false-termination.c 4.23 3.63 4.32 4.27 510    22 0 567    22 22 860    22 0 876    22 22
locks/test_locks_12_true-unreach-call_false-termination.c 3.63 3.84 4.33 4.30 902    23 0 902    23 23 902    22 0 902    22 22
locks/test_locks_13_true-unreach-call.c 4.44 4.34 4.33 3.75 902    25 0 902    23 23 902    22 0 902    21 21
locks/test_locks_14_true-unreach-call.c 3.85 3.80 4.34 4.44 901    23 0 902    23 23 902    21 0 902    21 21
locks/test_locks_15_true-unreach-call_false-termination.c 4.52 4.49 4.43 4.48 902    22 0 902    22 22 902    21 0 903    23 23
locks/test_locks_5_true-unreach-call_false-termination.c 3.86 3.92 3.88 3.97 21.2  10 0 22.6  10 10 24.5  10 0 25.6  10 10
locks/test_locks_6_true-unreach-call_false-termination.c 4.12 3.92 4.01 4.15 33.5  12 0 31.0  12 12 31.5  12 0 34.5  12 12
locks/test_locks_7_true-unreach-call_false-termination.c 4.03 3.48 3.22 4.06 37.3  14 0 36.4  14 14 36.2  14 0 42.6  14 14
locks/test_locks_8_true-unreach-call_false-termination.c 4.35 4.03 4.14 4.21 57.6  16 0 56.3  16 16 54.9  16 0 61.5  16 16
locks/test_locks_9_true-unreach-call.c 4.28 3.56 4.17 4.31 80.4  18 0 83.2  18 18 103    18 0 102    18 18
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i 33.4  2 0 32.7  2 2 31.5  4 0 34.7  4 4 36.3  4 0 38.0  5 10 38.5  4 0 44.0  5 10
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i 46.8  8 0 51.5  8 8 70.3  12 0 73.8  12 16 72.6  15 0 73.5  15 26 78.6  15 0 87.9  18 47
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i 14.4  0 0 14.3  0 0 14.5  0 0 13.6  0 0 29.8  10 0 66.5  17 55 33.6  10 0 63.4  17 55
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i 65.0  4 0 66.6  4 4 93.3  6 0 97.6  6 11 101    7 0 160    8 22 131    7 0 260    8 21
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i 35.4  2 0 37.0  2 2 29.9  2 0 34.0  2 2 49.5  5 0 53.9  6 11 60.8  5 0 61.8  4 5
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i 22.3  2 0 23.8  2 2 20.9  2 0 23.9  2 2 43.3  8 0 59.2  10 55 57.4  9 0 70.0  11 61
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i 85.5  45 0 98.3  35 39 134    34 0 140    34 36 130    36 0 138    37 45 193    36 0 224    38 49
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i 904    7 0 908    5 10 919    4 0 906    10 41 976    12 0 904    12 189 904    11 0 903    12 347
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i 939    1010    921    920    918    917    1010    1010   
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i 21.5  5 0 24.6  5 5 45.9  8 0 46.3  8 8 49.3  14 0 49.8  14 14 61.0  14 0 65.1  12 33
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i 118    44 0 130    44 45 901    46 0 901    33 56 594    56 0 585    56 108 901    54 0 901    51 202
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i 15.1  2 0 19.4  6 11 15.5  2 0 18.2  6 11 24.2  7 0 33.0  12 29 33.7  7 0 45.0  13 28
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i 80.3  23 0 82.4  23 23 282    20 0 292    29 46 903    28 0 771    38 96 902    22 0 902    23 98
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i 353    15 0 415    15 32 75.1  8 0 76.2  8 20 81.5  16 0 79.0  12 25 117    13 0 116    14 66
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i 40.8  7 0 43.5  7 7 47.1  8 0 45.2  6 11 85.3  17 0 114    21 63 212    19 0 271    22 107
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i 11.4  1 0 10.6  1 1 11.5  2 0 12.5  2 2 13.0  4 0 13.9  4 5 15.5  4 0 15.7  4 5
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i 916    918    66.6  1 0 62.7  1 1 44.0  1 0 43.3  1 1 48.8  1 0 47.8  1 1
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i 42.4  1 0 43.7  1 2 55.1  3 0 42.0  1 3 903    14 0 35.1  1 6 251    14 0 35.9  1 7
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i 1010    923    911    3 0 48.4  1 5 910    8 0 34.0  1 6 907    6 0 34.4  1 7
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i 20.7  1 0 20.5  1 2 27.5  1 0 25.3  1 1 17.9  1 0 17.8  1 1 18.7  1 0 19.5  1 1
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i 39.7  4 0 25.7  1 3 28.5  2 0 22.6  1 2 904    7 0 22.5  1 6 903    7 0 23.6  1 6
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i 67.1  1 0 68.4  1 1 48.7  1 0 52.9  1 1 47.5  1 0 46.2  1 1 46.5  1 0 52.0  1 1
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i 10.4  1 0 10.8  1 1 10.2  1 0 9.97 1 1 9.24 1 0 9.30 1 1 9.63 1 0 9.70 1 1
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i 45.1  3 0 24.6  1 4 41.5  3 0 16.9  1 2 18.0  2 0 14.9  1 2 21.6  2 0 16.9  1 3
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i 56.5  1 0 58.2  1 1 32.0  1 0 33.8  1 1 29.4  1 0 29.9  1 1 27.9  1 0 27.9  1 1
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i 7.97 2 0 8.10 2 2 9.67 2 0 9.78 2 2 13.3  4 0 14.2  4 4 19.8  4 0 15.1  4 5
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i 74.0  4 0 59.5  1 10 34.4  1 0 37.5  1 1 34.0  1 0 32.3  1 1 35.5  1 0 37.9  1 1
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i 485    3 0 837    10 30 62.2  1 0 58.7  1 1 51.3  1 0 48.0  1 1 43.3  1 0 47.3  1 1
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i 1010    1000    43.2  1 0 45.1  1 1 46.5  1 0 47.4  1 1 40.7  1 0 41.1  1 1
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i 978    1010    54.5  1 0 51.8  1 1 50.6  1 0 54.1  1 1 53.7  1 0 57.5  1 1
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i 21.3  7 0 23.9  7 7 16.9  6 0 17.7  6 6 36.8  12 0 36.9  12 12 44.4  12 0 39.5  9 27
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i 936    924    59.7  2 0 61.2  2 2 48.0  2 0 48.0  2 2 54.7  2 0 50.3  2 2
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i 284    2 0 272    2 2 63.2  2 0 64.5  2 2 44.7  2 0 46.5  2 2 48.5  2 0 48.7  2 2
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i 32.7  2 0 28.0  2 2 36.1  2 0 26.6  2 2 28.2  2 0 28.5  2 4 39.2  3 0 30.9  2 4
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i 949    941    121    2 0 118    2 2 75.7  2 0 69.3  2 2 72.8  2 0 75.4  2 2
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i 152    8 0 92.1  2 10 72.0  2 0 73.0  2 2 56.8  2 0 58.1  2 2 54.9  2 0 59.7  2 2
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i 13.4  4 0 11.4  4 4 30.8  11 0 16.4  3 8 56.2  16 0 24.0  4 21 71.0  17 0 54.9  12 73
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i 54.1  8 0 59.6  7 11 62.7  12 0 81.8  14 32 46.8  9 0 63.7  11 32 57.8  12 0 901    26 88
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i 1010    973    905    9 0 642    10 47 902    10 0 902    20 133 905    5 0 903    9 104
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i 254    2 0 267    2 2 61.7  2 0 63.5  2 2 49.0  2 0 49.9  2 2 48.9  2 0 49.7  2 2
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i 44.5  2 0 47.8  2 2 44.6  2 0 46.0  2 2 40.4  2 0 39.5  2 2 41.5  2 0 43.0  2 2
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 43.9  1 0 43.4  1 1 42.2  1 0 44.1  1 1 41.7  2 0 51.7  2 3 54.1  2 0 56.4  2 3
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 44.9  6 0 47.3  6 6 44.4  8 0 48.9  8 12 45.9  10 0 59.0  10 20 54.5  9 0 55.5  9 14
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 38.9  3 0 41.4  3 3 53.9  8 0 57.0  6 7 69.3  11 0 745    41 193 83.9  11 0 902    39 220
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 22.4  0 0 20.0  0 0 19.5  0 0 22.1  0 0 18.6  0 0 19.2  0 0 20.6  0 0 18.9  0 0
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.6  1 0 30.9  1 1 33.8  3 0 37.5  3 4 38.5  4 0 38.8  4 5 42.7  4 0 41.6  4 5
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 903    3 0 903    1 2 64.7  0 0 65.2  0 0 37.1  0 0 37.5  0 0 37.6  0 0 36.5  0 0
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 10.7  0 0 10.7  0 0 10.9  0 0 11.3  0 0 11.4  1 0 11.1  1 1 14.5  1 0 13.9  1 1
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 27.3  1 0 29.5  1 1 21.4  1 0 19.8  1 2 25.7  3 0 20.0  1 2 28.4  3 0 20.7  1 2
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.7  1 0 18.4  1 1 16.5  1 0 16.3  1 1 16.7  1 0 16.2  1 1 16.0  1 0 17.4  1 1
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 21.9  1 0 22.4  1 1 31.4  4 0 42.2  4 10 48.2  6 0 40.4  5 20 57.2  6 0 49.1  5 20
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 21.9  0 0 22.3  0 0 22.1  0 0 19.9  0 0 19.0  0 0 21.6  0 0 21.1  0 0 19.9  0 0
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 33.8  1 0 33.8  1 1 33.6  1 0 36.5  1 1 34.2  1 0 33.4  1 1 33.2  1 0 36.2  1 1
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 23.6  0 0 26.1  0 0 24.1  0 0 22.6  0 0 22.2  0 0 23.6  0 0 23.7  0 0 24.8  0 0
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 10.3  0 0 10.1  0 0 9.64 0 0 10.5  0 0 10.7  0 0 10.0  0 0 9.85 0 0 10.5  0 0
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 18.8  0 0 19.4  0 0 19.2  0 0 19.0  0 0 19.7  0 0 19.1  0 0 19.5  0 0 19.3  0 0
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.8  1 0 23.8  1 1 27.0  1 0 25.1  1 1 24.6  2 0 24.8  2 2 24.8  2 0 27.1  2 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 983    3 0 908    2 2 884    6 0 902    4 6 904    12 0 903    13 54 903    12 0 903    11 46
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 914    2 0 1010    89.6  1 0 89.9  1 1 44.4  1 0 47.8  1 1 44.1  1 0 46.7  1 1
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 56.6  1 0 58.0  1 1 904    9 0 903    16 33 114    7 0 903    15 34 899    10 0 905    8 25
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    2 0 907    1 8 904    7 0 909    4 31 912    5 0 904    11 146 908    4 0 905    6 110
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 26.5  5 0 42.1  5 5 30.8  6 0 42.5  6 11 47.2  10 0 62.6  10 45 56.4  12 0 71.6  11 49
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 1010    929    75.4  2 0 72.4  2 2 70.5  7 0 68.4  7 19 94.8  7 0 92.0  7 19
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 912    1 0 910    9 9 269    5 0 239    3 5 298    8 0 86.9  5 18 513    8 0 110    4 17
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 8.46 1 0 10.5  1 1 9.02 1 0 9.30 1 1 9.08 1 0 9.02 1 1 7.55 1 0 7.39 1 1
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 7.31 1 0 7.29 1 1 7.18 1 0 7.04 1 1 6.96 1 0 7.08 1 1 7.14 1 0 7.38 1 1
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.38 1 0 6.24 1 1 7.24 1 0 7.55 1 1 7.24 1 0 7.22 1 2 8.12 2 0 7.91 1 2
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 7.70 1 0 8.02 1 2 7.40 1 0 6.28 1 1 9.17 3 0 7.34 1 3 10.7  3 0 7.65 1 3
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 8.08 1 0 8.06 1 1 7.58 1 0 7.67 1 1 7.45 1 0 7.55 1 2 7.85 1 0 8.32 1 2
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 7.03 1 0 8.26 1 1 6.65 1 0 7.96 1 1 7.87 1 0 8.09 1 1 7.93 1 0 8.50 1 1
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.55 1 0 6.25 1 1 6.65 1 0 7.57 1 1 6.51 1 0 7.69 1 1 7.82 1 0 7.98 1 1
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 9.58 1 0 9.23 1 1 9.10 1 0 9.26 1 2 8.25 1 0 9.33 1 2 9.47 1 0 10.3  1 2
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 7.65 1 0 8.49 1 2 29.3  7 0 9.36 2 5 65.4  11 0 8.41 2 17 70.0  11 0 11.9  2 17
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 7.28 1 0 6.21 1 1 7.05 1 0 6.05 1 1 7.05 1 0 7.08 1 1 7.40 1 0 7.50 1 1
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 6.24 1 0 6.72 1 1 6.33 1 0 5.48 1 1 6.04 1 0 6.21 1 2 6.72 2 0 6.34 1 2
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 11.9  1 0 11.0  1 1 9.55 1 0 9.87 1 1 9.91 1 0 10.0  1 1 10.6  1 0 10.6  1 1
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 61.5  1 0 63.4  1 1 40.3  1 0 43.5  1 1 44.6  1 0 40.7  1 1 42.1  1 0 41.7  1 1
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 16.1  1 0 14.7  1 1 13.4  1 0 13.1  1 1 13.6  1 0 12.7  1 1 13.7  1 0 15.2  1 1
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 27.1  1 0 26.0  1 1 15.1  1 0 15.7  1 1 16.1  1 0 13.9  1 1 15.5  1 0 17.3  1 1
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 51.2  1 0 50.9  1 1 37.5  1 0 37.5  1 1 39.1  1 0 41.4  1 1 40.5  1 0 39.4  1 1
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 35.1  1 0 31.5  1 1 21.1  1 0 21.9  1 1 22.1  1 0 20.3  1 1 22.7  1 0 22.6  1 1
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 9.86 1 0 10.2  1 1 9.25 1 0 9.04 1 1 8.75 1 0 7.83 1 1 9.59 1 0 9.45 1 1
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 13.8  1 0 14.9  1 1 11.7  1 0 11.8  1 1 11.9  1 0 12.0  1 1 11.5  1 0 13.1  1 1
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 32.0  1 0 31.6  1 1 23.4  1 0 24.1  1 1 27.6  1 0 24.9  1 1 26.9  1 0 27.8  1 1
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 29.5  1 0 30.0  1 1 21.5  1 0 23.7  1 1 22.3  1 0 23.0  1 1 24.9  1 0 25.4  1 1
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 27.8  1 0 29.3  1 1 20.3  1 0 21.5  1 1 21.6  1 0 20.6  1 1 23.7  1 0 22.0  1 1
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 9.96 1 0 8.73 1 1 7.70 1 0 9.60 1 1 9.05 1 0 9.48 1 1 10.4  1 0 8.58 1 1
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 22.5  1 0 21.8  1 1 17.5  1 0 17.1  1 1 19.7  1 0 18.9  1 1 19.0  1 0 18.2  1 1
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 53.8  1 0 55.2  1 1 43.7  1 0 45.4  1 1 46.7  1 0 44.6  1 1 48.1  1 0 51.6  1 1
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 7.51 1 0 7.94 1 1 7.17 1 0 5.94 1 1 6.70 1 0 6.90 1 1 7.07 1 0 7.10 1 1
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 9.82 1 0 9.66 1 1 9.07 1 0 8.15 1 1 9.33 1 0 9.18 1 1 8.88 1 0 9.57 1 1
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 6.95 1 0 5.84 1 1 6.83 1 0 6.76 1 1 6.08 1 0 5.99 1 1 6.91 1 0 7.10 1 1
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 15.9  1 0 16.7  1 1 11.2  1 0 11.4  1 1 9.59 1 0 9.03 1 1 11.3  1 0 11.6  1 1
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 8.76 1 0 9.18 1 1 6.94 1 0 8.44 1 1 8.28 1 0 8.38 1 1 8.59 1 0 8.71 1 1
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 5.27 1 0 6.46 1 1 6.05 1 0 6.33 1 1 6.57 1 0 5.33 1 1 5.46 1 0 6.77 1 1
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.79 1 0 4.81 1 1 4.78 1 0 5.00 1 1 4.12 1 0 4.91 1 1 5.12 1 0 4.99 1 1
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 11.9  1 0 11.8  1 1 9.46 1 0 9.37 1 1 11.7  2 0 9.39 1 2 11.5  2 0 11.4  1 2
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.99 1 0 5.55 1 1 6.49 2 0 6.47 1 2 6.81 2 0 5.21 1 2 10.4  3 0 6.75 1 3
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 20.5  1 0 22.2  1 1 15.5  1 0 15.4  1 1 30.7  2 0 13.9  1 2 38.7  2 0 15.9  1 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 7.07 1 0 7.00 1 1 6.55 1 0 6.47 1 1 6.80 2 0 6.51 1 2 7.88 2 0 6.97 1 2
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 8.25 1 0 8.56 1 1 6.20 1 0 7.52 1 1 7.13 1 0 7.30 1 1 6.58 1 0 7.67 1 1
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 6.51 1 0 6.43 1 1 6.67 1 0 5.73 1 1 6.66 1 0 6.50 1 1 6.66 1 0 6.95 1 1
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 7.30 1 0 8.82 1 1 7.53 1 0 7.53 1 1 7.43 1 0 7.55 1 1 7.50 1 0 6.57 1 1
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 7.54 1 0 7.54 1 1 6.60 1 0 6.76 1 1 6.78 1 0 6.87 1 1 6.72 1 0 6.98 1 1
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 8.37 1 0 8.35 1 1 8.36 1 0 7.76 1 1 6.78 1 0 6.61 1 1 8.15 1 0 8.18 1 1
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.30 1 0 7.35 1 1 7.26 1 0 7.22 1 1 6.29 1 0 7.47 1 1 7.50 1 0 7.99 1 1
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 14.6  1 0 14.8  1 1 11.9  1 0 10.6  1 1 10.5  1 0 11.2  1 1 12.3  1 0 11.5  1 1
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 6.48 1 0 6.48 1 1 5.47 1 0 5.44 1 1 6.24 1 0 6.37 1 1 6.24 1 0 6.81 1 1
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 6.35 1 0 6.52 1 1 5.72 1 0 6.41 1 1 6.33 1 0 5.99 1 1 6.38 1 0 6.55 1 1
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 6.10 1 0 7.38 1 1 7.02 1 0 6.82 1 1 7.10 1 0 7.34 1 1 6.92 1 0 6.34 1 1
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 7.84 1 0 8.95 1 1 8.69 1 0 7.32 1 1 8.76 1 0 8.71 1 1 8.68 1 0 7.61 1 1
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 4.67 1 0 5.97 1 1 5.45 1 0 6.45 1 1 5.51 1 0 5.55 1 1 6.44 1 0 6.41 1 1
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 7.09 1 0 6.24 1 1 6.94 1 0 7.27 1 1 7.40 1 0 6.77 1 1 6.03 1 0 6.35 1 1
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 9.22 1 0 8.38 1 1 8.61 1 0 8.41 1 1 7.05 1 0 8.42 1 1 9.04 1 0 8.73 1 1
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 6.70 1 0 5.71 1 1 5.78 1 0 5.74 1 1 6.43 1 0 6.54 1 1 5.60 1 0 5.64 1 1
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.21 1 0 6.23 1 1 4.76 1 0 4.76 1 1 4.57 1 0 5.40 1 1 5.41 1 0 5.35 1 1
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 7.69 1 0 7.81 1 1 7.79 1 0 6.41 1 1 7.85 1 0 7.62 1 1 7.61 1 0 7.68 1 1
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 7.43 1 0 7.40 1 1 7.36 1 0 7.21 1 1 6.38 1 0 7.27 1 1 7.48 1 0 7.63 1 1
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 6.20 1 0 6.35 1 1 6.53 1 0 6.54 1 1 6.53 1 0 6.36 1 1 6.44 1 0 6.98 1 1
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 7.61 1 0 9.03 1 1 7.90 1 0 8.43 1 1 8.13 1 0 8.07 1 1 8.17 1 0 8.66 1 1
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 6.85 1 0 7.43 1 1 6.96 1 0 7.40 1 1 6.98 1 0 6.93 1 1 7.37 1 0 6.01 1 1
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.54 1 0 6.41 1 1 5.32 1 0 6.28 1 1 6.46 1 0 6.56 1 1 6.50 1 0 6.80 1 1
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 9.95 1 0 8.86 1 1 8.86 1 0 10.1  1 1 9.55 1 0 9.69 1 1 9.93 1 0 10.2  1 1
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 5.97 1 0 5.66 1 1 5.43 1 0 5.99 1 1 6.65 1 0 6.20 1 1 6.27 1 0 6.81 1 1
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 6.96 1 0 7.17 1 1 6.96 1 0 7.12 1 1 5.89 1 0 6.92 1 1 6.24 1 0 7.10 1 1
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 6.18 1 0 7.37 1 1 7.49 1 0 6.63 1 1 7.59 1 0 7.20 1 1 6.27 1 0 7.77 1 1
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 9.58 1 0 8.87 1 1 9.05 1 0 9.14 1 1 8.74 1 0 9.02 1 1 9.51 1 0 9.09 1 1
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 10.4  1 0 10.5  1 1 10.5  1 0 10.2  1 1 10.2  1 0 10.5  1 1 10.9  1 0 10.4  1 1
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 6.54 1 0 6.74 1 1 7.16 1 0 6.71 1 1 6.92 1 0 6.76 1 1 6.85 1 0 6.78 1 1
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 27.2  1 0 27.6  1 1 15.8  1 0 17.4  1 1 14.9  1 0 14.4  1 1 15.1  1 0 15.0  1 1
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 8.02 1 0 8.39 1 1 7.48 1 0 7.58 1 1 6.80 1 0 7.74 1 1 8.00 1 0 8.14 1 1
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 9.07 1 0 9.35 1 1 9.87 1 0 8.02 1 1 9.14 1 0 9.70 1 1 9.92 1 0 8.31 1 1
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 8.52 1 0 7.49 1 1 7.70 1 0 6.80 1 1 6.68 1 0 7.91 1 1 8.21 1 0 8.37 1 1
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 42.7  1 0 42.2  1 1 27.0  1 0 25.2  1 1 21.7  1 0 22.7  1 1 21.8  1 0 22.9  1 1
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 8.10 1 0 8.67 1 1 6.68 1 0 7.93 1 1 7.69 1 0 7.86 1 1 8.51 1 0 7.74 1 1
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 11.5  1 0 11.3  1 1 9.85 1 0 9.47 1 1 7.54 1 0 8.90 1 1 7.33 1 0 9.32 1 1
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 7.07 1 0 8.74 1 1 7.10 1 0 7.22 1 1 7.21 1 0 7.19 1 1 7.56 1 0 7.39 1 1
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 7.98 1 0 8.59 1 1 7.79 1 0 6.55 1 1 6.90 1 0 6.50 1 1 7.70 1 0 8.24 1 1
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 6.37 1 0 6.43 1 1 6.50 1 0 5.66 1 1 6.21 1 0 6.51 1 1 6.43 1 0 6.20 1 1
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 6.62 1 0 5.71 1 1 6.37 1 0 6.63 1 1 6.96 1 0 7.49 1 1 5.85 1 0 6.00 1 1
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 9.41 1 0 9.44 1 1 9.00 2 0 8.44 1 2 10.8  2 0 8.35 1 2 10.6  2 0 7.94 1 2
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 22.2  1 0 23.3  1 1 21.9  1 0 19.1  1 1 14.6  1 0 15.2  1 1 16.9  1 0 16.6  1 1
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 41.5  1 0 43.3  1 1 16.2  1 0 16.4  1 1 15.6  1 0 13.8  1 1 15.0  1 0 13.0  1 1
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 9.37 1 0 9.54 1 1 8.59 1 0 8.94 1 1 8.34 1 0 8.65 1 1 9.03 1 0 8.92 1 1
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 10.2  1 0 10.6  1 1 8.82 1 0 8.50 1 1 8.46 1 0 7.41 1 1 9.22 1 0 8.90 1 1
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 8.24 1 0 8.00 1 1 7.72 1 0 7.63 1 1 7.62 1 0 7.79 1 1 6.52 1 0 7.22 1 1
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 58.3  3 0 47.7  1 2 32.0  1 0 31.5  1 1 51.0  2 0 28.7  1 2 49.6  2 0 32.2  1 3
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 7.82 1 0 8.60 1 1 6.44 1 0 8.07 1 1 8.27 1 0 8.08 1 1 8.69 1 0 6.74 1 1
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 8.48 1 0 7.97 1 1 13.8  3 0 7.63 1 2 25.2  4 0 8.25 1 3 25.9  3 0 7.50 1 4
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 8.08 2 0 8.96 1 2 7.98 1 0 8.22 1 1 8.23 1 0 6.98 1 1 8.24 1 0 7.56 1 1
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 10.0  1 0 10.1  1 1 9.23 1 0 9.51 1 1 7.88 1 0 7.41 1 1 9.19 1 0 9.07 1 1
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 10.4  2 0 9.33 1 2 8.76 1 0 8.61 1 1 8.44 1 0 8.49 1 1 8.63 1 0 7.70 1 1
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 7.74 1 0 8.61 1 1 7.73 1 0 8.02 1 1 7.70 1 0 7.76 1 1 7.00 1 0 8.22 1 1
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 10.7  1 0 9.30 1 1 8.78 1 0 9.21 1 1 13.8  2 0 7.92 1 4 14.3  2 0 9.46 1 4
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 6.45 1 0 8.38 1 1 7.94 1 0 7.83 1 1 7.71 1 0 7.78 1 1 8.23 1 0 8.31 1 1
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 9.31 1 0 10.6  1 1 8.91 1 0 9.11 1 1 8.71 1 0 8.58 1 1 9.02 1 0 9.17 1 1
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 8.04 1 0 8.29 1 1 7.37 1 0 7.51 1 1 6.46 1 0 7.48 1 1 6.39 1 0 7.43 1 1
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 8.46 1 0 8.72 1 1 7.99 1 0 8.04 1 1 8.16 1 0 7.78 1 1 8.07 1 0 7.94 1 1
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 7.17 1 0 8.08 1 1 7.50 1 0 7.47 1 1 7.66 1 0 7.70 1 1 7.47 1 0 6.65 1 1
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 8.31 1 0 8.58 1 1 7.77 1 0 7.54 1 1 6.37 1 0 7.84 1 1 7.86 1 0 7.46 1 1
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 7.79 1 0 8.27 1 1 7.28 1 0 7.62 1 1 6.37 1 0 7.80 1 1 7.51 1 0 7.83 1 1
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 6.72 1 0 6.63 1 1 6.89 1 0 6.77 1 1 7.21 1 0 7.17 1 1 6.31 1 0 7.18 1 1
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 6.96 1 0 7.19 1 1 5.94 1 0 6.88 1 1 5.77 1 0 5.86 1 1 7.17 1 0 6.59 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.02 1 0 6.06 1 1 7.13 1 0 6.85 1 1 7.05 1 0 5.90 1 1 6.23 1 0 7.30 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.83 1 0 7.70 1 1 7.23 1 0 6.08 1 1 6.30 1 0 6.15 1 1 7.57 1 0 7.68 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.96 1 0 8.56 1 1 6.99 1 0 8.29 1 1 14.6  3 0 7.25 1 3 16.9  3 0 8.27 1 4
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.20 1 0 7.21 1 1 6.96 1 0 7.10 1 1 6.18 1 0 7.13 1 1 6.74 1 0 7.31 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.32 1 0 7.26 1 1 7.01 1 0 6.88 1 1 7.12 1 0 5.82 1 1 7.00 1 0 7.20 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.65 1 0 7.41 1 1 7.26 1 0 7.17 1 1 7.02 1 0 7.39 1 1 6.00 1 0 7.21 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.44 1 0 10.6  1 1 8.24 1 0 8.51 1 1 6.91 1 0 7.34 1 1 8.75 1 0 8.95 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.57 1 0 7.81 1 1 7.16 1 0 6.95 1 1 7.00 1 0 7.11 1 1 6.35 1 0 7.20 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.53 1 0 7.04 1 1 6.88 1 0 6.99 1 1 6.76 1 0 6.85 1 1 6.01 1 0 6.25 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.64 1 0 7.65 1 1 7.41 1 0 7.41 1 1 7.26 1 0 6.29 1 1 7.51 1 0 6.73 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.7  1 0 10.3  1 1 9.09 1 0 8.92 1 1 9.09 1 0 7.40 1 1 9.10 1 0 9.35 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.86 1 0 8.08 1 1 7.29 1 0 6.05 1 1 7.23 1 0 7.46 1 1 7.30 1 0 7.33 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.18 1 0 8.49 1 1 8.27 1 0 8.27 1 1 6.76 1 0 7.99 1 1 6.93 1 0 8.42 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.87 1 0 8.61 1 1 7.87 1 0 7.68 1 1 7.67 1 0 7.82 1 1 6.43 1 0 6.39 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.2  1 0 11.8  1 1 10.0  1 0 9.36 1 1 7.89 1 0 9.51 1 1 10.0  1 0 8.52 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.19 1 0 7.65 1 1 7.50 1 0 7.73 1 1 6.90 1 0 7.43 1 2 6.77 1 0 7.54 1 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.21 1 0 7.30 1 1 7.20 1 0 6.07 1 1 7.04 1 0 7.07 1 1 7.05 1 0 7.15 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.72 1 0 7.69 1 1 8.08 1 0 6.57 1 1 7.83 1 0 7.89 1 1 7.48 1 0 8.31 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.36 1 0 9.39 1 1 8.30 1 0 8.18 1 1 8.17 1 0 8.22 1 1 8.59 1 0 7.70 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.35 1 0 8.39 1 1 7.64 1 0 6.56 1 1 7.45 1 0 7.72 1 1 7.89 1 0 7.99 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.23 1 0 9.92 1 1 8.51 1 0 7.01 1 1 6.85 1 0 7.32 1 1 7.97 1 0 8.60 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.52 1 0 7.93 1 1 8.33 1 0 7.41 1 1 8.35 1 0 6.84 1 1 8.56 1 0 7.18 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.55 1 0 8.48 1 1 7.81 1 0 7.58 1 1 7.67 1 0 7.54 1 1 7.78 1 0 6.39 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.23 1 0 8.77 1 1 7.60 1 0 6.43 1 1 7.75 1 0 6.48 1 1 7.77 1 0 8.11 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.46 1 0 8.76 1 1 6.91 1 0 7.65 1 1 7.57 1 0 7.89 1 1 6.81 1 0 8.00 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.47 1 0 8.47 1 1 6.44 1 0 7.67 1 1 7.18 1 0 6.17 1 1 7.67 1 0 7.53 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.79 1 0 8.95 1 1 8.20 1 0 7.06 1 1 7.75 1 0 7.81 1 1 7.83 1 0 8.28 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.79 1 0 8.12 1 1 6.20 1 0 7.69 1 1 7.91 2 0 7.53 1 2 8.43 2 0 8.24 1 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.36 1 0 8.89 1 1 6.51 1 0 7.71 1 1 6.52 1 0 6.91 1 1 7.89 1 0 7.79 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.7  1 0 11.6  1 1 9.62 1 0 9.79 1 1 9.70 1 0 9.41 1 1 9.78 1 0 9.95 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.2  1 0 11.5  1 1 8.63 1 0 8.45 1 1 9.03 1 0 9.00 1 1 8.90 1 0 9.04 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.51 1 0 8.58 1 1 7.69 1 0 6.54 1 1 6.18 1 0 8.05 1 1 7.81 1 0 8.20 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.33 1 0 7.34 1 1 7.44 1 0 6.25 1 1 7.62 1 0 7.67 1 1 7.81 1 0 7.69 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.44 1 0 8.06 1 1 6.65 1 0 7.55 1 1 7.19 1 0 7.65 1 1 7.72 1 0 7.85 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.40 1 0 8.49 1 1 6.64 1 0 7.80 1 1 7.61 1 0 7.73 1 1 8.30 1 0 6.86 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 19.7  1 0 19.8  1 1 12.1  1 0 12.7  1 1 11.5  1 0 12.5  1 1 12.1  1 0 12.7  1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.25 1 0 8.21 1 1