Experimental results: ILP vs. propositional learning