
hipP version 0.1.14 (i686-pc-linux-gnu, threaded mode)
(built on i686-pc-linux-gnu on Thu Nov 30 10:53:25 CET 2006)
For academic or scientific (non-commercial) use only.
Copyright K.U.Leuven, Department of Computer Science.

==================================================================
ACE-ilProlog 1.2.20 for scientific (non-commercial) use only.
Copyright K.U.Leuven, Department of Computer Science.
Contact: http://www.cs.kuleuven.be/~dtai/ACE.
==================================================================

Now loading files for application stack-episodes 
**Initialising settings** 
  loading /home/tomas/sayphi/domains/blocksworld/roller/stack-episodes/stack-episodes.s ...  
**Initialising language** 
**Initialising knowledge** 
**Loading kb file /home/tomas/sayphi/domains/blocksworld/roller/stack-episodes/stack-episodes.kb ** 
  -> load method =  key 
**No bg file available** 
  -> 5362 examples have been processed 

ace-stack-episodes> tilde
Loading Tilde
Loading Prediction for ACE
Initializing Query Transformation Library
Initializing C++ Packs Library
Storing attribute: gen(selected_stack(A,B,C,D),D)
Storing all attributes: ...........
HRType:  esh_gainratio 
TILDE
Discretization busy...
Right subtree optimization disabled. 
Preprocessing constant generators. 
Sampling check:  5362  examples, max is  1000 
#Ex=1000, #Q=46

Best test: selected_stack(A,B,C,D),target_goal_on(A,B,C)
Sampling check:  4608  examples, max is  1000 
#Ex=1000, #Q=46

Best test: selected_stack(A,B,C,D),target_goal_on(A,B,E)
Sampling check:  1958  examples, max is  1000 
#Ex=1000, #Q=46

Best test: selected_stack(A,B,C,D),target_goal_on(A,E,B)
Sampling check:  1842  examples, max is  1000 
#Ex=1000, #Q=46

Best test: selected_stack(A,B,C,D),target_goal_on(A,E,C)
Sampling check:  1822  examples, max is  1000 
#Ex=1000, #Q=46

Best test: selected_stack(A,B,C,D),target_goal_on(A,E,F)
Sampling check:  1803  examples, max is  1000 
#Ex=1000, #Q=46
Leaf: [rejected] - 1803.0
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=104

Best test: (selected_stack(A,B,C,D),target_goal_on(A,E,F)),target_goal_on(A,C,F)
Leaf: [selected] - 8.0
Leaf: [rejected] - 11.0
Leaf: [rejected] - 20.0
Sampling check:  116  examples, max is  1000 
#Ex=116, #Q=72

Best test: (selected_stack(A,B,C,D),target_goal_on(A,E,B)),target_goal_on(A,C,F)
Sampling check:  56  examples, max is  1000 
#Ex=56, #Q=72

Best test: (selected_stack(A,B,C,D),target_goal_on(A,E,B)),target_goal_on(A,F,C)
Leaf: [selected] - 51.0
Leaf: [rejected] - 5.0
Leaf: [rejected] - 60.0
Sampling check:  2650  examples, max is  1000 
#Ex=1000, #Q=72

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E)),helpful_stack(A,B,E)
Sampling check:  57  examples, max is  1000 
#Ex=57, #Q=72

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E)),target_goal_on(A,C,B)
Sampling check:  51  examples, max is  1000 
#Ex=51, #Q=72

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E)),target_goal_on(A,E,C)
Sampling check:  46  examples, max is  1000 
#Ex=46, #Q=72

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E)),target_goal_on(A,F,C)
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=72

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E)),target_goal_on(A,C,F)
Leaf: [selected] - 5.0
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=104
Leaf: [rejected] - 12.0
Sampling check:  29  examples, max is  1000 
#Ex=29, #Q=104

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E),target_goal_on(A,F,C)),target_goal_on(A,C,G)
Leaf: [rejected] - 15.0
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=142

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E),target_goal_on(A,F,C),target_goal_on(A,C,G)),target_goal_on(A,G,H)
Leaf: [rejected] - 6.0
Leaf: [selected] - 8.0
Leaf: [rejected] - 5.0
Leaf: [selected] - 6.0
Sampling check:  2593  examples, max is  1000 
#Ex=1000, #Q=72

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E),helpful_stack(A,B,E)),target_goal_on(A,E,F)
Leaf: [rejected] - 2386.0
Sampling check:  207  examples, max is  1000 
#Ex=207, #Q=104

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E),helpful_stack(A,B,E),target_goal_on(A,E,F)),target_goal_on(A,G,B)
Leaf: [rejected] - 167.0
Sampling check:  40  examples, max is  1000 
#Ex=40, #Q=142

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E),helpful_stack(A,B,E),target_goal_on(A,E,F),target_goal_on(A,G,B)),target_goal_on(A,E,C)
Sampling check:  29  examples, max is  1000 
#Ex=29, #Q=142

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E),helpful_stack(A,B,E),target_goal_on(A,E,F),target_goal_on(A,G,B)),target_goal_on(A,F,H)
Leaf: [selected] - 12.0
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=186

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,E),helpful_stack(A,B,E),target_goal_on(A,E,F),target_goal_on(A,G,B),target_goal_on(A,F,H)),target_goal_on(A,C,I)
Leaf: [rejected] - 8.0
Leaf: [selected] - 9.0
Leaf: [rejected] - 11.0
Sampling check:  754  examples, max is  1000 
#Ex=754, #Q=46

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,C)),target_goal_on(A,C,E)
Leaf: [selected] - 649.0
Sampling check:  105  examples, max is  1000 
#Ex=105, #Q=72

Best test: (selected_stack(A,B,C,D),target_goal_on(A,B,C),target_goal_on(A,C,E)),target_goal_on(A,F,B)
Leaf: [selected] - 93.0
Leaf: [rejected] - 12.0

Refinement finished. 
Output written to file '/home/tomas/sayphi/domains/blocksworld/roller/stack-episodes/tilde/stack-episodes.out'.


ace-stack-episodes> quit

Bye-bye!

