(load "loader.lisp")
;;;; The loader file was modified to include the following two files as well
;(load "domains/LunarDomain.lisp")
;(load "domains/LunarProblems.lisp")


;(compile-ucpop)
; Note that we use compile and NOT load. This speeds things up a lot.
(load-ucpop)


(in-package "UCPOP")

;; Increase the search limit variable
(setq *search-limit* 10000000000000)


(ibf-control 'lunar1)
;(ibf-control 'lunar2)
;(ibf-control 'lunar3)
;(ibf-control 'lunar4)
;(ibf-control 'lunar5)
;(ibf-control 'lunar6)
;(ibf-control 'lunar7)
;(ibf-control 'lunar8)