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
Symbiotic-Witch
Symbiotic-Witch
UAutomizer
UAutomizer
-100
0
100
200
300
Cumulative score
CPAchecker
CPA-witness2test
CProver-witness2test
Symbiotic-Witch
UAutomizer