Task filter
CPAchecker 2023-08-22 14:42:34 CEST no-pointer-aliasing
Add filter for:
CPAchecker 2023-08-22 21:44:03 CEST pointer-aliasing
Add filter for:
CPAchecker 2023-08-23 11:19:10 CEST bmc-incremental
Add filter for:
Benchmark Setup
| Tool | CPAchecker backward-bmc-algorithm:44346 | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2 | ||||||||||||||
| Host | apollon* | ||||||||||||||
| OS | [Linux 5.15.0-79-generic; Linux 5.15.0-76-generic] | ||||||||||||||
| System | CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3000 MHz, Turbo Boost: disabled; RAM: 33467 MB | ||||||||||||||
| Date of execution | 2023-08-22 14:42:34 CEST | 2023-08-22 21:44:03 CEST | 2023-08-23 11:19:10 CEST | ||||||||||||
| Run set | no-pointer-aliasing | pointer-aliasing | bmc-incremental | ||||||||||||
| Options |
|
|
| ||||||||||||
| Properties | unreach-call | ||||||||||||||
Statistics
CPAchecker 2023-08-22 14:42:34 CEST no-pointer-aliasing
CPAchecker 2023-08-22 21:44:03 CEST pointer-aliasing
CPAchecker 2023-08-23 11:19:10 CEST bmc-incremental
Click here to select columns
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
all results
6362
3010000
2900000
17600000
6362
3290000
3170000
19000000
6362
3240000
3130000
24200000
correct results
1985
145000
128000
1450000
2211
156000
137000
1600000
2512
219000
196000
3290000
correct true
795
49100
42900
620000
1061
57100
49600
744000
937
38800
34600
383000
correct false
1190
96100
84700
832000
1150
98800
87400
852000
1575
180000
162000
2910000
incorrect results
499
10900
8820
234000
63
544
292
12900
11
160
103
2820
incorrect true
15
119
61.9
2500
55
473
252
11200
5
56.0
28.9
1060
incorrect false
484
10700
8760
231000
8
71.6
40.4
1660
6
104
73.8
1760
score (6362 tasks, max score: 10197)
-5444
-
-
-
1384
-
-
-
3193
-
-
-
Generated by BenchExec 3.16