A Lower Bound for Answer Set Solver Computation