Pglobal (wip adapt to algebraic universes) #196
| Job | Run time |
|---|---|
| 47s | |
| 44s | |
| 40s | |
| 41s | |
| 1m 17s | |
| 1m 13s | |
| 45s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| 0s | |
| -1s | |
| -1s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| -1s | |
| -1s | |
| 5m 56s |
| Job | Run time |
|---|---|
| 47s | |
| 44s | |
| 40s | |
| 41s | |
| 1m 17s | |
| 1m 13s | |
| 45s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| 0s | |
| -1s | |
| -1s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| -1s | |
| -1s | |
| 5m 56s |