Task filter
crest-cr 2024-10-10 10:06:23 UTC benchmark-crest-cr.default.ARI-TRSs
Add filter for:
csi 2024-10-10 11:58:57 UTC benchmark-csi.default.ARI-TRSs
Add filter for:
Benchmark Setup
| Tool | crest-cr | csi | ||||
|---|---|---|---|---|---|---|
| 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-10 10:06:23 UTC | 2024-10-10 11:58:57 UTC | ||||
| Run set | benchmark-crest-cr.default.ARI-TRSs | benchmark-csi.default.ARI-TRSs | ||||
| Options |
| |||||
Statistics
crest-cr 2024-10-10 10:06:23 UTC benchmark-crest-cr.default.ARI-TRSs
csi 2024-10-10 11:58:57 UTC benchmark-csi.default.ARI-TRSs
Click here to select columns
status
cputime
(s)
(s)
walltime
(s)
(s)
status
cputime
(s)
(s)
walltime
(s)
(s)
all results
566
20200
8980
566
11300
3540
local summary
-
20200
645
-
11400
289
Generated by BenchExec 3.25