Gnuplot
Produced by GNUPLOT 5.2 patchlevel 2
1
10
100
1000
Min. time in s
2LS
2LS
CBMC
CBMC
CPAchecker
CPAchecker
DIVINE
DIVINE
ESBMC-kind
ESBMC-kind
Gazer-Theta
Gazer-Theta
Korn
Korn
PeSCo
PeSCo
Pinaka
Pinaka
Symbiotic
Symbiotic
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
VeriAbs
VeriAbs
-100
-50
0
50
100
Cumulative score
2LS
CBMC
CPAchecker
DIVINE
ESBMC-kind
Gazer-Theta
Korn
PeSCo
Pinaka
Symbiotic
UAutomizer
UKojak
UTaipan
VeriAbs