Gnuplot
Produced by GNUPLOT 5.4 patchlevel 2
1
10
100
1000
Min. time in s
2LS
2LS
Bubaak
Bubaak
CBMC
CBMC
CVT-AlgoSel
CVT-AlgoSel
CVT-ParPort
CVT-ParPort
CPAchecker
CPAchecker
Crux
Crux
DIVINE
DIVINE
ESBMC-kind
ESBMC-kind
Goblint
Goblint
Graves-CPA
Graves-CPA
Graves-Par
Graves-Par
Infer
Infer
Mopsa
Mopsa
PeSCo-CPA
PeSCo-CPA
Pinaka
Pinaka
Symbiotic
Symbiotic
Theta
Theta
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
VeriAbs
VeriAbs
VeriAbsL
VeriAbsL
VeriFuzz
VeriFuzz
-100
-50
0
50
100
150
Cumulative score
2LS
Bubaak
CBMC
CVT-AlgoSel
CVT-ParPort
CPAchecker
Crux
DIVINE
ESBMC-kind
Goblint
Graves-CPA
Graves-Par
Infer
Mopsa
PeSCo-CPA
Pinaka
Symbiotic
Theta
UAutomizer
UKojak
UTaipan
VeriAbs
VeriAbsL
VeriFuzz