Comment by BobaFloutist

Not only that, the maximum n a dishwasher can hold is small enough that it can be fairly trivially solved within a reasonable amount of time...though to be fair, iterations are pretty slow, but I think that's fairly easily compensated for with axioms (silverware goes in the silverware spot)