Bug box in case of Program_Error and related tweaks #901
| Job | Run time |
|---|---|
| 18m 18s | |
| 19m 23s | |
| 24m 31s | |
| 16m 42s | |
| 7m 14s | |
| 7m 44s | |
| 7m 41s | |
| 7m 43s | |
| 16m 7s | |
| 15m 3s | |
| 15m 10s | |
| 15m 1s | |
| 2h 50m 37s |
| Job | Run time |
|---|---|
| 18m 18s | |
| 19m 23s | |
| 24m 31s | |
| 16m 42s | |
| 7m 14s | |
| 7m 44s | |
| 7m 41s | |
| 7m 43s | |
| 16m 7s | |
| 15m 3s | |
| 15m 10s | |
| 15m 1s | |
| 2h 50m 37s |