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

---END OF EXECUTION---

Execution time : 0.000187 seconds.

