Pin the teaching corpus against lexical claim drift: a table-driven $exists word ratchet
#27906
| Job | Run time |
|---|---|
| 12s | |
| 7m 13s | |
| 7m 31s | |
| 9m 44s | |
| 6m 38s | |
| 9m 4s | |
| 9m 29s | |
| 1m 8s | |
| 43s | |
| 3m 27s | |
| 3m 29s | |
| 3m 10s | |
| 6m 0s | |
| -1s | |
| -1s | |
| 16s | |
| 15s | |
| 1h 8m 17s |