Task filter
ULTIMATE Automizer 2023-10-05 15:51:16 CEST uautomizer.uautomizer-default.bv64-unsafe
Add filter for:
btor2-val 2024-01-22 18:50:05 CET btor2-val.uautomizer-default.bv64-unsafe
Add filter for:
CPA-witness2test 2023-10-06 19:48:24 CEST cpa-w2t.uautomizer-default.bv64-unsafe
Add filter for:
CProver witness2test 2023-10-06 19:47:33 CEST fshell-w2t.uautomizer-default.bv64-unsafe
Add filter for:
Benchmark Setup
Tool | ULTIMATE Automizer 0.2.3-6fd36663 | btor2-val | CPA-witness2test 2.2.1-svn-44619 | CProver witness2test 0.2 | ||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2 | |||||||||||||||||||
Host | apollon* | |||||||||||||||||||
OS | Linux 5.15.0 | |||||||||||||||||||
System | CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: disabled; RAM: 33467 MB | |||||||||||||||||||
Date of execution | 2023-10-05 15:51:16 CEST | 2024-01-22 18:50:05 CET | 2023-10-06 19:48:24 CEST | 2023-10-06 19:47:33 CEST | ||||||||||||||||
Run set | uautomizer.uautomizer-default.bv64-unsafe | btor2-val.uautomizer-default.bv64-unsafe | cpa-w2t.uautomizer-default.bv64-unsafe | fshell-w2t.uautomizer-default.bv64-unsafe | ||||||||||||||||
Options |
|
|
|
| ||||||||||||||||
Properties | unreach-call |
Statistics
ULTIMATE Automizer 2023-10-05 15:51:16 CEST uautomizer.uautomizer-default.bv64-unsafe
btor2-val 2024-01-22 18:50:05 CET btor2-val.uautomizer-default.bv64-unsafe
CPA-witness2test 2023-10-06 19:48:24 CEST cpa-w2t.uautomizer-default.bv64-unsafe
CProver witness2test 2023-10-06 19:47:33 CEST fshell-w2t.uautomizer-default.bv64-unsafe
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)
status
cputime
(s)
(s)
walltime
(s)
(s)
memory
(MB)
(MB)
all results
456
383000
315000
3610000
456
794
796
17700
456
790
468
27000
456
69.6
69.7
924
local summary
-
-
7340
-
-
-
192
-
-
-
4140
-
-
-
3430
-
correct results
31
3790
2250
35500
27
54.5
55.8
1310
0
-
-
-
24
53.7
53.7
582
correct true
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
correct false
31
3790
2250
35500
27
54.5
55.8
1310
0
-
-
-
24
53.7
53.7
582
incorrect results
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
incorrect true
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
incorrect false
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
Generated by BenchExec 3.18-dev