
</li>

<li>
<p>
The depth_dbm_fc_solver yielded this:
</p>

<blockquote>
<p>
Reached 13,763,700,000 ; States-in-collection: 16,226,294,490 ; Time: 1345126456.520408
Queue Stats: inserted=16,226,294,490 items_in_queue=2,462,594,490 extracted=13,763,700,000
</p>
</blockquote>

<p>
with a curr_depth of 38. However, that solver may have some yet undiscovered
bugs.
</p>
</li>

</ul>

<p>
So what's next? Iâ€™d like to investigate some ways to scale to a larger
number of states, perhaps by creating a distrib