Identified more computationally hard cases. Reduced evaulation limits to get the depth 14 example to work. Next up: evaluation with timeout.