Task filter


CBMC 2015-12-11 12:11:02 CET cbmc

Add filter for:

CPAchecker 2015-12-11 10:59:27 CET predicateAnalysis.ABEl

Add filter for:

Benchmark Setup

ToolCBMC CPAchecker 1.4-svn 18912M
Limitstimelimit: 60 s, memlimit: 4000 MB, CPU core limit: 2
Hosttortuga
OSLinux 3.13.0-71-generic x86_64
SystemCPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3401 MHz, Turbo Boost: enabled; RAM: 16783 MB
Date of execution2015-12-11 12:11:02 CET2015-12-11 10:59:27 CET
Run setcbmcpredicateAnalysis.ABEl
Options
  • -heap 13000M
  • -noout
  • -disable-java-assertions
  • -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
  • -predicateAnalysis-PredAbsRefiner-ABEl
Propertiesunreach-call

Statistics

CBMC 2015-12-11 12:11:02 CET cbmc
CPAchecker 2015-12-11 10:59:27 CET predicateAnalysis.ABEl
Click here to select columns
 
status
cputime
(s)
walltime
(s)
memUsage
(MB)
 
status
cputime
(s)
walltime
(s)
memUsage
(MB)
all results
46
1590
1600
28800
46
1160
691
38700
local summary
-
148
1620
-
-
1160
697
-
    correct results
22
147
148
6040
40
903
518
25200
        correct true
0
-
-
-
18
533
312
18200
        correct false
22
147
148
6040
22
370
206
7030
    incorrect results
0
-
-
-
0
-
-
-
        incorrect true
0
-
-
-
0
-
-
-
        incorrect false
0
-
-
-
0
-
-
-

Generated by BenchExec 3.24