Evaluating Backjumping for Disjunctive Logic Programming