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-01 21:41:47 CEST
Run set NONE LENGTH_MIN LENGTH_MAX RANDOM NONE LENGTH_MIN LENGTH_MAX RANDOM
Options -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.refinement.prefixPreference=NONE -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.refinement.prefixPreference=LENGTH_MIN -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.refinement.prefixPreference=LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.refinement.prefixPreference=RANDOM -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.refinement.prefixPreference=NONE -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.refinement.prefixPreference=LENGTH_MIN -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.refinement.prefixPreference=LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -skipRecursion -setprop analysis.checkCounterexamples=false -predicateAnalysis-PredAbsRefiner-SBE -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.refinement.restartAfterRefinements=1 -setprop cpa.predicate.precision.sharing=GLOBAL -setprop cpa.predicate.refinement.prefixPreference=RANDOM
test/programs/benchmarks/ status cputime (s) status cputime (s) status cputime (s) status cputime (s) #iter #reached #refs #prefixes #iter #reached #refs #prefixes #iter #reached #refs #prefixes #iter #reached #refs #prefixes
bitvector/byte_add_false-unreach-call.i 14.2  16.4  19.9  21.1  461 125 6 0 417 126 5 25 530 126 7 29 449 126 5 29
bitvector/byte_add_1_true-unreach-call.i 14.7  15.8  21.7  19.5  461 125 6 0 417 126 5 26 530 126 7 29 410 126 5 35
bitvector/byte_add_2_true-unreach-call.i 14.3  16.4  21.8  26.9  461 125 6 0 417 126 5 25 530 126 7 31 492 125 6 48
bitvector/gcd_1_true-unreach-call.i 901    901    901    901    2651441 9 64670 0 1336120 40 36111 108329 1408624 26 34357 103067 1516513 44 36988 110963
bitvector/gcd_2_true-unreach-call.i 10.9  12.2  12.7  12.1  211 57 4 0 211 57 4 4 211 57 4 4 211 57 4 4
bitvector/gcd_3_true-unreach-call.i 4.58 4.69 4.83 4.73 57 39 1 0 57 39 1 1 57 39 1 1 57 39 1 1
bitvector/gcd_4_true-unreach-call.i 18.5  18.3  15.2  17.8  290 53 6 0 290 53 6 10 240 54 5 9 290 53 6 10
bitvector/interleave_bits_true-unreach-call.i 19.2  22.5  22.4  19.8  561 50 16 0 561 50 16 16 561 50 16 16 561 50 16 16
bitvector/jain_1_true-unreach-call.i 902    901    901    901    7847620 8 490476 0 7611885 17 475742 475742 5862051 7 366378 366378 5781936 4 361371 361371
bitvector/jain_2_true-unreach-call.i 4.68 4.62 4.65 4.70 31 16 1 0 31 16 1 1 31 16 1 1 31 16 1 1
bitvector/jain_4_true-unreach-call.i 4.95 4.94 4.88 5.02 35 18 1 0 35 18 1 1 35 18 1 1 35 18 1 1
bitvector/jain_5_true-unreach-call.i 901    901    901    902    6289 108 9 0 6262 81 9 9 6270 89 9 9 6268 87 9 9
bitvector/jain_6_true-unreach-call.i 4.93 5.35 5.17 5.01 35 18 1 0 35 18 1 1 35 18 1 1 35 18 1 1
bitvector/jain_7_true-unreach-call.i 5.04 5.05 4.99 5.02 35 18 1 0 35 18 1 1 35 18 1 1 35 18 1 1
bitvector/modulus_true-unreach-call.i 3.90 3.98 4.13 4.04 23 26 0 0 23 26 0 0 23 26 0 0 23 26 0 0
bitvector/num_conversion_1_true-unreach-call.i 9.46 9.48 9.46 10.3  252 53 8 0 252 53 8 8 252 53 8 8 252 53 8 8
bitvector/num_conversion_2_true-unreach-call.i 8.98 9.31 10.4  9.92 270 55 8 0 270 55 8 8 270 55 8 8 270 55 8 8
bitvector/parity_true-unreach-call.i 3.76 3.88 3.85 4.01 17 20 0 0 17 20 0 0 17 20 0 0 17 20 0 0
bitvector/sum02_true-unreach-call.i 6.35 6.27 6.29 5.59 111 47 3 0 111 47 3 3 111 47 3 3 111 47 3 3
bitvector/s3_clnt_1_false-unreach-call.BV.c.cil.c 60.0  75.9  901    517    21108 1412 24 0 21108 1412 24 68 354698 2899 139 3660 150021 5757 39 252
bitvector/s3_clnt_2_false-unreach-call.BV.c.cil.c 60.7  67.0  181    80.1  19477 1530 22 0 19477 1530 22 62 82442 2798 24 329 32472 2724 22 159
bitvector/s3_clnt_3_false-unreach-call.BV.c.cil.c 14.8  15.7  22.2  17.9  1783 328 5 0 1783 328 5 10 2863 366 7 23 2331 328 6 14
bitvector/s3_clnt_1_true-unreach-call.BV.c.cil.c 62.3  76.7  902    141    21058 1410 24 0 21058 1410 24 68 308977 2897 122 3156 45468 2670 30 162
bitvector/s3_clnt_2_true-unreach-call.BV.c.cil.c 54.8  72.4  186    101    19431 1528 22 0 19431 1528 22 62 82392 2796 24 329 36406 2762 23 212
bitvector/s3_clnt_3_true-unreach-call.BV.c.cil.c 64.7  82.1  897    204    23214 2694 24 0 23214 2694 24 79 273057 21160 29 322 59869 7979 23 191
bitvector/s3_srvr_1_alt_true-unreach-call.BV.c.cil.c 901    901    901    901    973828 275 686 0 444608 2311 210 833 915909 2454 401 2410 451410 1025 163 339
bitvector/s3_srvr_1_true-unreach-call.BV.c.cil.c 70.2  103    95.1  66.5  30356 4426 18 0 29101 2431 19 86 49532 5277 21 155 14242 1445 15 76
bitvector/s3_srvr_2_alt_true-unreach-call.BV.c.cil.c 66.7  901    902    96.9  30358 3404 18 0 2243516 186 13934 27870 1865536 1643 1195 8364 31500 3092 23 91
bitvector/s3_srvr_2_true-unreach-call.BV.c.cil.c 67.6  902    902    74.8  30320 3402 18 0 2303747 198 14488 28978 1844784 420 1184 8280 17399 4953 12 92
bitvector/s3_srvr_3_alt_true-unreach-call.BV.c.cil.c 64.5  79.8  50.4  73.0  29985 3484 18 0 21230 2442 17 56 17003 3473 11 84 17197 2430 14 59
bitvector/s3_srvr_3_true-unreach-call.BV.c.cil.c 65.8  87.2  54.5  61.9  30264 4148 18 0 22300 2440 17 56 16833 3353 11 84 15897 1445 14 63
bitvector/soft_float_1_true-unreach-call.c.cil.c 25.5  33.4  41.0  31.9  1228 201 9 0 1318 206 10 28 1941 188 14 38 1284 201 9 25
bitvector/soft_float_2_true-unreach-call.c.cil.c 7.34 9.49 9.04 8.77 399 122 3 0 399 122 3 7 431 122 3 8 431 122 3 8
bitvector/soft_float_3_true-unreach-call.c.cil.c 7.49 9.29 6.99 9.46 399 122 3 0 399 122 3 7 431 122 3 8 410 122 3 7
bitvector/soft_float_4_true-unreach-call.c.cil.c 901    902    902    901    419095 44 3644 0 338804 18 2946 2948 202617 126 1660 4980 348187 103 3027 3029
bitvector/soft_float_5_true-unreach-call.c.cil.c 10.6  14.8  12.4  13.8  621 139 5 0 606 139 5 11 653 139 5 10 765 139 6 12
bitvector-regression/implicitfloatconversion_false-unreach-call.i 3.78 3.67 3.76 3.76 8 9 0 0 8 9 0 0 8 9 0 0 8 9 0 0
bitvector-regression/implicitunsignedconversion_false-unreach-call.i 3.81 3.73 3.80 3.51 13 5 1 0 13 5 1 1 13 5 1 1 13 5 1 1
bitvector-regression/integerpromotion_false-unreach-call.i 4.33 4.10 4.29 4.24 10 11 0 0 10 11 0 0 10 11 0 0 10 11 0 0
bitvector-regression/signextension2_false-unreach-call.i 4.24 4.33 4.36 4.37 20 7 1 0 20 7 1 2 22 9 1 2 20 7 1 2
bitvector-regression/signextension_false-unreach-call.i 3.34 4.17 4.60 4.47 27 10 1 0 27 10 1 3 30 13 1 3 30 13 1 3
bitvector-regression/implicitunsignedconversion_true-unreach-call.i 3.63 3.65 3.14 3.10 8 9 0 0 8 9 0 0 8 9 0 0 8 9 0 0
bitvector-regression/integerpromotion_true-unreach-call.i 4.35 4.20 4.18 4.25 10 11 0 0 10 11 0 0 10 11 0 0 10 11 0 0
bitvector-regression/signextension2_true-unreach-call.i 4.46 4.48 4.14 4.44 26 14 1 0 26 14 1 1 26 14 1 1 26 14 1 1
bitvector-regression/signextension_true-unreach-call.i 4.41 4.29 4.26 4.06 17 18 0 0 17 18 0 0 17 18 0 0 17 18 0 0
bitvector-loops/diamond_false-unreach-call2.i 51.0  46.6  322    58.3  1131 185 9 0 1131 185 9 13 21782 493 39 581 1131 185 9 13
bitvector-loops/overflow_false-unreach-call1.i 3.66 3.15 3.96 3.95 16 4 1 0 16 4 1 1 16 4 1 1 16 4 1 1
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 18.5  21.7  4.69 4.59 550 64 13 0 487 64 13 24 54 16 2 4 54 16 2 4
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c 87.8  99.8  97.1  102    17341 1409 31 0 17731 1409 32 51 15184 1749 34 63 17963 1437 35 60
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c 46.6  49.8  58.7  54.2  6490 744 22 0 5861 744 22 34 9023 957 25 41 6451 764 23 47
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c 45.8  51.2  53.0  56.8  6688 756 22 0 6059 756 22 34 9248 969 25 41 9063 974 24 40
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c 31.5  37.0  46.3  38.3  2361 506 10 0 3655 737 12 21 3443 803 11 19 3003 739 11 21
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c 441    460    445    465    101365 8272 56 0 101729 8272 57 88 83972 6621 56 118 99409 8266 59 100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c 902    902    901    902    130201 4260 41 0 131976 6032 41 57 124728 4486 44 91 121389 11963 41 62
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c 167    146    167    149    33311 4724 35 0 27700 4044 33 57 37896 5275 36 64 27024 4039 34 58
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c 418    278    382    379    94448 6392 52 0 71407 5727 47 87 90186 7269 49 82 79253 5712 49 88
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c 30.1  30.3  40.3  33.4  3548 750 13 0 2572 405 11 20 3770 771 12 43 3500 775 12 27
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c 34.8  31.7  35.0  36.1  6683 1420 14 0 4784 774 12 23 6191 1441 12 21 5850 1419 13 21
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 58.4  72.7  78.5  97.4  20468 2311 24 0 20132 2311 23 67 38073 3356 19 174 36382 2483 21 112
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 84.9  78.0  901    108    31876 2887 26 0 20174 2314 23 67 2355293 1124 820 3383 38386 2131 27 184
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 84.3  80.1  902    105    31970 2887 26 0 20216 2319 23 67 2201780 1035 766 3166 34730 2559 24 154
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 82.9  73.5  902    98.6  31900 2887 26 0 20099 2312 23 67 2211425 1040 773 3194 25360 1650 25 138
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 329    153    901    142    84194 7844 51 0 35378 2996 26 174 1009996 1660 639 4610 38056 4396 29 198
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 155    108    901    74.5  42523 1153 35 0 21890 1211 20 117 1159611 1044 1147 2391 17657 1346 20 110
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 178    131    86.4  102    41889 3855 39 0 28829 3764 23 107 19620 3349 17 69 25917 2798 22 125
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 154    104    354    87.6  35163 1670 44 0 21686 1430 22 86 84433 3087 32 455 22594 1532 26 124
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 683    171    268    215    151146 4790 53 0 43704 4457 27 115 93396 5944 32 334 62960 7572 31 191
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 32.7  28.7  105    47.8  4750 211 10 0 2739 211 8 26 38658 637 23 96 6292 614 10 56
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 32.7  28.6  112    58.7  4785 218 10 0 2805 218 8 26 38490 639 23 95 10173 859 12 59
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 125    249    469    257    56791 4797 30 0 63538 5021 32 131 162202 6903 33 799 74964 7684 31 154
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 73.7  83.5  80.1  168    26356 1927 27 0 26020 1927 26 72 34295 1928 18 249 71177 4723 27 195
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 70.7  93.7  216    139    25448 2187 24 0 27289 1916 26 72 82650 2588 24 372 41003 1992 29 165
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 68.4  98.9  105    160    25544 2191 24 0 27424 1917 26 72 40672 1933 18 296 55535 3107 29 184
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 68.4  93.9  902    145    25472 2189 24 0 27478 1918 26 70 1026376 2892 256 3212 54577 3139 29 262
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 67.0  105    901    62.7  28028 4019 18 0 26901 2211 19 89 1247236 1597 825 5020 19413 1316 23 97
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c 20.7  20.8  19.5  22.2  1469 299 10 0 1469 299 10 32 2960 520 9 48 1695 259 12 33
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 8.78 8.88 11.4  12.0  476 129 6 0 476 129 6 13 947 197 7 22 694 125 8 18
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 64.1  97.6  901    68.7  26056 2620 19 0 23814 2133 19 90 2188853 141 1665 6717 21080 2571 15 90
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 62.4  99.6  902    147    27811 3994 18 0 26812 2205 19 69 1141868 1605 229 1050 44893 4303 26 200
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 67.0  85.0  902    101    25214 2612 19 0 21741 2121 19 65 2195174 585 1593 6433 26507 4032 20 137
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 115    185    494    251    51965 5121 29 0 58486 5355 31 130 155267 7261 32 798 70164 11057 29 261
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 93.3  145    901    106    39708 3804 27 0 33091 4805 27 96 1762865 1133 1628 6605 33608 4706 24 126
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 67.0  97.4  901    139    28510 4188 20 0 20370 2150 21 99 1008318 1773 598 3777 36469 1747 31 185
locks/test_locks_14_false-unreach-call.c 4.27 4.48 4.60 4.46 68 86 0 0 68 86 0 0 68 86 0 0 68 86 0 0
locks/test_locks_15_false-unreach-call.c 4.28 4.30 4.46 4.68 72 91 0 0 72 91 0 0 72 91 0 0 72 91 0 0
locks/test_locks_10_true-unreach-call.c 166    144    159    156    59781 29722 20 0 59781 29722 20 20 59781 29722 20 20 59781 29722 20 20
locks/test_locks_11_true-unreach-call_false-termination.c 466    438    510    417    128662 64540 22 0 128662 64540 22 22 128662 64540 22 22 128662 64540 22 22
locks/test_locks_12_true-unreach-call_false-termination.c 902    902    902    902    224749 87635 24 0 218168 81054 24 24 220083 82968 24 24 225728 88615 24 24
locks/test_locks_13_true-unreach-call.c 903    902    902    902    232710 87174 25 0 230662 85128 25 25 231772 86233 25 25 232605 87068 25 25
locks/test_locks_14_true-unreach-call.c 902    902    902    902    229478 75504 26 0 240138 86164 26 26 230395 76421 26 26 227633 73662 26 26
locks/test_locks_15_true-unreach-call_false-termination.c 902    913    902    902    460041 133683 28 0 236951 74531 27 27 235196 72777 27 27 235394 72973 27 27
locks/test_locks_5_true-unreach-call_false-termination.c 15.0  16.2  16.0  17.2  1432 544 10 0 1432 544 10 10 1432 544 10 10 1432 544 10 10
locks/test_locks_6_true-unreach-call_false-termination.c 19.7  21.9  21.1  19.5  2929 1234 12 0 2929 1234 12 12 2929 1234 12 12 2929 1234 12 12
locks/test_locks_7_true-unreach-call_false-termination.c 29.6  28.7  28.4  28.6  6114 2772 14 0 6114 2772 14 14 6114 2772 14 14 6114 2772 14 14
locks/test_locks_8_true-unreach-call_false-termination.c 36.5  37.3  38.1  38.3  12971 6166 16 0 12971 6166 16 16 12971 6166 16 16 12971 6166 16 16
locks/test_locks_9_true-unreach-call.c 65.5  64.6  70.8  68.0  27788 13592 18 0 27788 13592 18 18 27788 13592 18 18 27788 13592 18 18
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i 34.5  34.9  36.4  37.9  396 130 4 0 396 130 4 5 492 130 5 9 396 130 4 5
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i 65.9  64.1  82.1  71.9  13341 1380 15 0 9085 1380 15 42 26713 1719 27 109 17335 1380 22 86
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i 34.7  56.1  64.5  60.7  3722 387 13 0 6214 454 20 34 7356 454 20 66 6769 454 20 48
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i 42.1  40.5  51.7  42.3  3181 830 4 0 3181 830 4 10 4010 837 5 11 3146 830 4 9
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i 901    901    901    902    5451333 945 4234 0 4838008 700 3758 3759 4593660 501 3568 3569 4573846 1309 3552 3553
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i 62.9  65.1  903    335    23172 4854 11 0 19065 4854 11 79 560152 407221 9 91 279978 5289 18 204
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i 212    164    375    365    142783 3849 40 0 61300 6871 44 87 230787 5935 44 84 225795 5935 44 89
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i 903    904    902    904    2071059 139867 15 0 1864682 549744 16 670 2800161 110749 27 1042 2329328 433912 11 414
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i 47.2  48.2  48.5  48.9  798 116 8 0 798 116 8 17 1077 115 9 24 712 116 7 17
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i 58.5  65.0  61.2  63.1  6377 784 16 0 6377 784 16 19 7059 784 16 33 6396 784 16 20
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i 300    304    363    694    44439 2013 61 0 41499 2013 61 108 49235 2013 60 212 67127 2013 61 150
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i 54.2  66.8  201    133    6623 285 14 0 11915 285 14 81 65799 5213 29 295 24484 283 23 212
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i 67.0  65.5  109    87.7  6804 905 21 0 6642 905 21 38 15364 934 31 109 12983 914 24 74
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i 172    180    148    155    36168 4281 22 0 41949 4281 22 36 30008 2338 20 94 26394 2338 21 32
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i 43.7  46.9  49.2  45.7  4751 442 14 0 4751 442 14 42 5235 494 16 59 5399 442 15 44
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i 39.8  42.0  38.8  41.4  2621 800 9 0 2621 800 9 12 2514 800 9 11 2647 800 9 13
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i 37.2  36.4  36.9  37.4  33226 33196 1 0 33226 33196 1 1 33226 33196 1 1 33226 33196 1 1
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i 55.6  67.1  32.4  64.9  4575 4019 5 0 5471 4067 9 50 2876 2742 1 7 12692 11787 8 39
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i 41.1  57.4  27.1  59.6  56327 55973 4 0 51707 50899 7 35 22639 22556 1 7 61922 61189 8 42
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i 16.3  15.7  15.8  16.8  2509 2479 1 0 2509 2479 1 1 2509 2479 1 1 2509 2479 1 1
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i 164    168    18.8  50.3  498395 497410 6 0 498395 497410 6 21 4852 4721 1 6 63545 63014 4 18
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i 51.1  49.2  50.5  56.7  1667 1647 1 0 1667 1647 1 1 1667 1647 1 1 1667 1647 1 1
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i 9.04 8.94 7.78 9.11 802 761 1 0 802 761 1 1 802 761 1 1 802 761 1 1
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i 17.1  36.3  15.6  32.2  1778 1520 2 0 5411 4933 4 8 1639 1521 1 3 6388 6014 3 7
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i 26.3  30.1  27.1  29.6  5784 5764 1 0 5784 5764 1 1 5784 5764 1 1 5784 5764 1 1
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i 11.6  11.5  12.0  11.8  450 108 4 0 450 108 4 5 444 108 4 5 444 108 4 5
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i 27.5  31.4  28.8  30.1  15392 15356 1 0 15392 15356 1 1 15392 15356 1 1 15392 15356 1 1
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i 38.3  39.3  37.2  38.4  54772 54713 1 0 54772 54713 1 1 54772 54713 1 1 54772 54713 1 1
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i 33.7  32.1  32.4  33.1  16421 16385 1 0 16421 16385 1 1 16421 16385 1 1 16421 16385 1 1
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i 38.4  39.7  39.3  40.4  69437 69403 1 0 69437 69403 1 1 69437 69403 1 1 69437 69403 1 1
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i 35.1  36.4  35.5  36.3  2727 365 13 0 2727 365 13 14 2567 352 12 22 2814 365 13 16
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i 30.2  33.9  35.1  32.0  31867 31827 2 0 31867 31827 2 2 31867 31827 2 2 31867 31827 2 2
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i 34.2  35.5  34.2  37.3  16937 16889 2 0 16937 16889 2 2 16937 16889 2 2 16937 16889 2 2
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i 33.3  37.1  23.5  34.1  31005 10339 3 0 31005 10339 3 4 10373 10327 2 4 31005 10339 3 4
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i 43.3  47.5  47.6  43.2  126746 126684 2 0 126746 126684 2 2 126746 126684 2 2 126746 126684 2 2
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i 41.9  44.7  42.0  40.9  19808 19770 2 0 19808 19770 2 2 19808 19770 2 2 19808 19770 2 2
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i 81.0  79.3  47.6  64.0  33931 3616 26 0 23645 3616 26 60 13885 526 13 90 11517 1350 12 44
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i 54.7  59.5  81.7  69.4  37043 1880 12 0 37043 1880 12 48 51084 1886 12 48 44512 2016 11 76
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i 549    448    902    902    446475 87434 24 0 367243 71450 22 229 530683 59222 15 205 613178 70022 17 124
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i 36.8  39.1  36.7  34.7  16749 16711 2 0 16749 16711 2 2 16749 16711 2 2 16749 16711 2 2
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i 26.2  27.5  26.9  27.7  10190 10138 2 0 10190 10138 2 2 10190 10138 2 2 10190 10138 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 64.0  70.5  65.8  72.6  2437 735 4 0 2437 735 4 7 1866 736 3 5 2432 735 4 7
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 49.2  62.4  46.2  65.6  4783 672 10 0 4783 672 10 16 3700 672 10 16 5427 696 11 20
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 71.8  198    901    163    21953 1792 14 0 109181 1939 45 100 371537 275 230 1846 75028 1941 45 81
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 19.3  21.5  20.8  21.4  138 104 1 0 138 104 1 1 138 104 1 1 138 104 1 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 41.5  75.8  297    55.1  879 286 4 0 4909 503 32 62 11003 5930 14 34 1682 382 14 27
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 52.8  52.7  54.4  50.9  16616 16608 1 0 16616 16608 1 2 16625 16616 1 2 16625 16616 1 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 14.6  14.9  14.8  14.7  523 294 2 0 523 294 2 2 523 294 2 2 523 294 2 2
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 32.4  30.8  24.8  23.1  2991 1902 2 0 2991 1902 2 3 2006 1912 1 2 2006 1912 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 40.3  44.9  47.9  44.6  2189 407 7 0 2090 407 7 13 2340 419 7 19 2234 419 7 14
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 50.3  51.2  47.5  42.8  8001 3540 6 0 6367 2068 7 33 6750 2541 5 19 5115 2055 5 18
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 58.2  83.1  38.6  55.7  32896 16093 4 0 88792 16342 14 34 14262 10102 1 3 32885 16121 4 12
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 37.6  36.5  37.1  35.0  219 149 2 0 219 149 2 2 219 149 2 2 219 149 2 2
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 27.2  24.7  25.0  26.7  144 153 0 0 144 153 0 0 144 153 0 0 144 153 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 9.52 9.72 9.88 10.1  69 75 0 0 69 75 0 0 69 75 0 0 69 75 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 19.9  19.5  20.5  19.5  223 232 0 0 223 232 0 0 223 232 0 0 223 232 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 38.2  37.2  37.8  39.8  2124 1106 3 0 2124 1106 3 3 2124 1106 3 3 2124 1106 3 3
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 575    745    903    902    737675 35649 29 0 979471 35809 62 249 1266129 26660 39 125 1176969 23791 38 100
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 901    902    61.0  72.8  5924637 7874 682 0 5959505 8036 686 2744 91825 84069 1 4 70153 54413 2 8
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 902    902    906    904    2044569 11163 150 0 1617408 7618 219 1105 1678406 1087633 9 35 697750 578461 10 47
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 902    901    902    902    542222 15043 38 0 382252 11343 23 500 414935 15043 29 750 532141 33103 19 515
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 65.3  77.3  57.8  69.0  18144 1665 13 0 35964 3284 13 43 16248 1665 12 53 26067 3284 12 47
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 107    902    134    207    182092 61371 8 0 2412135 25461 74 289 237250 61371 8 21 404184 82505 10 25
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 217    654    102    317    508952 206979 11 0 1015277 217541 46 252 230703 74683 4 18 701064 208459 20 141
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 9.10 9.07 9.11 9.03 324 306 1 0 324 306 1 1 324 306 1 1 324 306 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.24 7.00 7.29 7.11 142 124 1 0 142 124 1 1 142 124 1 1 142 124 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 8.32 8.46 7.49 8.63 283 175 2 0 283 175 2 3 111 90 1 2 283 175 2 3
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 12.9  12.7  7.49 9.57 527 228 4 0 527 228 4 8 185 142 1 3 341 165 3 7
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 7.98 10.7  7.73 7.83 241 222 1 0 470 232 2 3 241 222 1 2 241 222 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.98 7.75 8.12 8.08 182 164 1 0 182 164 1 1 182 164 1 1 182 164 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 7.63 6.77 7.02 7.38 100 82 1 0 100 82 1 1 100 82 1 1 100 82 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 10.7  15.2  9.67 9.82 407 299 2 0 603 185 4 7 234 180 1 2 407 299 2 4
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 42.5  901    11.7  47.3  10260 5890 12 0 117660 3511 66 149 932 566 2 18 11310 8612 9 58
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.06 6.03 7.22 7.18 136 113 1 0 136 113 1 1 136 113 1 1 136 113 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.89 6.90 6.29 6.54 165 94 2 0 165 94 2 3 85 58 1 2 85 58 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 10.7  10.2  9.68 9.96 894 876 1 0 894 876 1 1 894 876 1 1 894 876 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 42.4  44.4  38.9  41.7  22440 22422 1 0 22440 22422 1 1 22440 22422 1 1 22440 22422 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 14.3  14.3  14.2  14.1  1625 1607 1 0 1625 1607 1 1 1625 1607 1 1 1625 1607 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 15.4  15.5  16.1  16.2  2067 2049 1 0 2067 2049 1 1 2067 2049 1 1 2067 2049 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 37.3  35.8  36.4  40.1  13272 13254 1 0 13272 13254 1 1 13272 13254 1 1 13272 13254 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 21.3  21.4  21.7  21.7  6240 6222 1 0 6240 6222 1 1 6240 6222 1 1 6240 6222 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.41 9.46 9.32 9.45 692 674 1 0 692 674 1 1 692 674 1 1 692 674 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 12.4  12.8  12.8  12.7  1328 1310 1 0 1328 1310 1 1 1328 1310 1 1 1328 1310 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 26.1  25.6  27.8  26.3  5357 5339 1 0 5357 5339 1 1 5357 5339 1 1 5357 5339 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 22.9  21.3  23.2  23.3  4453 4435 1 0 4453 4435 1 1 4453 4435 1 1 4453 4435 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 21.4  21.0  22.0  20.1  4452 4429 1 0 4452 4429 1 1 4452 4429 1 1 4452 4429 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.69 9.31 9.43 9.54 793 775 1 0 793 775 1 1 793 775 1 1 793 775 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 18.0  19.1  18.0  18.8  2480 2462 1 0 2480 2462 1 1 2480 2462 1 1 2480 2462 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 44.2  41.7  41.8  45.3  8860 8842 1 0 8860 8842 1 1 8860 8842 1 1 8860 8842 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 6.71 7.12 6.96 6.99 249 231 1 0 249 231 1 1 249 231 1 1 249 231 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.24 8.98 9.45 8.06 290 259 1 0 290 259 1 1 290 259 1 1 290 259 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 6.97 6.91 6.67 98 78 1 0 98 78 1 1 98 78 1 1 98 78 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 10.9  10.8  11.5  10.8  1157 1122 1 0 1157 1122 1 1 1157 1122 1 1 1157 1122 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 7.22 8.44 8.18 8.23 237 212 1 0 237 212 1 1 237 212 1 1 237 212 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 6.26 6.57 6.41 6.19 217 185 1 0 217 185 1 1 217 185 1 1 217 185 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.85 4.93 4.62 4.12 86 68 1 0 86 68 1 1 86 68 1 1 86 68 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.8  11.1  11.2  11.2  1218 327 2 0 1218 327 2 3 1132 567 1 2 1218 327 2 3
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 8.71 8.64 5.50 6.89 367 296 2 0 367 296 2 4 108 80 1 3 108 80 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 27.3  26.5  13.8  18.9  4646 4522 2 0 4646 4522 2 4 1833 1786 1 3 1942 1818 2 4
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.28 7.75 6.91 7.75 296 200 2 0 296 200 2 3 169 120 1 2 296 200 2 3
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 7.24 7.62 7.48 7.15 178 160 1 0 178 160 1 1 178 160 1 1 178 160 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 5.68 6.53 5.87 6.60 106 88 1 0 106 88 1 1 106 88 1 1 106 88 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 6.40 7.28 7.68 6.35 214 196 1 0 214 196 1 1 214 196 1 1 214 196 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 6.91 6.68 7.15 6.87 173 155 1 0 173 155 1 1 173 155 1 1 173 155 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.21 8.11 8.30 8.15 398 380 1 0 398 380 1 1 398 380 1 1 398 380 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 7.22 7.44 7.54 7.49 91 46 1 0 91 46 1 1 91 46 1 1 91 46 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 10.8  10.5  12.2  11.4  905 882 1 0 905 882 1 1 905 882 1 1 905 882 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.05 6.47 6.34 6.69 54 36 1 0 54 36 1 1 54 36 1 1 54 36 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 5.29 5.46 6.53 6.34 82 64 1 0 82 64 1 1 82 64 1 1 82 64 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.94 6.66 7.03 5.81 186 168 1 0 186 168 1 1 186 168 1 1 186 168 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 8.39 8.76 8.31 8.62 617 599 1 0 617 599 1 1 617 599 1 1 617 599 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.61 6.05 6.01 5.51 76 58 1 0 76 58 1 1 76 58 1 1 76 58 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 6.81 6.81 7.08 7.09 160 142 1 0 160 142 1 1 160 142 1 1 160 142 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 7.57 8.58 8.30 8.53 524 506 1 0 524 506 1 1 524 506 1 1 524 506 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.28 6.33 6.40 6.36 112 94 1 0 112 94 1 1 112 94 1 1 112 94 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.40 5.53 5.50 5.47 64 46 1 0 64 46 1 1 64 46 1 1 64 46 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.59 6.58 7.59 7.99 324 306 1 0 324 306 1 1 324 306 1 1 324 306 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.09 7.17 5.70 6.00 218 200 1 0 218 200 1 1 218 200 1 1 218 200 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.29 6.37 6.53 5.17 88 70 1 0 88 70 1 1 88 70 1 1 88 70 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 8.26 7.93 8.37 8.09 396 378 1 0 396 378 1 1 396 378 1 1 396 378 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.06 6.17 7.14 6.68 181 163 1 0 181 163 1 1 181 163 1 1 181 163 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 6.33 5.57 6.26 6.42 92 74 1 0 92 74 1 1 92 74 1 1 92 74 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.61 9.75 9.71 9.25 624 606 1 0 624 606 1 1 624 606 1 1 624 606 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 6.35 6.49 6.66 6.50 80 62 1 0 80 62 1 1 80 62 1 1 80 62 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.79 6.78 6.85 7.12 158 140 1 0 158 140 1 1 158 140 1 1 158 140 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 7.23 7.01 7.05 7.23 269 251 1 0 269 251 1 1 269 251 1 1 269 251 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 8.74 8.09 8.77 8.49 708 690 1 0 708 690 1 1 708 690 1 1 708 690 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 9.65 9.43 9.47 9.55 1092 1074 1 0 1092 1074 1 1 1092 1074 1 1 1092 1074 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.80 6.54 6.54 6.47 99 81 1 0 99 81 1 1 99 81 1 1 99 81 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 12.8  13.2  13.2  13.7  1677 1655 1 0 1677 1655 1 1 1677 1655 1 1 1677 1655 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.22 8.08 7.94 7.91 281 263 1 0 281 263 1 1 281 263 1 1 281 263 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 8.98 9.58 9.60 9.52 711 693 1 0 711 693 1 1 711 693 1 1 711 693 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 9.34 9.67 9.57 9.81 480 247 1 0 480 247 1 1 480 247 1 1 480 247 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 22.4  20.8  22.1  21.4  4957 4930 1 0 4957 4930 1 1 4957 4930 1 1 4957 4930 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.79 9.17 6.70 7.91 408 229 2 0 408 229 2 4 238 162 1 3 238 162 1 3
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 9.52 9.23 9.26 9.63 601 416 1 0 601 416 1 1 601 416 1 1 601 416 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 8.78 9.07 8.41 8.12 384 178 2 0 384 178 2 4 244 150 1 3 244 150 1 3
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.71 8.06 7.88 7.81 214 192 1 0 214 192 1 1 214 192 1 1 214 192 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.50 6.11 6.37 6.48 125 89 1 0 125 89 1 1 125 89 1 1 125 89 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.89 7.21 6.92 7.17 213 176 1 0 213 176 1 1 213 176 1 1 213 176 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.71 10.4  8.81 10.5  513 413 2 0 513 413 2 3 342 290 1 2 513 413 2 3
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 17.9  17.3  18.1  17.8  6831 3416 1 0 6831 3416 1 1 6831 3416 1 1 6831 3416 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 29.3  49.2  18.7  16.6  4204 2862 4 0 8029 2969 13 36 2331 2019 1 3 2331 2019 1 3
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 10.7  35.9  8.69 10.7  730 635 2 0 2067 1000 11 21 360 318 1 2 730 635 2 4
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.8  11.4  9.83 11.3  655 340 2 0 655 340 2 3 476 328 1 2 655 340 2 3
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 6.26 7.43 7.41 7.49 171 153 1 0 171 153 1 1 171 153 1 1 171 153 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 44.5  63.1  26.5  54.9  16993 15047 3 0 22534 15149 10 28 9339 8893 1 3 17752 15047 4 12
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.77 7.00 8.08 7.85 253 235 1 0 253 235 1 1 253 235 1 1 253 235 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 14.9  19.3  7.10 8.40 2134 1993 3 0 2241 1993 4 12 504 475 1 4 504 475 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 7.90 7.85 8.20 7.85 273 255 1 0 273 255 1 1 273 255 1 1 273 255 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 8.93 9.13 7.58 8.78 426 408 1 0 426 408 1 1 426 408 1 1 426 408 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 7.34 8.71 8.44 8.11 311 293 1 0 311 293 1 1 311 293 1 1 311 293 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.88 6.64 6.60 7.93 267 249 1 0 267 249 1 1 267 249 1 1 267 249 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 12.4  12.2  9.12 13.9  916 799 2 0 916 799 2 5 360 333 1 4 900 587 4 17
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 7.89 8.07 7.77 7.93 249 231 1 0 249 231 1 1 249 231 1 1 249 231 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 8.67 8.85 8.81 8.75 401 383 1 0 401 383 1 1 401 383 1 1 401 383 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 7.25 7.20 7.35 7.48 225 207 1 0 225 207 1 1 225 207 1 1 225 207 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.39 8.44 8.57 9.04 272 185 1 0 272 185 1 1 272 185 1 1 272 185 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.49 7.33 7.48 7.50 212 194 1 0 212 194 1 1 212 194 1 1 212 194 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 7.51 7.67 7.62 7.63 207 189 1 0 207 189 1 1 207 189 1 1 207 189 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.01 7.39 6.29 7.63 218 200 1 0 218 200 1 1 218 200 1 1 218 200 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 7.59 7.27 7.53 7.66 263 146 1 0 263 146 1 1 263 146 1 1 263 146 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.82 7.52 7.08 7.17 117 66 1 0 117 66 1 1 117 66 1 1 117 66 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.34 6.45 7.31 7.62 124 70 1 0 124 70 1 1 124 70 1 1 124 70 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.30 8.02 7.95 7.66 224 168 1 0 224 168 1 1 224 168 1 1 224 168 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 13.6  14.4  8.57 14.6  1191 793 3 0 1191 793 3 7 258 150 1 4 1191 793 3 7
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 6.03 6.92 6.69 7.06 121 103 1 0 121 103 1 1 121 103 1 1 121 103 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.15 8.15 7.78 7.67 185 130 1 0 185 130 1 1 185 130 1 1 185 130 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.58 7.92 7.93 7.92 146 78 1 0 146 78 1 1 146 78 1 1 146 78 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 10.1  11.0  8.35 11.3  707 319 2 0 707 319 2 4 428 237 1 3 687 299 2 4
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.96 7.81 6.76 7.67 277 159 1 0 277 159 1 1 277 159 1 1 277 159 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 7.22 6.15 7.48 7.48 166 91 1 0 166 91 1 1 166 91 1 1 166 91 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.79 8.21 7.85 7.76 505 327 1 0 505 327 1 1 505 327 1 1 505 327 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 9.38 9.36 9.38 9.12 719 436 1 0 719 436 1 1 719 436 1 1 719 436 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 7.73 8.12 8.40 8.42 259 142 1 0 259 142 1 1 259 142 1 1 259 142 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 901    901    8.22 9.94 4680684 28 203507 0 3400244 20 147836 295672 183 160 1 2 485 439 2 4
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 9.03 9.46 8.28 9.17 372 236 2 0 372 236 2 3 261 178 1 2 372 236 2 3
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 9.56 9.63 9.61 9.65 663 645 1 0 663 645 1 1 663 645 1 1 663 645 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 8.06 9.84 9.11 11.2  465 280 1 0 737 364 2 4 465 280 1 3 666 293 2 4
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.19 7.04 7.12 7.20 135 101 1 0 135 101 1 1 135 101 1 1 135 101 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 7.34 8.56 8.44 8.63 443 388 1 0 443 388 1 1 443 388 1 1 443 388 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 7.47 8.92 7.49 8.90 494 438 1 0 494 438 1 1 494 438 1 1 494 438 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 6.81 7.67 7.71 6.46 244 226 1 0 244 226 1 1 244 226 1 1 244 226 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 8.77 9.05 9.10 8.86 270 156 1 0 270 156 1 1 270 156 1 1 270 156 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 8.81 9.31 9.67 8.51 477 254 1 0 477 254 1 1 477 254 1 1 477 254 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 7.55 7.32 6.29 7.47 229 211 1 0 229 211 1 1 229 211 1 1 229 211 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 7.50 8.09 7.91 7.63 249 231 1 0 249 231 1 1 249 231 1 1 249 231 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 7.51 7.86 7.76 8.01 244 226 1 0 244 226 1 1 244 226 1 1 244 226 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 7.44 7.49 7.73 7.36 230 212 1 0 230 212 1 1 230 212 1 1 230 212 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.93 7.53 7.69 8.99 451 240 1 0 451 240 1 1 451 240 1 1 451 240 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 7.23 7.48 7.61 7.72 221 185 1 0 221 185 1 1 221 185 1 1 221 185 1 1
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 6.69 7.66 7.91 7.88 245 227 1 0 245 227 1 1 245 227 1 1 245 227 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 9.28 9.50 9.03 8.20 432 414 1 0 432 414 1 1 432 414 1 1 432 414 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 8.88 9.62 9.48 9.37 406 247 1 0 406 247 1 1 406 247 1 1 406 247 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 7.50 7.80 6.14 7.24 241 223 1 0 241 223 1 1 241 223 1 1 241 223 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 7.44 7.45 7.31 7.53 224 206 1 0 224 206 1 1 224 206 1 1 224 206 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 7.74 7.18 7.89 7.39 241 223 1 0 241 223 1 1 241 223 1 1 241 223 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.92 7.51 7.67 7.95 282 264 1 0 282 264 1 1 282 264 1 1 282 264 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 11.9  10.9  12.2  11.8  850 832 1 0 850 832 1 1 850 832 1 1 850 832 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.63 7.50 7.19 7.27 191 173 1 0 191 173 1 1 191 173 1 1 191 173 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.10 9.21 9.20 9.36 448 420 1 0 448 420 1 1 448 420 1 1 448 420 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.01 6.06 6.62 7.23 136 64 2 0 136 64 2 3 93 65 1 2 136 64 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.47 8.24 8.30 8.36 252 224 1 0 252 224 1 1 252 224 1 1 252 224 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 50.6  402    27.9  27.7  45717 44680 5 0 136355 106413 70 282 13075 12882 1 8 13075 12882 1 8
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.27 7.38 7.31 7.37 185 167 1 0 185 167 1 1 185 167 1 1 185 167 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.54 7.69 6.61 7.76 221 203 1 0 221 203 1 1 221 203 1 1 221 203 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.49 7.31 7.53 7.74 217 199 1 0 217 199 1 1 217 199 1 1 217 199 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.47 7.93 7.66 7.61 220 202 1 0 220 202 1 1 220 202 1 1 220 202 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.4  14.0  7.77 7.81 1172 1104 2 0 1172 1104 2 3 228 193 1 2 228 193 1 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-bd2802.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 14.6  15.8  14.3  16.8  723 520 2 0 723 520 2 5 544 416 1 4 723 520 2 5
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-dac124s085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.7  32.8  7.93 10.2  769 286 3 0 2123 599 7 18 251 159 1 3 524 297 2 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.7  10.8  11.1  10.4  467 343 1 0 467 343 1 1 467 343 1 1 467 343 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.55 40.8  7.01 9.48 307 113 3 0 1743 538 13 36 114 67 1 3 307 113 3 8
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-pca9633.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.7  33.4  7.83 10.2  661 235 4 0 2227 902 9 25 217 146 1 4 432 169 3 9
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.73 9.38 9.85 9.54 439 232 2 0 439 232 2 2 439 232 2 2 439 232 2 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.10 6.18 7.03 7.07 111 93 1 0 111 93 1 1 111 93 1 1 111 93 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.16 5.21 5.12 4.99 77 59 1 0 77 59 1 1 77 59 1 1 77 59 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.92 7.04 6.89 6.89 159 141 1 0 159 141 1 1 159 141 1 1 159 141 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.21 8.40 7.29 6.92 308 160 2 0 308 160 2 3 169 150 1 2 169 150 1 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.59 6.86 6.73 6.62 93 72 1 0 93 72 1 1 93 72 1 1 93 72 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 14.0  14.4  14.6  14.1  2792 1397 1 0 2792 1397 1 1 2792 1397 1 1 2792 1397 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.47 8.97 8.44 9.29 570 286 1 0 570 286 1 1 570 286 1 1 570 286 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2060.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.53 9.30 9.32 10.0  476 239 1 0 476 239 1 1 476 239 1 1 476 239 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.7  18.4  17.8  17.9  3845 1924 1 0 3845 1924 1 1 3845 1924 1 1 3845 1924 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.32 7.55 9.50 9.55 596 299 1 0 596 299 1 1 596 299 1 1 596 299 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.94 9.88 9.64 9.66 804 403 1 0 804 403 1 1 804 403 1 1 804 403 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 45.7  49.7  17.8  57.0  8568 6586 6 0 8568 6586 6 26 1941 1525 2 6 12524 9978 8 38
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.3  16.2  16.3  16.5  1138 570 1 0 1138 570 1 1 1138 570 1 1 1138 570 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.93 12.0  11.7  11.6  784 393 1 0 784 393 1 1 784 393 1 1 784 393 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 17.9  19.7  20.7  19.4  4035 2019 1 0 4035 2019 1 1 4035 2019 1 1 4035 2019 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 25.4  25.9  26.3  26.4  7845 2644 2 0 7845 2644 2 2 7845 2644 2 2 7845 2644 2 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 49.6  51.1  37.6  46.2  14215 5708 4 0 14215 5708 4 6 8527 5697 2 3 11367 5706 3 5
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.23 9.60 9.47 8.95 139 102 1 0 139 102 1 1 139 102 1 1 139 102 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.49 9.56 8.90 8.21 176 135 1 0 176 135 1 1 176 135 1 1 176 135 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 39.8  56.5  60.6  53.1  3676 1774 7 0 6971 1910 17 29 9792 1910 17 43 7210 1896 15 27
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 20.5  22.9  27.4  28.2  1909 1503 3 0 1909 1503 3 4 2406 1828 4 5 2406 1828 4 5
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.95 10.9  9.68 10.5  287 182 2 0 287 182 2 3 216 169 1 2 287 182 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.9  10.8  10.5  9.84 218 180 1 0 218 180 1 1 218 180 1 1 218 180 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 11.5  11.5  11.3  11.8  532 267 1 0 532 267 1 1 532 267 1 1 532 267 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.97 9.77 9.70 9.92 59 30 1 0 59 30 1 1 59 30 1 1 59 30 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.6  11.8  12.1  11.6  558 506 1 0 558 506 1 1 558 506 1 1 558 506 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.05 8.74 8.75 8.80 75 41 1 0 75 41 1 1 75 41 1 1 75 41 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 157    160    109    660    53780 25757 12 0 42108 21790 15 110 34682 22284 16 84 92653 52040 19 270
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.0  12.8  12.9  12.6  578 511 1 0 578 511 1 1 578 511 1 1 578 511 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 11.3  10.9  11.3  11.5  390 196 1 0 390 196 1 1 390 196 1 1 390 196 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.25 9.61 9.50 9.42 188 136 1 0 188 136 1 1 188 136 1 1 188 136 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.81 8.41 9.06 10.0  176 135 1 0 176 135 1 1 176 135 1 1 176 135 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 51.4  50.7  53.2  53.2  66956 66878 1 0 66956 66878 1 1 66956 66878 1 1 66956 66878 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c 17.7  17.8  18.7  17.9  43 22 1 0 43 22 1 1 43 22 1 1 43 22 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.85 9.37 8.42 8.91 151 116 1 0 151 116 1 1 151 116 1 1 151 116 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 31.2  35.4  27.8  21.1  3577 1272 7 0 3577 1272 7 11 3255 755 5 11 2388 706 4 8
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 13.5  14.1  14.0  13.8  525 497 1 0 525 497 1 1 525 497 1 1 525 497 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 14.8  13.6  13.2  13.9  1367 1267 1 0 1367 1267 1 1 1367 1267 1 1 1367 1267 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.49 8.29 9.84 9.43 140 103 1 0 140 103 1 1 140 103 1 1 140 103 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 23.8  51.9  216    40.7  2307 1877 4 0 6556 3527 16 31 23587 3476 53 105 3135 2422 6 13
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 30.8  56.8  27.7  34.5  4929 4561 4 0 12151 8766 18 36 4223 3985 3 5 4929 4561 4 8
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--mxl111sf-demod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 16.8  18.0  18.6  18.8  6572 3287 1 0 6572 3287 1 1 6572 3287 1 1 6572 3287 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 38.5  40.0  42.4  41.4  26052 13027 1 0 26052 13027 1 1 26052 13027 1 1 26052 13027 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 40.2  38.1  40.6  41.9  14348 7175 1 0 14348 7175 1 1 14348 7175 1 1 14348 7175 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 32.6  31.7  32.7  32.5  10490 5246 1 0 10490 5246 1 1 10490 5246 1 1 10490 5246 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dvb_dummy_fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.66 8.71 8.59 7.35 870 437 1 0 870 437 1 1 870 437 1 1 870 437 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.59 9.50 9.35 9.31 734 368 1 0 734 368 1 1 734 368 1 1 734 368 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6405.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.92 5.83 6.48 5.85 43 22 1 0 43 22 1 1 43 22 1 1 43 22 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6421.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.82 5.74 5.01 5.85 43 22 1 0 43 22 1 1 43 22 1 1 43 22 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 25.2  24.7  25.7  25.0  3142 1572 1 0 3142 1572 1 1 3142 1572 1 1 3142 1572 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp21.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.06 6.62 6.88 6.75 43 22 1 0 43 22 1 1 43 22 1 1 43 22 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp22.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.51 5.59 6.59 6.73 43 22 1 0 43 22 1 1 43 22 1 1 43 22 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 16.5  17.6  17.2  18.2  2886 1444 1 0 2886 1444 1 1 2886 1444 1 1 2886 1444 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.39 8.44 8.46 8.56 408 205 1 0 408 205 1 1 408 205 1 1 408 205 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 18.2  17.6  18.4  18.4  1976 989 1 0 1976 989 1 1 1976 989 1 1 1976 989 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 7.93 6.97 7.93 7.81 296 149 1 0 296 149 1 1 296 149 1 1 296 149 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 8.33 8.49 8.18 8.35 274 138 1 0 274 138 1 1 274 138 1 1 274 138 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.9  12.2  11.9  11.5  324 306 1 0 324 306 1 1 324 306 1 1 324 306 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 20.3  19.8  19.0  19.8  3287 3269 1 0 3287 3269 1 1 3287 3269 1 1 3287 3269 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-adstech-dvb-t-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.34 4.46 4.41 4.59 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.43 3.90 4.38 4.37 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.05 4.26 4.33 4.44 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.27 4.39 3.57 4.53 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.42 4.34 3.82 4.36 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-tv-wonder-hd-600.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.35 4.33 4.26 4.32 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.38 4.52 4.41 4.45 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-a16d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.29 4.45 4.57 4.45 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.39 4.30 3.72 4.53 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.38 4.54 4.51 4.46 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.44 4.56 4.26 4.54 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m733a-rm-k6.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.55 4.53 4.44 4.39 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.30 4.47 4.34 4.53 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.37 4.48 4.60 4.44 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.22 4.45 4.49 4.47 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 3.80 4.35 4.46 4.42 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.36 4.44 4.39 3.74 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.35 4.40 4.46 4.43 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.53 4.55 4.34 4.44 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.28 4.49 4.48 4.34 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.56 4.50 4.39 4.45 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.56 4.60 4.48 4.65 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.54 4.56 4.57 4.68 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.53 4.40 4.55 4.58 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.37 4.35 4.45 4.45 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.46 3.71 4.48 4.43 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvb-t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 3.60 4.25 4.34 4.43 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvbt-pro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.43 3.76 4.53 3.67 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-em-terratec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 3.62 4.39 4.38 4.40 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv-fm53.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 3.79 4.30 4.48 3.67 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.10 4.39 4.41 4.55 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.46 4.33 4.45 4.43 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-evga-indtube.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.33 4.33 4.33 4.38 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-eztv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.53 4.39 4.34 4.38 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flydvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.39 4.30 4.43 4.33 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.25 3.89 4.29 4.30 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.25 4.40 4.32 4.53 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gadmei-rm008z.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.35 4.50 4.40 4.35 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-genius-tvgo-a11mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.38 4.34 4.27 4.35 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gotview7135.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.37 4.23 4.33 4.35 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-hauppauge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.68 4.61 4.68 3.96 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.43 4.47 4.38 4.31 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-pad.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.46 4.43 4.66 4.73 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-iodata-bctv7e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.38 4.58 4.39 4.40 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 3.70 4.49 4.43 4.44 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.33 4.46 4.49 4.40 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kaiomy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.34 4.42 4.36 4.55 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-315u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.39 4.42 4.43 4.43 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-pc150u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.41 4.57 4.41 4.39 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-plus-tv-analog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.31 3.93 4.35 4.37 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-leadtek-y04g0051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.49 4.37 4.58 4.41 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lirc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.24 4.25 3.65 4.31 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lme2510.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.35 4.54 4.25 4.52 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.28 4.30 4.43 4.38 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-medion-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.29 4.51 4.47 4.35 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-ii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.39 4.34 4.44 4.45 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.19 4.28 4.53 4.46 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere-plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.27 4.53 4.33 4.43 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.50 4.35 3.82 4.38 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nebula.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 3.79 4.45 4.50 3.98 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nec-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.32 3.94 4.51 4.47 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-norwood.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.37 4.33 4.45 4.45 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.40 4.46 4.47 4.43 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pctv-sedna.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.29 4.47 4.36 4.46 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-color.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.41 4.46 4.42 4.34 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-grey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.42 4.37 4.10 4.42 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-pctv-hd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.12 4.33 4.32 4.49 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-002t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.39 4.23 3.71 3.80 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-mk12.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.36 4.37 4.45 4.35 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-new.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.38 3.88 4.60 4.17 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 3.75 4.27 4.63 4.38 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.29 4.48 4.43 4.52 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.29 4.41 4.48 4.36 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-purpletv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.40 4.47 4.40 4.41 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pv951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.46 4.51 4.47 4.43 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-rc6-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.41 4.55 4.52 3.84 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-real-audio-220-32-keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.31 4.32 4.26 3.47 54 36 1 0 54 36 1 1 54 36 1 1 54 36 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-snapstream-firefly.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.55 4.42 4.38