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

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 "heuristic-applicability.l")

;; Loading file heuristic-applicability.l ...
;;  Loading file tools.l ...
;;   Loading file generate_g.l ...
;;   Loaded file generate_g.l
;;  Loaded file tools.l
;; Loaded file heuristic-applicability.l
T
[2]> (demo-1)
Heuristic 1 - 25 trials: numbers --> (0 1 10 12 7) goal --> 4 *
numbers --> (13 15 0 6 7) goal --> 11 *
numbers --> (14 15 15 0 0) goal --> 5 *
numbers --> (11 9 15 9 9) goal --> 13 *
numbers --> (2 8 8 0 12) goal --> 13 *
numbers --> (15 2 11 12 2) goal --> 13 *
numbers --> (9 6 2 8 12) goal --> 10 *
numbers --> (11 8 8 0 7) goal --> 12 *
numbers --> (9 14 8 14 12) goal --> 5 *
numbers --> (15 7 6 3 10) goal --> 10 *
numbers --> (9 0 15 6 4) goal --> 3 *
numbers --> (4 6 1 13 9) goal --> 2 *
numbers --> (7 11 11 14 8) goal --> 6 *
numbers --> (1 8 2 4 0) goal --> 12 *
numbers --> (0 6 8 2 8) goal --> 10 *
numbers --> (6 12 12 8 3) goal --> 11 *
numbers --> (12 7 2 9 0) goal --> 8 *
numbers --> (3 13 1 8 5) goal --> 13 *
numbers --> (15 0 13 5 9) goal --> 6 *
numbers --> (2 3 11 12 3) goal --> 13 *
numbers --> (9 13 14 7 7) goal --> 5 *
numbers --> (9 0 2 8 10) goal --> 4 *
numbers --> (6 8 0 9 9) goal --> 2 *
numbers --> (9 4 12 0 13) goal --> 3 *
numbers --> (15 6 0 3 12) goal --> 6 *
applicability = 1.0 

Heuristic 1 - 10000 trials: applicability = 1.0 

Heuristic 2 - 25 trials: numbers --> (3 5 7 5 8) goal --> 5 *
numbers --> (13 0 10 0 14) goal --> 3 *
numbers --> (14 1 3 15 3) goal --> 0 *
numbers --> (2 1 7 1 15) goal --> 2 *
numbers --> (2 2 6 8 7) goal --> 0 *
numbers --> (4 4 8 0 13) goal --> 4 *
numbers --> (1 8 5 1 10) goal --> 5 *
numbers --> (10 0 8 4 6) goal --> 3 *
numbers --> (10 12 0 7 14) goal --> 0 *
numbers --> (10 5 11 0 2) goal --> 3 *
numbers --> (7 7 3 3 0) goal --> 12 *
numbers --> (3 1 5 3 4) goal --> 6 *
numbers --> (13 11 5 10 12) goal --> 0 *
numbers --> (1 12 3 8 13) goal --> 10 *
numbers --> (15 8 12 13 7) goal --> 14 *
numbers --> (13 11 0 7 9) goal --> 6 *
numbers --> (11 9 7 10 3) goal --> 7 *
numbers --> (10 1 2 2 15) goal --> 0 *
numbers --> (11 4 2 9 15) goal --> 5 *
numbers --> (9 9 11 9 5) goal --> 9 *
numbers --> (6 14 6 0 5) goal --> 0 *
numbers --> (5 13 8 6 10) goal --> 15 *
numbers --> (13 4 6 15 10) goal --> 9 *
numbers --> (8 3 5 1 10) goal --> 11 *
numbers --> (14 3 3 5 1) goal --> 2 *
applicability = 1.0 

Heuristic 2 - 10000 trials: applicability = 1.0 

