(clear) (unwatch all) (watch statistics) (load "sudoku.clp") (load "solve.clp") (load "output-none.clp") (load "puzzles//grid3x3-p17.clp") (reset) (run) (reset) (assert (stress-test)) (run)
(clear) (unwatch all) (watch statistics) (load "sudoku.clp") (load "solve.clp") (load "output-none.clp") (load "puzzles//grid3x3-p17.clp") (reset) (run) (reset) (assert (stress-test)) (run)