Bom... seguinte, apanhei bastante, mas acho que comecei a entender. Para rodar eu baixei o clisp modifiquei os arquivos de acordo com a sugestao do leandro e tambem tem que modificar a pasta alvo do loader.lisp para a pasta em que ele está. Depois eu dei (load 'loader), (load-ucpop) e (in-package :ucpop). daí o comando para rodar os testes é (bf-control 'nome) onde diferentes testes estão descritos em testall.lisp. Porém a descrição dos problemas está na pasta domains. Lá estão os arquivos de fato que representam os problemas. Agora resta a questão. Devemos fazer um script para gerar estes a partir do pddls e strips? Ou algo do genero. O formato é BEM parecido com pddl, mas enfim!
Abraço,
Alex.
Fórum