proof: knowledge-layer validation programme (stacked on #18) #179
| Job | Run time |
|---|---|
| 14m 2s | |
| 50s | |
| 46s | |
| 34s | |
| 1m 46s | |
| 14m 59s | |
| 1m 3s | |
| 1m 8s | |
| 1m 5s | |
| 1m 8s | |
| 12m 19s | |
| 22s | |
| 1m 1s | |
| 51s | |
| 36s | |
| 52m 30s |
| Job | Run time |
|---|---|
| 14m 2s | |
| 50s | |
| 46s | |
| 34s | |
| 1m 46s | |
| 14m 59s | |
| 1m 3s | |
| 1m 8s | |
| 1m 5s | |
| 1m 8s | |
| 12m 19s | |
| 22s | |
| 1m 1s | |
| 51s | |
| 36s | |
| 52m 30s |