Heuristic 3 - 25 trials: numbers --> (8 5 12 6 14) goal --> 11 *
numbers --> (14 6 14 5 0) goal --> 6 *
numbers --> (0 15 15 10 5) goal --> 3 *
numbers --> (4 1 12 6 2) goal --> 7 *
numbers --> (15 10 9 2 4) goal --> 12 *
numbers --> (8 7 15 5 4) goal --> 5 *
numbers --> (13 12 4 6 9) goal --> 0 *
numbers --> (7 3 8 0 10) goal --> 15 *
numbers --> (15 5 6 8 10) goal --> 5 *
numbers --> (13 12 4 0 2) goal --> 0 *
numbers --> (4 4 0 8 12) goal --> 10 *
numbers --> (0 4 11 9 5) goal --> 15 *
numbers --> (10 0 1 1 0) goal --> 15 *
numbers --> (0 12 0 13 10) goal --> 0 *
numbers --> (7 0 4 9 1) goal --> 10 *
numbers --> (13 14 3 8 3) goal --> 2 *
numbers --> (1 4 14 5 7) goal --> 3 *
numbers --> (1 1 2 5 14) goal --> 15 *
numbers --> (6 10 1 2 7) goal --> 9 *
numbers --> (2 9 3 8 5) goal --> 0 *
numbers --> (4 10 11 13 1) goal --> 10 *
numbers --> (1 5 12 3 14) goal --> 6 *
numbers --> (3 9 8 12 0) goal --> 15 *
numbers --> (13 15 11 1 12) goal --> 1 *
numbers --> (6 10 12 3 14) goal --> 13 *
applicability = 1.0 

Heuristic 3 - 10000 trials: applicability = 1.0 

Heuristic 4 - 25 trials: numbers --> (2 14 9 1 8) goal --> 5 *
numbers --> (3 10 8 3 7) goal --> 6 *
numbers --> (12 6 2 13 9) goal --> 10 *
numbers --> (1 14 13 7 9) goal --> 9 *
numbers --> (7 15 12 5 13) goal --> 2 *
numbers --> (9 8 5 12 10) goal --> 5 *
numbers --> (15 4 6 7 8) goal --> 13 *
numbers --> (15 9 7 7 4) goal --> 15 *
numbers --> (1 13 14 12 6) goal --> 6 *
numbers --> (4 12 4 6 8) goal --> 9 *
numbers --> (1 12 10 9 3) goal --> 3 *
numbers --> (2 12 10 4 8) goal --> 1 *
numbers --> (2 0 15 0 4) goal --> 9 *
numbers --> (3 14 4 8 1) goal --> 14 *
numbers --> (2 6 13 12 11) goal --> 5 *
numbers --> (11 3 8 6 9) goal --> 7 *
numbers --> (12 3 1 9 7) goal --> 4 *
numbers --> (9 7 7 12 5) goal --> 11 *
numbers --> (4 11 2 10 2) goal --> 12 *
numbers --> (11 5 1 6 5) goal --> 10 *
numbers --> (14 13 5 1 1) goal --> 1 *
numbers --> (7 1 15 11 6) goal --> 10 *
numbers --> (7 5 9 11 7) goal --> 1 *
numbers --> (2 12 7 14 15) goal --> 3 *
numbers --> (10 9 11 1 2) goal --> 8 *
applicability = 1.0 

Heuristic 4 - 10000 trials: applicability = 1.0 

Heuristic 5 - 25 trials: numbers --> (4 10 10 4 12) goal --> 5 *
numbers --> (4 9 3 5 4) goal --> 2 *
numbers --> (3 10 12 5 3) goal --> 3 *
numbers --> (6 7 5 8 13) goal --> 6 *
numbers --> (7 14 3 15 4) goal --> 8 *
numbers --> (10 7 2 3 14) goal --> 4 *
numbers --> (3 7 7 4 7) goal --> 11 *
numbers --> (9 2 6 15 5) goal --> 6 *
numbers --> (9 2 8 3 0) goal --> 12 *
numbers --> (9 9 10 3 14) goal --> 3 *
numbers --> (2 8 5 9 15) goal --> 8 *
numbers --> (13 13 2 14 13) goal --> 15 *
numbers --> (9 14 9 11 0) goal --> 9 *
numbers --> (2 7 13 14 5) goal --> 8 *
numbers --> (1 5 9 13 12) goal --> 4 *
numbers --> (3 1 8 12 3) goal --> 10 *
numbers --> (10 10 7 14 6) goal --> 9 *
numbers --> (5 11 10 13 3) goal --> 12 *
numbers --> (1 8 1 10 15) goal --> 6 *
numbers --> (12 6 9 3 11) goal --> 1 *
numbers --> (13 2 3 7 3) goal --> 5 *
numbers --> (4 13 4 9 11) goal --> 8 *
numbers --> (2 9 1 8 10) goal --> 9 *
numbers --> (9 7 8 11 3) goal --> 13 *
numbers --> (1 12 14 13 8) goal --> 5 *
applicability = 1.0 

