Task filter


crest-cr 2024-10-10 09:23:08 UTC KB.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC O.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC WO.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC SC.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC PC.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC APC.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC DC.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC ADC.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC PCP.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC CR.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC NCR.ARI-LCTRSs

Add filter for:

crest-cr 2024-10-10 09:23:08 UTC default.ARI-LCTRSs

Add filter for:

Summary Table Quantile Plot Scatter Plot Info

Benchmark Setup

Toolcrest-cr
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:23:08 UTC
Run setKB.ARI-LCTRSsO.ARI-LCTRSsWO.ARI-LCTRSsSC.ARI-LCTRSsPC.ARI-LCTRSsAPC.ARI-LCTRSsDC.ARI-LCTRSsADC.ARI-LCTRSsPCP.ARI-LCTRSsCR.ARI-LCTRSsNCR.ARI-LCTRSsdefault.ARI-LCTRSs
Options
  • -s kbc
  • -j 8
  • -s o
  • -j 8
  • -s wo
  • -j 8
  • -s sc
  • -j 8
  • -s pc
  • -j 8
  • -s apc,apch
  • -j 8
  • -s dc
  • -j 8
  • -s adc,adch
  • -j 8
  • -s pcp
  • -j 8
  • -s sc,pc,apc,apch,dc,adc,adch,kbc,pcp
  • -j 8
  • -s dnfs
  • -j 8
  • -j 8

Statistics

crest-cr 2024-10-10 09:23:08 UTC KB.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC O.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC WO.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC SC.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC PC.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC APC.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC DC.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC ADC.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC PCP.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC CR.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC NCR.ARI-LCTRSs
crest-cr 2024-10-10 09:23:08 UTC default.ARI-LCTRSs
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)
 
status
cputime
(s)
walltime
(s)
 
status
cputime
(s)
walltime
(s)
 
status
cputime
(s)
walltime
(s)
 
status
cputime
(s)
walltime
(s)
 
status
cputime
(s)
walltime
(s)
 
status
cputime
(s)
walltime
(s)
 
status
cputime
(s)
walltime
(s)
 
status
cputime
(s)
walltime
(s)
all results
107
530
487  
107
5.08
11.0 
107
5.97
12.6 
107
136
129  
107
43.9
46.9
107
1350
1180
107
38.1
42.2
107
278
220  
107
1640
1490
107
1730
899  
107
225
210  
107
512
197  
local summary
-
330
62.8
-
6.06
2.78
-
7.03
3.11
-
116
56.7
-
45.2
25.3
-
896
115
-
39.5
19.7
-
206
51.0
-
1110
132
-
1120
97.1
-
160
59.1
-
330
30.5

Generated by BenchExec 3.25