Gnuplot
Produced by GNUPLOT 5.2 patchlevel 8
1
10
100
1000
Min. time in s
2LS
2LS
CBMC
CBMC
CVT-AlgoSel
CVT-AlgoSel
CVT-ParPort
CVT-ParPort
CPAchecker-2-1
CPAchecker-2-1
Crux
Crux
Dartagnan
Dartagnan
DIVINE
DIVINE
ESBMC-kind
ESBMC-kind
Frama-C-SV
Frama-C-SV
Gazer-Theta
Gazer-Theta
Goblint
Goblint
Graves-CPA
Graves-CPA
Infer
Infer
Korn
Korn
LART
LART
PeSCo
PeSCo
Pinaka
Pinaka
Symbiotic
Symbiotic
Theta
Theta
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
VeriAbs
VeriAbs
VeriFuzz
VeriFuzz
-600
-400
-200
0
200
400
600
800
1000
Cumulative score
2LS
CBMC
CVT-AlgoSel
CVT-ParPort
CPAchecker-2-1
Crux
Dartagnan
DIVINE
ESBMC-kind
Frama-C-SV
Gazer-Theta
Goblint
Graves-CPA
Infer
Korn
LART
PeSCo
Pinaka
Symbiotic
Theta
UAutomizer
UKojak
UTaipan
VeriAbs
VeriFuzz