Tool CPAchecker 1.6.1-svn 23084
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 4 timelimit: 600 s, memlimit: 8000 MB, CPU core limit: 4
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.4.0-34-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135148 MB
Date of execution 2016-09-03 19:27:14 CEST 2016-09-03 13:53:55 CEST 2016-09-05 10:37:49 CEST
Run set predicate_base.[pred-bitvectors.Loops_false; pred-bitvectors.x64_false; pred-bitvectors.Other_true; pred-bitvectors.Other_false; pred-bitvectors.Loops_true; pred-bitvectors.x64_true] predicate_base_longtimeout.[pred-bitvectors.Loops_false; pred-bitvectors.x64_false; pred-bitvectors.Other_true; pred-bitvectors.Other_false; pred-bitvectors.Loops_true; pred-bitvectors.x64_true] predicate_bitprecise_restart_invariants.[restart2.Loops_false; restart2.x64_false; restart2.Other_true; restart2.Other_false; restart2.Loops_true; restart2.x64_true] predicate_bitprecise_restart_invariants.[restart3-abs-path.Loops_false; restart3-abs-path.x64_false; restart3-abs-path.Other_true; restart3-abs-path.Other_false; restart3-abs-path.Loops_true; restart3-abs-path.x64_true] predicate_bitprecise_restart_invariants.[restart3-abs.Loops_false; restart3-abs.x64_false; restart3-abs.Other_true; restart3-abs.Other_false; restart3-abs.Loops_true; restart3-abs.x64_true] predicate_bitprecise_restart_invariants.[restart3-path.Loops_false; restart3-path.x64_false; restart3-path.Other_true; restart3-path.Other_false; restart3-path.Loops_true; restart3-path.x64_true] predicate_bitprecise_restart_invariants.[restart3-prec-abs-path.Loops_false; restart3-prec-abs-path.x64_false; restart3-prec-abs-path.Other_true; restart3-prec-abs-path.Other_false; restart3-prec-abs-path.Loops_true; restart3-prec-abs-path.x64_true] predicate_bitprecise_restart_invariants.[restart3-prec-abs.Loops_false; restart3-prec-abs.x64_false; restart3-prec-abs.Other_true; restart3-prec-abs.Other_false; restart3-prec-abs.Loops_true; restart3-prec-abs.x64_true] predicate_bitprecise_restart_invariants.[restart3-prec-path.Loops_false; restart3-prec-path.x64_false; restart3-prec-path.Other_true; restart3-prec-path.Other_false; restart3-prec-path.Loops_true; restart3-prec-path.x64_true] predicate_bitprecise_restart_invariants.[restart3-prec.Loops_false; restart3-prec.x64_false; restart3-prec.Other_true; restart3-prec.Other_false; restart3-prec.Loops_true; restart3-prec.x64_true]
Options -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -predicateAnalysis-bitprecise -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -predicateAnalysis-bitprecise -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -pred-Invgen-restart-bitprecise -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -pred-Invgen-restart3-bitprecise -setprop cpa.predicate.invariants.appendToPathFormula=true -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -pred-Invgen-restart3-bitprecise -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -pred-Invgen-restart3-bitprecise -setprop cpa.predicate.invariants.appendToPathFormula=true -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -pred-Invgen-restart3-bitprecise -setprop cpa.predicate.invariants.appendToPathFormula=true -setprop cpa.predicate.invariants.addToPrecision=true -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -pred-Invgen-restart3-bitprecise -setprop cpa.predicate.invariants.addToPrecision=true -setprop cpa.predicate.invariants.appendToAbstractionFormula=true -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -pred-Invgen-restart3-bitprecise -setprop cpa.predicate.invariants.addToPrecision=true -setprop cpa.predicate.invariants.appendToPathFormula=true -noout -heap 6000M -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.refinement.performInitialStaticRefinement=false -setprop cpa.predicate.ignoreIrrelevantFields=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -pred-Invgen-restart3-bitprecise -setprop cpa.predicate.invariants.addToPrecision=true
test/programs/benchmarks/ status cputime (s) memUsage (MB) nofAnalysis alg1Time alg2Time alg3Time status cputime (s) memUsage (MB) nofAnalysis alg1Time alg2Time alg3Time status cputime (s) memUsage (MB) nofAnalysis alg1Time (s) alg2Time (s) alg3Time status cputime (s) memUsage (MB) nofAnalysis alg1Time (s) alg2Time (s) alg3Time (s) status cputime (s) memUsage (MB) nofAnalysis alg1Time (s) alg2Time (s) alg3Time (s) status cputime (s) memUsage (MB) nofAnalysis alg1Time (s) alg2Time (s) alg3Time (s) status cputime (s) memUsage (MB) nofAnalysis alg1Time (s) alg2Time (s) alg3Time (s) status cputime (s) memUsage (MB) nofAnalysis alg1Time (s) alg2Time (s) alg3Time (s) status cputime (s) memUsage (MB) nofAnalysis alg1Time alg2Time (s) alg3Time (s) status cputime (s) memUsage (MB) nofAnalysis alg1Time (s) alg2Time (s) alg3Time (s)
loop-acceleration/array_false-unreach-call1.i 302    2040 602    2780 307    1920 2 1.81  287     308    2150 3 1.75  0.400 288     308    1920 3 1.83  0.400 287     308    2070 3 1.75  0.395 289     308    2120 3 1.77  0.440 289     308    1940 3 1.78  0.410 289     308    2040 3 1.698 0.373 288     308    1980 3 1.71  0.409 290    
loop-acceleration/array_false-unreach-call2.i 302    1440 602    2120 308    1400 2 2.58  291     311    1930 3 2.75  1.66  290     311    1740 3 2.74  1.67  290     312    1930 3 2.88  1.75  291     311    1450 3 2.82  1.75  289     310    1270 3 2.56  1.56  291     311    1420 3 2.893 1.74  291     311    1620 3 2.68  1.57  291    
loop-acceleration/array_false-unreach-call3.i 302    2530 602    3780 305    3090 2 0.677 284     307    2500 3 0.752 0.208 283     307    2710 3 0.749 0.208 284     307    3140 3 0.751 0.442 285     306    2720 3 0.703 0.192 284     307    2490 3 0.749 0.221 284     307    2550 3 0.736 0.501 283     306    2750 3 0.678 0.193 284    
loop-acceleration/const_false-unreach-call1.i 302    2990 602    4180 306    2890 2 0.739 286     306    3040 3 0.727 0.123 286     306    3070 3 0.751 0.123 284     306    3020 3 0.728 0.119 285     305    3280 3 0.637 0.102 286     306    3020 3 0.743 0.120 285     306    3100 3 0.723 0.110 286     305    2770 3 0.648 0.109 285    
loop-acceleration/diamond_false-unreach-call1.i 75.1  1110 71.9  1040 73.9  1200 2 1.08  58.6   81.6  1320 3 1.07  0.245 63.7   77.5  1050 3 1.10  0.233 60.1   80.4  1160 3 1.08  0.261 62.5   85.7  1300 3 1.07  0.245 68.9   80.2  1210 3 1.11  0.263 62.6   86.5  1330 3 1.131 0.238 68.5   79.0  1180 3 1.07  0.251 63.2  
loop-acceleration/functions_false-unreach-call1.i 302    1820 602    2640 306    1910 2 0.749 288     306    1980 3 0.744 0.124 286     306    1860 3 0.752 0.124 286     306    1920 3 0.744 0.126 286     306    1860 3 0.743 0.136 286     306    2010 3 0.706 0.118 287     305    1980 3 0.743 0.123 286     306    1910 3 0.770 0.128 286    
loop-acceleration/multivar_false-unreach-call1.i 4.62 208 4.44 214 4.95 228 2 0.489 0.114 5.21 244 3 0.484 0.055 0.107 4.78 244 3 0.466 0.051 0.097 4.99 242 3 0.487 0.050 0.108 4.95 240 3 0.474 0.051 0.114 5.07 244 3 0.494 0.047 0.099 5.85 328 3 0.517 0.055 0.100 5.16 246 3 0.501 0.054 0.100
loop-acceleration/nested_false-unreach-call1.i 302    3740 602    6280 305    3390 2 0.711 283     306    3540 3 0.765 0.128 282     306    3640 3 0.762 0.129 281     306    3320 3 0.744 0.126 280     306    3600 3 0.701 0.124 282     306    3600 3 0.750 0.128 281     306    3310 3 0.779 0.130 283     306    3620 3 0.723 0.124 284    
loop-acceleration/phases_false-unreach-call1.i 303    819 605    976 306    916 2 0.812 290     309    1340 3 0.813 0.135 291     307    950 3 0.766 0.136 290     313    1690 3 0.813 0.139 295     306    1380 3 0.782 0.132 288     307    932 3 0.808 0.139 289     307    1730 3 0.803 0.145 288     308    974 3 0.831 0.134 291    
loop-acceleration/phases_false-unreach-call2.i 4.30 213 4.62 210 4.89 230 2 0.476 0.115 6.08 340 3 0.500 0.051 0.418 5.21 250 3 0.483 0.050 0.104 5.94 326 3 0.479 0.053 0.108 5.93 340 3 0.475 0.051 0.413 7.40 357 3 2.26  0.057 0.340 5.82 320 3 0.482 0.054 0.107 7.35 353 3 2.18  0.042 0.108
loop-acceleration/simple_false-unreach-call1.i 302    2790 602    4200 305    2610 2 0.727 286     306    2700 3 0.714 0.106 284     306    2660 3 0.698 0.102 285     306    2820 3 0.694 0.105 285     306    2550 3 0.715 0.112 285     306    2750 3 0.707 0.112 285     306    2530 3 0.892 0.190 285     306    2710 3 0.684 0.108 285    
loop-acceleration/simple_false-unreach-call2.i 4.02 206 4.33 208 4.04 227 2 0.385 0.079 4.79 244 3 0.433 0.056 0.090 4.86 245 3 0.438 0.052 0.088 4.90 244 3 0.449 0.047 0.104 4.70 241 3 0.433 0.043 0.100 4.88 243 3 0.441 0.049 0.093 5.09 244 3 0.463 0.057 0.096 4.67 243 3 0.442 0.051 0.087
loop-acceleration/simple_false-unreach-call3.i 4.32 211 4.18 208 4.69 231 2 0.440 0.091 4.76 242 3 0.456 0.046 0.099 4.65 242 3 0.421 0.049 0.093 4.48 240 3 0.435 0.037 0.104 4.86 233 3 0.459 0.053 0.096 4.48 238 3 0.412 0.048 0.084 4.91 240 3 0.461 0.043 0.103 4.99 245 3 0.449 0.041 0.101
loop-acceleration/simple_false-unreach-call4.i 302    2590 602    3930 306    2370 2 0.712 286     306    2920 3 0.721 0.196 284     306    2780 3 0.699 0.197 284     306    2730 3 0.727 0.207 284     306    2810 3 0.708 0.187 285     306    2670 3 0.712 0.218 285     306    2630 3 0.700 0.203 284     307    2430 3 0.715 0.211 285    
loop-acceleration/underapprox_false-unreach-call1.i 4.85 225 5.61 227 6.00 322 2 0.720 0.420 7.97 360 3 0.756 0.128 0.713 8.21 366 3 0.765 0.120 0.764 7.66 366 3 0.739 0.120 0.692 8.03 367 3 0.743 0.122 0.755 7.67 366 3 0.701 0.121 0.806 8.18 369 3 0.738 0.125 0.727 7.95 376 3 0.723 0.117 0.810
loop-acceleration/underapprox_false-unreach-call2.i 5.18 231 5.06 225 6.54 308 2 0.603 0.593 7.56 374 3 0.594 0.130 0.733 7.60 364 3 0.580 0.128 0.686 7.26 360 3 0.569 0.122 0.678 7.56 361 3 0.616 0.123 0.730 7.38 357 3 0.592 0.123 0.651 7.40 364 3 0.605 0.122 0.715 7.37 356 3 0.589 0.126 0.695
loop-invgen/id_trans_false-unreach-call.i 4.65 221 4.73 217 6.85 308 2 0.943 0.505 7.21 350 3 0.954 0.060 0.559 6.28 349 3 0.883 0.055 0.417 6.44 334 3 0.599 0.063 0.488 6.68 356 3 0.978 0.059 0.402 6.90 350 3 0.959 0.053 0.448 6.68 353 3 0.613 0.067 0.514 6.65 351 3 0.948 0.066 0.364
loops/array_false-unreach-call.i 5.06 299 5.81 290 6.51 328 2 0.984 0.445 7.29 355 3 1.00  0.124 0.503 6.94 368 3 0.958 0.131 0.501 7.12 364 3 1.02  0.130 0.535 7.22 366 3 0.976 0.132 0.540 6.80 376 3 0.952 0.128 0.463 6.92 374 3 0.970 0.129 0.541 6.59 363 3 0.980 0.130 0.470
loops/bubble_sort_false-unreach-call.i 8.99 340 8.98 336 39.9  1240 2 16.7   0.938 41.8  1390 3 16.4   0.213 1.09  39.2  1310 3 14.9   0.256 1.06  46.7  1410 3 15.8   0.294 1.64  45.7  1280 3 17.2   0.195 1.40  42.8  1270 3 15.9   0.292 1.15  45.0  1360 3 17.248 0.274 1.22  43.1  1330 3 16.7   0.308 1.04 
loops/count_up_down_false-unreach-call_true-termination.i 4.32 207 4.22 207 4.74 225 2 0.470 0.099 5.15 245 3 0.478 0.059 0.110 4.80 239 3 0.493 0.051 0.093 5.00 240 3 0.481 0.056 0.111 4.94 241 3 0.476 0.041 0.104 4.87 242 3 0.489 0.043 0.099 5.16 239 3 0.496 0.049 0.111 5.29 240 3 0.503 0.051 0.102
loops/eureka_01_false-unreach-call.i 302    601 602    745 265    1650 2 88.7   153     505    1160 3 89.8   97.1   298     505    1190 3 89.0   96.5   298     505    1240 3 89.9   98.7   298     505    1090 3 88.9   98.5   298     505    986 3 90.0   97.0   298     505    1090 3 89.507 96.7   298     505    1080 3 90.1   96.1   298    
loops/for_bounded_loop1_false-unreach-call_true-termination.i 4.81 214 4.72 214 6.19 308 2 0.692 0.378 6.47 360 3 0.757 0.108 0.397 6.57 363 3 0.776 0.107 0.379 6.43 347 3 0.799 0.108 0.388 6.66 343 3 0.707 0.112 0.425 6.60 360 3 0.705 0.105 0.439 6.62 342 3 0.705 0.118 0.453 6.72 342 3 0.718 0.118 0.429
loops/insertion_sort_false-unreach-call.i 301    1130 601    895 326    1540 2 17.7   294     505    2280 3 93.2   99.4   295     505    1450 3 93.7   98.8   295     505    950 3 94.6   99.3   295     343    1010 3 17.2   16.4   293     345    1520 3 18.0   17.0   294     505    2280 3 93.027 99.6   296     344    2210 3 17.5   17.0   294    
loops/invert_string_false-unreach-call.i 302    1020 601    1300 318    949 2 9.76  293     321    1080 3 10.9   1.96  292     322    1090 3 11.0   1.91  290     323    1170 3 10.4   2.21  290     322    1020 3 11.7   2.16  291     320    1020 3 9.96  1.98  291     324    1230 3 11.940 2.19  292     321    1160 3 10.8   1.91  291    
loops/linear_search_false-unreach-call.i 5.86 292 6.36 291 6.61 327 2 0.873 0.660 7.26 354 3 0.888 0.370 0.616 7.03 356 3 0.882 0.373 0.500 7.66 347 3 0.884 0.484 0.631 8.31 358 3 0.889 0.502 0.906 7.65 349 3 0.870 0.453 0.729 8.09 356 3 0.873 0.469 0.882 8.23 356 3 0.876 0.530 0.859
loops/ludcmp_false-unreach-call.i 313    410 611    413 613    387 613    380 613    376 613    374 613    376 613    385 613    382 613    452
loops/matrix_false-unreach-call_true-termination.i 33.3  818 37.2  822 133    1050 2 95.7   25.5   133    944 3 97.8   0.141 25.4   134    958 3 96.4   0.194 27.9   124    951 3 89.1   0.120 23.6   133    1000 3 94.5   0.148 25.9   136    983 3 94.9   0.158 28.3   132    925 3 96.592 0.152 25.7   130    877 3 96.3   0.162 23.4  
loops/n.c24_false-unreach-call.i 302    2050 602    2560 313    2250 2 3.02  290     313    2550 3 3.08  0.412 285     313    2430 3 3.04  0.422 286     313    2780 3 2.95  0.412 286     312    2310 3 2.79  0.402 284     313    2070 3 3.03  0.420 286     314    2440 3 3.202 0.408 288     314    1850 3 3.11  0.421 288    
loops/nec11_false-unreach-call.i 4.31 208 4.74 213 5.81 303 2 0.646 0.376 5.83 343 3 0.525 0.053 0.302 5.91 328 3 0.519 0.050 0.354 5.57 329 3 0.462 0.056 0.322 6.00 334 3 0.508 0.048 0.418 5.32 336 3 0.502 0.046 0.257 5.81 325 3 0.491 0.049 0.345 6.34 344 3 0.658 0.053 0.381
loops/nec20_false-unreach-call.i 6.18 299 6.15 294 7.46 345 2 1.34  0.625 7.75 396 3 1.29  0.362 0.585 7.66 385 3 1.27  0.333 0.588 7.84 391 3 1.36  0.369 0.576 8.20 385 3 1.38  0.340 0.690 7.99 385 3 1.32  0.330 0.639 8.40 389 3 1.320 0.344 0.737 8.15 388 3 1.34  0.351 0.678
loops/s3_false-unreach-call.i 20.6  559 21.4  543 37.4  877 2 14.2   5.15  47.2  938 3 14.7   4.11  5.69  46.0  899 3 14.2   4.12  6.38  45.4  910 3 14.3   4.25  5.46  46.4  936 3 13.9   4.22  5.56  46.3  902 3 14.1   4.23  7.05  47.1  931 3 14.087 4.14  5.90  47.3  910 3 14.3   4.30  6.88 
loops/string_false-unreach-call.i 8.78 336 8.61 334 35.2  885 2 9.28  1.13  37.2  880 3 9.51  0.298 1.63  36.7  924 3 9.15  0.310 1.42  37.7  881 3 9.04  0.298 1.65  38.8  891 3 9.64  0.284 2.03  36.8  870 3 9.22  0.309 1.92  38.8  877 3 9.467 0.312 2.18  35.8  853 3 9.20  0.300 1.79 
loops/sum01_bug02_false-unreach-call_true-termination.i 7.82 325 7.57 315 8.73 361 2 1.12  0.783 10.6  439 3 1.08  0.302 1.15  11.3  431 3 1.10  0.316 1.19  10.4  405 3 1.11  0.313 0.826 11.1  443 3 1.10  0.307 1.34  10.8  442 3 1.06  0.302 1.36  10.5  423 3 1.121 0.316 0.926 9.83 431 3 1.12  0.336 1.08 
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 6.39 291 6.44 299 7.10 346 2 0.935 0.406 9.41 392 3 0.969 0.275 0.607 9.20 390 3 0.937 0.287 0.495 8.72 378 3 0.890 0.509 0.518 9.93 377 3 0.965 0.596 0.688 9.25 388 3 0.890 0.273 0.550 9.26 394 3 0.963 0.496 0.620 8.69 406 3 0.945 0.270 0.745
loops/sum01_false-unreach-call_true-termination.i 9.54 359 9.12 354 10.0  397 2 0.997 1.52  12.9  455 3 1.02  0.324 2.25  12.4  454 3 0.978 0.305 1.86  13.1  455 3 1.03  0.356 2.19  13.0  455 3 1.05  0.314 2.48  10.8  453 3 0.868 0.290 1.79  12.6  456 3 1.071 0.304 2.34  11.8  430 3 1.05  0.347 1.69 
loops/sum03_false-unreach-call_true-termination.i 8.81 347 8.61 334 9.66 364 2 0.949 1.57  12.1  418 3 1.01  0.337 1.90  10.9  425 3 1.00  0.313 1.41  11.1  407 3 1.02  0.309 1.84  11.7  462 3 0.964 0.307 2.48  11.1  431 3 0.973 0.304 2.04  11.7  450 3 0.975 0.301 2.47  10.8  422 3 1.00  0.347 1.68 
loops/sum04_false-unreach-call_true-termination.i 7.50 311 7.40 322 8.11 337 2 0.838 0.880 10.2  416 3 0.823 0.242 1.24  9.79 401 3 0.829 0.249 1.12  10.1  410 3 0.791 0.250 1.23  10.1  388 3 0.849 0.248 1.11  8.92 409 3 0.811 0.226 1.07  9.76 378 3 0.838 0.232 1.10  8.87 407 3 0.790 0.216 1.02 
loops/sum_array_false-unreach-call.i 8.91 348 9.59 359 29.9  521 2 14.7   1.85  29.6  555 3 13.5   0.735 1.73  31.3  545 3 15.0   0.841 1.92  29.4  555 3 14.0   0.774 1.94  31.6  556 3 14.0   0.766 2.14  30.2  540 3 14.6   0.781 2.22  31.7  573 3 14.514 0.753 2.30  31.3  565 3 14.5   0.784 2.15 
loops/terminator_01_false-unreach-call_false-termination.i 4.35 212 4.60 209 5.39 294 2 0.454 0.098 5.86 317 3 0.501 0.058 0.351 6.06 342 3 0.503 0.056 0.343 6.08 338 3 0.478 0.053 0.454 5.80 317 3 0.441 0.049 0.408 5.91 334 3 0.518 0.064 0.358 5.88 321 3 0.494 0.054 0.333 6.08 322 3 0.503 0.059 0.320
loops/terminator_02_false-unreach-call_true-termination.i 4.09 203 4.63 218 4.95 230 2 0.543 0.110 5.83 340 3 0.528 0.062 0.297 5.96 326 3 0.490 0.050 0.400 5.94 340 3 0.541 0.052 0.302 6.28 341 3 0.508 0.054 0.377 5.78 334 3 0.500 0.046 0.344 6.04 340 3 0.522 0.059 0.349 6.18 338 3 0.514 0.052 0.394
loops/terminator_03_false-unreach-call_true-termination.i 5.09 212 4.58 217 5.78 302 2 0.500 0.363 6.28 342 3 0.529 0.062 0.431 6.27 348 3 0.511 0.064 0.418 5.91 340 3 0.553 0.058 0.325 6.13 339 3 0.546 0.056 0.342 6.32 339 3 0.514 0.066 0.465 6.25 339 3 0.530 0.062 0.425 5.96 344 3 0.508 0.066 0.373
loops/trex01_false-unreach-call_true-termination.i 4.36 209 4.50 215 6.92 329 2 0.852 0.334 7.64 350 3 1.03  0.054 0.325 7.05 369 3 0.907 0.057 0.342 7.11 372 3 0.912 0.048 0.317 6.90 368 3 0.921 0.058 0.292 6.99 357 3 0.881 0.062 0.319 7.57 375 3 0.957 0.055 0.350 6.16 351 3 0.732 0.049 0.351
loops/trex02_false-unreach-call_true-termination.i 4.30 213 4.08 212 4.77 231 2 0.488 0.106 5.82 333 3 0.486 0.046 0.099 5.84 327 3 0.507 0.049 0.101 5.82 332 3 0.490 0.051 0.107 6.24 327 3 0.520 0.058 0.100 5.93 322 3 0.472 0.050 0.089 5.73 334 3 0.498 0.050 0.310 5.17 329 3 0.458 0.043 0.078
loops/trex03_false-unreach-call_true-termination.i 4.86 215 4.62 211 5.66 303 2 0.630 0.289 6.00 330 3 0.551 0.081 0.350 5.94 341 3 0.592 0.063 0.316 6.29 336 3 0.583 0.070 0.396 5.77 349 3 0.540 0.069 0.317 6.16 328 3 0.618 0.073 0.376 6.57 348 3 0.620 0.074 0.435 6.31 325 3 0.613 0.074 0.387
loops/verisec_NetBSD-libc__loop_false-unreach-call.i 4.33 216 4.64 214 5.54 298 2 0.645 0.248 6.02 350 3 0.523 0.068 0.411 5.80 334 3 0.512 0.063 0.320 6.33 336 3 0.637 0.050 0.314 6.32 336 3 0.651 0.056 0.407 5.83 327 3 0.641 0.059 0.307 6.13 339 3 0.628 0.057 0.370 5.92 340 3 0.495 0.052 0.372
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i 6.66 302 7.06 309 26.8  691 2 10.5   0.346 26.0  702 3 9.81  0.540 0.612 24.9  700 3 9.43  0.564 0.580 27.3  686 3 10.3   0.630 0.650 29.9  774 3 10.9   0.550 0.640 25.4  683 3 9.89  0.583 0.509 31.6  799 3 11.100 0.551 0.665 26.9  694 3 10.1   0.619 0.682
loops/vogal_false-unreach-call.i 60.8  730 60.4  728 84.3  1030 2 12.3   44.2   82.7  1070 3 12.2   0.252 39.7   96.7  1110 3 12.1   0.272 56.2   73.8  1130 3 12.1   0.262 32.7   83.2  1070 3 12.1   0.267 42.6   103    1100 3 12.1   0.238 62.7   84.9  1090 3 12.269 0.281 42.5   101    1080 3 12.4   0.253 60.4  
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 4.52 211 4.20 211 4.70 233 2 0.437 0.097 4.68 244 3 0.441 0.046 0.097 4.92 247 3 0.439 0.051 0.096 4.81 243 3 0.476 0.054 0.096 4.87 245 3 0.438 0.045 0.097 4.78 242 3 0.443 0.050 0.093 4.84 242 3 0.449 0.056 0.113 4.69 237 3 0.440 0.049 0.083
busybox-1.22.0/basename_false-unreach-call.i 7.90 317 8.08 323 44.8  1100 2 16.0   0.178 47.0  1190 3 15.7   0.147 0.164 44.9  1090 3 15.8   0.117 0.145 46.4  1150 3 14.4   0.150 0.139 43.6  1130 3 15.1   0.129 0.135 41.7  1110 3 15.5   0.127 0.151 49.8  1210 3 16.129 0.130 0.147 48.5  1150 3 16.8   0.136 0.153
busybox-1.22.0/cal_false-unreach-call.i 23.6  658 24.9  649 117    2240 2 68.5   5.77  129    2530 3 67.1   7.10  6.70  125    2400 3 73.0   6.85  5.79  130    1990 3 71.0   7.41  6.22  129    2320 3 68.8   7.03  6.49  126    2290 3 66.5   7.07  6.21  131    2510 3 71.349 7.06  6.38  126    2090 3 64.0   7.02  5.89 
busybox-1.22.0/cat_false-unreach-call.i 18.7  510 18.0  505 61.1  1060 2 26.2   2.97  118    2260 3 70.2   3.36  2.94  55.1  997 3 21.4   3.68  2.84  117    2150 3 67.9   3.31  2.96  119    2210 3 69.0   3.51  3.08  65.5  1120 3 26.0   3.82  2.87  120    2400 3 66.802 3.32  3.33  64.8  1110 3 25.2   3.76  2.86 
busybox-1.22.0/chgrp-incomplete_false-unreach-call.i 302    1560 602    1810 408    2990 2 83.5   284     412    1830 3 83.6   2.46  286     409    2020 3 85.6   2.02  286     412    1940 3 82.6   2.46  286     411    1530 3 88.7   1.95  286     410    1500 3 82.5   2.42  288     410    1480 3 89.278 1.77  285     409    1410 3 89.1   1.81  287    
busybox-1.22.0/chmod_false-unreach-call.i 301    904 602    1120 14.7  488 16.8  482 17.1  494 17.3  491 17.1  489 16.8  488 18.0  498 17.5  487
busybox-1.22.0/chown-incomplete_false-unreach-call.i 301    1370 602    1570 16.7  483 16.7  460 16.6  487 15.9  486 16.4  484 16.9  466 14.5  498 16.8  501
busybox-1.22.0/chroot-incomplete_false-unreach-call.i 13.2  461 13.2  455 14.8  466 2 1.31  3.27  15.7  465 3 1.27  0.558 3.17  15.9  471 3 1.36  0.536 3.26  16.4  472 3 1.40  0.575 3.17  16.4  464 3 1.26  0.535 3.95  16.7  474 3 1.33  0.531 3.82  17.6  465 3 1.399 0.583 4.02  16.7  462 3 1.31  0.567 3.82 
busybox-1.22.0/cp-incomplete_false-unreach-call.i 19.6  595 20.3  570 16.2  505 17.6  520 17.0  504 16.7  501 16.1  499 16.8  492 16.3  502 15.8  509
busybox-1.22.0/cut_false-unreach-call.i 21.9  614 21.0  599 122    1910 2 58.4   12.0   156    2280 3 73.3   29.4   5.22  146    2530 3 69.4   27.4   4.39  149    2170 3 68.1   28.3   4.90  155    2560 3 73.1   28.6   5.14  150    2320 3 69.9   29.5   4.70  151    2540 3 71.870 28.8   5.34  152    2490 3 73.4   29.1   4.54 
busybox-1.22.0/date_false-unreach-call.i 302    1900 601    2090 343    1750 2 13.6   285     345    2030 3 11.8   5.26  285     347    2200 3 12.4   5.04  284     344    2080 3 12.5   4.81  285     343    2030 3 12.4   4.64  284     348    2080 3 12.8   4.42  284     344    2110 3 11.806 5.35  285     350    2090 3 12.7   5.02  285    
busybox-1.22.0/dos2unix_false-unreach-call.i 11.6  478 12.6  479 111    2410 2 69.1   1.32  114    2190 3 68.6   1.78  1.26  116    2590 3 67.5   2.05  1.24  114    2230 3 69.9   1.77  1.23  115    2230 3 67.9   1.86  1.23  115    2520 3 67.6   1.81  1.31  113    2260 3 68.277 1.68  1.20  116    2530 3 68.0   1.82  1.33 
busybox-1.22.0/du_false-unreach-call.i 21.4  584 21.8  603 35.1  906 2 6.06  6.28  43.6  1140 3 6.13  3.40  6.18  46.2  1160 3 6.06  3.96  6.04  45.0  1130 3 5.85  3.74  6.13  46.2  1170 3 6.07  3.84  5.95  41.1  995 3 5.91  3.09  5.97  45.3  1130 3 5.959 3.91  5.95  43.0  1090 3 6.05  3.36  6.17 
busybox-1.22.0/echo_false-unreach-call.i 11.5  408 11.2  433 110    1530 2 77.5   1.73  112    2170 3 71.9   0.732 1.64  113    2200 3 71.4   0.730 1.77  112    2080 3 71.9   0.813 1.82  114    2310 3 71.5   0.781 2.10  112    1530 3 79.9   0.761 2.06  113    1770 3 75.333 0.773 2.12  113    2180 3 71.9   0.920 2.09 
busybox-1.22.0/expand_false-unreach-call.i 20.1  494 21.8  499 119    1990 2 63.6   9.54  155    2490 3 66.8   27.6   9.32  150    2340 3 60.5   27.0   9.71  144    2450 3 69.6   23.2   7.96  150    2510 3 69.9   26.4   9.30  148    2290 3 59.8   26.7   8.49  150    2480 3 63.292 26.6   9.12  150    2310 3 68.1   26.7   9.55 
busybox-1.22.0/expr_false-unreach-call.i 11.5  454 11.5  452 12.9  498 2 1.22  1.49  14.9  488 3 1.25  0.391 1.65  14.3  495 3 1.16  0.366 1.60  13.8  493 3 1.11  0.393 1.52  15.2  494 3 1.22  0.399 1.92  15.5  497 3 1.23  0.380 2.05  14.8  500 3 1.190 0.387 1.88  15.4  475 3 1.27  0.376 1.98 
busybox-1.22.0/fold_false-unreach-call.i 12.8  465 13.0  457 112    2090 2 63.6   2.10  78.9  1360 3 39.6   3.28  1.99  118    2340 3 65.5   3.16  2.03  117    2480 3 67.0   3.04  2.11  117    2430 3 64.3   3.36  2.13  93.7  1350 3 52.7   3.42  2.14  119    2410 3 71.770 3.42  2.17  116    2080 3 66.8   3.05  2.09 
busybox-1.22.0/head_false-unreach-call.i 10.9  436 11.4  434 110    2080 2 71.3   1.21  129    2470 3 79.7   11.7   1.41  130    2420 3 82.0   12.2   1.23  128    2260 3 79.8   12.1   1.23  126    2220 3 74.1   11.7   1.19  125    2080 3 73.6   11.6   1.15  126    2170 3 72.072 11.9   1.21  129    2440 3 80.1   12.3   1.17 
busybox-1.22.0/id-incomplete_false-unreach-call.i 10.7  439 12.0  445 79.6  1730 2 44.7   0.805 126    2450 3 45.7   41.8   0.900 127    2330 3 45.4   40.7   0.903 130    2430 3 46.3   41.5   1.03  132    2210 3 46.6   42.2   0.903 131    2510 3 46.5   41.5   1.04  128    2380 3 45.217 40.5   0.844 126    2490 3 44.9   40.5   0.886
busybox-1.22.0/ln_false-unreach-call.i 18.9  547 20.3  548 114    2080 2 60.1   3.87  125    1490 3 69.7   3.04  4.05  120    2240 3 60.8   2.62  3.50  91.1  1570 3 38.2   3.07  3.84  94.6  1430 3 39.5   2.95  3.97  121    2460 3 60.6   2.29  4.03  125    1500 3 69.032 3.17  4.03  123    2560 3 60.7   2.71  4.17 
busybox-1.22.0/ls-incomplete_false-unreach-call.i 302    2130 602    2040 413    3070 2 67.2   290     515    3150 3 72.3   91.6   292     515    3150 3 72.0   91.7   291     515    3160 3 69.5   91.5   290     514    3180 3 70.3   91.5   292     514    3140 3 65.2   90.6   293     515    3170 3 66.550 91.1   293     514    3240 3 70.1   91.7   292    
busybox-1.22.0/mkdir_false-unreach-call.i 302    1950 602    1820 408    2670 2 70.0   284     421    2590 3 67.5   9.67  287     423    2600 3 66.4   10.1   288     421    2610 3 68.2   9.94  285     422    2630 3 69.0   9.82  288     423    2590 3 68.6   10.2   289     422    2610 3 65.327 10.0   287     421    2640 3 65.9   9.38  290    
busybox-1.22.0/mkfifo-incomplete_false-unreach-call.i 8.61 365 8.41 359 113    2480 2 72.3   0.660 114    2510 3 75.6   0.208 0.666 114    2540 3 76.5   0.241 0.614 114    2520 3 76.0   0.253 0.448 113    2480 3 73.9   0.222 0.415 115    2510 3 75.8   0.251 0.654 113    2510 3 75.466 0.184 0.480 115    2530 3 75.6   0.300 0.627
busybox-1.22.0/mv-incomplete_false-unreach-call.i 302    1360 601    1620 43.7  1030 42.5  988 40.8  1020 41.3  1100 42.8  1030 43.1  1060 42.6  1040 41.4  960
busybox-1.22.0/od_false-unreach-call.i 302    1570 602    1750 47.0  1190 49.4  1240 52.1  1280 52.0  1230 51.1  1160 54.7  1230 51.4  1230 48.0  1220
busybox-1.22.0/printf_false-unreach-call.i 11.3  444 11.5  445 112    2050 2 70.5   1.08  119    2050 3 75.9   4.48  1.03  115    2540 3 75.0   3.83  0.885 120    2290 3 75.8   4.47  1.06  117    2400 3 73.0   4.50  1.01  118    2370 3 71.4   4.29  1.13  119    2470 3 70.609 4.62  1.05  119    2160 3 72.5   4.51  1.06 
busybox-1.22.0/pwd_false-unreach-call.i 22.6  557 21.5  568 121    1940 2 69.4   10.3   133    2500 3 70.5   12.4   4.82  133    2290 3 70.5   12.9   5.16  135    2310 3 70.0   13.0   5.32  139    2630 3 69.2   13.5   6.19  133    2230 3 70.0   12.8   6.24  134    2590 3 70.731 12.8   6.01  133    2370 3 68.8   13.0   5.97 
busybox-1.22.0/realpath_false-unreach-call.i 301    1200 602    1440 407    1520 2 87.0   292     432    1290 3 90.8   22.6   296     436    1520 3 87.4   25.9   295     432    1360 3 89.7   22.6   294     435    1490 3 86.5   25.9   295     434    1600 3 87.0   24.1   295     432    1340 3 90.623 23.1   293     434    1570 3 85.7   23.9   295    
busybox-1.22.0/rm_false-unreach-call.i 17.8  544 19.6  554 37.4  929 2 5.09  4.81  40.0  950 3 4.69  3.15  3.38  40.7  932 3 5.42  2.62  3.44  41.6  965 3 5.40  2.85  3.62  41.1  969 3 5.71  2.31  3.48  40.9  959 3 5.00  3.35  3.35  40.7  947 3 4.938 3.15  3.43  41.2  961 3 5.16  3.00  3.32 
busybox-1.22.0/rmdir_false-unreach-call.i 302    1410 602    1650 408    2610 2 73.7   283     414    2620 3 72.5   4.07  289     422    2650 3 75.9   5.33  290     417    2630 3 73.9   4.46  289     423    2600 3 73.3   5.33  288     423    2680 3 74.2   5.46  288     414    2660 3 71.707 4.20  288     428    2630 3 73.5   6.12  289    
busybox-1.22.0/seq_false-unreach-call.i 18.1  491 18.7  502 113    2380 2 67.3   3.42  118    2300 3 65.9   0.928 4.04  116    2340 3 67.8   0.933 3.47  115    2080 3 68.5   0.905 3.34  117    2200 3 66.7   0.938 3.67  116    2300 3 67.8   0.931 3.48  116    2390 3 68.523 0.935 3.52  117    2460 3 69.1   0.982 3.95 
busybox-1.22.0/sleep_false-unreach-call.i 14.3  485 14.3  503 19.0  511 2 3.44  4.08  115    1470 3 78.3   0.936 4.06  24.8  688 3 3.57  1.20  4.49  37.2  695 3 15.2   1.24  4.85  37.4  686 3 15.2   1.11  5.19  26.8  704 3 3.65  1.18  5.45  24.8  654 3 4.379 1.12  4.92  32.9  701 3 11.0   1.10  5.13 
busybox-1.22.0/stty_false-unreach-call.i 54.6  815 54.4  808 166    972 2 108     37.1   234    1770 3 127     33.4   36.6   232    1720 3 128     33.2   37.4   218    1710 3 115     33.2   38.4   195    1540 3 92.9   33.5   36.8   208    1730 3 107     32.1   37.0   217    1790 3 114.618 32.9   37.0   245    1650 3 128     35.4   37.0  
busybox-1.22.0/tac_false-unreach-call.i 18.3  506 18.2  504 114    2190 2 66.5   3.31  119    1330 3 79.6   1.96  3.35  116    2270 3 66.0   1.66  3.19  119    2170 3 66.7   1.85  3.58  73.9  1310 3 32.9   2.05  3.27  118    1300 3 81.4   1.78  3.12  119    1240 3 77.070 1.91  3.27  118    1300 3 79.8   1.98  3.06 
busybox-1.22.0/tail_false-unreach-call.i 13.4  505 13.2  509 113    2200 2 72.7   1.57  139    2490 3 67.4   21.5   1.73  137    2460 3 69.8   21.3   1.43  138    2480 3 72.3   21.8   1.49  138    2220 3 67.0   21.8   1.59  136    2270 3 64.4   21.1   1.53  147    2430 3 73.244 23.4   1.47  140    2480 3 72.7   22.1   1.55 
busybox-1.22.0/tee_false-unreach-call.i 66.5  1120 62.9  1120 147    2490 2 74.7   31.6   175    2590 3 77.0   16.4   32.9   164    2560 3 74.0   14.9   32.6   169    2560 3 74.1   15.3   33.2   181    2610 3 75.2   16.3   37.1   174    2490 3 73.4   15.6   37.9   174    2390 3 75.788 14.6   37.0   170    2600 3 75.1   15.2   37.5  
busybox-1.22.0/test-incomplete_false-unreach-call.i 13.2  500 13.4  496 54.9  1360 2 27.3   2.23  155    2730 3 25.3   84.4   1.69  160    2740 3 28.4   81.6   2.21  163    3050 3 29.4   82.6   1.90  162    2890 3 29.7   84.9   1.99  161    2860 3 28.6   86.3   1.95  164    2870 3 29.948 86.7   1.88  160    2740 3 28.7   83.8   2.31 
busybox-1.22.0/touch_false-unreach-call.i 302    1440 602    1660 321    1530 2 4.47  279     334    1550 3 4.36  3.70  287     333    1570 3 4.41  3.39  286     333    1580 3 4.41  3.48  288     334    1660 3 4.44  3.85  287     332    1650 3 4.37  2.92  286     334    1530 3 4.519 3.59  285     333    1640 3 4.30  3.49  287    
busybox-1.22.0/uudecode_false-unreach-call.i 20.6  529 20.7  523 115    2020 2 72.4   4.62  123    1420 3 82.0   3.63  4.54  122    1520 3 82.3   3.43  4.58  122    1520 3 66.0   3.60  4.73  126    1600 3 82.5   3.89  4.65  117    2200 3 63.0   2.94  3.55  122    1520 3 64.420 3.49  4.64  120    2220 3 69.6   3.22  4.35 
busybox-1.22.0/uuencode_false-unreach-call.i 23.2  702 23.0  697 116    2190 2 69.8   4.66  121    2250 3 70.8   3.45  4.71  120    2230 3 73.1   3.20  5.29  121    2060 3 70.8   3.27  4.76  122    2130 3 71.1   3.28  5.34  125    2260 3 73.9   4.28  4.21  120    2140 3 70.870 3.28  4.65  126    2500 3 73.2   4.43  4.54 
busybox-1.22.0/wc_false-unreach-call.i 18.0  504 21.0  534 114    2310 2 73.3   3.32  121    1110 3 84.4   2.02  3.54  116    2510 3 75.5   1.63  3.10  122    1270 3 82.5   2.42  3.21  118    2450 3 73.6   1.72  3.43  117    1450 3 78.0   1.72  3.14  123    1210 3 85.013 2.36  3.72  116    2180 3 67.9   1.71  3.33 
busybox-1.22.0/yes_false-unreach-call.i 9.50 393 9.15 399 109    2540 2 64.5   0.789 110    2270 3 69.8   0.256 0.823 98.6  2600 3 59.7   0.199 0.630 110    2500 3 67.5   0.274 0.813 110    2360 3 66.1   0.243 0.774 110    2550 3 64.6   0.274 0.792 110    2530 3 66.920 0.275 0.757 111    2500 3 66.9   0.311 0.797
ldv-challenges/linux-3.8-rc1-32_7a-drivers--net--ethernet--broadcom--bnx2x--bnx2x.ko-ldv_main3_sequence_infinite_withcheck_stateful_false-unreach-call.cil.out.c 302    2300 613    2290 613    3030 85.5   613    3130 82.5   91.2   613    3110 84.3   91.7   613    3110 83.7   91.3   613    3110 84.6   91.6   613    3090 84.6   91.9   613    3120 83.475 91.7   613    3110 84.1   91.2  
ldv-commit-tester/m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13-1.c 15.8  484 16.7  485 19.2  498 2 4.74  1.52  26.9  519 3 7.11  1.03  2.06  23.5  502 3 5.44  0.903 1.85  25.9  530 3 5.72  0.963 2.13  27.0  524 3 7.13  0.980 2.16  26.2  530 3 6.76  0.919 1.89  25.5  530 3 6.813 0.923 1.93  27.1  547 3 5.88  1.01  2.25 
ldv-commit-tester/m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13.c 17.2  485 16.9  489 22.8  507 2 5.65  1.91  26.0  527 3 5.86  1.01  2.00  25.6  538 3 5.50  0.964 2.06  25.2  518 3 5.74  0.975 1.90  26.3  541 3 5.74  1.01  2.18  26.2  515 3 5.92  1.03  2.13  25.7  517 3 5.893 1.01  1.97  24.8  522 3 5.66  0.997 1.85 
ldv-commit-tester/m0_false-unreach-call_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a-1.c 10.2  365 8.84 357 111    2330 2 74.1   1.14  110    2280 3 76.9   0.203 1.11  111    2230 3 76.5   0.150 1.17  113    2430 3 77.4   0.209 1.37  112    2300 3 73.9   0.176 1.35  112    2130 3 75.6   0.207 1.11  111    2430 3 75.732 0.245 1.27  110    2300 3 76.4   0.219 1.01 
ldv-commit-tester/m0_false-unreach-call_drivers-media-rc-imon--32_7a--a9e7fb5-1.c 302    1720 384    1650 298    1240 2 97.0   168     529    1880 3 97.3   92.0   303     518    1690 3 96.8   91.8   294     518    1790 3 96.9   91.4   294     518    1930 3 96.3   91.9   295     519    1840 3 97.6   91.0   294     519    1950 3 96.735 92.4   294     520    1880 3 97.0   91.1   295    
ldv-commit-tester/m0_false-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac-1.c 26.2  592 23.8  588 117    2560 2 65.7   2.81  118    2540 3 65.9   0.921 2.81  118    2550 3 67.1   0.900 2.68  119    2500 3 65.4   0.904 2.96  120    2620 3 65.6   0.973 3.14  117    2450 3 64.5   0.895 2.72  119    2490 3 64.805 0.898 2.71  118    2490 3 66.7   0.932 2.74 
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36-1.c 13.1  409 13.6  410 110    2250 2 71.1   1.03  112    2100 3 70.9   0.460 0.912 110    2370 3 73.6   0.426 0.755 111    2400 3 70.6   0.500 0.832 112    2230 3 71.0   0.445 1.04  110    2280 3 69.8   0.424 0.775 110    2410 3 72.215 0.483 0.758 110    2220 3 69.8   0.442 0.775
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36-1.c 27.4  620 26.9  619 120    2240 2 73.9   10.0   124    2210 3 72.2   1.87  10.1   123    2120 3 71.1   1.96  9.83  124    1840 3 73.2   1.79  9.92  126    2140 3 75.7   2.14  9.96  122    2290 3 74.0   1.83  9.84  125    2150 3 71.149 1.91  10.3   124    2040 3 73.9   1.91  9.81 
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36-1.c 48.9  632 47.6  638 138    2300 2 67.1   26.2   143    2300 3 68.1   1.89  26.3   144    2330 3 68.2   1.75  26.4   145    1980 3 66.9   1.86  26.4   144    2370 3 68.1   1.87  26.3   146    2450 3 68.7   1.73  26.6   145    1950 3 68.907 1.82  26.6   145    2180 3 68.8   1.94  26.6  
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36-1.c 12.5  402 12.5  401 109    2280 2 68.9   0.810 111    2230 3 67.9   0.378 0.922 111    2400 3 69.4   0.452 0.731 111    2250 3 68.6   0.370 0.922 112    2090 3 66.8   0.448 0.973 111    2030 3 67.9   0.471 0.747 110    2300 3 68.581 0.352 0.861 110    2420 3 71.4   0.381 0.714
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-1.c 62.4  1320 60.0  1350 70.1  1400 2 4.62  25.1   93.8  1730 3 4.78  23.3   21.7   94.9  1730 3 4.84  23.5   22.2   91.4  1760 3 4.72  22.4   21.5   92.5  1730 3 4.88  22.7   23.0   79.0  1700 3 4.23  19.5   20.9   90.4  1710 3 4.725 22.4   23.4   88.0  1740 3 4.78  21.9   22.9  
ldv-commit-tester/m0_false-unreach-call_sound-oss-opl3-ko--111_1a--42f9f8d-1.c 313    1140 613    1110 613    2540 67.6   613    3500 66.8   85.5   613    3380 72.4   79.5   613    3360 68.8   78.1   613    3360 67.8   79.5   613    3470 68.5   83.6   613    3330 69.165 80.6   613    3430 68.6   78.5  
ldv-commit-tester/main0_false-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1.c 313    958 613    939 613    1450 613    1420 613    1440 612    1440 613    1500 613    1440 613    1450 613    1460
ldv-commit-tester/main0_false-unreach-call_drivers-net-wireless-ath-carl9170-carl9170-ko--32_7a--8a9f335-1.c 313    1090 612    1110 613    2590 76.9   613    2630 71.4   91.9   613    2630 77.1   92.5   613    2660 71.8   92.4   613    2670 72.1   91.9   613    2620 68.3   92.0   613    2630 73.142 89.6   612    2650 73.9   89.1  
ldv-commit-tester/main3_false-unreach-call_drivers-staging-usbip-vhci-hcd-ko--132_1a--927c3fa.c 42.8  657 43.1  668 136    1680 2 73.0   17.4   136    1750 3 73.0   1.20  17.1   135    1810 3 73.5   1.32  17.0   136    1640 3 71.2   1.34  17.3   139    1740 3 75.1   1.29  17.7   136    1740 3 74.1   1.20  17.2   141    1510 3 82.454 1.28  17.5   138    1640 3 73.4   1.34  17.7  
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--ata--libata.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c 313    1190 613    1200 613    1240 5.20  613    1500 5.83  2.69  613    1520 5.40  2.12  613    1470 5.26  2.28  613    1500 5.12  2.61  613    1460 4.84  2.35  613    1490 5.268 2.28  613    1490 5.18  2.37 
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c 313    1200 613    1220 613    1430 6.50  613    1710 6.67  4.43  613    1740 6.69  4.27  613    1760 6.63  4.62  613    1790 6.57  5.56  613    1730 6.70  4.32  612    1810 6.456 5.36  613    1710 6.67  4.29 
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--media--dvb-frontends--stv090x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 302    2490 603    2560 424    2520 2 65.4   288     524    2590 3 77.8   89.0   290     525    2590 3 78.6   88.3   291     524    2580 3 79.6   89.1   290     524    2560 3 80.5   88.4   290     524    2580 3 79.5   87.7   289     527    2610 3 77.815 92.4   290     525    2620 3 67.0   92.5   290    
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--mmc--host--vub300.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 22.5  607 21.5  594 26.9  620 2 2.53  1.82  36.1  738 3 2.43  0.997 3.36  36.5  734 3 2.39  0.924 3.04  35.9  731 3 2.39  0.944 2.91  35.8  726 3 2.41  0.918 3.05  37.6  699 3 2.36  1.01  3.27  37.1  735 3 2.346 0.943 3.64  37.1  755 3 2.33  0.985 3.23 
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--net--can--softing--softing.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 47.9  850 45.6  838 130    2290 2 63.7   9.59  236    3020 3 65.5   86.5   9.27  237    3180 3 62.9   86.5   8.97  237    2970 3 64.8   86.6   8.78  237    3070 3 65.0   88.1   11.0   240    3180 3 62.0   87.5   11.2   239    3150 3 62.470 87.9   11.5   254    3260 3 61.5   88.7   10.9  
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--zd1211rw--zd1211rw.ko-ldv_main7_sequence_infinite_withcheck_stateful.cil.out.c 313    957 613    963 612    2490 70.3   613    2570 70.6   94.0   613    2570 71.0   93.6   613    2530 69.2   93.1   613    2580 69.7   93.7   613    2600 69.6   94.0   613    2570 72.598 94.2   613    2510 72.2   93.5  
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--usb--core--usbcore.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c 302    1740 613    1710 368    1980 2 10.4   290     384    2410 3 10.5   6.68  298     383    2460 3 11.0   5.90  297     384    2450 3 11.1   6.26  298     385    2530 3 11.6   6.15  297     386    2450 3 11.6   6.03  297     387    2490 3 12.179 5.99  298     390    2310 3 10.5   5.82  297    
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--ceph--ceph.ko-ldv_main11_sequence_infinite_withcheck_stateful.cil.out.c 313    1150 613    1150 612    2330 78.4   613    2560 77.9   94.4   613    2550 80.3   94.6   613    2550 82.9   93.0   613    2570 82.4   94.4   613    2570 81.0   94.5   612    2570 81.072 94.7   613    2560 83.0   94.4  
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--hfs--hfs.ko-ldv_main6_sequence_infinite_withcheck_stateful.cil.out.c 53.9  857 55.6  838 68.9  942 2 3.73  21.9   73.2  928 3 3.76  2.68  19.6   74.7  932 3 3.65  2.67  18.9   70.5  937 3 3.52  2.59  18.9   76.2  928 3 3.89  2.65  22.3   75.3  932 3 3.76  2.51  21.0   74.7  957 3 3.828 2.37  21.1   73.3  934 3 3.65  2.33  21.3  
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--ubifs--ubifs.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c 175    1550 197    1570 195    1760 2 14.7   108     203    1880 3 15.7   11.2   98.0   198    1830 3 15.6   11.1   96.5   205    1890 3 16.4   10.6   98.2   216    1910 3 15.6   11.3   107     188    1900 3 12.2   9.06  100     211    1840 3 14.532 10.5   108     208    1940 3 14.5   11.5   107    
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--ubifs--ubifs.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c 304    2540 606    2870 454    2720 2 71.8   282     559    2780 3 74.0   93.8   281     552    2780 3 70.4   92.9   282     556    2800 3 66.6   94.0   283     556    2710 3 75.4   93.2   284     549    2760 3 68.1   93.7   284     552    2790 3 72.908 92.3   284     551    2720 3 73.6   92.4   283    
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--hwmon--abituguru3.ko-main.cil.out.c 313    959 613    968 613    982 613    948 613    955 613    948 613    942 613    955 613    964 613    944
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--media--rc--rc-core.ko-main.cil.out.c 54.5  939 52.5  949 132    1650 2 77.0   13.8   154    1840 3 70.4   6.21  31.5   155    1650 3 75.3   6.26  32.1   159    1660 3 69.6   6.58  34.6   151    1840 3 69.8   6.02  28.5   148    1830 3 75.0   5.86  25.3   152    1650 3 68.334 6.50  29.1   148    1750 3 65.2   6.61  26.0  
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--pcmcia--pcmcia_rsrc.ko-main.cil.out.c 45.8  846 50.3  869 121    1550 2 65.5   9.54  231    1830 3 74.0   95.9   17.0   231    1940 3 66.9   94.2   18.1   229    1940 3 67.0   95.5   17.1   232    1940 3 67.8   95.2   19.4   232    1950 3 67.3   94.6   19.5   233    1710 3 69.055 95.8   20.3   233    1920 3 65.9   94.2   20.1  
ldv-consumption/linux-3.8-rc1-32_7a-drivers--net--wireless--mwl8k.ko-ldv_main0_false-unreach-call.cil.out.c 74.3  1090 67.6  972 75.3  1100 2 3.90  30.2   80.8  1200 3 4.01  3.00  30.0   81.5  1210 3 3.68  3.62  30.9   84.5  1170 3 4.00  2.39  34.2   89.1  1130 3 3.78  3.24  37.1   85.6  1190 3 3.81  3.18  36.3   83.2  1230 3 3.802 3.27  34.2   85.2  1170 3 3.91  3.55  34.2  
ldv-consumption/linux-3.8-rc1-32_7a-drivers--scsi--mpt3sas--mpt3sas.ko-ldv_main4_false-unreach-call.cil.out.c 313    1100 335    1140 336    1160 2 4.29  280     344    1420 3 4.27  3.46  280     348    1460 3 4.21  4.04  280     342    1440 3 4.33  3.19  279     350    1380 3 3.74  4.26  285     353    1460 3 4.38  3.94  285     345    1410 3 4.412 3.35  282     342    1410 3 3.88  3.13  281    
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i 148    1120 164    1130 271    1140 2 110     114     257    1140 3 105     0.422 103     255    1160 3 105     0.404 102     253    1130 3 103     0.415 103     257    1140 3 103     0.421 107     261    1210 3 103     0.378 107     238    1130 3 104.344 0.363 88.8   239    1140 3 105     0.335 91.7  
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i 144    1330 147    1350 254    2420 2 61.7   132     270    2840 3 61.9   50.3   96.4   304    2870 3 61.3   83.2   97.2   290    2850 3 61.0   71.4   93.3   274    2810 3 63.9   40.2   109     321    2920 3 63.1   87.5   108     313    2800 3 60.222 87.3   101     242    3010 3 64.5   38.1   84.6  
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i 301    720 584    2490 358    1310 2 20.7   297     463    2530 3 20.6   76.4   318     444    2480 3 20.1   77.4   298     419    2430 3 16.7   64.1   297     458    2550 3 21.2   74.1   311     458    2550 3 19.8   77.5   314     456    2560 3 20.913 75.9   310     456    2540 3 19.6   76.6   313    
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i 302    1290 602    2120 431    1730 2 84.8   292     501    1770 3 83.9   67.5   293     501    1790 3 81.8   67.5   293     494    1770 3 85.1   61.5   290     498    1770 3 85.6   62.8   290     499    1770 3 82.4   66.7   293     497    1770 3 83.533 64.2   292     500    1810 3 82.4   68.3   293    
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i 32.2  812 29.1  755 34.0  820 2 2.41  5.46  42.3  943 3 2.25  0.904 6.96  40.1  835 3 2.34  0.931 6.05  41.6  940 3 2.37  0.896 6.67  44.3  896 3 2.23  0.861 7.02  41.2  901 3 2.33  0.828 7.07  45.0  892 3 2.285 0.841 7.13  44.0  893 3 2.21  0.923 7.08 
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i 302    2150 602    2660 414    2750 2 65.4   287     429    2810 3 67.3   13.0   285     431    2860 3 65.0   13.4   285     428    2810 3 64.5   12.8   285     428    2860 3 67.1   12.6   286     429    2890 3 65.9   13.3   286     429    2790 3 65.081 13.1   287     430    2820 3 65.2   13.3   287    
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i 303    2970 603    3410 427    3130 2 61.4   271     481    3340 3 60.8   45.2   274     489    3460 3 58.2   39.9   261     493    3520 3 60.7   46.2   259     475    3280 3 60.9   41.0   268     483    3340 3 58.5   45.2   276     482    3230 3 60.428 45.2   268     485    3320 3 60.9   44.4   273    
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i 104    1050 103    1020 143    1050 2 45.5   70.3   174    1130 3 46.7   19.3   79.8   172    1200 3 46.6   18.9   77.7   166    1160 3 46.6   19.2   70.9   164    1160 3 47.3   19.1   69.3   178    1140 3 47.3   19.3   84.2   269    1200 3 45.911 18.2   172     167    1150 3 45.5   18.0   78.5  
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i 302    2010 602    2580 409    2250 2 74.0   286     421    1840 3 75.7   11.2   288     422    2450 3 76.5   11.2   284     422    2010 3 73.9   11.1   288     424    1950 3 79.0   10.4   289     419    2670 3 75.4   7.92  288     420    2020 3 75.927 8.52  289     416    2540 3 78.0   7.18  289    
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i 32.2  671 32.6  668 58.5  949 2 9.15  9.59  70.3  1400 3 8.97  9.24  9.12  65.5  1270 3 8.33  8.73  8.80  68.5  1310 3 8.84  9.10  8.49  69.7  1340 3 8.61  9.11  9.21  69.6  1430 3 8.77  9.03  9.40  70.4  1460 3 8.873 9.11  9.30  71.0  1420 3 8.89  9.19  9.23 
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i 303    2050 602    2150 412    2710 2 70.7   287     414    2760 3 67.6   0.568 285     413    2770 3 69.6   0.572 286     415    2730 3 71.1   0.613 286     414    2720 3 73.5   0.614 288     414    2690 3 72.9   0.598 288     414    2650 3 71.050 0.615 288     411    2790 3 73.3   0.497 288    
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i 54.2  762 55.7  754 141    1600 2 76.1   24.9   156    1420 3 88.2   1.35  26.9   145    2310 3 68.4   1.28  26.6   172    1560 3 112     1.20  23.3   156    1230 3 86.8   1.28  29.4   169    1520 3 94.8   1.33  30.7   157    1480 3 86.462 1.30  30.6   149    1570 3 74.6   1.26  30.5  
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i 302    1870 602    2290 410    2460 2 87.5   292     431    2110 3 84.7   19.6   291     432    2460 3 87.7   19.3   293     432    2110 3 87.4   19.8   293     430    2330 3 85.9   19.2   291     432    1980 3 87.4   20.0   291     429    2210 3 87.379 17.9   292     431    2070 3 87.8   18.5   293    
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i 292    1520 295    1460 363    1710 2 73.7   245     445    1780 3 79.8   74.7   248     450    1730 3 80.1   77.2   249     469    1620 3 79.8   94.8   252     486    1810 3 79.5   69.8   293     487    1640 3 78.2   72.6   294     517    1700 3 79.737 95.8   300     510    1800 3 77.6   95.5   294    
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--misc--ims-pcu.ko-entry_point_false-unreach-call.cil.out.c 313    980 613    997 613    1240 13.3   613    1860 13.3   21.9   613    1670 13.4   20.7   613    1720 13.6   22.6   613    1800 13.2   22.3   612    1780 13.4   22.2   613    1770 12.952 22.4   613    1740 13.3   22.0  
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--tablet--gtco.ko-entry_point_false-unreach-call.cil.out.c 313    982 553    1050 510    1430 2 95.6   383     576    1500 3 97.7   99.0   347     577    1310 3 97.5   99.5   346     578    1460 3 97.7   99.4   347     578    1510 3 96.5   98.8   348     579    1540 3 97.2   98.8   349     580    1470 3 98.051 98.9   349     579    1270 3 97.7   99.0   349    
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--touchscreen--usbtouchscreen.ko-entry_point_false-unreach-call.cil.out.c 313    583 476    580 390    645 2 1.88  365     390    621 3 1.92  0.856 364     392    632 3 1.94  0.850 366     392    610 3 1.80  0.873 366     392    635 3 1.99  0.797 365     391    620 3 1.91  0.819 366     394    622 3 1.825 0.875 367     394    615 3 2.04  0.831 367    
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--isdn--hisax--hisax_st5481.ko-entry_point_false-unreach-call.cil.out.c 313    658 428    672 341    667 2 2.32  317     339    652 3 2.30  0.830 315     343    696 3 2.17  0.781 318     340    675 3 2.25  0.836 315     343    673 3 2.43  0.760 317     343    668 3 2.28  0.766 318     343    677 3 2.357 0.756 318     340    644 3 2.15  0.770 316    
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point_false-unreach-call.cil.out.c 313    2620 613    2140 613    2950 27.3   613    3040 26.4   23.1   613    3020 25.8   23.0   612    3030 27.6   23.6   613    3070 26.3   23.1   613    3070 25.9   23.3   613    3010 26.025 23.0   613    3080 27.7   23.6  
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--s2255--s2255drv.ko-entry_point_false-unreach-call.cil.out.c 313    1140 613    1110 613    1500 11.1   613    1490 11.2   8.76  613    1550 10.8   9.18  613    1530 11.4   8.97  613    1520 11.2   8.88  613    1540 11.6   9.06  612    1520 10.791 8.67  613    1570 11.3   8.60 
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--ttusb-dec--ttusb_dec.ko-entry_point_false-unreach-call.cil.out.c 141    678 141    655 149    887 2 4.00  118     160    985 3 4.19  2.27  119     161    1030 3 4.09  2.16  120     161    1010 3 4.14  2.19  120     162    1050 3 4.08  2.31  120     152    880 3 4.03  2.20  118     161    989 3 4.085 2.23  120     154    885 3 4.07  2.31  118    
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--usb--smsc95xx.ko-entry_point_false-unreach-call.cil.out.c 313    2260 607    3240 613    2380 364     602    2550 3 427     86.3   29.2   603    2610 3 429     86.4   26.4   604    2610 3 431     87.1   23.9   602    2560 3 428     85.5   28.7   602    2630 3 429     86.9   26.4   602    2590 3 430.013 86.7   23.3   602    2600 3 428     87.1   28.9  
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--wireless--p54--p54usb.ko-entry_point_false-unreach-call.cil.out.c 313    582 613    583 612    616 1.91  612    621 1.92  0.823 612    621 1.90  0.839 613    649 1.90  0.887 613    629 1.95  0.835 612    619 1.90  0.724 612    630 1.870 0.734 612    626 1.79  0.876
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--staging--media--go7007--go7007-loader.ko-entry_point_false-unreach-call.cil.out.c 313    488 548    512 565    510 2 102     449     601    624 3 101     117     366     606    640 3 101     116     371     606    623 3 102     117     369     556    732 3 104     116     317     603    599 3 101     116     370     606    634 3 101.114 116     372     604    602 3 101     117     369    
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--usb--misc--idmouse.ko-entry_point_false-unreach-call.cil.out.c 312    581 613    582 613    604 613    602 613    583 613    592 613    602 613    598 613    593 613    597
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--usb--wusbcore--wusb-cbaf.ko-entry_point_false-unreach-call.cil.out.c 313    615 613    633 612    853 613    844 612    840 612    863 613    839 612    841 613    854 612    836
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--rfc1201.ko-entry_point_false-unreach-call.cil.out.c 313    605 613    663 596    999 2 209     358     613    1060 209     8.93  613    1130 209     9.10  612    1090 208     8.73  612    1100 207     9.02  613    1130 210     9.64  613    1060 209.306 8.64  613    1110 209     9.43 
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--micrel--ks8842.ko-entry_point_false-unreach-call.cil.out.c 312    631 613    633 613    900 5.87  613    944 5.45  4.19  613    887 5.65  3.21  613    925 5.85  3.73  613    901 5.93  3.79  613    939 5.48  3.93  613    984 5.814 4.82  613    921 5.52  3.98 
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ieee802154--mrf24j40.ko-entry_point_false-unreach-call.cil.out.c 302    2850 602    2870 412    3090 2 74.7   286     513    3240 3 71.2   89.7   292     513    3180 3 75.6   87.3   291     512    3270 3 70.9   90.5   290     512    3220 3 72.5   89.4   290     512    3230 3 67.7   88.8   293     512    3270 3 70.382 89.5   290     512    3250 3 72.6   90.0   288    
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--phy--dp83640.ko-entry_point_false-unreach-call.cil.out.c 313    1030 613    1030 613    1150 613    1170 613    1160 613    1170 612    1140 612    1160 613    1130 613    1120
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ppp--ppp_async.ko-entry_point_false-unreach-call.cil.out.c 307    1410 613    1630 612    1640 233     613    2070 232     11.7   613    1820 232     11.5   612    2360 232     11.5   613    2300 231     11.6   613    2140 233     11.5   613    2110 233.441 11.8   613    1900 233     11.3  
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ppp--ppp_synctty.ko-entry_point_false-unreach-call.cil.out.c 303    1180 613    1730 550    1530 2 217     289     531    1540 3 186     6.46  295     566    1650 3 217     7.33  291     564    1610 3 217     7.07  289     566    1680 3 218     6.79  290     562    1660 3 217     7.39  291     565    1760 3 217.632 6.95  292     561    1670 3 217     6.83  291    
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--team--team.ko-entry_point_false-unreach-call.cil.out.c 313    1000 613    998 613    1270 11.7   613    1470 11.9   10.3   613    1540 11.8   10.7   612    1510 12.1   11.0   613    2240 11.5   10.3   613    1500 11.3   10.5   613    1470 11.697 9.24  613    2170 12.0   9.24 
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--cdc_ncm.ko-entry_point_false-unreach-call.cil.out.c 313    2210 613    2250 613    2780 70.0   613    2810 68.1   83.7   613    2800 72.8   78.9   613    2840 67.4   82.5   613    2830 73.3   82.1   613    2800 74.4   80.3   613    2800 74.041 76.3   613    2790 74.3   80.1  
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--cx82310_eth.ko-entry_point_false-unreach-call.cil.out.c 313    965 613    975 613    1540 101     613    1680 101     613    1610 102     613    1650 102     612    1500 102     613    1620 101     613    1400 99.809 613    1640 101    
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--gl620a.ko-entry_point_false-unreach-call.cil.out.c 313    606 613    605 613    795 114     613    913 114     1.28  613    899 114     1.19  613    960 114     1.33  613    973 114     1.26  613    959 114     1.28  613    956 113.668 1.17  613    991 114     1.28 
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--hdlc_cisco.ko-entry_point_false-unreach-call.cil.out.c 313    901 613    886 613    857 613    852 613    857 613    845 613    857 613    835 613    862 613    841
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-entry_point_false-unreach-call.cil.out.c 313    1730 613    1640 613    2350 75.0   613    2860 72.9   80.7   613    2620 73.0   79.3   612    2700 73.1   83.1   613    2740 73.4   77.1   613    2600 73.1   80.3   613    2760 73.423 80.7   613    3040 73.3   82.7  
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--hostap--hostap_plx.ko-entry_point_false-unreach-call.cil.out.c 313    976 613    909 612    1490 10.4   613    1450 10.9   10.2   613    1440 11.0   8.84  613    1520 10.7   9.18  613    1480 11.1   9.01  613    1430 10.8   8.99  613    1390 10.380 9.07  613    1380 10.6   8.93 
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--libertas--usb8xxx.ko-entry_point_false-unreach-call.cil.out.c 307    907 613    1120 440    1330 2 101     301     453    1210 3 103     12.9   299     457    1370 3 101     12.4   303     437    1450 3 81.1   13.5   303     438    1450 3 80.5   13.8   303     455    1410 3 81.3   16.1   310     434    1290 3 80.290 13.3   299     440    1200 3 80.9   13.3   306    
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_sdio.ko-entry_point_false-unreach-call.cil.out.c 313    1780 613    1780 613    1870 76.8   613    2390 76.5   94.9   613    2290 79.7   94.3   612    2310 72.6   97.1   613    2430 81.2   93.9   613    2340 75.1   96.7   613    2240 78.776 101     613    2370 84.2   95.5  
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_usb.ko-entry_point_false-unreach-call.cil.out.c 311    2430 603    2820 613    1370 514    2880 3 73.0   91.2   291     515    2860 3 75.1   92.3   291     525    2810 3 76.0   92.4   303     515    2840 3 74.4   91.5   294     512    2890 3 72.0   93.5   292     513    2910 3 75.049 92.6   291     536    2830 3 78.3   91.2   312    
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rsi--rsi_91x.ko-entry_point_false-unreach-call.cil.out.c 313    765 613    772 613    2160 74.3   613    2530 76.1   92.3   613    2560 77.2   92.9   613    2510 76.3   92.5   613    2490 78.0   92.4   613    2540 77.3   92.9   613    2520 76.861 92.3   612    2520 75.7   92.7  
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--media--platform--timblogiw.ko-entry_point_false-unreach-call.cil.out.c 313    1000 613    988 613    1020 613    1080 613    1010 613    1040 613    1100 613    1030 613    951 613    1140
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--iwlwifi--iwlwifi.ko-entry_point_false-unreach-call.cil.out.c 313    1560 613    1530 613    2020 8.85  613    1980 8.60  6.61  613    2070 8.48  7.17  613    2020 8.60  6.97  613    2080 8.83  6.75  613    2020 8.41  6.03  613    2060 8.454 5.67  613    2020 8.58  6.21 
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--orinoco--orinoco_usb.ko-entry_point_false-unreach-call.cil.out.c 111    737 111    713 113    756 2 2.00  87.3   120    792 3 2.07  0.773 89.7   115    773 3 2.08  0.631 87.9   119    832 3 2.07  0.692 88.8   116    761 3 1.99  0.846 88.4   119    807 3 2.01  0.650 89.5   116    800 3 2.018 0.755 87.5   121    823 3 1.94  0.798 90.1  
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--megaraid--megaraid_mm.ko-entry_point_false-unreach-call.cil.out.c 313    588 613    758 595    1380 2 148     408     613    1460 149     146     606    1540 3 149     145     264     605    1540 3 148     144     264     604    1430 3 147     144     268     603    1430 3 146     144     268     613    1230 148.597 145     606    1470 3 147     147     265    
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--host--max3421-hcd.ko-entry_point_false-unreach-call.cil.out.c 313    711 613    770 613    699 612    702 612    705 613    722 612    707 613    714 612    686 613    707
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-net--atm--lec.ko-entry_point_false-unreach-call.cil.out.c 125    907 124    868 126    864 2 2.44  92.6   129    878 3 2.32  0.953 92.0   130    854 3 2.44  0.948 93.0   128    852 3 2.33  0.836 92.4   134    876 3 2.61  1.01  94.0   133    907 3 2.52  0.977 93.4   132    880 3 2.524 0.879 93.1   132    902 3 2.43  0.920 93.0  
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-net--unix--unix.ko-entry_point_false-unreach-call.cil.out.c 313    1220 613    1190 613    2600 26.5   613    1840 26.0   16.1   612    2680 27.0   15.8   613    2570 26.5   17.3   613    2620 27.4   16.5   613    2650 26.3   15.9   613    2620 25.994 17.2   613    2630 25.4   16.7  
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c 111    1430 106    1410 189    1510 2 88.0   69.3   206    1610 3 87.0   20.0   65.3   230    1620 3 89.3   23.3   84.2   226    1680 3 89.7   23.2   76.9   214    1600 3 90.1   20.6   75.4   245    1700 3 85.7   38.0   86.4   224    1680 3 89.048 22.1   79.7   230    1630 3 89.5   22.5   87.9  
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 307    838 388    982 330    1070 2 5.05  289     338    1100 3 4.70  2.70  295     401    1090 3 4.81  2.62  356     337    1090 3 4.63  2.60  295     334    1030 3 4.59  2.00  295     338    1050 3 4.77  2.55  295     338    1060 3 4.680 2.56  296     345    1050 3 4.77  2.44  303    
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 288    1150 317    1550 313    1600 2 3.11  272     313    1630 3 3.21  1.63  266     346    1070 3 3.14  1.52  301     327    1610 3 3.15  1.58  283     297    1660 3 3.00  1.76  251     337    1060 3 3.06  1.41  296     331    1650 3 3.126 1.70  284     308    1670 3 3.00  1.60  261    
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 313    2600 612    2570 613    2440 613    2440 612    2410 613    2450 613    2430 613    2460 613    2410 613    2450
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 313    652 414    653 485    900 2 156     300     494    939 3 158     4.33  301     495    999 3 157     4.41  303     489    994 3 155     4.31  298     489    1080 3 156     4.10  298     489    1070 3 156     4.37  298     488    1040 3 155.580 4.40  298     492    1120 3 157     4.21  302    
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 302    1400 603    1500 418    1660 2 87.0   293     430    1710 3 86.9   4.39  298     428    1800 3 88.9   4.14  297     426    1810 3 88.4   4.03  298     424    1810 3 87.1   3.44  294     425    1860 3 86.8   3.31  294     428    1730 3 87.587 4.13  299     423    1820 3 85.7   3.36  297    
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 30.3  847 28.7  854 37.0  856 2 4.88  2.07  39.5  846 3 4.93  0.761 1.94  40.3  873 3 4.43  0.766 1.97  39.2  858 3 4.26  0.844 2.09  39.5  869 3 4.77  0.852 1.94  40.2  856 3 5.05  0.878 2.06  38.8  890 3 4.542 0.766 1.97  41.0  839 3 4.66  0.767 2.15 
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 36.1  756 39.0  749 133    2610 2 72.0   7.14  135    2630 3 71.2   1.35  7.20  135    2640 3 70.7   1.35  7.20  136    2670 3 72.7   1.38  7.26  133    2620 3 70.1   1.25  7.29  136    2620 3 71.9   1.42  7.53  136    2610 3 72.644 1.28  7.48  140    2640 3 71.0   1.32  7.71 
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 313    1380 602    1410 424    1420 2 9.18  350     437    1660 3 9.43  5.45  353     421    1620 3 8.89  5.31  344     448    1700 3 10.7   5.50  353     435    1630 3 10.2   5.34  353     437    1640 3 9.35  5.27  356     431    1650 3 9.257 5.31  348     435    1660 3 9.49  5.53  352    
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 313    970 613    997 613    992 3.72  613    1180 4.30  2.15  613    1170 3.84  2.07  613    1200 3.99  2.08  612    1190 4.10  1.97  612    1200 3.62  1.83  613    1180 3.569 2.16  613    1180 3.79  2.02 
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 19.0  535 19.3  535 62.3  1080 2 29.1   4.50  66.5  1140 3 28.7   1.00  4.52  69.6  1160 3 30.2   0.809 4.38  64.0  1110 3 28.4   0.583 4.44  120    805 3 92.4   0.572 4.65  65.6  1140 3 29.3   0.718 4.35  65.2  1190 3 29.010 0.640 4.49  63.5  1060 3 28.5   0.730 4.33 
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 313    1050 613    1040 613    1500 9.27  613    1630 9.04  5.21  613    1660 9.21  4.94  613    1630 9.08  5.20  612    1650 8.00  4.44  613    1640 9.30  5.34  613    1610 9.068 5.16  613    1650 9.40  5.57 
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 42.8  933 47.3  932 137    2580 2 70.6   6.42  245    3220 3 69.0   72.1   6.87  251    3200 3 70.4   79.3   7.03  270    3310 3 68.8   91.7   7.38  244    3100 3 68.3   88.8   7.45  258    3270 3 68.6   76.4   7.29  269    3330 3 68.945 86.9   7.81  268    3280 3 69.0   89.8   7.44 
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 302    2150 605    4980 431    4030 2 71.6   292     532    4460 3 71.6   87.8   295     531    4390 3 72.5   88.6   296     532    4380 3 72.7   88.4   296     531    3620 3 72.6   89.0   293     530    3660 3 72.1   88.5   293     528    3640 3 72.185 88.7   294     529    3610 3 71.7   87.1   294    
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 47.0  1380 45.9  1330 58.1  1960 2 5.82  11.1   62.6  1920 3 5.82  5.02  9.22  65.9  1920 3 5.75  5.33  9.58  62.7  1920 3 5.51  5.13  9.27  69.1  1930 3 5.75  5.14  12.1   66.7  1900 3 5.62  5.09  12.1   66.6  1900 3 5.583 5.51  11.8   71.2  1910 3 5.70  5.40  12.2  
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.3  770 25.9  754 28.7  796 2 1.56  3.02  31.5  825 3 1.42  0.407 3.26  32.2  841 3 1.45  0.391 3.39  30.5  849 3 1.53  0.451 3.19  29.9  837 3 1.41  0.417 3.88  32.6  842 3 1.43  0.391 3.79  29.4  802 3 1.422 0.410