Gnuplot
Produced by GNUPLOT 5.0 patchlevel 3
1
10
100
1000
Time in s
2LS
2LS
BLAST
BLAST
CBMC
CBMC
Ceagle
Ceagle
CPA-BAM-BnB
CPA-BAM-BnB
CPA-kInd
CPA-kInd
CPA-Seq
CPA-Seq
DepthK
DepthK
ESBMC-falsi
ESBMC-falsi
ESBMC-incr
ESBMC-incr
ESBMC-kind
ESBMC-kind
ESBMC
ESBMC
SMACK
SMACK
Symbiotic
Symbiotic
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
-200
-100
0
100
200
300
Accumulated score
2LS
BLAST
CBMC
Ceagle
CPA-BAM-BnB
CPA-kInd
CPA-Seq
DepthK
ESBMC-falsi
ESBMC-incr
ESBMC-kind
ESBMC
SMACK
Symbiotic
UAutomizer
UKojak
UTaipan