...and the time flies.
The KRPKR just takes time to get ready. I am currently running one of the shots that takes about 8 hours. I had several bugs and everyone took at least one day to solve. Sofar this run looks ok. If this one doesn't work out I will try another approach with traditional bitbases for part of the solution space.
The question is how I can get ready before summer.
New report will follow soon.