table4 – BenchExec results

Benchmark Setup

Tool	crest-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-10 09:36:55 UTC
Run set	DPG.ARI-LCTRSs			CRO.ARI-LCTRSs			CRODP.ARI-LCTRSs			SC.ARI-LCTRSs			VC.ARI-LCTRSs			VCPOL.ARI-LCTRSs			RPAIR.ARI-LCTRSs			default.ARI-LCTRSs
Options	`-s dpg` `-j 8`			`-s cro` `-j 8`			`-s crodp` `-j 8`			`-s sc` `-j 8`			`-s vc` `-j 8`			`-s vclin` `-j 8`			`-s rpair[vc,sc,cro]` `-j 8`			`-j 8`

Statistics

all results

107

4.48

9.32

107

5.28

12.0

107

7.07

12.4

107

4.78

12.5

107

5.08

14.1

107

5.19

12.7

107

6.76

14.5

107

7.94

16.0

local summary

-

5.47

2.69

-

6.52

3.21

-

8.36

3.11

-

5.96

3.40

-

6.16

3.28

-

6.32

3.31

-

8.12

3.80

-

8.83

3.21

Generated by BenchExec 3.25

BenchExec