introduce the category of graded lattices #8917
| Job | Run time |
|---|---|
| 1h 5m 43s | |
| 30m 25s | |
| 1h 7m 34s | |
| 43m 1s | |
| 1h 8m 0s | |
| 30m 3s | |
| 1h 5m 0s | |
| 1h 11m 7s | |
| 1h 13m 35s | |
| 8h 34m 28s |
| Job | Run time |
|---|---|
| 1h 5m 43s | |
| 30m 25s | |
| 1h 7m 34s | |
| 43m 1s | |
| 1h 8m 0s | |
| 30m 3s | |
| 1h 5m 0s | |
| 1h 11m 7s | |
| 1h 13m 35s | |
| 8h 34m 28s |