Task filter
CPAchecker 2021-12-16 04:41:54 CET [Test-Comp22_coverage-error-call.ReachSafety-Arrays; Test-Comp22_coverage-error-call.ReachSafety-BitVectors; Test-Comp22_coverage-error-call.ReachSafety-ControlFlow; Test-Comp22_coverage-error-call.ReachSafety-ECA; Test-Comp22_coverage-error-call.ReachSafety-Floats; Test-Comp22_coverage-error-call.ReachSafety-Heap; Test-Comp22_coverage-error-call.ReachSafety-Loops; Test-Comp22_coverage-error-call.ReachSafety-ProductLines; Test-Comp22_coverage-error-call.ReachSafety-Recursive; Test-Comp22_coverage-error-call.ReachSafety-Sequentialized; Test-Comp22_coverage-error-call.ReachSafety-XCSP; Test-Comp22_coverage-error-call.SoftwareSystems-BusyBox-MemSafety; Test-Comp22_coverage-error-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety]
Add filter for:
Benchmark Setup
Benchmark | HybridTiger | ||||
---|---|---|---|---|---|
Tool | CPAchecker 1.9.2-svn-35606M | ||||
Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 | ||||
Host | Unknown | ||||
OS | Unknown | ||||
System | Unknown | ||||
Date of execution | 2021-12-16 04:41:54 CET | ||||
Run set | [Test-Comp22_coverage-error-call.ReachSafety-Arrays; Test-Comp22_coverage-error-call.ReachSafety-BitVectors; Test-Comp22_coverage-error-call.ReachSafety-ControlFlow; Test-Comp22_coverage-error-call.ReachSafety-ECA; Test-Comp22_coverage-error-call.ReachSafety-Floats; Test-Comp22_coverage-error-call.ReachSafety-Heap; Test-Comp22_coverage-error-call.ReachSafety-Loops; Test-Comp22_coverage-error-call.ReachSafety-ProductLines; Test-Comp22_coverage-error-call.ReachSafety-Recursive; Test-Comp22_coverage-error-call.ReachSafety-Sequentialized; Test-Comp22_coverage-error-call.ReachSafety-XCSP; Test-Comp22_coverage-error-call.SoftwareSystems-BusyBox-MemSafety; Test-Comp22_coverage-error-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety] | ||||
Options |
| ||||
Properties | coverage-error-call |
Statistics
CPAchecker 2021-12-16 04:41:54 CET [Test-Comp22_coverage-error-call.ReachSafety-Arrays; Test-Comp22_coverage-error-call.ReachSafety-BitVectors; Test-Comp22_coverage-error-call.ReachSafety-ControlFlow; Test-Comp22_coverage-error-call.ReachSafety-ECA; Test-Comp22_coverage-error-call.ReachSafety-Floats; Test-Comp22_coverage-error-call.ReachSafety-Heap; Test-Comp22_coverage-error-call.ReachSafety-Loops; Test-Comp22_coverage-error-call.ReachSafety-ProductLines; Test-Comp22_coverage-error-call.ReachSafety-Recursive; Test-Comp22_coverage-error-call.ReachSafety-Sequentialized; Test-Comp22_coverage-error-call.ReachSafety-XCSP; Test-Comp22_coverage-error-call.SoftwareSystems-BusyBox-MemSafety; Test-Comp22_coverage-error-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety]
Click here to select columns
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
energy
(J)
(J)
total
776
413
510000
2000000
5700000
correct results
123
123
14000
130000
150000
correct true
123
123
14000
130000
150000
correct false
0
-
-
-
-
incorrect results
0
-
-
-
-
incorrect true
0
-
-
-
-
incorrect false
0
-
-
-
-
Generated by BenchExec 3.11-dev