Exhaustiveness: use an Option instead of allocating fictitious patterns
#111369
| Job | Run time |
|---|---|
| 0s | |
| 0s | |
| 25m 25s | |
| 0s | |
| 4m 8s | |
| 47m 20s | |
| 31m 15s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 1h 48m 8s |