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.0
Options -noout -setprop log.consoleLevel=WARNING -predicateAnalysis
benchexec/tablegenerator/test_integration/results/test/programs/simple/ status cputime (s) walltime (s) memUsage score
bitvectors/implicitunsignedconversion_false-unreach-label.i 2.17 2.18 128032768 0   
switch_test_default_fallthrough_false-unreach-label.c 2.19 2.20 129118208 10   
compoundLiteral_true-unreach-label.c 2.23 2.24 132337664 -2.5 
benchexec/tablegenerator/test_integration/results/test/programs/simple/ status cputime (s) walltime (s) memUsage score
total 3 6.59 6.61 389488640 7.5 
    correct results 2 4.42 4.43 261455872 7.5 
        correct true 1 2.23 2.24 132337664 -2.5 
        correct false 1 2.19 2.20 129118208 10   
    incorrect results 1 2.17 2.18 128032768 0   
        incorrect true 1 2.17 2.18 128032768 0   
        incorrect false 0
score (3 tasks, max score: 4) -29
Run set predicateAnalysis.0