Task filter
cetfuzz 2023-12-13 03:30:21 CET cetfuzz.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
CPAchecker 2023-12-10 11:47:16 CET coveritest.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
FDSE 2023-12-12 04:10:34 CET fdse.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
Fizzer 2023-12-10 16:44:12 CET fizzer.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
FuSeBMC 2023-12-10 11:48:41 CET fusebmc.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
FuSeBMC 2023-12-11 00:20:48 CET fusebmc-ia.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
CPAchecker 2023-12-20 19:51:14 CET hybridtiger.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
KLEE 2023-12-21 19:27:39 CET klee.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
KLEEF 2023-12-22 17:56:25 CET kleef.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
Legion 2023-12-21 08:25:46 CET legion.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
Legion/SymCC 2023-12-21 03:15:19 CET legion-symcc.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
Owi 2023-12-13 08:41:50 CET owic.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
PRTest 2023-12-10 11:48:15 CET prtest.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
symbiotic 2023-12-12 08:27:09 CET symbiotic.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
Tracer-X 2023-12-11 08:21:26 CET tracerx.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
TracerX-WP 2023-12-12 23:17:43 CET tracerx-wp.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
ULTIMATE TestGen 2023-12-12 15:06:35 CET utestgen.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
WASP-C 2023-12-20 19:53:37 CET wasp-c.Test-Comp24_coverage-branches.Termination-MainControlFlow
Add filter for:
Benchmark Setup
Benchmark | cetfuzz | CPA/CoVeriTest | FDSE | fizzer | FuSeBMC | FuSeBMC_AI | HybridTiger | KLEE | KLEEF | Legion | Legion/SymCC | Owi | PRtest | Symbiotic | Tracer-X | TracerX-WP | UTestGen | WASP-C | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tool | cetfuzz 1.0.0 | CPAchecker 2.2.1-svn-44999 | FDSE testcomp24 | Fizzer 0.1 | FuSeBMC v.4.2.1 | FuSeBMC v.5.1.0 | CPAchecker 1.9.2-svn-35606M | KLEE 2.2-pre-test-comp | KLEEF 3.0 | Legion 1.0-testcomp2021 | Legion/SymCC testcomp2023 | Owi %%VERSION%% | PRTest v2.3 | symbiotic 10.0.0-rc1-647ccad1 | Tracer-X 1.2.0 | TracerX-WP 1.2.0 | ULTIMATE TestGen 0.2.3-ea2a3342 | WASP-C version 0.1 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Limits | timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 4 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Host | apollon* | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
OS | Linux 5.15.0-91-generic | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
System | CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: disabled; RAM: 33467 MB | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Date of execution | 2023-12-13 03:30:21 CET | 2023-12-10 11:47:16 CET | 2023-12-12 04:10:34 CET | 2023-12-10 16:44:12 CET | 2023-12-10 11:48:41 CET | 2023-12-11 00:20:48 CET | 2023-12-20 19:51:14 CET | 2023-12-21 19:27:39 CET | 2023-12-22 17:56:25 CET | 2023-12-21 08:25:46 CET | 2023-12-21 03:15:19 CET | 2023-12-13 08:41:50 CET | 2023-12-10 11:48:15 CET | 2023-12-12 08:27:09 CET | 2023-12-11 08:21:26 CET | 2023-12-12 23:17:43 CET | 2023-12-12 15:06:35 CET | 2023-12-20 19:53:37 CET | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Run set | cetfuzz.Test-Comp24_coverage-branches.Termination-MainControlFlow | coveritest.Test-Comp24_coverage-branches.Termination-MainControlFlow | fdse.Test-Comp24_coverage-branches.Termination-MainControlFlow | fizzer.Test-Comp24_coverage-branches.Termination-MainControlFlow | fusebmc.Test-Comp24_coverage-branches.Termination-MainControlFlow | fusebmc-ia.Test-Comp24_coverage-branches.Termination-MainControlFlow | hybridtiger.Test-Comp24_coverage-branches.Termination-MainControlFlow | klee.Test-Comp24_coverage-branches.Termination-MainControlFlow | kleef.Test-Comp24_coverage-branches.Termination-MainControlFlow | legion.Test-Comp24_coverage-branches.Termination-MainControlFlow | legion-symcc.Test-Comp24_coverage-branches.Termination-MainControlFlow | owic.Test-Comp24_coverage-branches.Termination-MainControlFlow | prtest.Test-Comp24_coverage-branches.Termination-MainControlFlow | symbiotic.Test-Comp24_coverage-branches.Termination-MainControlFlow | tracerx.Test-Comp24_coverage-branches.Termination-MainControlFlow | tracerx-wp.Test-Comp24_coverage-branches.Termination-MainControlFlow | utestgen.Test-Comp24_coverage-branches.Termination-MainControlFlow | wasp-c.Test-Comp24_coverage-branches.Termination-MainControlFlow | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Options |
|
|
|
|
|
|
|
|
|
|
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Properties | coverage-branches |
Statistics
cetfuzz 2023-12-13 03:30:21 CET cetfuzz.Test-Comp24_coverage-branches.Termination-MainControlFlow
CPAchecker 2023-12-10 11:47:16 CET coveritest.Test-Comp24_coverage-branches.Termination-MainControlFlow
FDSE 2023-12-12 04:10:34 CET fdse.Test-Comp24_coverage-branches.Termination-MainControlFlow
Fizzer 2023-12-10 16:44:12 CET fizzer.Test-Comp24_coverage-branches.Termination-MainControlFlow
FuSeBMC 2023-12-10 11:48:41 CET fusebmc.Test-Comp24_coverage-branches.Termination-MainControlFlow
FuSeBMC 2023-12-11 00:20:48 CET fusebmc-ia.Test-Comp24_coverage-branches.Termination-MainControlFlow
CPAchecker 2023-12-20 19:51:14 CET hybridtiger.Test-Comp24_coverage-branches.Termination-MainControlFlow
KLEE 2023-12-21 19:27:39 CET klee.Test-Comp24_coverage-branches.Termination-MainControlFlow
KLEEF 2023-12-22 17:56:25 CET kleef.Test-Comp24_coverage-branches.Termination-MainControlFlow
Legion 2023-12-21 08:25:46 CET legion.Test-Comp24_coverage-branches.Termination-MainControlFlow
Legion/SymCC 2023-12-21 03:15:19 CET legion-symcc.Test-Comp24_coverage-branches.Termination-MainControlFlow
Owi 2023-12-13 08:41:50 CET owic.Test-Comp24_coverage-branches.Termination-MainControlFlow
PRTest 2023-12-10 11:48:15 CET prtest.Test-Comp24_coverage-branches.Termination-MainControlFlow
symbiotic 2023-12-12 08:27:09 CET symbiotic.Test-Comp24_coverage-branches.Termination-MainControlFlow
Tracer-X 2023-12-11 08:21:26 CET tracerx.Test-Comp24_coverage-branches.Termination-MainControlFlow
TracerX-WP 2023-12-12 23:17:43 CET tracerx-wp.Test-Comp24_coverage-branches.Termination-MainControlFlow
ULTIMATE TestGen 2023-12-12 15:06:35 CET utestgen.Test-Comp24_coverage-branches.Termination-MainControlFlow
WASP-C 2023-12-20 19:53:37 CET wasp-c.Test-Comp24_coverage-branches.Termination-MainControlFlow
Click here to select columns
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
status
raw score
cpu
(s)
(s)
mem
(MB)
(MB)
all results
392
245
270000
43000
392
355
36000
130000
392
358
100000
68000
392
350
35000
170000
392
359
350000
150000
392
358
78000
100000
392
348
31000
250000
392
209
16000
24000
392
355
300000
1300000
392
351
300000
2700000
392
354
260000
2800000
392
304
310000
290000
392
284
320000
34000
392
301
310000
580000
392
325
210000
260000
392
21.3
33000
72000
392
346
18000
140000
392
202
210000
3200000
correct results
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
27
14.7
220
5100
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
correct true
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
27
14.7
220
5100
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
correct false
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
incorrect results
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
incorrect true
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
incorrect false
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
0
-
-
-
Generated by BenchExec 3.20