Tool | CPAchecker 1.7-svn 28500M | |||||||||||
Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2 | |||||||||||
Host | apollon* | |||||||||||
OS | Linux 4.4.0-128-generic | |||||||||||
System | CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB | |||||||||||
Date of execution | 2018-06-27 14:40:12 CEST | |||||||||||
Run set | Model-Based-Selection | |||||||||||
Options | -heap 10000M -benchmark -configselection-heuristic | |||||||||||
benchexec/tablegenerator/test_integration/ | status | cputime (s) | walltime (s) | memUsage | Aliasing | Arrays | Boolean | Composite types | Config | Floats | Loops | host |
programs/benchmarks/ldv-linux-4.0-rc1-mav/linux-4_true-termination.0-rc1---drivers--media--rc--lirc_dev.ko_true-unreach-call.cil.c | true | 16.1 | 8.30 | 555880448 | 1 | 1 | 0 | 1 | configselection-restart-valueAnalysis-fallbacks.properties | NaN | 1 | apollon104 |
results/dummyRun1 | true | 16.1 | 8.30 | 555880448 | Inf | 1 | 0 | 1 | configselection-restart-valueAnalysis-fallbacks.properties | 0 | Inf | apollon104 |
results/dummyRun2 | true | 16.1 | 8.30 | 555880448 | -Inf | 1 | -Inf | 1 | configselection-restart-valueAnalysis-fallbacks.properties | 2 | 1 | apollon104 |
benchexec/tablegenerator/test_integration/ | status | cputime (s) | walltime (s) | memUsage | Aliasing | Arrays | Boolean | Composite types | Config | Floats | Loops | host |
total | 3 | 48.2 | 24.9 | 1667641344 | NaN | 3 | -Inf | 3 | NaN | Inf | ||
local summary | 65200 | |||||||||||
correct results | 3 | 48.2 | 24.9 | 1667641344 | NaN | 3 | -Inf | 3 | NaN | Inf | ||
correct true | 3 | 48.2 | 24.9 | 1667641344 | NaN | 3 | -Inf | 3 | NaN | Inf | ||
correct false | 0 | |||||||||||
incorrect results | 0 | |||||||||||
incorrect true | 0 | |||||||||||
incorrect false | 0 | |||||||||||
score (3 tasks, max score: 2) | 2 | |||||||||||
Run set | Model-Based-Selection |