Use an exception to leave Solving_loop.process_source.
#2835
| Job | Run time |
|---|---|
| 2m 56s | |
| 1m 40s | |
| 4m 36s |
Solving_loop.process_source.
#2835
| Job | Run time |
|---|---|
| 2m 56s | |
| 1m 40s | |
| 4m 36s |