Tool CPAchecker 1.4-svn 15944M CPAchecker 1.4-svn 15986M 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 2015-03-03 16:13:02 CET 2015-03-03 18:15:20 CET
Run set predicateAnalysis predicateAnalysis valueAnalysis valueAnalysis
Options -noout -setprop log.consoleLevel=WARNING -predicateAnalysis -noout -setprop log.consoleLevel=WARNING -predicateAnalysis -noout -setprop log.consoleLevel=WARNING -valueAnalysis -noout -setprop log.consoleLevel=WARNING -valueAnalysis
benchexec/tablegenerator/test_integration/results/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
test/programs/simple/bitvectors/implicitunsignedconversion_false-unreach-label.i unreach-label 2.17 2.18 128032768 1.86 1.87 130568192 2.12 2.13 133574656 1.82 1.82 131006464
test/programs/simple/switch_test_default_fallthrough_false-unreach-label.c unreach-label 2.19 2.20 129118208 1.83 1.84 129966080 2.16 2.17 131117056 1.82 1.83 131072000
test/programs/simple/compoundLiteral_true-unreach-label.c unreach-label 2.23 2.24 132337664 1.95 1.96 129806336 2.20 2.21 130293760 1.81 1.82 130777088
doc/examples/example.c 2.27 2.28 129470464 1.90 1.91 129441792 2.02 2.03 126210048 1.75 1.76 122847232
test/programs/simple/builtin_expect_true-unreach-label.c unreach-label 2.06 2.07 126312448 1.85 1.86 128536576 - -
benchexec/tablegenerator/test_integration/results/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 5 10.9  11.0  645271552 5 9.39 9.43 648318976 4 8.50 8.54 521195520 4 7.20 7.23 515702784
local summary 10.9  11.6  9.40 10.1  8.51 9.12 7.21 7.81
    correct results 3 6.48 6.50 387768320 3 5.63 5.65 388308992 2 4.28 4.30 264691712 2 3.64 3.65 262078464
        correct true 2 4.29 4.30 258650112 2 3.80 3.82 258342912 0 0
        correct false 1 2.19 2.20 129118208 1 1.83 1.84 129966080 2 4.28 4.30 264691712 2 3.64 3.65 262078464
    incorrect results 1 2.17 2.18 128032768 1 1.86 1.87 130568192 0 0
        incorrect true 1 2.17 2.18 128032768 1 1.86 1.87 130568192 0 0
        incorrect false 0 0 0 0
score (5 tasks, max score: 4) -27 -27 2 2
Run set predicateAnalysis predicateAnalysis valueAnalysis valueAnalysis