Gnuplot
Produced by GNUPLOT 5.2 patchlevel 2
0
500
1000
1500
2000
2500
0
200
400
600
800
1000
1200
1400
1600
Min. number of test tasks
Cumulative score
CoVeriTest
CoVeriTest
HybridTiger
HybridTiger
KLEE
KLEE
Legion
Legion
LibKluzzer
LibKluzzer
PRTest
PRTest
Symbiotic
Symbiotic
Tracer-X
Tracer-X
VeriFuzz
VeriFuzz