Timeouts break the online solver
danmatichuk opened this issue · comments
Our use of System.Timeout to enforce solver timeouts does not work well with the online solver, as What4 seems to be unable to gracefully recover from the solver process being killed.