Bug with StopSolving method fixed