Task filter


crest-cr 2024-10-10 09:34:06 UTC benchmark-crest-cr.default.examples

Add filter for:

craris-cr 2024-10-09 13:44:12 UTC benchmark-craris-cr.default.examples

Add filter for:

ctrl 2024-10-09 13:47:09 UTC benchmark-ctrl-cr.default.examples

Add filter for:

prototype-cade 2024-10-09 13:47:05 UTC benchmark-prototype-cade.default.examples

Add filter for:

Summary Table Quantile Plot Scatter Plot Info

Benchmark Setup

Toolcrest-cr craris-cr ctrl prototype-cade
Limitstimelimit: 60 s, memlimit: 8000 MB, CPU core limit: 4
Hosttcs-jschoepf
OSLinux-5.15.0-122-generic-x86_64-with-glibc2.35
SystemCPU: Intel Core Processor (Broadwell), cores: 64, frequency: 2900 MHz; RAM: 131881 MB
Date of execution2024-10-10 09:34:06 UTC2024-10-09 13:44:12 UTC2024-10-09 13:47:09 UTC2024-10-09 13:47:05 UTC
Run setbenchmark-crest-cr.default.examplesbenchmark-craris-cr.default.examplesbenchmark-ctrl-cr.default.examplesbenchmark-prototype-cade.default.examples
Options
  • -j 8

Statistics

crest-cr 2024-10-10 09:34:06 UTC benchmark-crest-cr.default.examples
craris-cr 2024-10-09 13:44:12 UTC benchmark-craris-cr.default.examples
ctrl 2024-10-09 13:47:09 UTC benchmark-ctrl-cr.default.examples
prototype-cade 2024-10-09 13:47:05 UTC benchmark-prototype-cade.default.examples
Click here to select columns
 
status
cputime
(s)
walltime
(s)
 
status
cputime
(s)
walltime
(s)
 
status
cputime
(s)
walltime
(s)
 
status
cputime
(s)
walltime
(s)
all results
6
44.7
12.4 
6
.0739
.262
6
.647
2.01
6
6.43
5.44
local summary
-
44.8
9.72
-
.118 
.326
-
.699
3.04
-
6.47
3.45

Generated by BenchExec 3.25