Gnuplot
Produced by GNUPLOT 5.0 patchlevel 3
1
10
100
1000
Time in s
CBMC
CBMC
CPA-Seq
CPA-Seq
DepthK
DepthK
ESBMC-incr
ESBMC-incr
ESBMC-kind
ESBMC-kind
Yogar-CBMC
Yogar-CBMC
-400
-200
0
200
400
600
800
1000
1200
Accumulated score
CBMC
CPA-Seq
DepthK
ESBMC-incr
ESBMC-kind
Yogar-CBMC