03:52 duration 3 minutes 52 seconds
ECS 220 9a:1-8.6 IP=PSPACE (no proof)
11:16 duration 11 minutes 16 seconds
ECS 220 8c:8.6-2 PSPACE-completeness