Evil Door

This animation shows how to traverse the Case 7: OtTocC directed open–close door implemented using the Case 8: OTtocC directed open–close door (code-named the "evil door" because it took us the longest to prove PSPACE-hard).

Current step: Ready
Door actions:
Initial state:
Final state:
Opening
Closing
Traverse (open)
Traverse (closed)
AABB1122663344995510107788Text is not SVG - cannot display