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 valueAnalysis predicateAnalysis
Options -noout -setprop log.consoleLevel=WARNING -valueAnalysis -noout -setprop log.consoleLevel=WARNING -predicateAnalysis
benchexec/tablegenerator/test_integration/results/ status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB)
test/programs/simple/bitvectors/implicitunsignedconversion_false-unreach-label.i unreach-label 2.12 2.13 134 2.17 2.18 128
test/programs/simple/switch_test_default_fallthrough_false-unreach-label.c unreach-label 2.16 2.17 131 2.19 2.20 129
test/programs/simple/compoundLiteral_true-unreach-label.c unreach-label 2.20 2.21 130 2.23 2.24 132
doc/examples/example.c 2.02 2.03 126 2.27 2.28 129
test/programs/simple/builtin_expect_true-unreach-label.c unreach-label - 2.06 2.07 126
benchexec/tablegenerator/test_integration/results/ status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB)
total 4 8.50 8.54 521 5 10.9  11.0  645
local summary 8.51 9.12 10.9  11.6 
    correct results 2 4.28 4.30 265 3 6.48 6.50 388
        correct true 0 2 4.29 4.30 259
        correct false 2 4.28 4.30 265 1 2.19 2.20 129
    incorrect results 0 1 2.17 2.18 128
        incorrect true 0 1 2.17 2.18 128
        incorrect false 0 0
score (5 tasks, max score: 6) 2 -27
Run set valueAnalysis predicateAnalysis