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

BenchmarkHybridTiger
ToolCPAchecker 1.9.2-svn-35606M
Limitstimelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
HostUnknown
OSUnknown
SystemUnknown
Date of execution2021-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
  • -benchmark
  • -heap 10000M
  • -tigertestcomp20
Propertiescoverage-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)
mem
(MB)
energy
(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