Answers
Does it work?
YES, 10 to 100+ times speedup
Is effect independent of search engine?
YES, same heuristics best for systematic and stochastic engines --- but needs more investigation
Can we predict the most useful level of heuristic axioms?
USUALLY point at which problem size is minimized after simplification by unit propagation (40% - 70% reduction)