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
CPA-BAM-BnB
CPA-BAM-BnB
CPA-BAM-SMG
CPA-BAM-SMG
CPAchecker-2-1
CPAchecker-2-1
Crux
Crux
DIVINE
DIVINE
ESBMC-kind
ESBMC-kind
Goblint
Goblint
Graves-CPA
Graves-CPA
PeSCo
PeSCo
SMACK
SMACK
Symbiotic
Symbiotic
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
-150
-100
-50
0
50
100
150
200
250
Cumulative score
2LS
CBMC
CVT-AlgoSel
CVT-ParPort
CPA-BAM-BnB
CPA-BAM-SMG
CPAchecker-2-1
Crux
DIVINE
ESBMC-kind
Goblint
Graves-CPA
PeSCo
SMACK
Symbiotic
UAutomizer
UKojak
UTaipan