Gnuplot
Produced by GNUPLOT 5.2 patchlevel 2
1
10
100
1000
Min. time in s
2LS
2LS
CBMC
CBMC
CPA-BAM-BnB
CPA-BAM-BnB
CPAchecker
CPAchecker
DIVINE
DIVINE
ESBMC-kind
ESBMC-kind
Goblint
Goblint
PeSCo
PeSCo
SMACK
SMACK
Symbiotic
Symbiotic
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
-500
0
500
1000
1500
2000
Cumulative score
2LS
CBMC
CPA-BAM-BnB
CPAchecker
DIVINE
ESBMC-kind
Goblint
PeSCo
SMACK
Symbiotic
UAutomizer
UKojak
UTaipan