Heuristic 5 - 10000 trials: applicability = 1.0 

Heuristic 6 - 25 trials: numbers --> (2 2 5 6 13) goal --> 6 *
numbers --> (13 5 13 6 11) goal --> 2 *
numbers --> (15 7 2 5 11) goal --> 8 *
numbers --> (15 5 6 5 13) goal --> 3 *
numbers --> (0 5 3 12 5) goal --> 11 *
numbers --> (3 9 13 7 12) goal --> 0 *
numbers --> (14 3 7 2 7) goal --> 8 *
numbers --> (11 13 5 9 11) goal --> 9 *
numbers --> (0 5 4 13 13) goal --> 7 *
numbers --> (2 10 11 8 11) goal --> 13 *
numbers --> (8 9 0 15 12) goal --> 12 *
numbers --> (1 6 10 10 7) goal --> 3 *
numbers --> (4 11 10 4 6) goal --> 4 *
numbers --> (11 2 8 2 9) goal --> 2 *
numbers --> (15 2 14 6 10) goal --> 11 *
numbers --> (1 11 7 0 3) goal --> 10 *
numbers --> (13 1 5 9 2) goal --> 9 *
numbers --> (14 9 4 15 7) goal --> 8 *
numbers --> (2 7 2 15 3) goal --> 0 *
numbers --> (12 3 11 6 1) goal --> 6 *
numbers --> (11 0 6 5 0) goal --> 0 *
numbers --> (14 10 1 8 7) goal --> 9 *
numbers --> (3 1 12 4 7) goal --> 4 *
numbers --> (4 9 9 3 15) goal --> 1 *
numbers --> (0 15 14 2 2) goal --> 2 *
applicability = 1.0 

Heuristic 6 - 10000 trials: applicability = 1.0 

Heuristic 7 - 25 trials: numbers --> (7 7 9 1 9) goal --> 14 *
numbers --> (8 8 10 6 0) goal --> 1 *
numbers --> (8 5 5 8 14) goal --> 13 *
numbers --> (8 5 2 10 4) goal --> 10 *
numbers --> (7 6 3 8 10) goal --> 6 *
numbers --> (8 9 7 12 4) goal --> 5 *
numbers --> (3 5 3 15 2) goal --> 10 *
numbers --> (14 7 0 1 9) goal --> 8 *
numbers --> (10 12 4 9 4) goal --> 6 *
numbers --> (12 14 2 11 10) goal --> 6 *
numbers --> (2 0 1 13 14) goal --> 5 *
numbers --> (1 10 13 8 9) goal --> 15 *
numbers --> (0 2 14 14 7) goal --> 9 *
numbers --> (7 0 12 15 3) goal --> 14 *
numbers --> (5 0 15 11 4) goal --> 6 *
numbers --> (4 6 8 6 4) goal --> 10 *
numbers --> (12 2 2 15 5) goal --> 8 *
numbers --> (9 9 6 15 2) goal --> 6 *
numbers --> (13 15 0 2 5) goal --> 7 *
numbers --> (5 4 4 6 13) goal --> 0 *
numbers --> (13 5 0 6 14) goal --> 10 *
numbers --> (3 0 0 5 5) goal --> 5 *
numbers --> (12 4 4 10 2) goal --> 1 *
numbers --> (8 14 2 0 4) goal --> 12 *
numbers --> (5 4 10 11 3) goal --> 9 *
applicability = 1.0 

Heuristic 7 - 10000 trials: applicability = 1.0 

Heuristic 8 - 25 trials: numbers --> (10 0 6 3 4) goal --> 7 *
numbers --> (11 7 9 15 15) goal --> 14 *
numbers --> (11 15 7 5 4) goal --> 10 *
numbers --> (6 6 15 15 11) goal --> 5 *
numbers --> (14 11 15 5 3) goal --> 4 *
numbers --> (9 2 9 13 12) goal --> 6 *
numbers --> (10 7 6 6 9) goal --> 12 *
numbers --> (1 4 8 5 4) goal --> 13 *
numbers --> (1 3 0 11 14) goal --> 7 *
numbers --> (5 3 4 12 13) goal --> 5 *
numbers --> (1 10 13 0 4) goal --> 3 *
numbers --> (10 14 3 8 0) goal --> 2 *
numbers --> (4 3 10 15 8) goal --> 11 *
numbers --> (15 3 9 5 1) goal --> 5 *
numbers --> (1 0 14 13 4) goal --> 7 *
numbers --> (1 11 2 1 0) goal --> 12 *
numbers --> (9 2 14 10 15) goal --> 9 *
numbers --> (8 11 10 1 10) goal --> 15 *
numbers --> (10 3 9 5 11) goal --> 1 *
numbers --> (8 4 6 10 6) goal --> 4 *
numbers --> (15 10 12 5 6) goal --> 9 *
numbers --> (2 4 9 9 9) goal --> 12 *
numbers --> (14 11 15 0 11) goal --> 9 *
numbers --> (0 4 15 11 2) goal --> 3 *
numbers --> (8 4 6 8 14) goal --> 4 *
applicability = 1.0 

