Simplification towards singleton intervals requires single variable #8885
| Job | Run time |
|---|---|
| 39m 28s | |
| 52m 53s | |
| 1h 21m 58s | |
| 48m 0s | |
| 25m 5s | |
| 32m 7s | |
| 17m 1s | |
| 48m 21s | |
| 58m 21s | |
| 1h 1m 32s | |
| 41m 22s | |
| 24m 18s | |
| 1h 30m 13s | |
| 3m 46s | |
| 1h 15m 10s | |
| 1h 39m 32s | |
| 1h 45m 42s | |
| 42m 22s | |
| 32m 23s | |
| 16h 19m 34s |