esbmc-kind.2024-12-18_07-10-21.results.Test-Comp25_coverage-error-call.ReachSafety-BitVectors.xml.bz2.fixed.xml.bz2 – BenchExec results

Benchmark Setup

Benchmark	ESBMC-kind									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-18 07:10:21 CET									2024-12-23 23:58:57 CET
Run set	esbmc-kind.Test-Comp25_coverage-error-call.ReachSafety-BitVectors									testcov-validate-test-suites-clang-formatted-esbmc-kind.Test-Comp25_coverage-error-call.ReachSafety-BitVectors										testcov-validate-test-suites-clang-unformatted-esbmc-kind.Test-Comp25_coverage-error-call.ReachSafety-BitVectors										testcov-validate-test-suites-gcc-formatted-esbmc-kind.Test-Comp25_coverage-error-call.ReachSafety-BitVectors										testcov-validate-test-suites-gcc-unformatted-esbmc-kind.Test-Comp25_coverage-error-call.ReachSafety-BitVectors
Options	`-s kinduction` `-o branch`									`--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-kind.2024-12-18_07-10-21.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-kind.2024-12-18_07-10-21.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-kind.2024-12-18_07-10-21.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-kind.2024-12-18_07-10-21.files/${rundefinition_name}/${taskdef_name}/test-suite.zip`
Properties	coverage-error-call

Statistics

all results

9

8

930

930

1100

9

800

11

12

700

9

800

9.9

11

690

9

800

10

11

650

9

800

8.8

9.9

630

correct results

8

8

30

30

500

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

correct true

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

correct false

8

8

30

30

500

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