| 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 | |||||||||||