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-2 100 t)
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 with heuristic 4  *
numbers --> (0 6 8 2 8) goal --> 10 with heuristic 4  *
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 with heuristic 9  *
numbers --> (6 8 0 9 9) goal --> 2
numbers --> (9 4 12 0 13) goal --> 3 with heuristic 9  *
numbers --> (15 6 0 3 12) goal --> 6 with heuristic 2  *
numbers --> (2 9 9 14 0) goal --> 11 with heuristic 4  *
numbers --> (8 7 2 6 8) goal --> 6 with heuristic 3  *
numbers --> (12 8 3 13 0) goal --> 6
numbers --> (0 9 9 4 1) goal --> 4 with heuristic 2  *
numbers --> (15 2 4 2 8) goal --> 11
numbers --> (4 5 3 6 7) goal --> 11
numbers --> (12 7 0 13 13) goal --> 14
numbers --> (12 1 10 4 7) goal --> 7
numbers --> (2 3 6 13 3) goal --> 13 with heuristic 3  *
numbers --> (12 12 4 1 8) goal --> 11
numbers --> (10 12 3 9 6) goal --> 4
numbers --> (4 5 4 12 14) goal --> 8
numbers --> (12 5 15 8 2) goal --> 10
numbers --> (1 5 7 1 11) goal --> 13
numbers --> (8 14 14 10 12) goal --> 2
numbers --> (10 0 8 6 9) goal --> 2
numbers --> (13 2 0 12 6) goal --> 10
numbers --> (4 8 13 14 1) goal --> 12
numbers --> (5 8 2 8 15) goal --> 0 with heuristic 7  *
numbers --> (14 10 7 9 7) goal --> 12
numbers --> (6 2 11 3 0) goal --> 8 with heuristic 4  *
numbers --> (5 15 6 1 11) goal --> 0
numbers --> (3 1 0 13 1) goal --> 7
numbers --> (1 13 3 15 10) goal --> 0
numbers --> (10 15 0 4 2) goal --> 12 with heuristic 4  *
numbers --> (6 3 4 4 11) goal --> 2
numbers --> (4 3 8 2 2) goal --> 1
numbers --> (5 0 11 1 2) goal --> 6 with heuristic 4  *
numbers --> (7 1 0 10 11) goal --> 14
numbers --> (8 12 7 15 1) goal --> 11
numbers --> (7 8 12 15 4) goal --> 7
numbers --> (9 14 1 7 2) goal --> 9
numbers --> (1 2 13 13 14) goal --> 9
numbers --> (12 5 1 12 14) goal --> 4
numbers --> (14 7 14 14 7) goal --> 0 with heuristic 7  *
numbers --> (0 14 7 12 9) goal --> 15
numbers --> (6 10 7 6 10) goal --> 4
numbers --> (3 4 2 3 4) goal --> 7
numbers --> (11 10 12 7 13) goal --> 8
numbers --> (11 11 12 8 10) goal --> 4
numbers --> (10 2 15 15 1) goal --> 10 with heuristic 3  *
numbers --> (13 5 12 14 3) goal --> 12
numbers --> (13 10 10 5 6) goal --> 5 with heuristic 3  *
numbers --> (10 13 3 4 3) goal --> 15
numbers --> (12 4 6 15 5) goal --> 2
numbers --> (12 15 15 5 12) goal --> 11
numbers --> (7 0 8 15 4) goal --> 2 with heuristic 9  *
numbers --> (14 14 11 8 8) goal --> 10
numbers --> (13 8 14 1 6) goal --> 6
numbers --> (1 11 13 1 0) goal --> 15
numbers --> (8 4 6 14 8) goal --> 8
numbers --> (8 5 7 15 9) goal --> 13
numbers --> (15 8 7 12 4) goal --> 15
numbers --> (13 4 7 12 1) goal --> 1
numbers --> (3 1 6 13 2) goal --> 15
numbers --> (9 13 7 0 6) goal --> 3
numbers --> (3 12 2 12 2) goal --> 6 with heuristic 6  *
numbers --> (1 1 13 14 15) goal --> 8
numbers --> (8 15 9 3 3) goal --> 0 with heuristic 7  *
numbers --> (3 13 11 5 1) goal --> 2
numbers --> (9 13 1 7 0) goal --> 4
numbers --> (13 12 0 1 12) goal --> 15
numbers --> (8 6 15 9 13) goal --> 5
numbers --> (6 0 6 7 11) goal --> 6 with heuristic 2  *
numbers --> (2 5 4 7 14) goal --> 2
numbers --> (3 13 3 13 7) goal --> 13 with heuristic 3  *
numbers --> (3 1 11 9 1) goal --> 6
numbers --> (4 15 8 0 5) goal --> 6
numbers --> (1 13 12 6 15) goal --> 9
numbers --> (4 14 4 11 3) goal --> 13
numbers --> (12 7 12 12 15) goal --> 13
numbers --> (13 1 2 7 15) goal --> 12
numbers --> (4 12 11 11 3) goal --> 1
numbers --> (1 8 7 5 1) goal --> 7 with heuristic 3  *
numbers --> (3 3 4 11 9) goal --> 2
 
applicability heuristic 1 = 0 
applicability heuristic 2 = 0.03 
applicability heuristic 3 = 0.06 
applicability heuristic 4 = 0.06 
applicability heuristic 5 = 0 
applicability heuristic 6 = 0.01 
applicability heuristic 7 = 0.03 
applicability heuristic 8 = 0 
applicability heuristic 9= 0.03 
applicability heuristic 10= 0 
 
probability for a random problem to be solved: 0.22 
NIL
[3]> (demo-2 10000 nil)
 
applicability heuristic 1 = 0.0169 
applicability heuristic 2 = 0.0643 
applicability heuristic 3 = 0.0676 
applicability heuristic 4 = 0.0349 
applicability heuristic 5 = 6.0E-4 
applicability heuristic 6 = 0.0164 
applicability heuristic 7 = 0.023 
applicability heuristic 8 = 4.0E-4 
applicability heuristic 9= 0.0164 
applicability heuristic 10= 0 
 
probability for a random problem to be solved: 0.2405 
NIL
[4]> (bye)

Bye.

d:\Programme\clisp>exit
exit

Process shell finished