Task filter
craris-cr 2024-10-08 07:52:55 UTC benchmark-craris-cr.default.ARI-LCTRSs
Add filter for:
crest-cr 2024-10-10 09:23:08 UTC benchmark-crest-cr.default.ARI-LCTRSs
Add filter for:
ctrl 2024-10-08 08:04:14 UTC benchmark-ctrl-cr.default.ARI-LCTRSs
Add filter for:
prototype-cade 2024-10-09 13:38:37 UTC benchmark-prototype-cade.default.ARI-LCTRSs
Add filter for:
Benchmark Setup
| Tool | craris-cr | crest-cr | ctrl | prototype-cade | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Limits | timelimit: 60 s, memlimit: 8000 MB, CPU core limit: 4 | |||||||||||
| Host | tcs-jschoepf | |||||||||||
| OS | Linux-5.15.0-122-generic-x86_64-with-glibc2.35 | |||||||||||
| System | CPU: Intel Core Processor (Broadwell), cores: 64, frequency: 2900 MHz; RAM: 131881 MB | |||||||||||
| Date of execution | 2024-10-08 07:52:55 UTC | 2024-10-10 09:23:08 UTC | 2024-10-08 08:04:14 UTC | 2024-10-09 13:38:37 UTC | ||||||||
| Run set | benchmark-craris-cr.default.ARI-LCTRSs | benchmark-crest-cr.default.ARI-LCTRSs | benchmark-ctrl-cr.default.ARI-LCTRSs | benchmark-prototype-cade.default.ARI-LCTRSs | ||||||||
| Options |
| |||||||||||
Statistics
craris-cr 2024-10-08 07:52:55 UTC benchmark-craris-cr.default.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC benchmark-crest-cr.default.ARI-LCTRSs
ctrl 2024-10-08 08:04:14 UTC benchmark-ctrl-cr.default.ARI-LCTRSs
prototype-cade 2024-10-09 13:38:37 UTC benchmark-prototype-cade.default.ARI-LCTRSs
Click here to select columns
status
cputime
(s)
(s)
walltime
(s)
(s)
status
cputime
(s)
(s)
walltime
(s)
(s)
status
cputime
(s)
(s)
walltime
(s)
(s)
status
cputime
(s)
(s)
walltime
(s)
(s)
all results
107
5.21
14.4
107
512
197
107
5.88
17.5
107
141
122
local summary
-
6.11
3.41
-
330
30.5
-
6.69
35.6
-
142
13.6
Generated by BenchExec 3.25