Omega Point runs

Every run started from the workbench, recorded the moment it starts. A run that stops at the step you switched off is finished, not interrupted. The autopilot column says where the run's hypotheses stand: waiting for their titles, being checked for duplicates, or done and moving one by one to publication.