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 valueAnalysis
Options -noout -setprop log.consoleLevel=WARNING -predicateAnalysis -noout -setprop log.consoleLevel=WARNING -valueAnalysis
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 2.12 2.13 133574656
test/programs/simple/compoundLiteral_true-unreach-label.c unreach-label 2.23 2.24 132337664 2.20 2.21 130293760
status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 2 4.40 4.42 260370432 2 4.32 4.34 263868416
    correct results 1 2.23 2.24 132337664 1 2.12 2.13 133574656
        correct true 1 2.23 2.24 132337664 0
        correct false 0 1 2.12 2.13 133574656
    incorrect results 1 2.17 2.18 128032768 0
        incorrect true 1 2.17 2.18 128032768 0
        incorrect false 0 0
score (2 tasks, max score: 3) -30 1
Run set predicateAnalysis valueAnalysis