docs(spec): re-measure proof 4's two mislabelled census figures, each beside its population #36312
| Job | Run time |
|---|---|
| 14s | |
| 7m 54s | |
| 6m 54s | |
| 7m 46s | |
| 10m 27s | |
| 9m 42s | |
| 13m 46s | |
| 16m 5s | |
| 12m 37s | |
| 15m 24s | |
| 7m 46s | |
| 16m 56s | |
| 13m 2s | |
| 0s | |
| 0s | |
| 16s | |
| 21s | |
| 2h 19m 10s |
| Job | Run time |
|---|---|
| 14s | |
| 7m 54s | |
| 6m 54s | |
| 7m 46s | |
| 10m 27s | |
| 9m 42s | |
| 13m 46s | |
| 16m 5s | |
| 12m 37s | |
| 15m 24s | |
| 7m 46s | |
| 16m 56s | |
| 13m 2s | |
| 0s | |
| 0s | |
| 16s | |
| 21s | |
| 2h 19m 10s |