A Lower-bound for Answer Set solver Computation