Gnuplot
Produced by GNUPLOT 5.0 patchlevel 3
1
10
100
1000
Time in s
CBMC-Path
CBMC-Path
CBMC
CBMC
CPA-Lockator
CPA-Lockator
CPA-Seq
CPA-Seq
DepthK
DepthK
DIVINE-explicit
DIVINE-explicit
DIVINE-SMT
DIVINE-SMT
ESBMC-kind
ESBMC-kind
Lazy-CSeq
Lazy-CSeq
UAutomizer
UAutomizer
UTaipan
UTaipan
Yogar-CBMC
Yogar-CBMC
-600
-400
-200
0
200
400
600
800
1000
1200
Accumulated score
CBMC-Path
CBMC
CPA-Lockator
CPA-Seq
DepthK
DIVINE-explicit
DIVINE-SMT
ESBMC-kind
Lazy-CSeq
UAutomizer
UTaipan
Yogar-CBMC