Tool CPAchecker 1.4-svn 15944M CPAchecker 1.4-svn 15986M
Limits timelimit: 10 s, memlimit: 3000 MB, CPU core limit: 1
Host tortuga
OS Linux 3.13.0-45-generic x86_64
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3401 MHz; RAM: 16389384 kB
Date of execution 2015-03-03 16:13:02 CET 2015-03-03 18:15:20 CET
Run set predicateAnalysis valueAnalysis predicateAnalysis valueAnalysis
Options -noout -setprop log.consoleLevel=WARNING -predicateAnalysis -noout -setprop log.consoleLevel=WARNING -valueAnalysis -noout -setprop log.consoleLevel=WARNING -predicateAnalysis -noout -setprop log.consoleLevel=WARNING -valueAnalysis
benchexec/tablegenerator/test_integration/results/ status category score cputime (s) setup (s) non-existent SMT time (s) variable count status category score cputime (s) setup (s) non-existent SMT time variable count status category score cputime (s) setup (s) non-existent SMT time (s) variable count status category score cputime (s) setup (s) non-existent SMT time variable count
test/programs/simple/bitvectors/implicitunsignedconversion_false-unreach-label.i unreach-label wrong -32 2.17 1.62 .020 correct 1 2.12 1.41 0 wrong -32 1.86 1.38 .015 correct 1 1.82 1.21 0
test/programs/simple/switch_test_default_fallthrough_false-unreach-label.c unreach-label correct 1 2.19 1.59 .000 correct 1 2.16 1.44 0 correct 1 1.83 1.31 .000 correct 1 1.82 1.22 0
test/programs/simple/compoundLiteral_true-unreach-label.c unreach-label correct 2 2.23 1.67 .018 unknown 0 2.20 1.49 0 correct 2 1.95 1.47 .015 unknown 0 1.81 1.20 0
doc/examples/example.c missing 0 2.27 1.64 .032 missing 0 2.02 1.38 212 missing 0 1.90 1.35 .025 missing 0 1.75 1.20 212
test/programs/simple/builtin_expect_true-unreach-label.c unreach-label correct 2 2.06 1.49 .011 - correct 2 1.85 1.37 .006 -
benchexec/tablegenerator/test_integration/results/ status category score cputime (s) setup (s) non-existent SMT time (s) variable count status category score cputime (s) setup (s) non-existent SMT time variable count status category score cputime (s) setup (s) non-existent SMT time (s) variable count status category score cputime (s) setup (s) non-existent SMT time variable count
total 5 -27 10.9  8.01 .081 4 2 8.50 5.71 212 5 -27 9.39 6.88 .061 4 2 7.20 4.82 212
local summary 10.9  8.51 9.40 7.21
    correct results 3 5 6.48 4.75 .029 2 2 4.28 2.85 0 3 5 5.63 4.15 .021 2 2 3.64 2.42 0
        correct true 2 4 4.29 3.16 .029 0 2 4 3.80 2.84 .021 0
        correct false 1 1 2.19 1.59 .000 2 2 4.28 2.85 0 1 1 1.83 1.31 .000 2 2 3.64 2.42 0
    incorrect results 1 -32 2.17 1.62 .020 0 1 -32 1.86 1.38 .015 0
        incorrect true 1 -32 2.17 1.62 .020 0 1 -32 1.86 1.38 .015 0
        incorrect false 0 0 0 0
score (5 tasks, max score: 4) -27 2 -27 2
Run set predicateAnalysis valueAnalysis predicateAnalysis valueAnalysis