Task filter
BlackBoxCegar 2023-02-03 19:25:23 CET blackbox-cegar-cpachecker-predicate.ReachSafety-Loops
Add filter for:
BlackBoxCegar 2023-02-03 19:25:23 CET blackbox-cegar-cpachecker-value.ReachSafety-Loops
Add filter for:
Benchmark Setup
| Tool | BlackBoxCegar 0.0 | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2 | |||||||||
| Host | apollon* | |||||||||
| OS | Linux 5.15.0-58-generic | |||||||||
| System | CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: disabled; RAM: 33480 MB | |||||||||
| Date of execution | 2023-02-03 19:25:23 CET | |||||||||
| Run set | blackbox-cegar-cpachecker-predicate.ReachSafety-Loops | blackbox-cegar-cpachecker-value.ReachSafety-Loops | ||||||||
| Options |
|
| ||||||||
| Properties | unreach-call | |||||||||
Statistics
BlackBoxCegar 2023-02-03 19:25:23 CET blackbox-cegar-cpachecker-predicate.ReachSafety-Loops
BlackBoxCegar 2023-02-03 19:25:23 CET blackbox-cegar-cpachecker-value.ReachSafety-Loops
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)
all results
765
448000
441000
470000
765
378000
319000
1710000
local summary
-
-
21600
-
-
-
21600
-
correct results
232
8030
6600
61400
115
7180
6390
51300
correct true
170
6550
5510
48000
35
2190
1940
17500
correct false
62
1480
1090
13400
80
4990
4450
33800
incorrect results
2
99.8
68.9
535
0
-
-
-
incorrect true
0
-
-
-
0
-
-
-
incorrect false
2
99.8
68.9
535
0
-
-
-
Generated by BenchExec 3.11