feat: *-kinded holes which are solved by BRAT
#186
| Job | Run time |
|---|---|
| 1m 14s | |
| 1m 14s |
*-kinded holes which are solved by BRAT
#186
| Job | Run time |
|---|---|
| 1m 14s | |
| 1m 14s |