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
-500
0
500
1000
1500
2000
Cumulative score
CPAchecker
CPA-witness2test
CProver-witness2test
MetaVal
NITWIT
Symbiotic-Witch
UAutomizer