esbmc-kind.2024-12-18_07-10-21.results.Test-Comp25_coverage-branches.Termination-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-branches.Termination-BitVectors									testcov-validate-test-suites-clang-formatted-esbmc-kind.Test-Comp25_coverage-branches.Termination-BitVectors										testcov-validate-test-suites-clang-unformatted-esbmc-kind.Test-Comp25_coverage-branches.Termination-BitVectors										testcov-validate-test-suites-gcc-formatted-esbmc-kind.Test-Comp25_coverage-branches.Termination-BitVectors										testcov-validate-test-suites-gcc-unformatted-esbmc-kind.Test-Comp25_coverage-branches.Termination-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-branches

Statistics

all results

21

21.0

3.8

3.8

870

21

2000

70

75

1700

21

2000

69

74

1700

21

2100

61

66

1600

21

2100

61

66

1600

correct results

21

21.0

3.8

3.8

870

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

correct true

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

0

-

-

-

-

correct false

21

21.0

3.8

3.8

870

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