/home/CVS-cmucl/src/benchmarks/soar
