Pin the teaching corpus against lexical claim drift: a table-driven $exists word ratchet
#27800
| Job | Run time |
|---|---|
| 16m 54s | |
| 53s | |
| 6m 32s | |
| 2m 59s | |
| 2m 45s | |
| 4s | |
| 30m 7s |
$exists word ratchet
#27800
| Job | Run time |
|---|---|
| 16m 54s | |
| 53s | |
| 6m 32s | |
| 2m 59s | |
| 2m 45s | |
| 4s | |
| 30m 7s |