Gnuplot
Produced by GNUPLOT 5.4 patchlevel 2
1
10
100
1000
Min. time in s
CPAchecker
CPAchecker
CSeq
CSeq
Dartagnan
Dartagnan
Deagle
Deagle
Goblint
Goblint
Locksmith
Locksmith
Theta
Theta
UAutomizer
UAutomizer
UGemCutter
UGemCutter
UTaipan
UTaipan
-500
0
500
1000
Cumulative score
CPAchecker
CSeq
Dartagnan
Deagle
Goblint
Locksmith
Theta
UAutomizer
UGemCutter
UTaipan