Gnuplot
Produced by GNUPLOT 5.0 patchlevel 3
1
10
100
1000
Time in s
2LS
2LS
CBMC-Path
CBMC-Path
CBMC
CBMC
CPA-Seq
CPA-Seq
DepthK
DepthK
DIVINE-explicit
DIVINE-explicit
DIVINE-SMT
DIVINE-SMT
ESBMC-kind
ESBMC-kind
PeSCo
PeSCo
Symbiotic
Symbiotic
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
VeriAbs
VeriAbs
VeriFuzz
VeriFuzz
-1000
0
1000
2000
3000
4000
Accumulated score
2LS
CBMC-Path
CBMC
CPA-Seq
DepthK
DIVINE-explicit
DIVINE-SMT
ESBMC-kind
PeSCo
Symbiotic
UAutomizer
UKojak
UTaipan
VeriAbs
VeriFuzz