introduce the category of Bounded posets #24854
| Job | Run time |
|---|---|
| 52m 32s | |
| 23m 59s | |
| 48m 37s | |
| 59m 3s | |
| 16m 48s | |
| 50m 49s | |
| 23m 59s | |
| 48m 37s | |
| 52m 32s | |
| 19m 44s | |
| 6h 36m 40s |
| Job | Run time |
|---|---|
| 52m 32s | |
| 23m 59s | |
| 48m 37s | |
| 59m 3s | |
| 16m 48s | |
| 50m 49s | |
| 23m 59s | |
| 48m 37s | |
| 52m 32s | |
| 19m 44s | |
| 6h 36m 40s |