Task filter
crest-cr 2024-10-08 10:26:37 UTC default.ARI-LCTRSs
Add filter for:
Benchmark Setup
| Tool | crest-cr | ||
|---|---|---|---|
| Limits | timelimit: 10 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 10:26:37 UTC | ||
| Run set | default.ARI-LCTRSs | ||
| Options |
| ||
Statistics
crest-cr 2024-10-08 10:26:37 UTC default.ARI-LCTRSs
Click here to select columns
status
cputime
(s)
(s)
walltime
(s)
(s)
all results
107
154
64.6
local summary
-
113
9.76
Generated by BenchExec 3.25