esbmc-incr.2024-12-17_20-38-01.results.Test-Comp25_coverage-error-call.ReachSafety-Floats.xml.bz2.fixed.xml.bz2 – BenchExec results

Benchmark Setup

Benchmark	ESBMC-incr									TestCov
Tool	ESBMC version 7.7.0 64-bit x86_64 linux									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-17 20:38:01 CET									2024-12-23 23:58:50 CET																				2024-12-23 23:58:49 CET										2024-12-23 23:58:50 CET
Run set	esbmc-incr.Test-Comp25_coverage-error-call.ReachSafety-Floats									testcov-validate-test-suites-clang-formatted-esbmc-incr.Test-Comp25_coverage-error-call.ReachSafety-Floats										testcov-validate-test-suites-clang-unformatted-esbmc-incr.Test-Comp25_coverage-error-call.ReachSafety-Floats										testcov-validate-test-suites-gcc-formatted-esbmc-incr.Test-Comp25_coverage-error-call.ReachSafety-Floats										testcov-validate-test-suites-gcc-unformatted-esbmc-incr.Test-Comp25_coverage-error-call.ReachSafety-Floats
Options	`-s incr` `-o condition`									`--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/esbmc-incr.2024-12-17_20-38-01.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/esbmc-incr.2024-12-17_20-38-01.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/esbmc-incr.2024-12-17_20-38-01.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/esbmc-incr.2024-12-17_20-38-01.files/${rundefinition_name}/${taskdef_name}/test-suite.zip`
Properties	coverage-error-call

Statistics

all results

33

30

3700

3700

8200

33

3000

33

37

2600

33

3000

32

36

2600

33

3000

30

34

2400

33

3000

29

33

2400

correct results

30

30

950

950

3400

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

correct true

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

correct false

30

30

950

950

3400

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