Bug box in case of Program_Error and related tweaks #893
| Job | Run time |
|---|---|
| 17m 6s | |
| 12m 52s | |
| 12m 14s | |
| 16m 50s | |
| 6m 48s | |
| 7m 15s | |
| 7m 43s | |
| 8m 10s | |
| 5m 4s | |
| 5m 8s | |
| 5m 32s | |
| 5m 30s | |
| 1h 50m 12s |
| Job | Run time |
|---|---|
| 17m 6s | |
| 12m 52s | |
| 12m 14s | |
| 16m 50s | |
| 6m 48s | |
| 7m 15s | |
| 7m 43s | |
| 8m 10s | |
| 5m 4s | |
| 5m 8s | |
| 5m 32s | |
| 5m 30s | |
| 1h 50m 12s |