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-03-31 09:01:11 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 -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=NONE -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=LENGTH_MIN -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=RANDOM -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=NONE -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=LENGTH_MIN -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=LENGTH_MAX -heap 12500M -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -valueAnalysis-Cegar-Optimized -setprop cpa.value.refinement.prefixPreference=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 69.0  78.3  75.1  76.2  94385 65977 3 0 87685 65977 2 5 94385 65977 3 7 87668 65977 2 5
bitvector/byte_add_1_true-unreach-call.i 79.1  21.7  133    125    110883 16500 4 0 43618 16500 3 12 193371 16500 6 13 153658 16500 4 10
bitvector/byte_add_2_true-unreach-call.i 77.5  79.5  151    145    110895 16512 4 0 104195 16512 3 8 193409 16512 6 16 193409 16512 6 16
bitvector/gcd_1_true-unreach-call.i 3.50 3.49 3.60 3.67 21 24 0 0 21 24 0 0 21 24 0 0 21 24 0 0
bitvector/gcd_2_true-unreach-call.i 3.03 3.48 3.52 3.54 20 23 0 0 20 23 0 0 20 23 0 0 20 23 0 0
bitvector/gcd_3_true-unreach-call.i 3.77 3.09 3.45 3.57 20 23 0 0 20 23 0 0 20 23 0 0 20 23 0 0
bitvector/gcd_4_true-unreach-call.i 3.70 3.95 3.83 3.89 97 48 2 0 133 48 3 6 104 48 2 3 104 48 2 3
bitvector/interleave_bits_true-unreach-call.i 3.85 3.86 3.95 3.84 58 47 1 0 58 47 1 1 58 47 1 1 58 47 1 1
bitvector/jain_1_true-unreach-call.i 3.31 3.41 3.54 3.44 10 12 0 0 10 12 0 0 10 12 0 0 10 12 0 0
bitvector/jain_2_true-unreach-call.i 3.49 3.44 3.35 3.47 12 14 0 0 12 14 0 0 12 14 0 0 12 14 0 0
bitvector/jain_4_true-unreach-call.i 3.53 3.43 3.51 3.56 14 16 0 0 14 16 0 0 14 16 0 0 14 16 0 0
bitvector/jain_5_true-unreach-call.i 902    903    903    903    264750 264743 1 0 263512 263505 1 1 264155 264148 1 1 263070 263063 1 1
bitvector/jain_6_true-unreach-call.i 2.94 3.41 3.56 3.53 14 16 0 0 14 16 0 0 14 16 0 0 14 16 0 0
bitvector/jain_7_true-unreach-call.i 3.41 3.57 3.48 3.47 14 16 0 0 14 16 0 0 14 16 0 0 14 16 0 0
bitvector/modulus_true-unreach-call.i 3.50 3.57 3.62 3.64 18 23 0 0 18 23 0 0 18 23 0 0 18 23 0 0
bitvector/num_conversion_1_true-unreach-call.i 4.44 4.04 3.96 4.23 144 45 3 0 144 45 3 5 144 45 3 5 144 45 3 5
bitvector/num_conversion_2_true-unreach-call.i 3.70 3.82 3.90 3.76 60 52 1 0 60 52 1 1 60 52 1 1 60 52 1 1
bitvector/parity_true-unreach-call.i 3.53 3.10 3.66 3.66 14 17 0 0 14 17 0 0 14 17 0 0 14 17 0 0
bitvector/sum02_true-unreach-call.i 3.76 3.69 3.79 3.78 97 43 3 0 97 43 3 3 97 43 3 3 97 43 3 3
bitvector/s3_clnt_1_false-unreach-call.BV.c.cil.c 7.43 5.92 7.51 7.22 2276 1530 2 0 2276 1530 2 5 3167 1530 2 12 2276 1530 2 5
bitvector/s3_clnt_2_false-unreach-call.BV.c.cil.c 7.84 7.72 8.62 7.39 2808 2077 2 0 2808 2077 2 5 3684 2077 2 13 3684 2077 2 13
bitvector/s3_clnt_3_false-unreach-call.BV.c.cil.c 8.82 7.46 7.87 7.81 3208 739 5 0 2927 739 5 8 3208 739 5 10 3208 739 5 10
bitvector/s3_clnt_1_true-unreach-call.BV.c.cil.c 12.4  11.5  9.83 11.9  6001 1870 4 0 8912 1985 5 9 6892 1870 4 15 9803 1985 5 16
bitvector/s3_clnt_2_true-unreach-call.BV.c.cil.c 13.2  13.2  11.0  12.8  7147 1861 4 0 11051 1976 5 9 8023 1861 4 16 11051 1976 5 9
bitvector/s3_clnt_3_true-unreach-call.BV.c.cil.c 13.4  13.2  12.2  10.6  8088 2122 6 0 14208 2122 6 18 13505 2122 5 21 8791 3017 4 12
bitvector/s3_srvr_1_alt_true-unreach-call.BV.c.cil.c 13.5  12.2  15.0  13.6  15946 3638 6 0 10552 3638 5 11 15946 3638 6 23 15946 3638 6 23
bitvector/s3_srvr_1_true-unreach-call.BV.c.cil.c 11.6  9.36 9.94 9.01 7647 2136 4 0 4734 1443 4 9 8929 2136 4 22 4734 1443 4 9
bitvector/s3_srvr_2_alt_true-unreach-call.BV.c.cil.c 10.6  9.08 11.1  11.0  7575 3404 3 0 5212 2724 3 6 7575 3404 3 13 9069 2724 4 14
bitvector/s3_srvr_2_true-unreach-call.BV.c.cil.c 11.1  10.3  10.5  9.81 7567 3402 3 0 5204 2722 3 6 7567 3402 3 13 5204 2722 3 6
bitvector/s3_srvr_3_alt_true-unreach-call.BV.c.cil.c 10.9  7.75 11.6  9.57 7673 2143 4 0 4750 1445 4 9 8964 2143 4 22 4750 1445 4 9
bitvector/s3_srvr_3_true-unreach-call.BV.c.cil.c 10.6  8.06 11.4  8.56 7653 2139 4 0 4744 1443 4 9 8938 2139 4 22 4744 1443 4 9
bitvector/soft_float_1_true-unreach-call.c.cil.c 4.30 4.68 9.40 4.68 871 150 4 0 499 150 3 9 3373 150 5 145 475 150 3 9
bitvector/soft_float_2_true-unreach-call.c.cil.c 6.46 6.33 13.6  12.6  1996 415 5 0 1138 344 3 17 8942 367 4 288 9769 367 5 295
bitvector/soft_float_3_true-unreach-call.c.cil.c 6.04 7.20 13.4  6.98 1953 507 5 0 1752 422 4 19 6097 459 4 288 1925 507 4 20
bitvector/soft_float_4_true-unreach-call.c.cil.c 4.79 4.64 8.21 4.76 568 149 3 0 466 149 3 7 3022 149 4 144 466 149 3 7
bitvector/soft_float_5_true-unreach-call.c.cil.c 6.21 5.74 13.6  11.4  1996 415 5 0 1078 314 3 17 8942 367 4 288 6223 367 5 283
bitvector-regression/implicitfloatconversion_false-unreach-call.i 3.33 3.54 3.48 3.37 7 9 0 0 7 9 0 0 7 9 0 0 7 9 0 0
bitvector-regression/implicitunsignedconversion_false-unreach-call.i 3.37 3.33 3.51 3.38 7 9 0 0 7 9 0 0 7 9 0 0 7 9 0 0
bitvector-regression/integerpromotion_false-unreach-call.i 4.07 4.10 4.11 4.13 9 11 0 0 9 11 0 0 9 11 0 0 9 11 0 0
bitvector-regression/signextension2_false-unreach-call.i 4.07 4.14 4.11 4.11 12 14 0 0 12 14 0 0 12 14 0 0 12 14 0 0
bitvector-regression/signextension_false-unreach-call.i 3.88 4.15 3.49 3.54 16 18 0 0 16 18 0 0 16 18 0 0 16 18 0 0
bitvector-regression/implicitunsignedconversion_true-unreach-call.i 3.34 3.20 3.45 3.52 12 5 1 0 12 5 1 1 12 5 1 1 12 5 1 1
bitvector-regression/integerpromotion_true-unreach-call.i 4.04 3.96 4.03 3.94 15 6 1 0 15 6 1 1 15 6 1 1 15 6 1 1
bitvector-regression/signextension2_true-unreach-call.i 4.19 3.61 4.16 3.66 57 9 4 0 57 9 4 4 57 9 4 4 57 9 4 4
bitvector-regression/signextension_true-unreach-call.i 4.13 4.39 3.74 4.17 77 13 4 0 77 13 4 4 77 13 4 4 77 13 4 4
bitvector-loops/diamond_false-unreach-call2.i 4.15 4.17 4.38 4.47 307 328 1 0 307 328 1 1 307 328 1 1 307 328 1 1
bitvector-loops/overflow_false-unreach-call1.i 902    902    902    902    114202 114195 1 0 111888 111881 1 1 112728 112721 1 1 113483 113476 1 1
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i 3.90 3.91 3.87 3.96 65 57 1 0 109 57 2 3 65 57 1 2 109 57 2 3
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c 19.1  16.3  16.1  12.5  19917 6101 13 0 22084 6109 13 20 19901 5627 15 23 16784 6109 14 24
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c 18.1  15.0  16.5  14.9  30911 3867 22 0 31705 3451 21 36 31379 3451 23 35 29798 3880 20 31
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c 20.3  19.4  18.7  19.5  59410 5082 29 0 61334 4666 28 47 60226 4883 29 43 66821 5064 29 48
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c 15.5  13.4  14.4  13.0  9545 1121 15 0 9446 1052 15 25 16762 1980 17 28 8296 979 14 23
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c 24.0  24.3  22.0  21.5  178015 5877 38 0 183968 5917 39 52 159367 5877 38 53 176774 5895 38 53
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c 21.1  18.5  19.8  18.3  87951 9127 31 0 94567 9127 29 45 92423 9127 30 50 89226 9127 32 56
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c 15.9  14.6  15.7  15.6  30958 3891 22 0 31750 3471 21 36 31424 3471 23 35 31964 3879 21 34
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c 20.0  16.8  17.0  16.9  59478 5118 29 0 61400 4698 28 47 64932 4698 30 44 64616 5129 28 43
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c 9.39 6.86 9.20 7.79 2307 400 10 0 2246 379 10 15 3309 740 10 34 2343 400 10 18
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c 12.7  10.5  11.7  11.3  4679 741 10 0 5392 721 11 18 7358 1423 12 19 6908 793 13 20
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c 6.78 5.96 7.61 7.63 2915 647 3 0 1370 647 2 5 2915 647 3 14 2915 647 3 14
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 7.88 6.12 7.46 6.23 2919 648 3 0 1373 648 2 5 2919 648 3 14 1373 648 2 5
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c 6.45 6.46 7.85 6.27 2933 649 3 0 1375 649 2 5 2933 649 3 14 1375 649 2 5
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c 7.25 5.97 7.16 6.43 2923 648 3 0 1373 648 2 5 2923 648 3 14 1373 648 2 5
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c 13.9  12.9  15.3  12.9  15304 2487 6 0 20318 3451 9 52 19954 2449 8 75 17672 4622 8 39
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c 13.1  11.2  13.2  13.2  9792 1840 5 0 6799 1822 4 7 9792 1840 5 19 9834 1822 5 19
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c 16.5  14.8  16.4  16.2  37700 6489 6 0 29924 6489 6 27 37700 6489 6 66 45515 6489 7 69
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c 14.6  13.5  12.1  12.5  21722 2884 6 0 21394 4462 6 14 21722 2884 6 28 15386 2923 5 13
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c 16.3  14.1  13.2  14.7  20912 2772 9 0 20331 2772 9 67 23840 2772 9 99 30315 2772 10 106
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c 7.19 5.38 6.90 5.31 2237 309 3 0 713 309 2 5 2237 309 3 13 713 309 2 5
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c 7.13 5.47 6.93 5.23 2243 316 3 0 751 316 2 5 2243 316 3 13 751 316 2 5
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c 5.04 4.86 4.93 5.03 554 493 1 0 554 493 1 1 554 493 1 1 554 493 1 1
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c 10.5  11.4  9.40 8.97 5532 1979 3 0 6642 1739 4 8 5532 1979 3 17 4050 1637 3 7
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 11.0  12.4  8.78 12.7  6101 1973 3 0 8130 1733 4 8 6101 1973 3 17 8130 1733 4 8
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c 11.1  12.4  9.88 9.81 6098 1982 3 0 7740 1734 4 8 6098 1982 3 16 4588 1632 3 7
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c 10.9  9.27 9.04 9.54 5781 1977 3 0 7268 1733 4 8 5781 1977 3 17 4282 1631 3 7
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c 13.0  9.53 12.6  10.2  8111 1906 4 0 5129 1280 4 12 8111 1906 4 24 6311 1280 4 20
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c 4.83 4.26 4.77 4.82 923 275 3 0 923 275 3 8 1207 275 3 14 923 275 3 8
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 4.11 4.27 3.93 3.70 348 97 3 0 348 97 3 8 468 97 3 10 348 97 3 8
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c 10.5  6.50 9.80 7.62 5417 1883 3 0 3349 1264 3 6 5417 1883 3 15 3349 1264 3 6
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c 11.1  8.25 11.4  11.6  6991 1895 4 0 4344 1278 4 9 8201 1895 4 22 9639 1990 5 15
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c 11.7  8.02 10.3  7.89 6443 1890 4 0 3786 1271 4 8 6443 1890 4 19 3786 1271 4 8
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c 18.7  12.3  16.7  12.5  24719 4597 4 0 17393 3940 4 25 24719 4597 4 62 20738 3940 4 27
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c 13.5  9.75 12.8  12.6  12497 3571 4 0 9064 2942 4 11 12497 3571 4 23 14080 2942 5 24
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c 13.2  9.81 12.2  8.48 10519 1926 4 0 6449 1291 4 17 10519 1926 4 37 4506 1291 4 11
locks/test_locks_14_false-unreach-call.c 4.04 4.20 4.25 3.97 148 150 0 0 148 150 0 0 148 150 0 0 148 150 0 0
locks/test_locks_15_false-unreach-call.c 4.09 4.12 4.14 4.05 159 161 0 0 159 161 0 0 159 161 0 0 159 161 0 0
locks/test_locks_10_true-unreach-call.c 36.4  33.2  40.1  38.5  133238 29722 20 0 133238 29722 20 20 133238 29722 20 20 133238 29722 20 20
locks/test_locks_11_true-unreach-call_false-termination.c 96.0  105    93.6  104    286468 64540 22 0 286468 64540 22 22 286468 64540 22 22 286468 64540 22 22
locks/test_locks_12_true-unreach-call_false-termination.c 350    342    343    353    613280 139294 24 0 613280 139294 24 24 613280 139294 24 24 613280 139294 24 24
locks/test_locks_13_true-unreach-call.c 903    903    902    902    990800 301637 25 0 934170 245007 25 25 936189 247026 25 25 932951 243788 25 25
locks/test_locks_14_true-unreach-call.c 902    902    902    902    1013967 250966 25 0 969496 206495 25 25 948259 185258 25 25 942959 179958 25 25
locks/test_locks_15_true-unreach-call_false-termination.c 902    902    902    902    942200 104186 25 0 946989 113764 25 25 946270 112326 25 25 943844 107474 25 25
locks/test_locks_5_true-unreach-call_false-termination.c 6.84 6.22 5.11 6.34 2674 544 10 0 2674 544 10 10 2674 544 10 10 2674 544 10 10
locks/test_locks_6_true-unreach-call_false-termination.c 8.50 7.97 8.24 9.47 5930 1234 12 0 5930 1234 12 12 5930 1234 12 12 5930 1234 12 12
locks/test_locks_7_true-unreach-call_false-termination.c 9.68 9.79 11.4  9.40 13024 2772 14 0 13024 2772 14 14 13024 2772 14 14 13024 2772 14 14
locks/test_locks_8_true-unreach-call_false-termination.c 10.9  11.3  10.5  11.4  28420 6166 16 0 28420 6166 16 16 28420 6166 16 16 28420 6166 16 16
locks/test_locks_9_true-unreach-call.c 16.4  17.9  16.3  16.6  61686 13592 18 0 61686 13592 18 18 61686 13592 18 18 61686 13592 18 18
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i 915    903    903    903    704006 716721 4 0 691105 703582 4 5 724269 737359 4 5 682302 694615 4 5
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i 903    903    903    904    972976 983875 3 0 967051 979746 1 5 943919 953848 4 12 951801 963723 2 7
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i 23.3  18.4  21.8  20.8  6718 838 8 0 3191 838 8 22 6718 838 8 18 6221 838 8 14
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i 916    921    916    919    7061317 7056112 4 0 7084221 7077501 6 13 6660725 6652069 5 15 6849685 6843560 5 14
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i 25.4  24.8  24.3  25.6  1516 1181 1 0 1516 1181 1 2 1516 1181 1 2 1516 1181 1 2
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i 19.0  20.3  21.9  18.7  5776 1402 5 0 7084 1402 5 18 5776 1402 5 15 5168 1402 5 18
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i 21.1  24.5  24.6  24.7  17967 6578 5 0 17805 6578 5 9 26177 6578 5 12 21975 6578 5 12
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i 907    965    920    903    7448543 2816182 7 0 7475095 2843267 7 2086 7057774 494570 8 2102
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i 930    1010    1010    1010    11841633 11841837 0
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i 7.44 8.07 8.38 8.08 816 323 3 0 674 323 3 4 900 323 3 5 674 323 3 4
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i 9.86 9.11 9.49 9.60 1445 499 4 0 1225 499 4 6 1804 499 4 8 1804 499 4 8
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i 904    916    922    915    661609 696722 3 0 587011 618402 7 20 559733 590688 5 12 572832 603357 8 18
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i 13.0  12.0  12.5  12.8  1256 355 5 0 988 355 4 8 1414 355 5 11 1264 355 4 9
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i 15.1  16.7  17.8  17.0  4615 2490 4 0 4140 2490 4 7 8592 2490 4 10 4140 2490 4 7
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i 933    911    906    942    4054653 4052181 10 0 4134180 4129742 11 26 2853028 2852345 8 40 4098971 4094839 11 39
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i 10.7  13.6  9.57 9.89 1026 364 3 0 902 364 3 5 765 364 3 4 765 364 3 4
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i 27.7  28.0  26.6  28.3  66392 33196 1 0 66392 33196 1 1 66392 33196 1 1 66392 33196 1 1
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i 92.2  65.0  35.5  37.5  116456 54052 4 0 167763 54052 4 10 5484 2742 1 4 8228 2743 2 7
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i 835    926    26.9  935    15438785 3078416 15 0 15885985 1785484 14 133 45112 22556 1 7 11186018 11163475 1 7
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i 13.3  16.1  14.7  14.8  4958 2479 1 0 4958 2479 1 1 4958 2479 1 1 4958 2479 1 1
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i 26.3  22.9  18.8  17.2  101514 22403 6 0 65905 20143 6 19 9442 4721 1 5 9442 4721 1 5
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i 44.1  43.5  41.5  45.6  1663 1647 1 0 1663 1647 1 1 1663 1647 1 1 1663 1647 1 1
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i 6.88 6.79 6.96 6.99 1522 761 1 0 1522 761 1 1 1522 761 1 1 1522 761 1 1
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i 16.6  17.5  12.4  14.7  4605 1542 2 0 6123 1541 3 6 3042 1521 1 3 4561 1520 2 5
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i 18.2  16.9  18.5  20.2  5780 5764 1 0 5780 5764 1 1 5780 5764 1 1 5780 5764 1 1
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i 904    904    904    904    1182380 1196309 2 0 1175162 1189005 2 2 1165494 1179221 2 2 1178679 1192563 2 2
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i 18.3  19.3  18.6  18.5  30712 15356 1 0 30712 15356 1 1 30712 15356 1 1 30712 15356 1 1
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i 28.0  30.4  30.7  31.2  109414 54707 1 0 109414 54707 1 1 109414 54707 1 1 109414 54707 1 1
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i 19.9  22.2  21.3  20.7  32770 16385 1 0 32770 16385 1 1 32770 16385 1 1 32770 16385 1 1
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i 24.1  24.8  23.7  23.8  138806 69403 1 0 138806 69403 1 1 138806 69403 1 1 138806 69403 1 1
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i 8.25 7.89 7.96 7.92 611 244 3 0 530 244 3 4 681 244 3 5 681 244 3 5
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i 22.2  20.3  22.0  21.7  95477 31827 2 0 95477 31827 2 2 95477 31827 2 2 95477 31827 2 2
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i 33.1  27.8  33.3  34.0  50663 16889 2 0 50663 16889 2 2 50663 16889 2 2 50663 16889 2 2
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i 19.0  16.0  19.0  18.5  41316 10338 3 0 41316 10338 3 4 30977 10327 2 4 41316 10338 3 4
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i 37.5  40.1  38.6  36.9  380048 126684 2 0 380048 126684 2 2 380048 126684 2 2 380048 126684 2 2
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i 31.6  33.7  30.2  30.6  59306 19770 2 0 59306 19770 2 2 59306 19770 2 2 59306 19770 2 2
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i 909    906    910    909    3775123 3787528 4 0 3151450 3162222 7 20 4160855 4174767 2 12 4043750 4057240 2 12
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i 21.1  20.4  933    20.0  24620 6661 4 0 19469 6661 4 15 1462187 1519130 1 3 18751 6661 4 9
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i 902    902    902    902    180363 201731 6 0 164294 197313 3 34 199154 192600 7 44 176817 192729 7 64
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i 24.6  26.6  24.7  25.3  50153 16719 2 0 50153 16719 2 2 50153 16719 2 2 50153 16719 2 2
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i 18.5  20.9  18.5  19.9  30410 10138 2 0 30410 10138 2 2 30410 10138 2 2 30410 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 42.1  40.4  41.1  37.0  1582 656 2 0 1582 656 2 3 1616 656 2 3 1582 656 2 3
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.0  10.0  9.70 10.2  1227 722 2 0 1227 722 2 2 1227 722 2 2 1227 722 2 2
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 22.6  20.8  24.7  23.6  12224 8639 6 0 12105 8639 5 11 28999 8639 5 16 20592 8639 5 16
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 17.9  16.4  17.9  17.8  88 114 0 0 88 114 0 0 88 114 0 0 88 114 0 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 26.8  28.6  26.7  28.5  379 225 2 0 379 225 2 2 379 225 2 2 379 225 2 2
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 30.4  30.2  31.3  32.9  32827 32866 0 0 32827 32866 0 0 32827 32866 0 0 32827 32866 0 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 10.3  10.8  9.80 11.6  495 285 1 0 495 285 1 1 495 285 1 1 495 285 1 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 19.7  19.7  15.1  18.5  3880 2388 3 0 3880 2388 3 6 1596 1258 1 2 3880 2388 3 6
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 15.1  15.0  14.9  14.2  100 73 1 0 100 73 1 1 100 73 1 1 100 73 1 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 18.3  19.1  19.0  18.5  3968 972 4 0 4040 972 4 9 3524 965 3 8 3524 965 3 8
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 16.5  14.9  15.1  14.6  4155 4164 0 0 4155 4164 0 0 4155 4164 0 0 4155 4164 0 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c 32.5  33.7  35.0  37.5  153 139 1 0 153 139 1 1 153 139 1 1 153 139 1 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 22.4  20.4  23.0  23.5  146 155 0 0 146 155 0 0 146 155 0 0 146 155 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 8.47 9.29 9.18 8.32 67 75 0 0 67 75 0 0 67 75 0 0 67 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 17.0  16.8  16.6  17.4  219 229 0 0 219 229 0 0 219 229 0 0 219 229 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 22.4  22.5  21.9  22.5  298 138 2 0 298 138 2 2 298 138 2 2 298 138 2 2
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 74.2  67.8  75.2  70.5  705039 82431 9 0 650933 82431 9 21 726114 82431 9 26 636704 82431 9 27
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 31.5  30.0  29.6  31.3  32213 31105 1 0 32213 31105 1 1 32213 31105 1 1 32213 31105 1 1
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 27.2  30.4  29.6  29.2  74663 32132 8 0 82632 24713 11 23 92926 32132 8 21 75544 32132 8 17
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 908    908    910    909    5795544 3171435 14 0 3415771 3377622 9 39 6278348 4102703 9 112 3448838 3449820 3 32
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 20.2  19.0  19.9  19.1  8983 1268 8 0 5213 1268 8 38 8983 1268 8 31 6780 1268 8 34
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 32.9  910    32.0  910    116583 16159 5 0 3841321 3721086 6 9 116583 16159 5 13 3893934 3773701 6 9
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 36.2  69.6  35.7  79.4  231984 77215 4 0 963435 411953 7 30 231984 77215 4 16 900458 345847 5 20
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.96 7.37 7.02 7.10 608 306 1 0 608 306 1 1 608 306 1 1 608 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 5.55 5.90 4.77 4.83 247 124 1 0 247 124 1 1 247 124 1 1 247 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 6.44 6.45 6.04 6.38 406 159 2 0 406 159 2 3 179 90 1 2 406 159 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 6.81 6.25 5.77 6.05 602 163 3 0 591 163 3 6 283 142 1 3 420 140 2 5
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.35 6.53 6.14 5.76 675 231 2 0 675 231 2 3 443 222 1 2 443 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 6.62 6.91 6.72 5.59 253 164 1 0 253 164 1 1 253 164 1 1 253 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 6.66 6.45 6.36 6.69 147 82 1 0 147 82 1 1 147 82 1 1 147 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 9.17 8.55 8.01 7.96 733 196 3 0 733 196 3 5 356 180 1 2 356 180 1 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 245    84.7  7.24 15.4  60070 28370 7 0 62389 28370 7 97 976 566 1 8 5886 1640 5 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 5.74 5.83 5.86 5.93 211 113 1 0 211 113 1 1 211 113 1 1 211 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 5.33 5.29 5.17 5.48 212 78 2 0 212 78 2 3 115 58 1 2 212 78 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.57 6.56 6.61 6.60 909 876 1 0 909 876 1 1 909 876 1 1 909 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 16.9  15.2  16.2  17.0  22455 22422 1 0 22455 22422 1 1 22455 22422 1 1 22455 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 8.47 7.27 8.34 8.63 1640 1607 1 0 1640 1607 1 1 1640 1607 1 1 1640 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 9.50 8.40 9.13 9.69 2082 2049 1 0 2082 2049 1 1 2082 2049 1 1 2082 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 14.2  13.1  14.7  12.4  13287 13254 1 0 13287 13254 1 1 13287 13254 1 1 13287 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 10.8  11.3  9.42 10.6  6255 6222 1 0 6255 6222 1 1 6255 6222 1 1 6255 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 6.13 5.36 5.41 6.31 707 674 1 0 707 674 1 1 707 674 1 1 707 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 7.43 7.59 7.54 7.88 1343 1310 1 0 1343 1310 1 1 1343 1310 1 1 1343 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 13.5  13.7  13.6  13.5  5372 5339 1 0 5372 5339 1 1 5372 5339 1 1 5372 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 12.3  11.9  12.5  13.0  4468 4435 1 0 4468 4435 1 1 4468 4435 1 1 4468 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 12.9  12.5  12.7  12.7  4473 4429 1 0 4473 4429 1 1 4473 4429 1 1 4473 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 6.48 6.55 6.33 6.37 808 775 1 0 808 775 1 1 808 775 1 1 808 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 10.6  11.3  11.6  11.9  2495 2462 1 0 2495 2462 1 1 2495 2462 1 1 2495 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 20.5  20.8  19.3  19.1  8875 8842 1 0 8875 8842 1 1 8875 8842 1 1 8875 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 5.40 5.39 5.55 5.38 404 231 1 0 404 231 1 1 404 231 1 1 404 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 5.95 6.30 5.95 6.26 517 259 1 0 517 259 1 1 517 259 1 1 517 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 5.52 5.54 5.63 5.44 155 78 1 0 155 78 1 1 155 78 1 1 155 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 7.44 7.71 7.58 7.48 1819 1122 1 0 1819 1122 1 1 1819 1122 1 1 1819 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.40 7.43 7.19 7.27 423 212 1 0 423 212 1 1 423 212 1 1 423 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 4.98 4.42 5.25 5.08 369 185 1 0 369 185 1 1 369 185 1 1 369 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.54 3.95 4.50 4.56 135 68 1 0 135 68 1 1 135 68 1 1 135 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 8.90 7.52 8.69 8.52 1219 327 2 0 1219 327 2 3 1133 567 1 2 1219 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 5.44 5.86 5.16 5.79 296 109 2 0 678 210 3 6 159 80 1 3 678 210 3 6
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 13.6  13.4  13.0  12.8  5360 1788 2 0 5360 1788 2 4 3571 1786 1 3 5360 1788 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 5.70 5.26 5.20 5.10 362 122 2 0 362 122 2 3 239 120 1 2 239 120 1 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.92 5.90 5.89 5.67 316 160 1 0 316 160 1 1 316 160 1 1 316 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.71 5.44 5.54 5.58 172 88 1 0 172 88 1 1 172 88 1 1 172 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 4.97 5.88 5.86 5.61 388 196 1 0 388 196 1 1 388 196 1 1 388 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 4.56 5.36 5.36 5.29 249 155 1 0 249 155 1 1 249 155 1 1 249 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 5.98 5.08 5.14 5.79 477 380 1 0 477 380 1 1 477 380 1 1 477 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 6.50 6.24 6.57 6.36 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 8.24 8.16 7.16 8.02 1099 882 1 0 1099 882 1 1 1099 882 1 1 1099 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.04 6.47 6.14 6.11 71 36 1 0 71 36 1 1 71 36 1 1 71 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 4.56 5.64 5.54 5.70 124 64 1 0 124 64 1 1 124 64 1 1 124 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 4.92 5.76 4.86 5.49 335 168 1 0 335 168 1 1 335 168 1 1 335 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 6.13 6.14 6.27 6.30 1197 599 1 0 1197 599 1 1 1197 599 1 1 1197 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 5.22 4.39 5.24 5.11 115 58 1 0 115 58 1 1 115 58 1 1 115 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 5.65 5.81 4.71 5.63 283 142 1 0 283 142 1 1 283 142 1 1 283 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 6.09 6.15 6.28 6.11 1011 506 1 0 1011 506 1 1 1011 506 1 1 1011 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 5.23 5.30 5.38 5.42 187 94 1 0 187 94 1 1 187 94 1 1 187 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.20 5.43 5.32 5.19 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--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.72 6.03 5.77 5.88 611 306 1 0 611 306 1 1 611 306 1 1 611 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 5.67 5.51 5.78 5.66 399 200 1 0 399 200 1 1 399 200 1 1 399 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 5.45 5.30 5.25 5.26 139 70 1 0 139 70 1 1 139 70 1 1 139 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 6.12 6.28 6.14 6.09 752 378 1 0 752 378 1 1 752 378 1 1 752 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 5.79 5.74 4.80 5.48 322 163 1 0 322 163 1 1 322 163 1 1 322 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 4.49 5.24 5.21 4.58 147 74 1 0 147 74 1 1 147 74 1 1 147 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 6.84 6.52 6.82 6.82 1208 606 1 0 1208 606 1 1 1208 606 1 1 1208 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 5.63 5.62 5.73 5.75 123 62 1 0 123 62 1 1 123 62 1 1 123 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 5.50 5.54 5.52 4.69 279 140 1 0 279 140 1 1 279 140 1 1 279 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 5.68 5.81 5.85 5.88 501 251 1 0 501 251 1 1 501 251 1 1 501 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 6.35 6.51 6.46 6.41 1379 690 1 0 1379 690 1 1 1379 690 1 1 1379 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 7.56 6.18 7.66 6.05 2147 1074 1 0 2147 1074 1 1 2147 1074 1 1 2147 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 5.68 5.67 5.66 5.54 161 81 1 0 161 81 1 1 161 81 1 1 161 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 10.6  10.9  10.8  10.1  3306 1655 1 0 3306 1655 1 1 3306 1655 1 1 3306 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 6.10 5.15 6.14 4.92 522 263 1 0 522 263 1 1 522 263 1 1 522 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 6.80 6.84 6.73 6.72 1382 693 1 0 1382 693 1 1 1382 693 1 1 1382 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 5.95 6.08 6.00 6.15 490 247 1 0 490 247 1 1 490 247 1 1 490 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 13.3  14.3  14.0  15.5  5156 4930 1 0 5156 4930 1 1 5156 4930 1 1 5156 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 6.18 6.38 5.69 5.31 320 162 1 0 320 162 1 1 320 162 1 1 320 162 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.74 6.54 6.62 6.56 828 416 1 0 828 416 1 1 828 416 1 1 828 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 5.85 5.83 4.97 5.86 296 150 1 0 296 150 1 1 296 150 1 1 296 150 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.12 6.15 6.21 6.29 380 192 1 0 380 192 1 1 380 192 1 1 380 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 5.26 5.32 5.17 5.31 128 89 1 0 128 89 1 1 128 89 1 1 128 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 5.63 5.52 4.35 5.69 216 176 1 0 216 176 1 1 216 176 1 1 216 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 7.70 7.35 6.77 6.71 868 293 2 0 868 293 2 3 576 290 1 2 576 290 1 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 12.1  12.3  10.1  12.0  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 9.40 8.57 10.3  10.2  2958 2019 1 0 2958 2019 1 1 2958 2019 1 1 2958 2019 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.74 6.65 6.66 6.65 635 318 1 0 635 318 1 1 635 318 1 1 635 318 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.51 6.63 6.63 6.53 499 328 1 0 499 328 1 1 499 328 1 1 499 328 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.15 6.45 6.29 5.21 302 153 1 0 302 153 1 1 302 153 1 1 302 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 18.7  16.8  17.5  17.0  26653 8905 2 0 26653 8905 2 4 17761 8893 1 3 26653 8905 2 4
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 6.92 6.87 5.88 6.83 466 235 1 0 466 235 1 1 466 235 1 1 466 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 7.96 8.57 5.23 6.08 2526 794 3 0 3435 1094 3 8 949 475 1 4 949 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 6.09 6.50 6.47 6.07 506 255 1 0 506 255 1 1 506 255 1 1 506 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 6.54 6.88 6.56 6.69 812 408 1 0 812 408 1 1 812 408 1 1 812 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 6.66 5.36 6.37 6.53 582 293 1 0 582 293 1 1 582 293 1 1 582 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 5.96 6.01 6.05 6.00 494 249 1 0 494 249 1 1 494 249 1 1 494 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 8.90 8.43 5.89 8.03 1787 728 2 0 1787 728 2 5 665 333 1 4 1787 728 2 5
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.03 6.09 6.07 6.06 458 231 1 0 458 231 1 1 458 231 1 1 458 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 6.18 6.28 6.23 6.31 762 383 1 0 762 383 1 1 762 383 1 1 762 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 5.83 5.95 5.91 5.99 410 207 1 0 410 207 1 1 410 207 1 1 410 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 5.97 6.22 6.09 6.01 366 185 1 0 366 185 1 1 366 185 1 1 366 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 5.05 6.08 5.99 5.21 384 194 1 0 384 194 1 1 384 194 1 1 384 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 5.86 5.93 5.90 5.86 374 189 1 0 374 189 1 1 374 189 1 1 374 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 4.92 5.95 5.88 6.01 396 200 1 0 396 200 1 1 396 200 1 1 396 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 4.75 5.63 4.83 5.74 288 146 1 0 288 146 1 1 288 146 1 1 288 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 5.93 5.77 5.83 5.77 128 66 1 0 128 66 1 1 128 66 1 1 128 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 5.80 6.06 5.15 6.07 136 70 1 0 136 70 1 1 136 70 1 1 136 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 5.99 5.90 5.03 6.08 238 168 1 0 238 168 1 1 238 168 1 1 238 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 903    903    6.80 6.80 511460 519541 2 0 591051 570833 2 6 299 150 1 4 299 150 1 4
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.81 5.88 4.84 5.96 205 103 1 0 205 103 1 1 205 103 1 1 205 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 5.72 4.91 5.82 5.83 196 130 1 0 196 130 1 1 196 130 1 1 196 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 5.96 6.05 6.11 6.08 152 78 1 0 152 78 1 1 152 78 1 1 152 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 6.49 6.66 6.72 6.57 470 237 1 0 470 237 1 1 470 237 1 1 470 237 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.64 5.65 5.73 5.85 314 159 1 0 314 159 1 1 314 159 1 1 314 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 5.71 5.74 5.90 5.87 178 91 1 0 178 91 1 1 178 91 1 1 178 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 5.81 6.05 5.70 5.77 517 327 1 0 517 327 1 1 517 327 1 1 517 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 6.42 6.56 6.42 6.45 872 438 1 0 872 438 1 1 872 438 1 1 872 438 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 5.82 4.92 6.00 5.62 280 142 1 0 280 142 1 1 280 142 1 1 280 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 6.50 6.59 6.64 5.50 319 160 1 0 319 160 1 1 319 160 1 1 319 160 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.06 5.10 5.96 6.10 352 178 1 0 352 178 1 1 352 178 1 1 352 178 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 6.95 7.08 7.12 7.06 1286 645 1 0 1286 645 1 1 1286 645 1 1 1286 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 6.48 6.25 5.41 6.40 836 282 2 0 836 282 2 4 556 280 1 3 556 280 1 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.84 5.60 5.71 5.50 201 101 1 0 201 101 1 1 201 101 1 1 201 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 6.03 6.23 6.07 5.89 478 388 1 0 478 388 1 1 478 388 1 1 478 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 6.45 6.37 5.47 6.33 508 438 1 0 508 438 1 1 508 438 1 1 508 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 5.95 5.99 6.04 5.96 448 226 1 0 448 226 1 1 448 226 1 1 448 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 6.65 7.14 6.69 7.18 308 156 1 0 308 156 1 1 308 156 1 1 308 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 6.48 6.47 6.46 6.60 504 254 1 0 504 254 1 1 504 254 1 1 504 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 5.97 4.96 5.90 6.03 418 211 1 0 418 211 1 1 418 211 1 1 418 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 5.99 6.12 6.19 5.99 458 231 1 0 458 231 1 1 458 231 1 1 458 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 5.98 5.96 6.13 5.97 448 226 1 0 448 226 1 1 448 226 1 1 448 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 5.84 5.87 5.12 6.02 420 212 1 0 420 212 1 1 420 212 1 1 420 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 6.24 6.08 6.42 5.30 476 240 1 0 476 240 1 1 476 240 1 1 476 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 6.27 5.04 6.17 5.93 757 287 2 0 757 287 2 3 369 185 1 2 369 185 1 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 5.86 6.05 5.21 5.98 450 227 1 0 450 227 1 1 450 227 1 1 450 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 6.70 5.62 6.77 6.71 824 414 1 0 824 414 1 1 824 414 1 1 824 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 6.59 6.57 6.80 5.71 490 247 1 0 490 247 1 1 490 247 1 1 490 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 5.80 5.98 5.92 6.00 442 223 1 0 442 223 1 1 442 223 1 1 442 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 4.92 5.88 5.86 5.93 408 206 1 0 408 206 1 1 408 206 1 1 408 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 5.95 5.95 5.92 5.88 442 223 1 0 442 223 1 1 442 223 1 1 442 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 6.05 6.34 6.13 5.66 524 264 1 0 524 264 1 1 524 264 1 1 524 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 8.23 8.10 8.71 8.14 1660 832 1 0 1660 832 1 1 1660 832 1 1 1660 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 6.13 6.26 6.08 6.19 342 173 1 0 342 173 1 1 342 173 1 1 342 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 6.82 6.62 5.89 7.14 836 420 1 0 836 420 1 1 836 420 1 1 836 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 5.63 5.72 5.52 5.09 191 64 2 0 191 64 2 3 129 65 1 2 129 65 1 2
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 6.26 6.25 6.23 6.09 444 224 1 0 444 224 1 1 444 224 1 1 444 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 902    1010    16.4  1010    10980966 99257 4 0 23905 11960 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 6.07 6.10 6.08 5.87 330 167 1 0 330 167 1 1 330 167 1 1 330 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 6.03 6.11 5.99 6.24 402 203 1 0 402 203 1 1 402 203 1 1 402 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 6.04 5.01 5.03 5.13 394 199 1 0 394 199 1 1 394 199 1 1 394 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 6.04 6.30 6.16 6.16 400 202 1 0 400 202 1 1 400 202 1 1 400 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 5.92 5.97 6.19 5.81 385 193 1 0 385 193 1 1 385 193 1 1 385 193 1 1
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 10.0  9.94 9.31 9.08 607 416 1 0 607 416 1 1 607 416 1 1 607 416 1 1
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 5.88 5.95 5.96 5.95 314 159 1 0 314 159 1 1 314 159 1 1 314 159 1 1
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 8.04 7.57 6.82 7.77 682 343 1 0 682 343 1 1 682 343 1 1 682 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 5.34 5.36 5.32 5.35 130 67 1 0 130 67 1 1 130 67 1 1 130 67 1 1
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 5.06 5.91 5.02 5.88 288 146 1 0 288 146 1 1 288 146 1 1 288 146 1 1
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 6.15 6.12 6.05 5.77 358 232 1 0 358 232 1 1 358 232 1 1 358 232 1 1
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 5.85 5.94 5.91 5.94 185 93 1 0 185 93 1 1 185 93 1 1 185 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 4.65 4.77 4.70 4.93 117 59 1 0 117 59 1 1 117 59 1 1 117 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 5.61 5.76 5.70 5.71 281 141 1 0 281 141 1 1 281 141 1 1 281 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 5.97 5.98 5.78 4.90 453 159 2 0 453 159 2 3 296 150 1 2 296 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 5.62 4.60 5.67 5.61 143 72 1 0 143 72 1 1 143 72 1 1 143 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 8.58 7.39 8.15 8.44 1416 1397 1 0 1416 1397 1 1 1416 1397 1 1 1416 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 6.61 6.77 6.77 6.88 305 286 1 0 305 286 1 1 305 286 1 1 305 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 6.32 5.64 6.88 6.61 258 239 1 0 258 239 1 1 258 239 1 1 258 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 9.25 10.8  10.7  11.0  1945 1924 1 0 1945 1924 1 1 1945 1924 1 1 1945 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 5.54 6.47 6.52 6.56 318 299 1 0 318 299 1 1 318 299 1 1 318 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 6.91 5.80 6.91 6.94 422 403 1 0 422 403 1 1 422 403 1 1 422 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 9.43 9.72 9.85 10.2  1544 1525 1 0 1544 1525 1 1 1544 1525 1 1 1544 1525 1 1
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 9.90 9.58 9.99 10.7  589 570 1 0 589 570 1 1 589 570 1 1 589 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 7.47 7.31 7.84 7.68 412 393 1 0 412 393 1 1 412 393 1 1 412 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 12.8  12.5  12.8  13.3  2040 2019 1 0 2040 2019 1 1 2040 2019 1 1 2040 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 11.0  11.7  10.7  11.4  2663 2644 1 0 2663 2644 1 1 2663 2644 1 1 2663 2644 1 1
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 22.4  19.4  18.3  17.6  14113 5702 3 0 14113 5702 3 5 8498 5697 1 2 8498 5697 1 2
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 8.03 7.83 7.81 8.00 142 102 1 0 142 102 1 1 142 102 1 1 142 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 7.84 8.23 7.78 8.53 196 135 1 0 196 135 1 1 196 135 1 1 196 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 14.9  14.4  16.8  16.4  2957 1120 4 0 2132 1120 4 7 3763 1230 5 9 3048 1230 5 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-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 11.5  11.9  12.0  11.9  993 729 2 0 993 729 2 2 993 729 2 2 993 729 2 2
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 8.30 8.27 7.74 8.06 227 169 1 0 227 169 1 1 227 169 1 1 227 169 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_main0_sequence_infinite_withcheck_stateful.cil.out.c 9.66 9.35 9.24 9.37 221 180 1 0 221 180 1 1 221 180 1 1 221 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 8.81 9.41 9.11 9.54 286 267 1 0 286 267 1 1 286 267 1 1 286 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 8.75 9.22 9.19 9.44 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 9.36 9.39 9.77 9.64 565 506 1 0 565 506 1 1 565 506 1 1 565 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 7.39 7.67 7.97 7.30 78 41 1 0 78 41 1 1 78 41 1 1 78 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 10.3  908    14.4  10.7  1280 614 2 0 2426967 2425760 3 6 3867 936 5 15 1280 614 2 4
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 10.5  11.0  10.0  10.6  586 511 1 0 586 511 1 1 586 511 1 1 586 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 10.4  10.6  10.0  9.63 215 196 1 0 215 196 1 1 215 196 1 1 215 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 7.65 8.02 8.38 8.03 198 136 1 0 198 136 1 1 198 136 1 1 198 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 7.21 8.26 7.99 7.84 196 135 1 0 196 135 1 1 196 135 1 1 196 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 31.9  29.4  33.3  32.2  68872 66878 1 0 68872 66878 1 1 68872 66878 1 1 68872 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 16.5  16.6  17.1  17.6  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 8.57 8.13 8.08 8.19 154 116 1 0 154 116 1 1 154 116 1 1 154 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 12.5  13.8  12.7  13.2  1965 1233 3 0 1965 1233 3 4 1529 704 2 3 1965 1233 3 4
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 11.4  12.0  11.8  11.6  983 497 1 0 983 497 1 1 983 497 1 1 983 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 11.1  11.2  11.2  11.7  1373 1267 1 0 1373 1267 1 1 1373 1267 1 1 1373 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 8.17 7.11 7.49 7.63 144 103 1 0 144 103 1 1 144 103 1 1 144 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 11.5  10.8  13.9  11.2  2405 1547 3 0 1191 877 2 4 2988 1557 4 7 1191 877 2 4
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 13.8  11.6  15.9  13.5  4386 3561 3 0 2240 1953 2 4 5372 3924 4 7 4386 3561 3 6
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 11.9  10.7  10.9  9.66 3306 3287 1 0 3306 3287 1 1 3306 3287 1 1 3306 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 18.3  18.8  19.6  20.2  13046 13027 1 0 13046 13027 1 1 13046 13027 1 1 13046 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 16.7  17.7  16.6  17.8  7194 7175 1 0 7194 7175 1 1 7194 7175 1 1 7194 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 15.9  15.4  15.1  15.3  5265 5246 1 0 5265 5246 1 1 5265 5246 1 1 5265 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 5.55 6.50 5.36 6.48 460 437 1 0 460 437 1 1 460 437 1 1 460 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 6.62 6.58 5.65 6.69 387 368 1 0 387 368 1 1 387 368 1 1 387 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 4.88 5.68 5.75 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.44 5.75 5.47 5.65 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 17.0  16.2  17.8  16.8  1591 1572 1 0 1591 1572 1 1 1591 1572 1 1 1591 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 5.62 5.90 5.84 5.72 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 5.70 5.82 5.65 5.72 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 10.6  11.4  10.8  10.1  1463 1444 1 0 1463 1444 1 1 1463 1444 1 1 1463 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 5.54 5.59 6.48 6.48 224 205 1 0 224 205 1 1 224 205 1 1 224 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 10.5  12.8  11.2  11.9  1008 989 1 0 1008 989 1 1 1008 989 1 1 1008 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 5.40 6.32 6.17 6.35 168 149 1 0 168 149 1 1 168 149 1 1 168 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 5.30 6.36 6.52 5.38 157 138 1 0 157 138 1 1 157 138 1 1 157 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 9.51 9.96 10.3  10.0  611 306 1 0 611 306 1 1 611 306 1 1 611 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 16.6  16.5  16.0  16.3  6537 3269 1 0 6537 3269 1 1 6537 3269 1 1 6537 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.04 4.14 4.20 4.07 71 36 1 0 71 36 1 1 71 36 1 1 71 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.06 3.28 4.07 4.08 71 36 1 0 71 36 1 1 71 36 1 1 71 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.03 4.09 4.22 4.02 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.57 3.48 3.50 4.05 71 36 1 0 71 36 1 1 71 36 1 1 71 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.19 4.10 3.66 4.03 71 36 1 0 71 36 1 1 71 36 1 1 71 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.03 3.83 3.98 3.40 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.46 4.13 4.10 4.30 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.41 4.16 4.04 4.14 71 36 1 0 71 36 1 1 71 36 1 1 71 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.06 4.08 4.14 4.26 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.95 4.15 3.50 4.12 71 36 1 0 71 36 1 1 71 36 1 1 71 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.31 4.20 3.69 4.27 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.43 4.18 4.08 3.64 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.98 4.28 3.34 3.98 71 36 1 0 71 36 1 1 71 36 1 1 71 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.11 4.17 4.20 4.10 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.94 4.08 4.04 4.04 71 36 1 0 71 36 1 1 71 36 1 1 71 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 4.19 4.17 4.11 4.07 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.95 4.15 3.84 4.35 71 36 1 0 71 36 1 1 71 36 1 1 71 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.00 4.14 4.01 4.15 71 36 1 0 71 36 1 1 71 36 1 1 71 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.02 4.13 3.61 4.11 71 36 1 0 71 36 1 1 71 36 1 1 71 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.13 4.07 4.27 4.15 71 36 1 0 71 36 1 1 71 36 1 1 71 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.05 3.95 4.13 4.18 71 36 1 0 71 36 1 1 71 36 1 1 71 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.20 4.08 4.29 4.34 71 36 1 0 71 36 1 1 71 36 1 1 71 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.35 4.42 4.31 4.37 71 36 1 0 71 36 1 1 71 36 1 1 71 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.08 4.07 4.23 4.11 71 36 1 0 71 36 1 1 71 36 1 1 71 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.03 4.00 3.48 4.14 71 36 1 0 71 36 1 1 71 36 1 1 71 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.05 4.22 4.12 4.13 71 36 1 0 71 36 1 1 71 36 1 1 71 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 4.04 4.18 3.97 4.13 71 36 1 0 71 36 1 1 71 36 1 1 71 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.36 3.97 3.89 4.20 71 36 1 0 71 36 1 1 71 36 1 1 71 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 4.17 4.10 4.07 4.06 71 36 1 0 71 36 1 1 71 36 1 1 71 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 4.08 4.07 3.74 4.07 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.47 4.21 4.15 4.23 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.99 4.19 4.11 4.10 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.97 4.19 3.51 3.98 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.39 4.18 4.11 4.08 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.98 4.23 4.12 3.98 71 36 1 0 71 36 1 1 71 36 1 1 71 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.10 3.98 4.15 4.20 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.70 4.08 4.05 4.02 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.98 4.09 4.08 4.16 71 36 1 0 71 36 1 1 71 36 1 1 71 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.17 4.20 4.02 4.20 71 36 1 0 71 36 1 1 71 36 1 1 71 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.24 4.40 4.03 4.16 71 36 1 0 71 36 1 1 71 36 1 1 71 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.39 4.35 4.24 3.56 71 36 1 0 71 36 1 1 71 36 1 1 71 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.09 3.56 4.21 3.62 71 36 1 0 71 36 1 1 71 36 1 1 71 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.08 3.96 3.52 4.31 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.80 3.52 4.14 3.45 71 36 1 0 71 36 1 1 71 36 1 1 71 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 4.07 4.19 4.07 3.99 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.96 4.17 4.13 4.27 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.45 4.08 3.56 4.15 71 36 1 0 71 36 1 1 71 36 1 1 71 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.03 3.59 4.02 4.15 71 36 1 0 71 36 1 1 71 36 1 1 71 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.02 3.56 3.58 3.99 71 36 1 0 71 36 1 1 71 36 1 1 71 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.11 4.14 4.09 4.08 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.97 4.10 4.03 4.08 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.90 3.30 3.39 4.00 71 36 1 0 71 36 1 1 71 36 1 1 71 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.12 4.08 4.12 4.09 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.99 4.25 3.98 4.10 71 36 1 0 71 36 1 1 71 36 1 1 71 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.04 4.29 4.14 4.09 71 36 1 0 71 36 1 1 71 36 1 1 71 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.00 3.96 4.04 4.11 71 36 1 0 71 36 1 1 71 36 1 1 71 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.25 3.43 3.80 3.51 71 36 1 0 71 36 1 1 71 36 1 1 71 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.16 4.17 4.03 3.75 71 36 1 0 71 36 1 1 71 36 1 1 71 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.08 4.11 3.47 4.07 71 36 1 0 71 36 1 1 71 36 1 1 71 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 4.02 3.97 4.03 4.12 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.55 4.21 4.35 4.15 71 36 1 0 71 36 1 1 71 36 1 1 71 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.13 4.21 4.04 4.04 71 36 1 0 71 36 1 1 71 36 1 1 71 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.11 3.43 4.07 4.00 71 36 1 0 71 36 1 1 71 36 1 1 71 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.01 4.12 4.11 3.58 71 36 1 0 71 36 1 1 71 36 1 1 71 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.14 4.13 4.18 4.20 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.42 3.94 4.22 4.15 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.93 4.04 4.12 4.11 71 36 1 0 71 36 1 1 71 36 1 1 71 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.05 3.52 3.87 3.46 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.98 4.16 4.19 3.48 71 36 1 0 71 36 1 1 71 36 1 1 71 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.10 3.42 4.05 4.33 71 36 1 0 71 36 1 1 71 36 1 1 71 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 4.04 4.09 3.99 4.07 71 36 1 0 71 36 1 1 71 36 1 1 71 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.01 4.11 4.22 4.27 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.44 4.04 4.02 4.01 71 36 1 0 71 36 1 1 71 36 1 1 71 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 3.87 4.39 4.25 4.04 71 36 1 0 71 36 1 1 71 36 1 1 71 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.02 4.09 4.16 4.10 71 36 1 0 71 36 1 1 71 36 1 1 71 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.07 4.18 4.15 4.11 71 36 1 0 71 36 1 1 71 36 1 1 71 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.04 4.09 3.41 4.20 71 36 1 0 71 36 1 1 71 36 1 1 71 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.05 3.38 4.01 3.48 71 36 1 0 71 36 1 1 71 36 1 1 71 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-streamzap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.09 3.54 4.17 4.11 71 36 1 0 71 36 1 1 71 36 1 1 71 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-tbs-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 3.97 4.21 4.21 4.27 71 36 1 0 71 36 1 1 71 36 1 1 71 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-technisat-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.06 4.06 4.06 4.18 71 36 1 0 71 36 1 1 71 36 1 1 71 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-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.03 4.06 4.16 4.13 71 36 1 0 71 36 1 1 71 36 1 1 71 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-terratec-slim-2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.16 3.98 4.12 3.85 71 36 1 0 71 36 1 1 71 36 1 1 71 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-terratec-slim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 4.00