Gnuplot
Produced by GNUPLOT 5.4 patchlevel 2
1
10
100
1000
Min. time in s
CPAchecker
CPAchecker
CPA-witness2test
CPA-witness2test
CProver-witness2test
CProver-witness2test
MetaVal
MetaVal
NITWIT
NITWIT
Symbiotic-Witch
Symbiotic-Witch
UAutomizer
UAutomizer
-2000
0
2000
4000
6000
8000
10000
Cumulative score
CPAchecker
CPA-witness2test
CProver-witness2test
MetaVal
NITWIT
Symbiotic-Witch
UAutomizer