Theory Versus Practice in AI Planning