Use IntPSQ instead of OrdPSQ for timers map.
#698
| Job | Run time |
|---|---|
| 4m 14s | |
| 7m 50s | |
| 7m 13s | |
| 4m 26s | |
| 5m 48s | |
| 7m 34s | |
| 5m 40s | |
| 6m 25s | |
| 7m 47s | |
| 5m 10s | |
| 5m 26s | |
| 7m 52s | |
| 3m 40s | |
| 5m 9s | |
| 8m 42s | |
| 3m 21s | |
| 5m 35s | |
| 4m 41s | |
| 1h 46m 33s |