owic.2024-12-23_05-13-28.results.Test-Comp25_coverage-branches.ReachSafety-Fuzzle.xml.bz2.fixed.xml.bz2 – BenchExec results

Benchmark Setup

Benchmark	Owi									TestCov
Tool	Owi %%VERSION%%									TestCov 3.11
Limits	timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 4									timelimit: 600 s, memlimit: 7000 MB, CPU core limit: 2
Host	apollon*
OS	Linux 6.8.0-51-generic
System	CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: disabled; RAM: 33471 MB
Date of execution	2024-12-23 05:13:28 CET									2024-12-24 13:13:13 CET										2024-12-24 13:13:14 CET
Run set	owic.Test-Comp25_coverage-branches.ReachSafety-Fuzzle									testcov-validate-test-suites-clang-formatted-owic.Test-Comp25_coverage-branches.ReachSafety-Fuzzle										testcov-validate-test-suites-clang-unformatted-owic.Test-Comp25_coverage-branches.ReachSafety-Fuzzle										testcov-validate-test-suites-gcc-formatted-owic.Test-Comp25_coverage-branches.ReachSafety-Fuzzle										testcov-validate-test-suites-gcc-unformatted-owic.Test-Comp25_coverage-branches.ReachSafety-Fuzzle
Options	`--testcomp`									`--memlimit 6GB` `--timelimit-per-run 50` `--format` `--verbose` `--no-plots` `--prep-cgroup` `--disable-info-files` `--compiler clang` `--cov-tool llvm-cov` `--reduction BY_ORDER` `--reduction-output test-suite` `--test-suite ../../results-verified/owic.2024-12-23_05-13-28.files/${rundefinition_name}/${taskdef_name}/test-suite.zip`										`--memlimit 6GB` `--timelimit-per-run 50` `--verbose` `--no-plots` `--prep-cgroup` `--disable-info-files` `--compiler clang` `--cov-tool llvm-cov` `--reduction BY_ORDER` `--reduction-output test-suite` `--test-suite ../../results-verified/owic.2024-12-23_05-13-28.files/${rundefinition_name}/${taskdef_name}/test-suite.zip`										`--memlimit 6GB` `--timelimit-per-run 50` `--format` `--verbose` `--no-plots` `--prep-cgroup` `--disable-info-files` `--reduction BY_ORDER` `--reduction-output test-suite` `--test-suite ../../results-verified/owic.2024-12-23_05-13-28.files/${rundefinition_name}/${taskdef_name}/test-suite.zip`										`--memlimit 6GB` `--timelimit-per-run 50` `--verbose` `--no-plots` `--prep-cgroup` `--disable-info-files` `--reduction BY_ORDER` `--reduction-output test-suite` `--test-suite ../../results-verified/owic.2024-12-23_05-13-28.files/${rundefinition_name}/${taskdef_name}/test-suite.zip`
Properties	coverage-branches

Statistics

all results

15

.0268

13000

3300

7900

15

2.50

2000

2100

5300

15

2.50

2000

2100

5300

15

2.67

2100

2200

5500

15

2.67

2100

2200

5400

correct results

1

.0088

81

26

340

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

correct true

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

correct false

1

.0088

81

26

340

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

incorrect results

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

incorrect true

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

incorrect false

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

Generated by BenchExec 3.29

BenchExec