Gnuplot
Produced by GNUPLOT 5.4 patchlevel 2
0
200
400
600
800
1000
1200
0
200
400
600
800
1000
Min. number of test tasks
Cumulative score
CoVeriTest
CoVeriTest
ESBMC-kind
ESBMC-kind
FuSeBMC
FuSeBMC
FuSeBMC-IA
FuSeBMC-IA
HybridTiger
HybridTiger
KLEE
KLEE
Legion/SymCC
Legion/SymCC
PRTest
PRTest
Symbiotic
Symbiotic
VeriFuzz
VeriFuzz
WASP-C
WASP-C