-
Bug
-
Resolution: Done
-
Major
-
None
-
None
-
NEW
-
NEW
Not sure how to reproduce this, but sometimes after 30 seconds of solving, the red "terminate early" button isn't replaced by the green "solve" button.
Try introducing artificial latency on the localhost TCP/IP connections (this is possible on linux, google it), that might reproduce the problem more frequently.