Heuristic 8 - 10000 trials: applicability = 1.0 

Heuristic 9 - 25 trials: numbers --> (0 2 10 2 7) goal --> 14 *
numbers --> (0 11 9 6 13) goal --> 1 *
numbers --> (9 1 9 5 5) goal --> 5 *
numbers --> (9 1 7 5 13) goal --> 12 *
numbers --> (5 12 1 12 3) goal --> 5 *
numbers --> (13 13 13 4 7) goal --> 13 *
numbers --> (0 12 14 2 1) goal --> 10 *
numbers --> (15 0 2 6 2) goal --> 6 *
numbers --> (2 7 11 0 11) goal --> 13 *
numbers --> (12 4 4 6 15) goal --> 7 *
numbers --> (14 12 15 8 10) goal --> 4 *
numbers --> (14 1 0 15 14) goal --> 11 *
numbers --> (7 10 11 8 1) goal --> 0 *
numbers --> (13 9 13 5 8) goal --> 8 *
numbers --> (6 10 14 13 1) goal --> 14 *
numbers --> (9 12 1 9 3) goal --> 3 *
numbers --> (5 0 1 14 6) goal --> 6 *
numbers --> (1 4 11 8 2) goal --> 9 *
numbers --> (7 14 11 12 8) goal --> 15 *
numbers --> (0 9 8 12 2) goal --> 7 *
numbers --> (13 1 14 9 11) goal --> 10 *
numbers --> (11 14 14 9 14) goal --> 3 *
numbers --> (3 3 7 14 15) goal --> 2 *
numbers --> (4 2 4 2 11) goal --> 0 *
numbers --> (1 7 2 3 0) goal --> 2 *
applicability = 1.0 

Heuristic 9 - 10000 trials: applicability = 1.0 

Heuristic 10 - 25 trials: numbers --> (0 1 1 3 7) goal --> 9 *
numbers --> (8 15 11 0 0) goal --> 15 *
numbers --> (1 3 6 4 9) goal --> 8 *
numbers --> (14 11 0 2 12) goal --> 15 *
numbers --> (15 2 14 4 9) goal --> 2 *
numbers --> (14 11 15 10 3) goal --> 3 *
numbers --> (13 14 15 4 12) goal --> 12 *
numbers --> (0 4 0 0 1) goal --> 4 *
numbers --> (9 1 8 2 4) goal --> 3 *
numbers --> (7 6 9 6 13) goal --> 7 *
numbers --> (13 4 5 6 0) goal --> 4 *
numbers --> (4 15 14 11 13) goal --> 13 *
numbers --> (15 8 14 5 9) goal --> 6 *
numbers --> (2 9 11 12 0) goal --> 4 *
numbers --> (2 13 8 2 6) goal --> 10 *
numbers --> (11 7 12 14 2) goal --> 5 *
numbers --> (4 15 3 9 9) goal --> 2 *
numbers --> (2 12 6 5 11) goal --> 4 *
numbers --> (13 4 11 2 0) goal --> 7 *
numbers --> (6 4 11 0 0) goal --> 3 *
numbers --> (6 0 7 4 6) goal --> 1 *
numbers --> (6 9 10 11 1) goal --> 14 *
numbers --> (0 1 13 15 15) goal --> 3 *
numbers --> (7 15 13 11 10) goal --> 0 *
numbers --> (8 3 12 0 15) goal --> 12 *
applicability = 1.0 

Heuristic 10 - 10000 trials: applicability = 1.0 

NIL
[3]> (bye)

Bye.

d:\Programme\clisp>exit
exit

Process shell finished