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] [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24] [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; 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-03 17:01:42 CEST 2016-09-05 02:19:41 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_base_parallel.[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_parallel_invariants.[async-invariants-abs-path.Loops_false; async-invariants-abs-path.x64_false; async-invariants-abs-path.Other_true; async-invariants-abs-path.Other_false; async-invariants-abs-path.Loops_true; async-invariants-abs-path.x64_true] predicate_bitprecise_parallel_invariants.[async-invariants-abs.Loops_false; async-invariants-abs.x64_false; async-invariants-abs.Other_true; async-invariants-abs.Other_false; async-invariants-abs.Loops_true; async-invariants-abs.x64_true] predicate_bitprecise_parallel_invariants.[async-invariants-path.Loops_false; async-invariants-path.x64_false; async-invariants-path.Other_true; async-invariants-path.Other_false; async-invariants-path.Loops_true; async-invariants-path.x64_true] predicate_bitprecise_parallel_invariants.[async-invariants-prec-abs-path.Loops_false; async-invariants-prec-abs-path.x64_false; async-invariants-prec-abs-path.Other_true; async-invariants-prec-abs-path.Other_false; async-invariants-prec-abs-path.Loops_true; async-invariants-prec-abs-path.x64_true] predicate_bitprecise_parallel_invariants.[async-invariants-prec-abs.Loops_false; async-invariants-prec-abs.x64_false; async-invariants-prec-abs.Other_true; async-invariants-prec-abs.Other_false; async-invariants-prec-abs.Loops_true; async-invariants-prec-abs.x64_true] predicate_bitprecise_parallel_invariants.[async-invariants-prec-path.Loops_false; async-invariants-prec-path.x64_false; async-invariants-prec-path.Other_true; async-invariants-prec-path.Other_false; async-invariants-prec-path.Loops_true; async-invariants-prec-path.x64_true] predicate_bitprecise_parallel_invariants.[async-invariants-prec.Loops_false; async-invariants-prec.x64_false; async-invariants-prec.Other_true; async-invariants-prec.Other_false; async-invariants-prec.Loops_true; async-invariants-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-parallel-bitprecise -setprop cpa.predicate.invariants.appendToPathFormula=false -setprop cpa.predicate.invariants.addToPrecision=false -setprop cpa.predicate.invariants.appendToAbstractionFormula=false -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-parallel-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-parallel-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-parallel-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-parallel-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-parallel-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-parallel-bitprecise -setprop cpa.predicate.invariants.appendToPathFormula=true -setprop cpa.predicate.invariants.addToPrecision=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-parallel-bitprecise -setprop cpa.predicate.invariants.addToPrecision=true
test/programs/benchmarks/ status cputime (s) memUsage (MB) succAnalysis status cputime (s) memUsage (MB) succAnalysis status cputime (s) memUsage (MB) succAnalysis status cputime (s) memUsage (MB) succAnalysis status cputime (s) memUsage (MB) succAnalysis status cputime (s) memUsage (MB) succAnalysis status cputime (s) memUsage (MB) succAnalysis status cputime (s) memUsage (MB) succAnalysis status cputime (s) memUsage (MB) succAnalysis status cputime (s) memUsage (MB) succAnalysis
loop-acceleration/array_false-unreach-call1.i 302    2040 602    2780 602    2660 602    2860 602    2840 602    2680 602    3340 602    2550 602    2350 602    2750
loop-acceleration/array_false-unreach-call2.i 302    1440 602    2120 602    2140 602    2450 602    2180 601    2330 602    2030 602    2120 601    3130 602    2110
loop-acceleration/array_false-unreach-call3.i 302    2530 602    3780 602    3560 602    2980 602    3540 602    3490 602    2810 602    3620 602    2510 602    3490
loop-acceleration/const_false-unreach-call1.i 302    2990 602    4180 602    3620 604    4380 602    3410 603    4530 603    4570 602    3320 602    3590 602    3360
loop-acceleration/diamond_false-unreach-call1.i 75.1  1110 71.9  1040 78.3  1260 config/components/parallel-01-predAbs-invariants-bitprecise.properties 75.1  1120 config/components/parallel-01-predAbs-invariants-bitprecise.properties 76.1  1240 config/components/parallel-01-predAbs-invariants-bitprecise.properties 75.8  1220 config/components/parallel-01-predAbs-invariants-bitprecise.properties 81.3  1180 config/components/parallel-01-predAbs-invariants-bitprecise.properties 79.0  1100 config/components/parallel-01-predAbs-invariants-bitprecise.properties 77.7  1220 config/components/parallel-01-predAbs-invariants-bitprecise.properties 78.6  1180 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loop-acceleration/functions_false-unreach-call1.i 302    1820 602    2640 602    2640 602    2830 602    2520 602    2660 602    2720 602    2690 602    2720 602    2480
loop-acceleration/multivar_false-unreach-call1.i 4.62 208 4.44 214 6.16 306 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.32 297 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.80 304 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.76 299 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.10 299 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.06 322 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.27 316 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.94 300 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loop-acceleration/nested_false-unreach-call1.i 302    3740 602    6280 602    3980 602    5250 603    4070 602    5300 602    5050 602    3980 602    5150 602    3920
loop-acceleration/phases_false-unreach-call1.i 303    819 605    976 602    2420 604    3620 603    2440 606    2480 605    2660 602    2440 603    2650 602    2440
loop-acceleration/phases_false-unreach-call2.i 4.30 213 4.62 210 6.17 305 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.31 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.08 303 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.40 319 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.35 322 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.17 308 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.11 307 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.63 312 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loop-acceleration/simple_false-unreach-call1.i 302    2790 602    4200 602    3570 602    3930 602    3820 602    3610 602    3710 602    3800 602    3680 602    3480
loop-acceleration/simple_false-unreach-call2.i 4.02 206 4.33 208 5.55 293 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.87 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.08 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.87 301 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.30 300 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.87 298 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.32 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.75 303 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loop-acceleration/simple_false-unreach-call3.i 4.32 211 4.18 208 6.20 320 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.38 316 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.65 301 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.28 304 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.89 322 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.85 303 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.87 305 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.82 295 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loop-acceleration/simple_false-unreach-call4.i 302    2590 602    3930 602    3740 602    3950 602    3780 601    3720 602    3480 602    3610 602    3840 601    3870
loop-acceleration/underapprox_false-unreach-call1.i 4.85 225 5.61 227 7.98 323 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.96 330 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.49 325 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.47 341 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.21 341 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.24 337 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.00 342 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.28 341 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loop-acceleration/underapprox_false-unreach-call2.i 5.18 231 5.06 225 7.53 316 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.64 337 config/components/parallel-01-predAbs-invariants-bitprecise.properties 7.68 326 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.71 330 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.20 337 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.66 334 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.80 359 config/components/parallel-01-predAbs-invariants-bitprecise.properties 7.96 323 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loop-invgen/id_trans_false-unreach-call.i 4.65 221 4.73 217 6.49 308 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.36 315 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.78 307 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.31 317 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.41 315 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.89 332 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.90 318 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.15 304 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/array_false-unreach-call.i 5.06 299 5.81 290 7.04 311 config/components/parallel-01-predAbs-invariants-bitprecise.properties 7.18 320 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.89 312 config/components/parallel-01-predAbs-invariants-bitprecise.properties 7.11 316 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.97 315 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.97 306 config/components/parallel-01-predAbs-invariants-bitprecise.properties 7.14 315 config/components/parallel-01-predAbs-invariants-bitprecise.properties 7.07 328 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/bubble_sort_false-unreach-call.i 8.99 340 8.98 336 15.1  429 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.4  452 config/components/parallel-01-predAbs-invariants-bitprecise.properties 17.5  468 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.2  459 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.2  453 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.6  454 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.9  485 config/components/parallel-01-predAbs-invariants-bitprecise.properties 17.1  471 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/count_up_down_false-unreach-call_true-termination.i 4.32 207 4.22 207 6.07 306 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.63 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.10 297 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.63 291 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.14 305 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.89 304 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.47 305 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.38 301 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/eureka_01_false-unreach-call.i 302    601 602    745 601    786 601    990 601    805 601    786 601    824 601    793 601    947 601    821
loops/for_bounded_loop1_false-unreach-call_true-termination.i 4.81 214 4.72 214 6.91 319 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.74 311 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.33 318 config/components/parallel-01-predAbs-invariants-bitprecise.properties 7.09 315 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.53 323 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.64 307 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.02 334 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.36 314 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/insertion_sort_false-unreach-call.i 301    1130 601    895 601    1320 602    1930 602    1610 601    1590 602    1470 601    1470 602    1600 601    2240
loops/invert_string_false-unreach-call.i 302    1020 601    1300 602    1600 601    1740 602    1750 602    1510 601    1820 602    1660 602    1710 602    1730
loops/linear_search_false-unreach-call.i 5.86 292 6.36 291 8.56 350 8.93 333 8.44 345 8.58 334 9.79 340 9.82 345 10.0  369 9.76 343
loops/ludcmp_false-unreach-call.i 313    410 611    413 610    447 17.7  556 612    396 17.7  560 607    401 610    385 615    397 610    397
loops/matrix_false-unreach-call_true-termination.i 33.3  818 37.2  822 40.0  811 config/components/parallel-01-predAbs-invariants-bitprecise.properties 32.5  786 config/components/parallel-01-predAbs-invariants-bitprecise.properties 38.7  816 config/components/parallel-01-predAbs-invariants-bitprecise.properties 31.8  781 config/components/parallel-01-predAbs-invariants-bitprecise.properties 35.7  772 config/components/parallel-01-predAbs-invariants-bitprecise.properties 37.6  815 config/components/parallel-01-predAbs-invariants-bitprecise.properties 32.2  765 config/components/parallel-01-predAbs-invariants-bitprecise.properties 42.1  823 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/n.c24_false-unreach-call.i 302    2050 602    2560 602    2740 602    3150 602    2660 602    3300 602    2540 602    2380 602    2350 602    2250
loops/nec11_false-unreach-call.i 4.31 208 4.74 213 6.75 305 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.54 306 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.71 308 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.47 311 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.31 304 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.16 308 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.37 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.50 311 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/nec20_false-unreach-call.i 6.18 299 6.15 294 8.72 334 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.62 332 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.65 362 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.61 339 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.8  388 config/components/parallel-01-predAbs-invariants-bitprecise.properties 7.76 326 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.82 350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.22 357 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/s3_false-unreach-call.i 20.6  559 21.4  543 75.9  1350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 81.6  1350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 76.4  1420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 81.5  1360 config/components/parallel-01-predAbs-invariants-bitprecise.properties 91.7  1450 config/components/parallel-01-predAbs-invariants-bitprecise.properties 86.6  1330 config/components/parallel-01-predAbs-invariants-bitprecise.properties 86.9  1420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 82.8  1500 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/string_false-unreach-call.i 8.78 336 8.61 334 20.4  523 config/components/parallel-01-predAbs-invariants-bitprecise.properties 20.2  466 config/components/parallel-01-predAbs-invariants-bitprecise.properties 19.8  456 config/components/parallel-01-predAbs-invariants-bitprecise.properties 19.6  463 config/components/parallel-01-predAbs-invariants-bitprecise.properties 21.3  533 config/components/parallel-01-predAbs-invariants-bitprecise.properties 21.3  517 config/components/parallel-01-predAbs-invariants-bitprecise.properties 22.6  542 config/components/parallel-01-predAbs-invariants-bitprecise.properties 20.4  494 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/sum01_bug02_false-unreach-call_true-termination.i 7.82 325 7.57 315 10.5  353 config/components/parallel-01-predAbs-invariants-bitprecise.properties 12.0  361 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.9  365 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.1  361 config/components/parallel-01-predAbs-invariants-bitprecise.properties 12.2  372 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.9  365 config/components/parallel-01-predAbs-invariants-bitprecise.properties 12.2  365 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.5  364 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 6.39 291 6.44 299 8.36 322 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.5  360 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.8  358 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.2  365 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.5  381 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.7  382 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.0  347 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.42 374 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/sum01_false-unreach-call_true-termination.i 9.54 359 9.12 354 15.3  418 config/components/parallel-01-predAbs-invariants-bitprecise.properties 17.5  441 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.5  423 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.3  423 config/components/parallel-01-predAbs-invariants-bitprecise.properties 17.8  457 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.7  431 config/components/parallel-01-predAbs-invariants-bitprecise.properties 17.6  434 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.2  388 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/sum03_false-unreach-call_true-termination.i 8.81 347 8.61 334 16.2  420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.7  452 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.3  447 config/components/parallel-01-predAbs-invariants-bitprecise.properties 17.2  451 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.6  490 config/components/parallel-01-predAbs-invariants-bitprecise.properties 19.9  496 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.6  490 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.8  508 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/sum04_false-unreach-call_true-termination.i 7.50 311 7.40 322 9.20 339 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.66 340 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.39 329 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.93 337 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.9  353 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.2  343 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.1  344 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.63 342 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/sum_array_false-unreach-call.i 8.91 348 9.59 359 12.0  357 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.4  350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.4  367 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.2  360 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.7  363 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.7  369 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.5  367 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.8  368 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/terminator_01_false-unreach-call_false-termination.i 4.35 212 4.60 209 6.60 298 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.41 304 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.52 305 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.93 301 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.07 316 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.12 304 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.12 313 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.83 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/terminator_02_false-unreach-call_true-termination.i 4.09 203 4.63 218 6.34 312 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.69 299 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.38 298 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.37 318 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.33 300 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.02 307 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.36 317 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.18 301 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/terminator_03_false-unreach-call_true-termination.i 5.09 212 4.58 217 6.30 324 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.48 303 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.62 312 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.20 313 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.73 309 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.47 301 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.46 309 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.67 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/trex01_false-unreach-call_true-termination.i 4.36 209 4.50 215 6.05 303 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.18 317 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.88 300 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.91 299 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.98 294 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.41 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.51 303 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.27 307 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/trex02_false-unreach-call_true-termination.i 4.30 213 4.08 212 5.84 300 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.86 305 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.81 291 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.66 303 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.31 314 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.60 303 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.91 303 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.65 304 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/trex03_false-unreach-call_true-termination.i 4.86 215 4.62 211 5.87 301 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.58 310 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.72 318 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.90 341 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.89 307 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.32 305 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.33 312 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.24 320 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/verisec_NetBSD-libc__loop_false-unreach-call.i 4.33 216 4.64 214 6.35 308 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.50 313 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.34 296 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.60 323 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.22 307 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.40 307 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.98 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.46 308 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i 6.66 302 7.06 309 9.49 346 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.95 336 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.16 337 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.45 338 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.8  351 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.76 334 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.2  340 config/components/parallel-01-predAbs-invariants-bitprecise.properties 10.6  336 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/vogal_false-unreach-call.i 60.8  730 60.4  728 72.9  821 config/components/parallel-01-predAbs-invariants-bitprecise.properties 26.7  593 config/components/parallel-01-predAbs-invariants-bitprecise.properties 70.1  806 config/components/parallel-01-predAbs-invariants-bitprecise.properties 65.0  804 config/components/parallel-01-predAbs-invariants-bitprecise.properties 68.5  789 config/components/parallel-01-predAbs-invariants-bitprecise.properties 72.7  806 config/components/parallel-01-predAbs-invariants-bitprecise.properties 71.8  794 config/components/parallel-01-predAbs-invariants-bitprecise.properties 71.0  784 config/components/parallel-01-predAbs-invariants-bitprecise.properties
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 4.52 211 4.20 211 5.84 295 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.73 297 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.35 301 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.74 306 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.42 308 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.00 302 config/components/parallel-01-predAbs-invariants-bitprecise.properties 6.24 307 config/components/parallel-01-predAbs-invariants-bitprecise.properties 5.57 312 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/basename_false-unreach-call.i 7.90 317 8.08 323 8.81 355 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.00 365 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.93 356 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.33 382 config/components/parallel-01-predAbs-invariants-bitprecise.properties 8.54 360 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.78 368 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.00 366 config/components/parallel-01-predAbs-invariants-bitprecise.properties 9.27 371 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/cal_false-unreach-call.i 23.6  658 24.9  649 68.0  1450 config/components/parallel-01-predAbs-invariants-bitprecise.properties 68.2  1330 config/components/parallel-01-predAbs-invariants-bitprecise.properties 67.9  1450 config/components/parallel-01-predAbs-invariants-bitprecise.properties 69.4  1450 config/components/parallel-01-predAbs-invariants-bitprecise.properties 66.2  1420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 67.7  1360 config/components/parallel-01-predAbs-invariants-bitprecise.properties 69.8  1400 config/components/parallel-01-predAbs-invariants-bitprecise.properties 68.4  1390 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/cat_false-unreach-call.i 18.7  510 18.0  505 55.3  967 config/components/parallel-01-predAbs-invariants-bitprecise.properties 53.6  1110 config/components/parallel-01-predAbs-invariants-bitprecise.properties 52.3  1030 config/components/parallel-01-predAbs-invariants-bitprecise.properties 60.2  1080 config/components/parallel-01-predAbs-invariants-bitprecise.properties 55.6  963 config/components/parallel-01-predAbs-invariants-bitprecise.properties 53.8  1010 config/components/parallel-01-predAbs-invariants-bitprecise.properties 51.2  909 config/components/parallel-01-predAbs-invariants-bitprecise.properties 55.7  1050 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/chgrp-incomplete_false-unreach-call.i 302    1560 602    1810 602    1900 602    2070 602    1770 601    1960 602    2560 601    2800 602    2900 601    2640
busybox-1.22.0/chmod_false-unreach-call.i 301    904 602    1120 601    2680 601    2690 602    2690 601    2710 601    2650 601    2650 601    2650 602    2660
busybox-1.22.0/chown-incomplete_false-unreach-call.i 301    1370 602    1570 602    2720 602    2780 602    2710 602    2710 602    2770 602    2820 602    2750 602    2760
busybox-1.22.0/chroot-incomplete_false-unreach-call.i 13.2  461 13.2  455 48.4  927 config/components/parallel-01-predAbs-invariants-bitprecise.properties 52.9  935 config/components/parallel-01-predAbs-invariants-bitprecise.properties 51.6  941 config/components/parallel-01-predAbs-invariants-bitprecise.properties 55.4  986 config/components/parallel-01-predAbs-invariants-bitprecise.properties 65.4  1060 config/components/parallel-01-predAbs-invariants-bitprecise.properties 58.1  1170 config/components/parallel-01-predAbs-invariants-bitprecise.properties 62.4  1040 config/components/parallel-01-predAbs-invariants-bitprecise.properties 51.2  993 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/cp-incomplete_false-unreach-call.i 19.6  595 20.3  570 38.9  1310 config/components/parallel-01-predAbs-invariants-bitprecise.properties 37.8  1390 config/components/parallel-01-predAbs-invariants-bitprecise.properties 37.4  1310 config/components/parallel-01-predAbs-invariants-bitprecise.properties 40.6  1320 config/components/parallel-01-predAbs-invariants-bitprecise.properties 37.7  1410 config/components/parallel-01-predAbs-invariants-bitprecise.properties 37.8  1380 config/components/parallel-01-predAbs-invariants-bitprecise.properties 38.8  1320 config/components/parallel-01-predAbs-invariants-bitprecise.properties 38.4  1320 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/cut_false-unreach-call.i 21.9  614 21.0  599 64.0  1080 config/components/parallel-01-predAbs-invariants-bitprecise.properties 65.9  1200 config/components/parallel-01-predAbs-invariants-bitprecise.properties 65.8  1100 config/components/parallel-01-predAbs-invariants-bitprecise.properties 63.7  1450 config/components/parallel-01-predAbs-invariants-bitprecise.properties 62.5  1130 config/components/parallel-01-predAbs-invariants-bitprecise.properties 63.5  1470 config/components/parallel-01-predAbs-invariants-bitprecise.properties 60.1  1220 config/components/parallel-01-predAbs-invariants-bitprecise.properties 61.5  1130 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/date_false-unreach-call.i 302    1900 601    2090 602    2160 601    2670 602    2250 602    2110 601    2050 601    2120 601    2040 602    2120
busybox-1.22.0/dos2unix_false-unreach-call.i 11.6  478 12.6  479 23.6  786 config/components/parallel-01-predAbs-invariants-bitprecise.properties 27.2  832 config/components/parallel-01-predAbs-invariants-bitprecise.properties 25.6  831 config/components/parallel-01-predAbs-invariants-bitprecise.properties 21.6  723 config/components/parallel-01-predAbs-invariants-bitprecise.properties 25.7  820 config/components/parallel-01-predAbs-invariants-bitprecise.properties 23.4  784 config/components/parallel-01-predAbs-invariants-bitprecise.properties 22.2  744 config/components/parallel-01-predAbs-invariants-bitprecise.properties 26.1  811 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/du_false-unreach-call.i 21.4  584 21.8  603 43.9  2310 config/components/parallel-01-predAbs-invariants-bitprecise.properties 44.2  2390 config/components/parallel-01-predAbs-invariants-bitprecise.properties 42.5  2120 config/components/parallel-01-predAbs-invariants-bitprecise.properties 43.3  2110 config/components/parallel-01-predAbs-invariants-bitprecise.properties 46.6  2210 config/components/parallel-01-predAbs-invariants-bitprecise.properties 44.3  1980 config/components/parallel-01-predAbs-invariants-bitprecise.properties 44.5  1710 config/components/parallel-01-predAbs-invariants-bitprecise.properties 44.3  2250 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/echo_false-unreach-call.i 11.5  408 11.2  433 30.5  806 config/components/parallel-01-predAbs-invariants-bitprecise.properties 35.2  855 config/components/parallel-01-predAbs-invariants-bitprecise.properties 36.3  906 config/components/parallel-01-predAbs-invariants-bitprecise.properties 37.1  888 config/components/parallel-01-predAbs-invariants-bitprecise.properties 40.5  908 config/components/parallel-01-predAbs-invariants-bitprecise.properties 44.6  906 config/components/parallel-01-predAbs-invariants-bitprecise.properties 41.8  888 config/components/parallel-01-predAbs-invariants-bitprecise.properties 43.3  907 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/expand_false-unreach-call.i 20.1  494 21.8  499 42.0  1010 config/components/parallel-01-predAbs-invariants-bitprecise.properties 42.1  892 config/components/parallel-01-predAbs-invariants-bitprecise.properties 47.3  939 config/components/parallel-01-predAbs-invariants-bitprecise.properties 44.3  1350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 44.7  939 config/components/parallel-01-predAbs-invariants-bitprecise.properties 44.1  975 config/components/parallel-01-predAbs-invariants-bitprecise.properties 43.5  951 config/components/parallel-01-predAbs-invariants-bitprecise.properties 41.1  931 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/expr_false-unreach-call.i 11.5  454 11.5  452 32.6  1800 32.6  1760 31.9  1830 31.4  1620 31.7  2260 32.9  1790 32.5  2010 32.5  1970
busybox-1.22.0/fold_false-unreach-call.i 12.8  465 13.0  457 37.7  863 config/components/parallel-01-predAbs-invariants-bitprecise.properties 36.5  861 config/components/parallel-01-predAbs-invariants-bitprecise.properties 39.5  866 config/components/parallel-01-predAbs-invariants-bitprecise.properties 37.8  852 config/components/parallel-01-predAbs-invariants-bitprecise.properties 36.7  849 config/components/parallel-01-predAbs-invariants-bitprecise.properties 38.6  857 config/components/parallel-01-predAbs-invariants-bitprecise.properties 35.0  837 config/components/parallel-01-predAbs-invariants-bitprecise.properties 40.2  863 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/head_false-unreach-call.i 10.9  436 11.4  434 27.3  675 config/components/parallel-01-predAbs-invariants-bitprecise.properties 25.5  675 config/components/parallel-01-predAbs-invariants-bitprecise.properties 27.0  704 config/components/parallel-01-predAbs-invariants-bitprecise.properties 24.9  625 config/components/parallel-01-predAbs-invariants-bitprecise.properties 24.8  623 config/components/parallel-01-predAbs-invariants-bitprecise.properties 26.0  657 config/components/parallel-01-predAbs-invariants-bitprecise.properties 23.2  586 config/components/parallel-01-predAbs-invariants-bitprecise.properties 25.9  650 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/id-incomplete_false-unreach-call.i 10.7  439 12.0  445 19.7  538 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.7  509 config/components/parallel-01-predAbs-invariants-bitprecise.properties 19.3  520 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.4  510 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.5  501 config/components/parallel-01-predAbs-invariants-bitprecise.properties 19.3  508 config/components/parallel-01-predAbs-invariants-bitprecise.properties 19.3  549 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.0  492 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/ln_false-unreach-call.i 18.9  547 20.3  548 58.4  1130 config/components/parallel-01-predAbs-invariants-bitprecise.properties 59.3  1150 config/components/parallel-01-predAbs-invariants-bitprecise.properties 61.9  1250 config/components/parallel-01-predAbs-invariants-bitprecise.properties 63.2  1150 config/components/parallel-01-predAbs-invariants-bitprecise.properties 68.6  1510 config/components/parallel-01-predAbs-invariants-bitprecise.properties 58.3  1470 config/components/parallel-01-predAbs-invariants-bitprecise.properties 63.8  1490 config/components/parallel-01-predAbs-invariants-bitprecise.properties 57.6  1090 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/ls-incomplete_false-unreach-call.i 302    2130 602    2040 602    4280 602    4340 602    4090 628    4460 603    4330 602    4420 603    4120 602    4400
busybox-1.22.0/mkdir_false-unreach-call.i 302    1950 602    1820 602    2680 601    2680 602    2750 601    2690 602    2760 601    2870 601    2690 601    2760
busybox-1.22.0/mkfifo-incomplete_false-unreach-call.i 8.61 365 8.41 359 10.7  406 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.4  417 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.8  414 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.1  412 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.4  414 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.4  410 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.7  418 config/components/parallel-01-predAbs-invariants-bitprecise.properties 11.9  415 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/mv-incomplete_false-unreach-call.i 302    1360 601    1620 602    2780 601    2850 601    2830 602    2800 601    2820 602    2830 602    2810 602    2850
busybox-1.22.0/od_false-unreach-call.i 302    1570 602    1750 602    3390 601    3370 602    3400 602    3400 602    3400 602    3360 602    3360 602    3360
busybox-1.22.0/printf_false-unreach-call.i 11.3  444 11.5  445 25.3  950 config/components/parallel-01-predAbs-invariants-bitprecise.properties 23.1  819 config/components/parallel-01-predAbs-invariants-bitprecise.properties 21.8  787 config/components/parallel-01-predAbs-invariants-bitprecise.properties 24.1  818 config/components/parallel-01-predAbs-invariants-bitprecise.properties 21.0  737 config/components/parallel-01-predAbs-invariants-bitprecise.properties 22.4  772 config/components/parallel-01-predAbs-invariants-bitprecise.properties 21.3  785 config/components/parallel-01-predAbs-invariants-bitprecise.properties 25.0  802 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/pwd_false-unreach-call.i 22.6  557 21.5  568 70.1  1220 config/components/parallel-01-predAbs-invariants-bitprecise.properties 68.9  1350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 74.6  1480 config/components/parallel-01-predAbs-invariants-bitprecise.properties 72.5  1350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 81.7  1520 config/components/parallel-01-predAbs-invariants-bitprecise.properties 75.5  1420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 77.7  1430 config/components/parallel-01-predAbs-invariants-bitprecise.properties 75.0  1400 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/realpath_false-unreach-call.i 301    1200 602    1440 602    1930 602    1940 602    1810 602    1820 602    2320 602    2140 602    2420 602    2330
busybox-1.22.0/rm_false-unreach-call.i 17.8  544 19.6  554 33.6  1440 config/components/parallel-01-predAbs-invariants-bitprecise.properties 33.1  1300 config/components/parallel-01-predAbs-invariants-bitprecise.properties 36.2  1340 config/components/parallel-01-predAbs-invariants-bitprecise.properties 34.4  1450 config/components/parallel-01-predAbs-invariants-bitprecise.properties 34.1  1310 config/components/parallel-01-predAbs-invariants-bitprecise.properties 35.2  1440 config/components/parallel-01-predAbs-invariants-bitprecise.properties 35.2  1670 config/components/parallel-01-predAbs-invariants-bitprecise.properties 35.3  1480 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/rmdir_false-unreach-call.i 302    1410 602    1650 601    2660 602    2690 601    2680 602    2730 601    2660 602    2680 601    2640 603    2650
busybox-1.22.0/seq_false-unreach-call.i 18.1  491 18.7  502 52.2  1100 config/components/parallel-01-predAbs-invariants-bitprecise.properties 54.3  1190 config/components/parallel-01-predAbs-invariants-bitprecise.properties 52.8  1010 config/components/parallel-01-predAbs-invariants-bitprecise.properties 55.4  1040 config/components/parallel-01-predAbs-invariants-bitprecise.properties 56.6  1080 config/components/parallel-01-predAbs-invariants-bitprecise.properties 53.2  1000 config/components/parallel-01-predAbs-invariants-bitprecise.properties 55.6  1090 config/components/parallel-01-predAbs-invariants-bitprecise.properties 55.0  1090 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/sleep_false-unreach-call.i 14.3  485 14.3  503 49.0  941 config/components/parallel-01-predAbs-invariants-bitprecise.properties 60.1  1140 config/components/parallel-01-predAbs-invariants-bitprecise.properties 58.6  1140 config/components/parallel-01-predAbs-invariants-bitprecise.properties 55.6  1170 config/components/parallel-01-predAbs-invariants-bitprecise.properties 70.0  1330 config/components/parallel-01-predAbs-invariants-bitprecise.properties 73.6  1380 config/components/parallel-01-predAbs-invariants-bitprecise.properties 72.4  1460 config/components/parallel-01-predAbs-invariants-bitprecise.properties 70.9  1280 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/stty_false-unreach-call.i 54.6  815 54.4  808 159    2720 config/components/parallel-01-predAbs-invariants-bitprecise.properties 155    2640 config/components/parallel-01-predAbs-invariants-bitprecise.properties 158    2720 config/components/parallel-01-predAbs-invariants-bitprecise.properties 156    2690 config/components/parallel-01-predAbs-invariants-bitprecise.properties 160    2630 config/components/parallel-01-predAbs-invariants-bitprecise.properties 155    2700 config/components/parallel-01-predAbs-invariants-bitprecise.properties 150    2680 config/components/parallel-01-predAbs-invariants-bitprecise.properties 159    2580 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/tac_false-unreach-call.i 18.3  506 18.2  504 59.0  1090 config/components/parallel-01-predAbs-invariants-bitprecise.properties 56.9  1100 config/components/parallel-01-predAbs-invariants-bitprecise.properties 57.7  1070 config/components/parallel-01-predAbs-invariants-bitprecise.properties 56.0  1100 config/components/parallel-01-predAbs-invariants-bitprecise.properties 59.3  1170 config/components/parallel-01-predAbs-invariants-bitprecise.properties 55.0  1080 config/components/parallel-01-predAbs-invariants-bitprecise.properties 57.8  1120 config/components/parallel-01-predAbs-invariants-bitprecise.properties 56.1  1080 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/tail_false-unreach-call.i 13.4  505 13.2  509 29.3  862 config/components/parallel-01-predAbs-invariants-bitprecise.properties 31.2  863 config/components/parallel-01-predAbs-invariants-bitprecise.properties 31.1  889 config/components/parallel-01-predAbs-invariants-bitprecise.properties 33.4  878 config/components/parallel-01-predAbs-invariants-bitprecise.properties 31.3  855 config/components/parallel-01-predAbs-invariants-bitprecise.properties 34.0  872 config/components/parallel-01-predAbs-invariants-bitprecise.properties 33.0  882 config/components/parallel-01-predAbs-invariants-bitprecise.properties 30.8  878 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/tee_false-unreach-call.i 66.5  1120 62.9  1120 150    2640 config/components/parallel-01-predAbs-invariants-bitprecise.properties 113    1950 config/components/parallel-01-predAbs-invariants-bitprecise.properties 102    1810 config/components/parallel-01-predAbs-invariants-bitprecise.properties 110    1960 config/components/parallel-01-predAbs-invariants-bitprecise.properties 153    2500 config/components/parallel-01-predAbs-invariants-bitprecise.properties 135    2490 config/components/parallel-01-predAbs-invariants-bitprecise.properties 147    2610 config/components/parallel-01-predAbs-invariants-bitprecise.properties 171    2560 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/test-incomplete_false-unreach-call.i 13.2  500 13.4  496 28.0  1200 config/components/parallel-01-predAbs-invariants-bitprecise.properties 29.5  1180 config/components/parallel-01-predAbs-invariants-bitprecise.properties 28.8  1310 config/components/parallel-01-predAbs-invariants-bitprecise.properties 27.3  1170 config/components/parallel-01-predAbs-invariants-bitprecise.properties 28.5  1320 config/components/parallel-01-predAbs-invariants-bitprecise.properties 27.8  1220 config/components/parallel-01-predAbs-invariants-bitprecise.properties 28.8  1190 config/components/parallel-01-predAbs-invariants-bitprecise.properties 27.9  1050 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/touch_false-unreach-call.i 302    1440 602    1660 601    2720 602    2700 602    2680 602    2700 602    2690 602    2770 602    2700 602    2710
busybox-1.22.0/uudecode_false-unreach-call.i 20.6  529 20.7  523 65.2  1280 config/components/parallel-01-predAbs-invariants-bitprecise.properties 63.5  1200 config/components/parallel-01-predAbs-invariants-bitprecise.properties 65.7  1170 config/components/parallel-01-predAbs-invariants-bitprecise.properties 61.7  1080 config/components/parallel-01-predAbs-invariants-bitprecise.properties 64.3  1080 config/components/parallel-01-predAbs-invariants-bitprecise.properties 61.7  1070 config/components/parallel-01-predAbs-invariants-bitprecise.properties 65.3  1120 config/components/parallel-01-predAbs-invariants-bitprecise.properties 62.0  1100 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/uuencode_false-unreach-call.i 23.2  702 23.0  697 67.4  1350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 67.5  1250 config/components/parallel-01-predAbs-invariants-bitprecise.properties 62.0  1180 config/components/parallel-01-predAbs-invariants-bitprecise.properties 64.6  1120 config/components/parallel-01-predAbs-invariants-bitprecise.properties 68.3  1550 config/components/parallel-01-predAbs-invariants-bitprecise.properties 62.9  1200 config/components/parallel-01-predAbs-invariants-bitprecise.properties 66.7  1390 config/components/parallel-01-predAbs-invariants-bitprecise.properties 72.3  1500 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/wc_false-unreach-call.i 18.0  504 21.0  534 54.2  1000 config/components/parallel-01-predAbs-invariants-bitprecise.properties 57.2  1090 config/components/parallel-01-predAbs-invariants-bitprecise.properties 52.9  1050 config/components/parallel-01-predAbs-invariants-bitprecise.properties 58.4  1090 config/components/parallel-01-predAbs-invariants-bitprecise.properties 54.8  1100 config/components/parallel-01-predAbs-invariants-bitprecise.properties 56.5  1080 config/components/parallel-01-predAbs-invariants-bitprecise.properties 57.4  1100 config/components/parallel-01-predAbs-invariants-bitprecise.properties 51.5  1060 config/components/parallel-01-predAbs-invariants-bitprecise.properties
busybox-1.22.0/yes_false-unreach-call.i 9.50 393 9.15 399 16.6  485 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.2  462 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.1  473 config/components/parallel-01-predAbs-invariants-bitprecise.properties 15.4  449 config/components/parallel-01-predAbs-invariants-bitprecise.properties 15.4  452 config/components/parallel-01-predAbs-invariants-bitprecise.properties 15.4  463 config/components/parallel-01-predAbs-invariants-bitprecise.properties 15.7  465 config/components/parallel-01-predAbs-invariants-bitprecise.properties 14.8  455 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 651    3090 605    3020 604    3090 651    3090 604    3100 603    3130 603    3100 651    3140
ldv-commit-tester/m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13-1.c 15.8  484 16.7  485 38.0  800 config/components/parallel-01-predAbs-invariants-bitprecise.properties 41.4  884 config/components/parallel-01-predAbs-invariants-bitprecise.properties 41.1  907 config/components/parallel-01-predAbs-invariants-bitprecise.properties 45.9  908 config/components/parallel-01-predAbs-invariants-bitprecise.properties 44.2  896 config/components/parallel-01-predAbs-invariants-bitprecise.properties 42.8  907 config/components/parallel-01-predAbs-invariants-bitprecise.properties 44.5  904 config/components/parallel-01-predAbs-invariants-bitprecise.properties 39.7  865 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-commit-tester/m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13.c 17.2  485 16.9  489 43.2  908 config/components/parallel-01-predAbs-invariants-bitprecise.properties 38.5  873 config/components/parallel-01-predAbs-invariants-bitprecise.properties 45.1  906 config/components/parallel-01-predAbs-invariants-bitprecise.properties 41.2  880 config/components/parallel-01-predAbs-invariants-bitprecise.properties 40.0  862 config/components/parallel-01-predAbs-invariants-bitprecise.properties 39.6  862 config/components/parallel-01-predAbs-invariants-bitprecise.properties 37.6  770 config/components/parallel-01-predAbs-invariants-bitprecise.properties 41.5  907 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-commit-tester/m0_false-unreach-call_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a-1.c 10.2  365 8.84 357 20.7  529 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.5  495 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.2  501 config/components/parallel-01-predAbs-invariants-bitprecise.properties 20.1  533 config/components/parallel-01-predAbs-invariants-bitprecise.properties 21.4  523 config/components/parallel-01-predAbs-invariants-bitprecise.properties 19.0  501 config/components/parallel-01-predAbs-invariants-bitprecise.properties 18.9  503 config/components/parallel-01-predAbs-invariants-bitprecise.properties 16.5  452 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-commit-tester/m0_false-unreach-call_drivers-media-rc-imon--32_7a--a9e7fb5-1.c 302    1720 384    1650 569    3110 config/components/parallel-01-predAbs-invariants-bitprecise.properties 567    3480 config/components/parallel-01-predAbs-invariants-bitprecise.properties 558    3130 config/components/parallel-01-predAbs-invariants-bitprecise.properties 558    3470 config/components/parallel-01-predAbs-invariants-bitprecise.properties 574    3270 config/components/parallel-01-predAbs-invariants-bitprecise.properties 583    3220 config/components/parallel-01-predAbs-invariants-bitprecise.properties 564    3230 config/components/parallel-01-predAbs-invariants-bitprecise.properties 583    3270 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-commit-tester/m0_false-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac-1.c 26.2  592 23.8  588 60.3  922 config/components/parallel-01-predAbs-invariants-bitprecise.properties 60.6  948 config/components/parallel-01-predAbs-invariants-bitprecise.properties 61.1  948 config/components/parallel-01-predAbs-invariants-bitprecise.properties 63.5  947 config/components/parallel-01-predAbs-invariants-bitprecise.properties 61.6  961 config/components/parallel-01-predAbs-invariants-bitprecise.properties 58.5  948 config/components/parallel-01-predAbs-invariants-bitprecise.properties 62.3  958 config/components/parallel-01-predAbs-invariants-bitprecise.properties 60.9  928 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 27.6  591 config/components/parallel-01-predAbs-invariants-bitprecise.properties 21.7  545 config/components/parallel-01-predAbs-invariants-bitprecise.properties 27.6  593 config/components/parallel-01-predAbs-invariants-bitprecise.properties 29.4  641 config/components/parallel-01-predAbs-invariants-bitprecise.properties 28.0  635 config/components/parallel-01-predAbs-invariants-bitprecise.properties 28.9  611 config/components/parallel-01-predAbs-invariants-bitprecise.properties 27.2  620 config/components/parallel-01-predAbs-invariants-bitprecise.properties 27.4  604 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 86.8  1450 config/components/parallel-01-predAbs-invariants-bitprecise.properties 81.2  1420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 83.1  1410 config/components/parallel-01-predAbs-invariants-bitprecise.properties 81.3  1450 config/components/parallel-01-predAbs-invariants-bitprecise.properties 80.1  1420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 81.8  1440 config/components/parallel-01-predAbs-invariants-bitprecise.properties 80.6  1430 config/components/parallel-01-predAbs-invariants-bitprecise.properties 81.2  1430 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 134    2280 config/components/parallel-01-predAbs-invariants-bitprecise.properties 134    2400 config/components/parallel-01-predAbs-invariants-bitprecise.properties 125    2260 config/components/parallel-01-predAbs-invariants-bitprecise.properties 126    2420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 127    2470 config/components/parallel-01-predAbs-invariants-bitprecise.properties 128    2330 config/components/parallel-01-predAbs-invariants-bitprecise.properties 123    2400 config/components/parallel-01-predAbs-invariants-bitprecise.properties 130    2480 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 28.1  663 config/components/parallel-01-predAbs-invariants-bitprecise.properties 28.9  648 config/components/parallel-01-predAbs-invariants-bitprecise.properties 27.0  658 config/components/parallel-01-predAbs-invariants-bitprecise.properties 29.1  643 config/components/parallel-01-predAbs-invariants-bitprecise.properties 28.4  614 config/components/parallel-01-predAbs-invariants-bitprecise.properties 30.2  685 config/components/parallel-01-predAbs-invariants-bitprecise.properties 26.8  638 config/components/parallel-01-predAbs-invariants-bitprecise.properties 27.8  615 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-1.c 62.4  1320 60.0  1350 120    2470 117    2450 119    2460 119    2480 118    2450 118    2460 120    2480 119    2470
ldv-commit-tester/m0_false-unreach-call_sound-oss-opl3-ko--111_1a--42f9f8d-1.c 313    1140 613    1110 650    3550 650    3620 651    3730 650    3490 650    3680 650    3700 650    3520 651    3530
ldv-commit-tester/main0_false-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1.c 313    958 613    939 651    3130 651    3080 651    3060 650    3060 650    3160 651    3160 650    3170 651    3150
ldv-commit-tester/main0_false-unreach-call_drivers-net-wireless-ath-carl9170-carl9170-ko--32_7a--8a9f335-1.c 313    1090 612    1110 651    2770 651    2750 651    2770 651    2780 651    2790 651    2810 651    2800 651    2790
ldv-commit-tester/main3_false-unreach-call_drivers-staging-usbip-vhci-hcd-ko--132_1a--927c3fa.c 42.8  657 43.1  668 106    1800 config/components/parallel-01-predAbs-invariants-bitprecise.properties 109    1870 config/components/parallel-01-predAbs-invariants-bitprecise.properties 99.0  1820 config/components/parallel-01-predAbs-invariants-bitprecise.properties 107    1990 config/components/parallel-01-predAbs-invariants-bitprecise.properties 105    1920 config/components/parallel-01-predAbs-invariants-bitprecise.properties 106    1930 config/components/parallel-01-predAbs-invariants-bitprecise.properties 105    1900 config/components/parallel-01-predAbs-invariants-bitprecise.properties 105    1770 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 651    2630 651    2620 651    2630 651    2600 651    2640 651    2620 651    2590 651    2620
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 651    2620 651    2660 651    2670 651    2630 651    2610 651    2660 651    2660 651    2620
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 602    2550 602    2510 602    2550 603    2550 602    2490 602    2550 602    2540 602    2540
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 118    2420 123    2420 123    2400 117    2390 120    2390 116    2400 120    2390 122    2400
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 110    1580 config/components/parallel-01-predAbs-invariants-bitprecise.properties 113    1580 config/components/parallel-01-predAbs-invariants-bitprecise.properties 109    1590 config/components/parallel-01-predAbs-invariants-bitprecise.properties 110    2510 config/components/parallel-01-predAbs-invariants-bitprecise.properties 110    1710 config/components/parallel-01-predAbs-invariants-bitprecise.properties 118    1710 config/components/parallel-01-predAbs-invariants-bitprecise.properties 122    1710 config/components/parallel-01-predAbs-invariants-bitprecise.properties 111    1710 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 651    2540 651    2500 651    2530 651    2510 651    2490 651    2530 651    2510 651    2500
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 602    2830 602    2850 602    2810 602    2820 602    2840 602    2830 602    2840 602    2880
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 651    2550 651    2520 651    2510 651    2500 651    2490 651    2510 651    2500 651    2510
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 511    2700 493    2780 486    2790 497    2750 508    2790 491    2790 485    2710 492    2810
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 602    2790 602    2750 602    2730 602    2660 602    2820 602    2770 602    2730 602    2770
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 602    2890 602    2910 603    2900 603    2860 602    2910 603    2940 603    2900 603    2870
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--hwmon--abituguru3.ko-main.cil.out.c 313    959 613    968 651    3290 650    3540 650    3490 650    3600 651    3550 650    3460 650    3510 651    3380
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 123    2030 config/components/parallel-01-predAbs-invariants-bitprecise.properties 93.2  1470 config/components/parallel-01-predAbs-invariants-bitprecise.properties 94.8  1450 config/components/parallel-01-predAbs-invariants-bitprecise.properties 85.9  1420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 112    1770 config/components/parallel-01-predAbs-invariants-bitprecise.properties 109    2430 config/components/parallel-01-predAbs-invariants-bitprecise.properties 102    1490 config/components/parallel-01-predAbs-invariants-bitprecise.properties 109    1930 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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    1980 config/components/parallel-01-predAbs-invariants-bitprecise.properties 122    2140 config/components/parallel-01-predAbs-invariants-bitprecise.properties 117    1940 config/components/parallel-01-predAbs-invariants-bitprecise.properties 120    2530 config/components/parallel-01-predAbs-invariants-bitprecise.properties 126    2440 config/components/parallel-01-predAbs-invariants-bitprecise.properties 123    2300 config/components/parallel-01-predAbs-invariants-bitprecise.properties 125    2230 config/components/parallel-01-predAbs-invariants-bitprecise.properties 140    2550 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 392    2680 389    2590 390    2650 379    2640 376    2650 370    2640 379    2670 384    2640
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 612    2490 605    2480 608    2520 611    2500 611    2480 609    2520 609    2490 610    2490
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i 148    1120 164    1130 224    2390 config/components/parallel-01-predAbs-invariants-bitprecise.properties 207    2370 config/components/parallel-01-predAbs-invariants-bitprecise.properties 228    2380 config/components/parallel-01-predAbs-invariants-bitprecise.properties 202    2350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 241    2370 config/components/parallel-01-predAbs-invariants-bitprecise.properties 246    2350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 239    2360 config/components/parallel-01-predAbs-invariants-bitprecise.properties 239    2370 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i 144    1330 147    1350 383    3540 config/components/parallel-01-predAbs-invariants-bitprecise.properties 362    3500 config/components/parallel-01-predAbs-invariants-bitprecise.properties 365    3350 config/components/parallel-01-predAbs-invariants-bitprecise.properties 340    3400 config/components/parallel-01-predAbs-invariants-bitprecise.properties 366    3580 config/components/parallel-01-predAbs-invariants-bitprecise.properties 364    3470 config/components/parallel-01-predAbs-invariants-bitprecise.properties 359    3460 config/components/parallel-01-predAbs-invariants-bitprecise.properties 347    3480 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i 301    720 584    2490 602    2520 602    2550 602    2520 602    2530 604    2440 618    2430 601    2450 622    2460
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 612    3210 608    2940 608    2940 602    2930 602    2840 602    2800 618    2820 606    2890
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 47.8  1500 config/components/parallel-01-predAbs-invariants-bitprecise.properties 47.3  1460 config/components/parallel-01-predAbs-invariants-bitprecise.properties 49.6  1430 config/components/parallel-01-predAbs-invariants-bitprecise.properties 49.6  1380 config/components/parallel-01-predAbs-invariants-bitprecise.properties 50.2  1400 config/components/parallel-01-predAbs-invariants-bitprecise.properties 47.1  1410 config/components/parallel-01-predAbs-invariants-bitprecise.properties 48.8  1420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 50.7  1410 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i 302    2150 602    2660 602    3590 601    3760 602    3810 602    3830 602    3720 602    3740 602    3800 603    3570
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i 303    2970 603    3410 650    4830 642    4780 602    4260 634    4750 603    4190 602    4630 603    4170 603    4130
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i 104    1050 103    1020 159    1680 config/components/parallel-01-predAbs-invariants-bitprecise.properties 287    1720 config/components/parallel-01-predAbs-invariants-bitprecise.properties 153    1670 config/components/parallel-01-predAbs-invariants-bitprecise.properties 455    1670 config/components/parallel-01-predAbs-invariants-bitprecise.properties 602    1710 168    1750 config/components/parallel-01-predAbs-invariants-bitprecise.properties 594    1700 config/components/parallel-01-predAbs-invariants-bitprecise.properties 162    1700 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i 302    2010 602    2580 602    3130 602    3160 602    3510 602    3780 602    3630 602    3410 602    3820 602    3380
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 57.5  1790 config/components/parallel-01-predAbs-invariants-bitprecise.properties 53.5  1660 config/components/parallel-01-predAbs-invariants-bitprecise.properties 55.4  2120 config/components/parallel-01-predAbs-invariants-bitprecise.properties 57.1  2060 config/components/parallel-01-predAbs-invariants-bitprecise.properties 57.7  2000 config/components/parallel-01-predAbs-invariants-bitprecise.properties 57.4  1860 config/components/parallel-01-predAbs-invariants-bitprecise.properties 58.6  2050 config/components/parallel-01-predAbs-invariants-bitprecise.properties 57.0  2070 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 602    3410 602    3510 602    3550 602    3580 602    3480 602    3550 602    3520 602    3410
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 131    2600 config/components/parallel-01-predAbs-invariants-bitprecise.properties 131    2610 config/components/parallel-01-predAbs-invariants-bitprecise.properties 130    2590 config/components/parallel-01-predAbs-invariants-bitprecise.properties 135    2590 config/components/parallel-01-predAbs-invariants-bitprecise.properties 132    2720 config/components/parallel-01-predAbs-invariants-bitprecise.properties 136    2560 config/components/parallel-01-predAbs-invariants-bitprecise.properties 140    2610 config/components/parallel-01-predAbs-invariants-bitprecise.properties 140    2660 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i 302    1870 602    2290 602    3230 602    3580 602    3570 602    3600 602    3340 602    3490 602    3620 602    3340
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i 292    1520 295    1460 562    3570 config/components/parallel-01-predAbs-invariants-bitprecise.properties 610    3770 569    3630 config/components/parallel-01-predAbs-invariants-bitprecise.properties 611    3650 602    3590 602    3620 602    3530 602    3530
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 651    3410 651    3120 651    3390 651    3270 650    3160 650    3170 651    3320 651    3330
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 617    2770 620    2820 619    2780 618    2780 617    2810 622    2820 622    2800 620    2790
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 532    2400 525    2400 528    2400 529    2380 530    2400 529    2410 524    2390 529    2360
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 546    2500 529    2480 531    2500 532    2500 525    2530 527    2460 521    2470 534    2480
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 651    3080 651    3070 651    3080 651    3080 651    3080 651    3060 651    3090 651    3070
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 650    2640 650    2640 650    2650 650    2640 650    2640 650    2680 650    2620 650    2620
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 239    2480 230    2430 228    2440 234    2430 235    2480 241    2470 236    2440 232    2440
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 640    3220 636    3240 639    3160 637    3300 650    3370 641    3260 644    3180 634    3220
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 651    2400 651    2440 651    2380 651    2410 651    2380 651    2410 651    2410 651    2420
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 587    913 config/components/parallel-01-predAbs-invariants-bitprecise.properties 509    933 config/components/parallel-01-predAbs-invariants-bitprecise.properties 599    927 config/components/parallel-01-predAbs-invariants-bitprecise.properties 651    907 489    929 config/components/parallel-01-predAbs-invariants-bitprecise.properties 538    919 config/components/parallel-01-predAbs-invariants-bitprecise.properties 499    921 config/components/parallel-01-predAbs-invariants-bitprecise.properties 519    905 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 651    2530 651    2360 651    2510 651    2410 651    2530 651    2280 651    2340 651    2510
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 650    2590 650    2550 650    2560 651    2600 650    2590 650    2530 650    2610 651    2460
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 650    2600 650    2560 650    2630 650    2640 650    2630 650    2570 650    2570 650    2600
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 650    2470 650    2460 650    2460 650    2490 650    2490 650    2510 650    2450 650    2480
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 602    3700 602    3880 602    3780 601    3820 602    3930 602    3780 601    3830 603    3850
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 650    3740 650    3710 651    3790 650    3730 650    3770 650    3730 650    3750 650    3730
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 602    3400 620    3420 610    3380 622    3470 608    3370 629    3530 615    3420 611    3450
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 616    3580 628    3570 615    3640 623    3540 626    3550 620    3450 629    3570 616    3540
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 651    2600 651    2630 651    2610 651    2590 651    2620 651    2590 651    2610 651    2640
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 651    3650 650    3680 650    3870 650    3650 650    3740 650    3730 650    3690 650    3680
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 651    2420 651    2510 651    2100 651    2420 651    2260 651    2260 651    2440 651    2440
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 651    1870 651    1860 651    1780 651    1840 651    2030 651    1930 651    1970 651    1850
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 650    2710 650    2730 650    2770 650    2700 650    2780 650    2730 650    2740 650    2740
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 650    3740 650    3680 650    3930 650    3750 633    3670 635    3550 630    3610 626    3610
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 650    2580 650    2560 650    2570 651    2510 650    2530 650    2560 650    2560 651    2530
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 616    3230 602    3120 601    3250 616    3140 616    3080 606    3260 611    3250 602    3150
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 651    3740 651    3720 651    3660 650    3630 650    3780 650    3820 651    3850 651    3830
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 609    3450 604    3450 624    3410 625    3470 603    3670 601    3620 602    3520 602    3470
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 651    2820 651    2860 651    2850 651    2830 651    2850 651    2860 651    2840 651    2820
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 651    2790 651    2840 651    3010 651    2980 651    2890 651    2990 651    2960 651    2970
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 651    2860 651    2880 651    2860 651    2860 651    2860 651    2890 651    2910 651    2850
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 234    2630 222    2580 229    2620 222    2600 229    2620 229    2640 225    2610 227    2620
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 628    3630 629    3430 622    3660 627    3680 624    3650 619    3710 624    3640 629    3580
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 650    2840 650    2910 650    2850 650    2690 650    2860 650    2700 650    2820 650    2750
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 269    2530 264    2530 265    2500 262    2490 267    2520 271    2510 271    2540 270    2540
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 650    3170 650    3110 650    3130 650    3190 650    3260 650    3220 650    3210 650    3300
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 164    2300 config/components/parallel-01-predAbs-invariants-bitprecise.properties 149    2320 config/components/parallel-01-predAbs-invariants-bitprecise.properties 146    2330 config/components/parallel-01-predAbs-invariants-bitprecise.properties 156    2990 config/components/parallel-01-predAbs-invariants-bitprecise.properties 155    2360 config/components/parallel-01-predAbs-invariants-bitprecise.properties 148    2500 config/components/parallel-01-predAbs-invariants-bitprecise.properties 157    2370 config/components/parallel-01-predAbs-invariants-bitprecise.properties 157    2400 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 645    2630 632    2650 632    2640 639    2650 638    2630 647    2660 638    2660 641    2640
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 558    2640 config/components/parallel-01-predAbs-invariants-bitprecise.properties 554    2620 config/components/parallel-01-predAbs-invariants-bitprecise.properties 573    2670 config/components/parallel-01-predAbs-invariants-bitprecise.properties 572    2610 config/components/parallel-01-predAbs-invariants-bitprecise.properties 573    2620 config/components/parallel-01-predAbs-invariants-bitprecise.properties 572    2630 config/components/parallel-01-predAbs-invariants-bitprecise.properties 540    2670 config/components/parallel-01-predAbs-invariants-bitprecise.properties 556    2630 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 651    3410 651    3470 651    3420 651    3420 651    3450 651    3460 651    3440 651    3350
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 650    2770 630    3100 651    2790 648    2800 648    2790 623    3140 629    2950 624    3130
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 603    3280 603    3230 603    3270 605    3270 603    3280 603    3210 603    3320 603    3300
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 39.8  1330 config/components/parallel-01-predAbs-invariants-bitprecise.properties 40.1  1360 config/components/parallel-01-predAbs-invariants-bitprecise.properties 38.9  1380 config/components/parallel-01-predAbs-invariants-bitprecise.properties 38.9  1310 config/components/parallel-01-predAbs-invariants-bitprecise.properties 38.2  1360 config/components/parallel-01-predAbs-invariants-bitprecise.properties 40.0  1360 config/components/parallel-01-predAbs-invariants-bitprecise.properties 38.2  1340 config/components/parallel-01-predAbs-invariants-bitprecise.properties 36.3  1340 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 83.1  1270 config/components/parallel-01-predAbs-invariants-bitprecise.properties 80.3  1150 config/components/parallel-01-predAbs-invariants-bitprecise.properties 85.3  1440 config/components/parallel-01-predAbs-invariants-bitprecise.properties 84.9  1420 config/components/parallel-01-predAbs-invariants-bitprecise.properties 78.2  1400 config/components/parallel-01-predAbs-invariants-bitprecise.properties 86.9  1630 config/components/parallel-01-predAbs-invariants-bitprecise.properties 88.4  1490 config/components/parallel-01-predAbs-invariants-bitprecise.properties 86.4  1470 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 651    2680 651    2620 651    2620 651    2590 651    2630 651    2630 651    2670 651    2620
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 651    2500 651    2470 651    2480 651    2470 651    2490 651    2480 651    2480 651    2500
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 55.3  941 config/components/parallel-01-predAbs-invariants-bitprecise.properties 53.3  882 config/components/parallel-01-predAbs-invariants-bitprecise.properties 53.0  902 config/components/parallel-01-predAbs-invariants-bitprecise.properties 53.8  1000 config/components/parallel-01-predAbs-invariants-bitprecise.properties 54.1  900 config/components/parallel-01-predAbs-invariants-bitprecise.properties 53.9  884 config/components/parallel-01-predAbs-invariants-bitprecise.properties 53.2  945 config/components/parallel-01-predAbs-invariants-bitprecise.properties 50.9  971 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 651    2590 651    2550 651    2590 651    2610 651    2570 651    2540 651    2580 651    2560
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 85.3  1540 config/components/parallel-01-predAbs-invariants-bitprecise.properties 81.7  1530 config/components/parallel-01-predAbs-invariants-bitprecise.properties 88.8  1510 config/components/parallel-01-predAbs-invariants-bitprecise.properties 88.3  1540 config/components/parallel-01-predAbs-invariants-bitprecise.properties 85.0  1500 config/components/parallel-01-predAbs-invariants-bitprecise.properties 88.4  1510 config/components/parallel-01-predAbs-invariants-bitprecise.properties 86.4  2200 config/components/parallel-01-predAbs-invariants-bitprecise.properties 89.7  1540 config/components/parallel-01-predAbs-invariants-bitprecise.properties
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 602    3310 602    3280 602    3290 602    3330 602    3320 603    3330 602    3280 602    3310
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 601    2730 602    2740 602    2770 602    2760 602    2800 602    2800 602    2800 602    2790
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 222    2690 220    2700 212    2690 211    2670 223    2730 216    2740 215    2770 219    2710
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 302    4330 603    4410 603    5410 602    5380 603    5430 603    5320 602    5360 603    5340 602    5390 603    5300
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 83.5  823 83.2  832 241    3250 config/components/parallel-01-predAbs-invariants-bitprecise.properties 205    3100 config/components/parallel-01-predAbs-invariants-bitprecise.properties 229    3240 config/components/parallel-01-predAbs-invariants-bitprecise.properties 214    3140 config/components/parallel-01-predAbs-invariants-bitprecise.properties 222    3220 config/components/parallel-01-predAbs-invariants-bitprecise.properties 223    3240 config/components/parallel-01-predAbs-invariants-bitprecise.properties 347    3630 config/components/parallel-01-predAbs-invariants-bitprecise.properties 241    3240 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-3.7.3/main0_false-unreach-call_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.c 302    2410 603    2570 602    2530 602    2520 602    2550 602    2540 602    2520 602    2510 602    2540 602    2540
ldv-linux-3.7.3/main0_false-unreach-call_drivers-vhost-tcm_vhost-ko--32_7a--linux-3.7.3.c 57.8  891 55.4  883 138    2470 config/components/parallel-01-predAbs-invariants-bitprecise.properties 132    2480 config/components/parallel-01-predAbs-invariants-bitprecise.properties 132    2470 config/components/parallel-01-predAbs-invariants-bitprecise.properties 139    2510 config/components/parallel-01-predAbs-invariants-bitprecise.properties 139    2460 config/components/parallel-01-predAbs-invariants-bitprecise.properties 144    2540 config/components/parallel-01-predAbs-invariants-bitprecise.properties 137    2480 config/components/parallel-01-predAbs-invariants-bitprecise.properties 128    2480 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-3.7.3/main11_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c 302    1680 613    1640 602    2830 602    2840 602    2820 602    2820 602    2780 603    2830 602    2840 602    2860
ldv-linux-3.7.3/main15_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c 302    1380 613    1370 602    2780 602    2740 602    2760 602    2760 603    2770 602    2810 602    2770 602    2780
ldv-linux-3.7.3/main17_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c 313    1090 613    1080 651    2590 651    2590 651    2610 651    2580 651    2580 651    2590 651    2620 651    2590
ldv-linux-3.7.3/main1_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c 302    1750 613    1690 602    2840 603    2860 603    2800 602    2810 602    2810 602    2860 602    2840 602    2820
ldv-linux-3.7.3/main1_false-unreach-call_drivers-vhost-vhost_net-ko--32_7a--linux-3.7.3.c 27.5  752 29.3  740 37.6  852 config/components/parallel-01-predAbs-invariants-bitprecise.properties 39.6  858 config/components/parallel-01-predAbs-invariants-bitprecise.properties 38.6  860 config/components/parallel-01-predAbs-invariants-bitprecise.properties 41.6  912 config/components/parallel-01-predAbs-invariants-bitprecise.properties 40.4  879 config/components/parallel-01-predAbs-invariants-bitprecise.properties 39.6  867 config/components/parallel-01-predAbs-invariants-bitprecise.properties 39.6  863 config/components/parallel-01-predAbs-invariants-bitprecise.properties 36.9  846 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-3.7.3/main4_false-unreach-call_drivers-scsi-mpt2sas-mpt2sas-ko--32_7a--linux-3.7.3.c 302    1060 557    1080 651    2480 651    2490 651    2490 651    2520 651    2490 651    2490 651    2480 651    2480
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--atm--atmtcp.ko-entry_point_false-unreach-call.cil.out.c 302    1480 613    2080 651    3700 651    3610 651    3650 651    3680 651    3650 651    3920 651    3580 651    3940
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--block--loop.ko-entry_point_false-unreach-call.cil.out.c 313    924 613    989 650    3970 650    3990 650    3910 650    3980 650    3930 650    3910 650    4000 650    3840
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--char--raw.ko-entry_point_false-unreach-call.cil.out.c 313    886 613    861 475    1950 config/components/parallel-01-predAbs-invariants-bitprecise.properties 612    1720 492    1770 config/components/parallel-01-predAbs-invariants-bitprecise.properties 492    1890 config/components/parallel-01-predAbs-invariants-bitprecise.properties 651    1910 651    1650 651    1760 563    1740 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--accel--kxcjk-1013.ko-entry_point_false-unreach-call.cil.out.c 313    853 613    863 651    3210 651    3260 651    3300 650    3320 651    3280 650    3510 651    3280 651    3300
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--imu--inv_mpu6050--inv-mpu6050.ko-entry_point_false-unreach-call.cil.out.c 313    717 613    728 651    3440 650    3460 651    3480 650    3480 650    3500 651    3460 650    3530 650    3470
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--trigger--iio-trig-interrupt.ko-entry_point_false-unreach-call.cil.out.c 190    528 194    495 246    1390 config/components/parallel-01-predAbs-invariants-bitprecise.properties 183    1390 config/components/parallel-01-predAbs-invariants-bitprecise.properties 241    1330 config/components/parallel-01-predAbs-invariants-bitprecise.properties 238    1440 config/components/parallel-01-predAbs-invariants-bitprecise.properties 240    1400 config/components/parallel-01-predAbs-invariants-bitprecise.properties 274    1440 config/components/parallel-01-predAbs-invariants-bitprecise.properties 242    1430 config/components/parallel-01-predAbs-invariants-bitprecise.properties 260    1420 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--input--gameport--gameport.ko-entry_point_false-unreach-call.cil.out.c 313    548 613    546 651    2350 651    2270 651    2200 651    2280 651    2270 651    2240 651    2400 651    2370
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--md--dm-cache.ko-entry_point_false-unreach-call.cil.out.c 65.1  1530 67.0  1490 390    2570 381    2560 371    2520 385    2530 377    2540 393    2570 388    2580 385    2540
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--md--md-cluster.ko-entry_point_false-unreach-call.cil.out.c 313    1060 613    1030 650    3440 650    3520 650    3520 651    3570 651    3590 650    3610 651    3500 651    3590
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--mtd--mtd.ko-entry_point_false-unreach-call.cil.out.c 313    1620 613    1580 651    2810 651    2870 651    2830 651    2870 651    2860 651    2910 651    2880 651    2850
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--xen-netback--xen-netback.ko-entry_point_false-unreach-call.cil.out.c 313    1600 613    1660 650    4080 650    4190 650    4300 650    4130 650    4110 650    4100 650    4140 650    4290
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--staging--lustre--lustre--llite--llite_lloop.ko-entry_point_false-unreach-call.cil.out.c 302    1840 602    1760 602    2710 602    2690 602    2690 602    2620 601    2850 602    3190 602    2960 602    2770
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--usb--gadget--libcomposite.ko-entry_point_false-unreach-call.cil.out.c 302    1690 546    2640 602    2670 602    2730 602    2730 602    2720 602    2910 602    2920 602    2830 602    2780
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--watchdog--it87_wdt.ko-entry_point_false-unreach-call.cil.out.c 303    1560 603    1580 603    3540 602    3470 603    3580 623    3420 602    3640 602    3500 608    3270 602    3530
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--watchdog--pc87413_wdt.ko-entry_point_false-unreach-call.cil.out.c 302    1340 603    1460 602    2920 532    2890 config/components/parallel-01-predAbs-invariants-bitprecise.properties 602    2730 643    2770 602    2900 565    2800 config/components/parallel-01-predAbs-invariants-bitprecise.properties 602    2900 581    2870 config/components/parallel-01-predAbs-invariants-bitprecise.properties
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--ast--ast.ko-entry_point_false-unreach-call.cil.out.c 302    3190 604    3250 603    4260 627    4260 603    4270 606    4280 605    4210 606    4250 606    4290 603    4280
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--mgag200--mgag200.ko-entry_point_false-unreach-call.cil.out.c 313    2780 603    2990 602    3030 602    2990 602    3010 602    3010 602    3020 602    3050 602    3040 602    3000
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--qxl--qxl.ko-entry_point_false-unreach-call.cil.out.c 313    1220 613    1200 651    2690 651    2710 651    2700 651    2680 651    2710 651    2670 651    2710 651    2690
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--hwmon--abituguru3.ko-entry_point_false-unreach-call.cil.out.c 313    1010 613    943 651    3640 651    3480 650    3610 651    3480 650    3470 650    3360 651    3570 651    3570
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--input--mousedev.ko-entry_point_false-unreach-call.cil.out.c 313    647 613    632 651    3410 650    3440 650    3440 650    3380 650    3360 651    3540 650    3450 650    3380
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--md--dm-crypt.ko-entry_point_false-unreach-call.cil.out.c 313    1500 603    2910 619    2870 602    2810 609    2780 602    2850 609    2800 606    2860 603    2820 611    2880
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--md--dm-raid.ko-entry_point_false-unreach-call.cil.out.c 302    3060 602    3050 602    3760 601    3660 602    3690 602    3690 602    3650 603    3780 606    3690 602    3780
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--md--raid456.ko-entry_point_false-unreach-call.cil.out.c 313    1070 613    1070 651    3160 651    3180 651    3210 651    3030 651    3200 651    3180 651    3190 651    3210
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--usb--hdpvr--hdpvr.ko-entry_point_false-unreach-call.cil.out.c 313    881 613    821 650    3610 650    3660 650    3470 651    3560 650    3670 650    3560 650    3670 651    3770
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--v4l2-core--videodev.ko-entry_point_false-unreach-call.cil.out.c 302    1350 602    1350 602    2760 602    2720 603    2720 602    2780 602    2750 602    2780 602    2760 602    2750
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--mwl8k.ko-entry_point_false-unreach-call.cil.out.c 313    998 613    963 651    2490 651    2480 651    2510 651    2480 651    2490 651    2500 651    2490 651    2490
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--ti--wl12xx--wl12xx.ko-entry_point_false-unreach-call.cil.out.c 313    1420 613    1340 651    2650 651    2540 651    2570 651    2570 651    2640 651    2670 651    2630 651    2660
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--pcmcia--pcmcia_rsrc.ko-entry_point_false-unreach-call.cil.out.c 313    1190 613    1170 650    3870 650    3850 650    3770 650    3780 650    3750 650    3910 650    3920 650    3750
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--mdc--mdc.ko-entry_point_false-unreach-call.cil.out.c 313    3260 613    3280 651    4220 650    4240 651    4190 650    4220 651    4310 650    4350 650    4380 650    4330
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--misc--sgi-xp--xpc.ko-entry_point_false-unreach-call.cil.out.c 313    1180 613    1210 650    3180 651    3270 651    3290 650    2870 651    2900 651    2880 651    3280 650    3280
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--megaraid--megaraid_mm.ko-entry_point_false-unreach-call.cil.out.c 313    803 613    1050 650    3940 650    3530 651    3790 650    3860 630    3930 620    3930 638    4040 631    3900
ldv-validator-v0.6/linux-stable-1b0b0ac-1-108_1a-drivers--net--slip.ko-entry_point_false-unreach-call.cil.out.c 313    1410 613    1430 650    4080 650    4010 650    4250 650    4040 650    4280 651    4100 651    4130 650    4300
ldv-validator-v0.6/linux-stable-1dfa93a-1-100_1a-drivers--usb--serial--kobil_sct.ko-entry_point_false-unreach-call.cil.out.c 313    994 613    984 650    2710 650    2760 650    2720 650    2700 650    2720 650    2710 650    2720 650    2720
ldv-validator-v0.6/linux-stable-2b9ec6c-1-106_1a-drivers--usb--gadget--g_printer.ko-entry_point_false-unreach-call.cil.out.c 101    1460