Task filter
cora 2024-10-08 08:08:25 UTC benchmark-cora.default.ARI-LCTRSs
Add filter for:
crest-sn 2024-10-10 09:36:55 UTC benchmark-crest-sn.default.ARI-LCTRSs
Add filter for:
ctrl 2024-10-08 08:08:56 UTC benchmark-ctrl-sn.default.ARI-LCTRSs
Add filter for:
craris-sn 2024-10-08 08:07:51 UTC benchmark-craris-sn.default.ARI-LCTRSs
Add filter for:
Benchmark Setup
| Tool | cora | crest-sn | ctrl | craris-sn | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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 08:08:25 UTC | 2024-10-10 09:36:55 UTC | 2024-10-08 08:08:56 UTC | 2024-10-08 08:07:51 UTC | ||||||||
| Run set | benchmark-cora.default.ARI-LCTRSs | benchmark-crest-sn.default.ARI-LCTRSs | benchmark-ctrl-sn.default.ARI-LCTRSs | benchmark-craris-sn.default.ARI-LCTRSs | ||||||||
| Options |
| |||||||||||
Statistics
cora 2024-10-08 08:08:25 UTC benchmark-cora.default.ARI-LCTRSs
crest-sn 2024-10-10 09:36:55 UTC benchmark-crest-sn.default.ARI-LCTRSs
ctrl 2024-10-08 08:08:56 UTC benchmark-ctrl-sn.default.ARI-LCTRSs
craris-sn 2024-10-08 08:07:51 UTC benchmark-craris-sn.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
312
264
107
7.94
16.0
107
33.1
103
107
2.09
8.86
local summary
-
313
30.7
-
8.83
3.21
-
33.9
121
-
2.96
3.13
Generated by BenchExec 3.25