Initial state is same as final state 
Wrong
#stacks : 1
#clocks : 1
#states : 14
#transitions : 26
Maximum constant(M) : 16
Tree-Width(K) : 5

---END OF EXECUTION---

Execution time : 0.117317 seconds.

