Microsoft Windows XP [Version 5.1.2600]
(C) Copyright 1985-2001 Microsoft Corp.

d:\Programme\emacs-21.3\bin>cd ..
cd ..

D:\Programme\emacs-21.3>cd ../clisp
cd ../clisp

D:\Programme\clisp>clisp
clisp
  i i i i i i i       ooooo    o        ooooooo   ooooo   ooooo
  I I I I I I I      8     8   8           8     8     o  8    8
  I  \ `+' /  I      8         8           8     8        8    8
   \  `-+-'  /       8         8           8      ooooo   8oooo
    `-__|__-'        8         8           8           8  8
        |            8     o   8           8     o     8  8
  ------+------       ooooo    8oooooo  ooo8ooo   ooooo   8

Copyright (c) Bruno Haible, Michael Stoll 1992, 1993
Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
Copyright (c) Bruno Haible, Sam Steingold 1999-2000
Copyright (c) Sam Steingold, Bruno Haible 2001-2005

[1]> (load "hm2-tester.l")

;; Loading file hm2-tester.l ...
;;  Loading file hm2.l ...
;;   Loading file tools.l ...
;;    Loading file generate_g.l ...
;;    Loaded file generate_g.l
;;   Loaded file tools.l
;;  Loaded file hm2.l
;; Loaded file hm2-tester.l
T
[2]> (demo 100)

problem = numbers (11 9 14 9 9) goal 11 
solution = (11 + ((9 - 9) * (14 * 9)))


problem = numbers (9 1 4 11 6) goal 7 
solution = NIL


problem = numbers (11 9 0 11 8) goal 4 
solution = NIL


problem = numbers (15 8 1 2 8) goal 4 
solution = NIL


problem = numbers (8 11 10 2 10) goal 13 
solution = NIL


problem = numbers (0 2 1 7 4) goal 14 
solution = NIL


problem = numbers (3 1 8 13 3) goal 15 
solution = NIL


problem = numbers (12 2 13 4 13) goal 11 
solution = NIL


problem = numbers (13 11 3 4 7) goal 14 
solution = NIL


problem = numbers (0 4 14 1 5) goal 13 
solution = NIL


problem = numbers (15 6 15 14 4) goal 8 
solution = NIL


problem = numbers (4 3 4 2 9) goal 1 
solution = NIL


problem = numbers (0 8 13 12 5) goal 10 
solution = NIL


problem = numbers (13 3 15 7 15) goal 1 
solution = NIL


problem = numbers (2 5 10 12 1) goal 11 
solution = NIL


problem = numbers (11 7 10 10 15) goal 2 
solution = NIL


problem = numbers (5 14 14 7 10) goal 15 
solution = NIL


problem = numbers (11 13 10 4 7) goal 6 
solution = NIL


problem = numbers (3 12 13 3 15) goal 6 
solution = NIL


problem = numbers (6 13 3 8 5) goal 11 
solution = NIL


problem = numbers (3 9 10 1 10) goal 10 
solution = ((10 * 1) + (((10 * 1) - (10 * 1)) * (3 * 9)))


problem = numbers (1 13 4 6 1) goal 11 
solution = NIL


problem = numbers (6 8 15 0 2) goal 4 
solution = ((8 / 2) + (6 * (15 * 0)))


problem = numbers (11 0 7 10 0) goal 10 
solution = (10 + (11 * (0 * (7 * 0))))


problem = numbers (13 8 6 9 10) goal 7 
solution = NIL


problem = numbers (2 3 2 11 3) goal 11 
solution = (11 + ((2 - 2) * (3 * 3)))


problem = numbers (0 6 4 1 1) goal 3 
solution = NIL


problem = numbers (14 15 8 13 5) goal 11 
solution = NIL


problem = numbers (8 7 9 10 0) goal 4 
solution = NIL


problem = numbers (4 9 8 15 1) goal 4 
solution = NIL


problem = numbers (7 2 1 2 14) goal 1 
solution = (1 + ((2 - 2) * (7 * 14)))


problem = numbers (5 5 12 13 9) goal 12 
solution = (12 + ((5 - 5) * (13 * 9)))


problem = numbers (11 4 5 2 15) goal 13 
solution = NIL


problem = numbers (13 14 12 15 0) goal 3 
solution = NIL


problem = numbers (15 9 11 0 1) goal 9 
solution = (9 + (15 * (11 * (0 * 1))))


problem = numbers (4 0 9 8 1) goal 9 
solution = (9 + (4 * (0 * (8 * 1))))


problem = numbers (9 10 1 14 14) goal 0 
solution = ((14 - 14) * (9 * (10 * 1)))


problem = numbers (0 15 3 8 6) goal 5 
solution = ((15 / 3) + (0 * (8 * 6)))


problem = numbers (13 9 6 9 13) goal 10 
solution = NIL


problem = numbers (1 13 3 10 3) goal 15 
solution = NIL


problem = numbers (8 7 2 11 1) goal 10 
solution = NIL


problem = numbers (4 7 1 7 8) goal 7 
solution = ((1 * 7) + (((1 * 7) - (1 * 7)) * (4 * 8)))


problem = numbers (6 15 9 9 9) goal 0 
solution = ((9 - 9) * (6 * (15 * 9)))


problem = numbers (1 8 0 1 2) goal 12 
solution = NIL


problem = numbers (13 9 12 6 14) goal 7 
solution = NIL


problem = numbers (12 5 13 9 9) goal 6 
solution = NIL


problem = numbers (15 8 8 14 7) goal 8 
solution = NIL


problem = numbers (7 0 3 10 4) goal 12 
solution = NIL


problem = numbers (12 11 5 11 8) goal 5 
solution = (5 + ((11 - 11) * (12 * 8)))


problem = numbers (15 6 10 11 1) goal 14 
solution = NIL


problem = numbers (14 0 8 4 15) goal 15 
solution = (15 + (14 * (0 * (8 * 4))))


problem = numbers (11 0 3 1 14) goal 12 
solution = ((11 + 1) + (0 * (3 * 14)))


problem = numbers (11 12 1 9 6) goal 0 
solution = NIL


problem = numbers (0 6 13 11 3) goal 14 
solution = ((11 + 3) + (0 * (6 * 13)))


problem = numbers (7 4 13 8 4) goal 2 
solution = NIL


problem = numbers (15 7 4 4 5) goal 10 
solution = NIL


problem = numbers (15 8 5 11 12) goal 6 
solution = NIL


problem = numbers (5 2 13 4 4) goal 1 
solution = NIL


problem = numbers (15 2 14 7 12) goal 14 
solution = NIL


problem = numbers (11 0 11 15 14) goal 2 
solution = NIL


problem = numbers (13 12 8 15 15) goal 4 
solution = NIL


problem = numbers (4 7 13 5 10) goal 5 
solution = NIL


problem = numbers (11 7 15 15 12) goal 0 
solution = ((15 - 15) * (11 * (7 * 12)))


problem = numbers (1 9 13 0 14) goal 1 
solution = (1 + (9 * (13 * (0 * 14))))


problem = numbers (9 5 12 2 5) goal 6 
solution = NIL


problem = numbers (0 3 3 10 9) goal 7 
solution = NIL


problem = numbers (1 0 4 13 9) goal 6 
solution = NIL


problem = numbers (8 15 0 4 10) goal 5 
solution = NIL


problem = numbers (9 0 8 1 2) goal 10 
solution = ((9 + 1) + (0 * (8 * 2)))


problem = numbers (15 2 4 15 7) goal 4 
solution = (4 + ((15 - 15) * (2 * 7)))


problem = numbers (5 9 4 12 7) goal 11 
solution = NIL


problem = numbers (5 15 8 7 7) goal 10 
solution = NIL


problem = numbers (2 10 1 9 11) goal 13 
solution = NIL


problem = numbers (7 2 4 3 9) goal 8 
solution = NIL


problem = numbers (12 0 3 11 12) goal 14 
solution = ((3 + 11) + (12 * (0 * 12)))


problem = numbers (12 5 10 7 10) goal 13 
solution = NIL


problem = numbers (9 1 11 6 5) goal 11 
solution = NIL


problem = numbers (11 15 9 2 2) goal 2 
solution = NIL


problem = numbers (11 1 5 7 13) goal 11 
solution = NIL


problem = numbers (3 0 12 1 8) goal 12 
solution = (12 + (3 * (0 * (1 * 8))))


problem = numbers (2 0 11 7 5) goal 1 
solution = NIL


problem = numbers (1 6 8 10 10) goal 13 
solution = NIL


problem = numbers (8 10 1 11 14) goal 15 
solution = NIL


problem = numbers (14 11 1 1 6) goal 3 
solution = NIL


problem = numbers (3 6 7 7 1) goal 14 
solution = NIL


problem = numbers (14 5 6 6 4) goal 8 
solution = NIL


problem = numbers (6 7 10 6 5) goal 7 
solution = (7 + ((6 - 6) * (10 * 5)))


problem = numbers (3 4 0 5 8) goal 0 
solution = (3 * (4 * (0 * (5 * 8))))


problem = numbers (1 14 3 4 13) goal 13 
solution = NIL


problem = numbers (8 8 7 4 5) goal 14 
solution = NIL


problem = numbers (12 6 7 5 7) goal 0 
solution = ((7 - 7) * (12 * (6 * 5)))


problem = numbers (6 8 13 9 5) goal 15 
solution = NIL


problem = numbers (0 7 5 11 14) goal 11 
solution = (11 + (0 * (7 * (5 * 14))))


problem = numbers (2 12 1 2 3) goal 13 
solution = NIL


problem = numbers (15 4 11 4 9) goal 7 
solution = NIL


problem = numbers (12 4 13 11 1) goal 13 
solution = NIL


problem = numbers (6 13 2 9 10) goal 6 
solution = NIL


problem = numbers (2 15 9 11 2) goal 1 
solution = NIL


problem = numbers (2 13 13 0 15) goal 9 
solution = NIL


problem = numbers (11 5 6 7 1) goal 8 
solution = NIL

NIL
[3]> (bye)

Bye.

D:\Programme\clisp>exit
exit

Process shell finished