Task filter
KLEE 2020-12-13 07:36:55 CET [Test-Comp21_coverage-error-call.ReachSafety-Arrays; Test-Comp21_coverage-error-call.ReachSafety-BitVectors; Test-Comp21_coverage-error-call.ReachSafety-ControlFlow; Test-Comp21_coverage-error-call.ReachSafety-ECA; Test-Comp21_coverage-error-call.ReachSafety-Floats; Test-Comp21_coverage-error-call.ReachSafety-Heap; Test-Comp21_coverage-error-call.ReachSafety-Loops; Test-Comp21_coverage-error-call.ReachSafety-Recursive; Test-Comp21_coverage-error-call.ReachSafety-Sequentialized; Test-Comp21_coverage-error-call.ReachSafety-XCSP; Test-Comp21_coverage-error-call.SoftwareSystems-BusyBox-MemSafety; Test-Comp21_coverage-error-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety]
Add filter for:
Benchmark Setup
| Benchmark | KLEE | ||||
|---|---|---|---|---|---|
| Tool | KLEE 2.2-pre-test-comp | ||||
| Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 | ||||
| Host | apollon* | ||||
| OS | Linux 5.4.0-56-generic | ||||
| System | CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: disabled; RAM: 33493 MB | ||||
| Date of execution | 2020-12-13 07:36:55 CET | ||||
| Run set | [Test-Comp21_coverage-error-call.ReachSafety-Arrays; Test-Comp21_coverage-error-call.ReachSafety-BitVectors; Test-Comp21_coverage-error-call.ReachSafety-ControlFlow; Test-Comp21_coverage-error-call.ReachSafety-ECA; Test-Comp21_coverage-error-call.ReachSafety-Floats; Test-Comp21_coverage-error-call.ReachSafety-Heap; Test-Comp21_coverage-error-call.ReachSafety-Loops; Test-Comp21_coverage-error-call.ReachSafety-Recursive; Test-Comp21_coverage-error-call.ReachSafety-Sequentialized; Test-Comp21_coverage-error-call.ReachSafety-XCSP; Test-Comp21_coverage-error-call.SoftwareSystems-BusyBox-MemSafety; Test-Comp21_coverage-error-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety] | ||||
| Properties | coverage-error-call | ||||
Statistics
KLEE 2020-12-13 07:36:55 CET [Test-Comp21_coverage-error-call.ReachSafety-Arrays; Test-Comp21_coverage-error-call.ReachSafety-BitVectors; Test-Comp21_coverage-error-call.ReachSafety-ControlFlow; Test-Comp21_coverage-error-call.ReachSafety-ECA; Test-Comp21_coverage-error-call.ReachSafety-Floats; Test-Comp21_coverage-error-call.ReachSafety-Heap; Test-Comp21_coverage-error-call.ReachSafety-Loops; Test-Comp21_coverage-error-call.ReachSafety-Recursive; Test-Comp21_coverage-error-call.ReachSafety-Sequentialized; Test-Comp21_coverage-error-call.ReachSafety-XCSP; Test-Comp21_coverage-error-call.SoftwareSystems-BusyBox-MemSafety; Test-Comp21_coverage-error-call.SoftwareSystems-DeviceDriversLinux64-ReachSafety]
Click here to select columns
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
energy
(J)
(J)
total
607
408
72000
400000
930000
correct results
408
408
11000
59000
150000
correct true
0
-
-
-
-
correct false
408
408
11000
59000
150000
incorrect results
0
-
-
-
-
incorrect true
0
-
-
-
-
incorrect false
0
-
-
-
-
Loading...
Generated by BenchExec 3.6