Task filter
CoVeriTeam 2022-08-31 23:39:13 CEST verifier-utaipan-plus-complete.SV-COMP22_unreach-call
Add filter for:
ULTIMATE Taipan 2021-12-09 20:22:38 CET utaipan.SV-COMP22_unreach-call
Add filter for:
Benchmark Setup
Benchmark | Verifier-utaipan-plus-complete | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Tool | CoVeriTeam 1.0-dev | ULTIMATE Taipan 0.2.2-839c364b | ||||||||
Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 | |||||||||
Host | apollon* | Unknown | ||||||||
OS | Linux 5.4.0-125-generic | Unknown | ||||||||
System | CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: disabled; RAM: 33488 MB | Unknown | ||||||||
Date of execution | 2022-08-31 23:39:13 CEST | 2021-12-09 20:22:38 CET | ||||||||
Run set | verifier-utaipan-plus-complete.SV-COMP22_unreach-call | utaipan.SV-COMP22_unreach-call | ||||||||
Options |
|
| ||||||||
Properties | unreach-call |
Statistics
CoVeriTeam 2022-08-31 23:39:13 CEST verifier-utaipan-plus-complete.SV-COMP22_unreach-call
ULTIMATE Taipan 2021-12-09 20:22:38 CET utaipan.SV-COMP22_unreach-call
Click here to select columns
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
cpuenergy
(J)
(J)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
cpuenergy
(J)
(J)
all results
5400
3200000
2500000
26000000
36000000
5400
3100000
2500000
24000000
36000000
correct results
1792
230000
110000
2100000
2000000
1969
180000
120000
1700000
1800000
correct true
1194
160000
77000
1600000
1400000
1277
110000
76000
1100000
1200000
correct false
598
63000
38000
530000
610000
692
64000
42000
610000
660000
incorrect results
2
340
170
2000
2800
7
400
230
3400
4100
incorrect true
2
340
170
2000
2800
7
400
230
3400
4100
incorrect false
0
-
-
-
-
0
-
-
-
-
score (5400 tasks, max score: 8594)
2922
-
-
-
-
3022
-
-
-
-
Generated by BenchExec 3.13-dev