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

---END OF EXECUTION---

Execution time : 0.006021 seconds.

