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 16.1 8.30 555880448 1 1 0 1 configselection-restart-valueAnalysis-fallbacks.properties NaN 1 apollon104
results/dummyRun1 16.1 8.30 555880448 Inf 1 0 1 configselection-restart-valueAnalysis-fallbacks.properties 0 Inf apollon104
results/dummyRun2 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