Gnuplot
Produced by GNUPLOT 5.4 patchlevel 2
0
50
100
150
200
250
0
20
40
60
80
100
120
140
160
Min. number of test tasks
Cumulative score
CoVeriTest
CoVeriTest
ESBMC-kind
ESBMC-kind
FuSeBMC
FuSeBMC
FuSeBMC-IA
FuSeBMC-IA
HybridTiger
HybridTiger
KLEE
KLEE
Legion
Legion
Legion/SymCC
Legion/SymCC
PRTest
PRTest
Symbiotic
Symbiotic
TracerX
TracerX
VeriFuzz
VeriFuzz
WASP-C
WASP-C