Tool CPAchecker 1.4-svn 15944M
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
Run set predicateAnalysis
Options -noout -setprop log.consoleLevel=WARNING -predicateAnalysis
status category score cputime (s) setup (s) non-existent
test/programs/simple/bitvectors/implicitunsignedconversion_false-unreach-label.i unreach-label wrong -32 2.17 1.62
test/programs/simple/switch_test_default_fallthrough_false-unreach-label.c unreach-label correct 1 2.19 1.59
test/programs/simple/compoundLiteral_true-unreach-label.c unreach-label correct 2 2.23 1.67
doc/examples/example.c missing 0 2.27 1.64
test/programs/simple/builtin_expect_true-unreach-label.c unreach-label correct 2 2.06 1.49
status category score cputime (s) setup (s) non-existent
total tasks 5 -27 10.9  8.01
local summary 10.9 
    correct results 3 5 6.48 4.75
        correct true 2 4 4.29 3.16
        correct false 1 1 2.19 1.59
    incorrect results 1 -32 2.17 1.62
        incorrect true 1 -32 2.17 1.62
        incorrect false 0
score (5 tasks, max score: 4) -27
Run set predicateAnalysis