proof: knowledge-layer validation programme (stacked on #18) #189
| Job | Run time |
|---|---|
| 44s | |
| 1m 8s | |
| 48s | |
| 36s | |
| 12m 34s | |
| 30s | |
| 1m 2s | |
| 58s | |
| 43s | |
| 1m 11s | |
| 39s | |
| 15m 26s | |
| 1m 54s | |
| 13m 39s | |
| 46s | |
| 52m 38s |
| Job | Run time |
|---|---|
| 44s | |
| 1m 8s | |
| 48s | |
| 36s | |
| 12m 34s | |
| 30s | |
| 1m 2s | |
| 58s | |
| 43s | |
| 1m 11s | |
| 39s | |
| 15m 26s | |
| 1m 54s | |
| 13m 39s | |
| 46s | |
| 52m 38s |