bug: bv_decide regression; proof that worked before now times out, and LRAT file sizes are much larger
#161
| Job | Run time |
|---|---|
| 2s | |
| 2s |