Gnuplot
Produced by GNUPLOT 5.4 patchlevel 2
1
10
100
1000
Min. time in s
2LS
2LS
Bubaak
Bubaak
CBMC
CBMC
CVT-ParPort
CVT-ParPort
CPA-BAM-SMG
CPA-BAM-SMG
CPAchecker
CPAchecker
ESBMC-kind
ESBMC-kind
Graves-CPA
Graves-CPA
Graves-Par
Graves-Par
Mopsa
Mopsa
PeSCo-CPA
PeSCo-CPA
PredatorHP
PredatorHP
Symbiotic
Symbiotic
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
-60
-40
-20
0
20
40
Cumulative score
2LS
Bubaak
CBMC
CVT-ParPort
CPA-BAM-SMG
CPAchecker
ESBMC-kind
Graves-CPA
Graves-Par
Mopsa
PeSCo-CPA
PredatorHP
Symbiotic
UAutomizer
UKojak
UTaipan