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
Tool | CBMC | CPAchecker 1.4-svn 18912M | ||||||
---|---|---|---|---|---|---|---|---|
Limits | timelimit: 60 s, memlimit: 4000 MB, CPU core limit: 2 | |||||||
Host | tortuga | |||||||
OS | Linux 3.13.0-71-generic x86_64 | |||||||
System | CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3401 MHz, Turbo Boost: enabled; RAM: 16783 MB | |||||||
Date of execution | 2015-12-11 12:11:02 CET | 2015-12-11 10:59:27 CET | ||||||
Run set | cbmc | predicateAnalysis.ABEl | ||||||
Options |
| |||||||
Properties | unreach-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)
(s)
walltime
(s)
(s)
memUsage
(MB)
(MB)
status
cputime
(s)
(s)
walltime
(s)
(s)
memUsage
(MB)
(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