Use an exception to leave Solving_loop.process_source
.
#2312
Job | Run time |
---|---|
4m 26s | |
8m 47s | |
10m 23s | |
4m 52s | |
4m 39s | |
4m 49s | |
13m 52s | |
13m 36s | |
1h 5m 24s |
Solving_loop.process_source
.
#2312
Job | Run time |
---|---|
4m 26s | |
8m 47s | |
10m 23s | |
4m 52s | |
4m 39s | |
4m 49s | |
13m 52s | |
13m 36s | |
1h 5m 24s |