Folks: I put a description of the TLPLAN/SHOP project up on the web. I would suggest you start "inputting" your domains to these planners (taking care to informally record the amount of time you spent in doing the domain encoding). I put a nominal deadline that is 2 weeks away. Rao