Comment by nervous_jessica

We haven't actually run the thing to completion. We ran it for a couple days and then stopped after finding tens of thousands of solutions. Might explore again if we have time to improve the solver efficiency.