Use an exception to leave Solving_loop.process_source
.
#1244
Job | Run time |
---|---|
2m 8s | |
1m 52s | |
4m 0s |
Solving_loop.process_source
.
#1244
Job | Run time |
---|---|
2m 8s | |
1m 52s | |
4m 0s |