Use an exception to leave Solving_loop.process_source
.
#2309
Job | Run time |
---|---|
8m 38s | |
4m 10s | |
10m 21s | |
4m 45s | |
4m 47s | |
4m 53s | |
14m 21s | |
15m 11s | |
1h 7m 6s |
Solving_loop.process_source
.
#2309
Job | Run time |
---|---|
8m 38s | |
4m 10s | |
10m 21s | |
4m 45s | |
4m 47s | |
4m 53s | |
14m 21s | |
15m 11s | |
1h 7m 6s |