Add: test solver; State: stoppedfor unknown time