Gnuplot
Produced by GNUPLOT 5.0 patchlevel 3
1
10
100
1000
Time in s
2LS
2LS
CBMC
CBMC
CPA-Seq
CPA-Seq
DepthK
DepthK
ESBMC-incr
ESBMC-incr
ESBMC-kind
ESBMC-kind
InterpChecker
InterpChecker
Symbiotic
Symbiotic
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
VeriAbs
VeriAbs
-1500
-1000
-500
0
500
1000
1500
2000
2500
3000
Accumulated score
2LS
CBMC
CPA-Seq
DepthK
ESBMC-incr
ESBMC-kind
InterpChecker
Symbiotic
UAutomizer
UKojak
UTaipan
VeriAbs