Task filter
Tracer-X 2021-12-16 00:12:46 CET tracerx.Test-Comp22_coverage-error-call.ReachSafety-XCSP
Add filter for:
TestCov 2021-12-16 03:53:53 CET testcov-validate-test-suites-tracerx.Test-Comp22_coverage-error-call.ReachSafety-XCSP
Add filter for:
Benchmark Setup
Benchmark | Tracer-X | TestCov | |||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tool | Tracer-X 1.2.0 | TestCov 3.5.post4 | |||||||||||||||||
Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 | timelimit: 300 s, memlimit: 7000 MB, CPU core limit: 2 | |||||||||||||||||
Host | Unknown | ||||||||||||||||||
OS | Unknown | ||||||||||||||||||
System | Unknown | ||||||||||||||||||
Date of execution | 2021-12-16 00:12:46 CET | 2021-12-16 03:53:53 CET | |||||||||||||||||
Run set | tracerx.Test-Comp22_coverage-error-call.ReachSafety-XCSP | testcov-validate-test-suites-tracerx.Test-Comp22_coverage-error-call.ReachSafety-XCSP | |||||||||||||||||
Options |
| ||||||||||||||||||
Properties | coverage-error-call |
Statistics
Tracer-X 2021-12-16 00:12:46 CET tracerx.Test-Comp22_coverage-error-call.ReachSafety-XCSP
TestCov 2021-12-16 03:53:53 CET testcov-validate-test-suites-tracerx.Test-Comp22_coverage-error-call.ReachSafety-XCSP
Click here to select columns
status
cpu
(s)
(s)
wall
(s)
(s)
mem
(MB)
(MB)
energy
(J)
(J)
status
cpu
(s)
(s)
wall
(s)
(s)
mem
(MB)
(MB)
total
59
5.4
5.4
770
64
59
12
12
1200
Generated by BenchExec 3.11-dev