Task filter
CMA-ES Fuzz 2021-12-15 19:44:24 CET cmaesfuzz.Test-Comp22_coverage-error-call.ReachSafety-Sequentialized
Add filter for:
TestCov 2021-12-16 00:00:01 CET testcov-validate-test-suites-cmaesfuzz.Test-Comp22_coverage-error-call.ReachSafety-Sequentialized
Add filter for:
Benchmark Setup
Benchmark | CMA-ES Fuzz | TestCov | |||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tool | CMA-ES Fuzz | TestCov 3.5.post4 | |||||||||||||||||
Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 1 | timelimit: 300 s, memlimit: 7000 MB, CPU core limit: 2 | |||||||||||||||||
Host | Unknown | ||||||||||||||||||
OS | Unknown | ||||||||||||||||||
System | Unknown | ||||||||||||||||||
Date of execution | 2021-12-15 19:44:24 CET | 2021-12-16 00:00:01 CET | |||||||||||||||||
Run set | cmaesfuzz.Test-Comp22_coverage-error-call.ReachSafety-Sequentialized | testcov-validate-test-suites-cmaesfuzz.Test-Comp22_coverage-error-call.ReachSafety-Sequentialized | |||||||||||||||||
Options |
|
| |||||||||||||||||
Properties | coverage-error-call |
Statistics
CMA-ES Fuzz 2021-12-15 19:44:24 CET cmaesfuzz.Test-Comp22_coverage-error-call.ReachSafety-Sequentialized
TestCov 2021-12-16 00:00:01 CET testcov-validate-test-suites-cmaesfuzz.Test-Comp22_coverage-error-call.ReachSafety-Sequentialized
Click here to select columns
status
cpu
(s)
(s)
wall
(s)
(s)
mem
(MB)
(MB)
status
cpu
(s)
(s)
wall
(s)
(s)
mem
(MB)
(MB)
total
107
130
130
5300
107
22
22
2200
Generated by BenchExec 3.11-dev