To compile the soar benchmark, you should do the following:
(compile-file "/usr/lisp/demos/soar/soar.lisp")
To run the benchmark, you should start up a fresh Lisp and do the following:
(load "/usr/lisp/demos/soar/soar.fasl") (load "/usr/lisp/demos/soar/default.soar") (load "/usr/lisp/demos/soar/eight.soar") (user-select 'first) (init-soar) (time (run))
The first two lines load in the standard Soar system. The third line loads in information about the eight puzzle which is a standard Soar puzzle that has been run on several different machines. The fourth line sets up the puzzle conditions so that it will select a goal to work on automatically. The fifth line initializes Soar’s working memory, etc. The final line is the one that actually runs the benchmark. Soar prints out a fair amount of information as it solves the puzzle. The final state should be numbered 143 when it finishes. The time macro prints out information about information various resources after the eight puzzle has run.