CounterJump

TLC reached 6 states and 5 steps. The chart draws 7 states and 6 arrows. 1 state outside the constraints ends a rule's path, and the chart includes it. TLC checks the rules in a state outside the constraints, but it does not explore past it.

NotThree breaksCopy Anchor Link

The shortest path has 1 step: 0. jumps=0 x=0

1. Jump: jumps=1 x=3

Rules that holdCopy Anchor Link

NoDeadlock