mine-W privatization undermines Miné, lock is less precise than mine/protection
#12193
| Job | Run time |
|---|---|
| 0s | |
| 7m 43s | |
| 8m 3s | |
| 28m 8s | |
| 43m 54s |