klee.2024-12-22_14-23-31.results.Test-Comp25_coverage-error-call.ReachSafety-Floats.xml.bz2.fixed.xml.bz2 – BenchExec results

Benchmark Setup

Benchmark	KLEE									TestCov
Tool	KLEE 2.2-pre-test-comp									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-22 14:23:31 CET									2024-12-24 12:25:39 CET
Run set	klee.Test-Comp25_coverage-error-call.ReachSafety-Floats									testcov-validate-test-suites-clang-formatted-klee.Test-Comp25_coverage-error-call.ReachSafety-Floats										testcov-validate-test-suites-clang-unformatted-klee.Test-Comp25_coverage-error-call.ReachSafety-Floats										testcov-validate-test-suites-gcc-formatted-klee.Test-Comp25_coverage-error-call.ReachSafety-Floats										testcov-validate-test-suites-gcc-unformatted-klee.Test-Comp25_coverage-error-call.ReachSafety-Floats
Options										`--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/klee.2024-12-22_14-23-31.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/klee.2024-12-22_14-23-31.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/klee.2024-12-22_14-23-31.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/klee.2024-12-22_14-23-31.files/${rundefinition_name}/${taskdef_name}/test-suite.zip`
Properties	coverage-error-call

Statistics

all results

33

8

5000

5000

95000

33

800

14

15

1500

33

800

13

15

1200

33

800

13

15

1400

33

800

12

14

1200

correct results

8

8

2.9

3.0

300

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

correct true

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

correct false

8

8

2.9

3.0

300

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