Thanks. That makes sense. Most of my stuff has (at most) a few million clauses and usually takes between 1-600 seconds.