
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 unstack-episodes 
**Initialising settings** 
  loading /home/tomas/sayphi/domains/blocksworld/roller/unstack-episodes/unstack-episodes.s ...  
**Initialising language** 
**Initialising knowledge** 
**Loading kb file /home/tomas/sayphi/domains/blocksworld/roller/unstack-episodes/unstack-episodes.kb ** 
  -> load method =  key 
**No bg file available** 
  -> 2854 examples have been processed 

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

Best test: selected_unstack(A,B,C,D),helpful_unstack(A,B,C)
Leaf: [rejected] - 1307.0
Sampling check:  1547  examples, max is  1000 
#Ex=1000, #Q=46

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

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

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C)),target_goal_on(A,E,F)
Sampling check:  156  examples, max is  1000 
#Ex=156, #Q=46
Leaf: [selected] - 156.0
Leaf: [selected] - 486.0
Sampling check:  893  examples, max is  1000 
#Ex=893, #Q=72

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

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

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

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E)),helpful_pick_up(A,E)
Leaf: [selected] - 129.0
Sampling check:  50  examples, max is  1000 
#Ex=50, #Q=72

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),helpful_pick_up(A,E)),target_goal_on(A,C,F)
Sampling check:  33  examples, max is  1000 
#Ex=33, #Q=72
Leaf: [selected] - 33.0
Leaf: [selected] - 17.0
Sampling check:  464  examples, max is  1000 
#Ex=464, #Q=104

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B)),helpful_pick_up(A,E)
Sampling check:  442  examples, max is  1000 
#Ex=442, #Q=104

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B)),helpful_pick_up(A,G)
Sampling check:  127  examples, max is  1000 
#Ex=127, #Q=104

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B)),target_goal_on(A,C,G)
Leaf: [selected] - 35.0
Sampling check:  92  examples, max is  1000 
#Ex=92, #Q=142

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

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

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),target_goal_on(A,C,G)),target_goal_on(A,H,C)
Sampling check:  50  examples, max is  1000 
#Ex=50, #Q=142

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),target_goal_on(A,C,G)),target_goal_on(A,G,H)
Leaf: [rejected] - 8.0
Sampling check:  42  examples, max is  1000 
#Ex=42, #Q=186

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),target_goal_on(A,C,G),target_goal_on(A,G,H)),target_goal_on(A,G,E)
Leaf: [selected] - 8.0
Sampling check:  34  examples, max is  1000 
#Ex=34, #Q=186
Leaf: [rejected] - 34.0
Sampling check:  21  examples, max is  1000 
#Ex=21, #Q=186

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),target_goal_on(A,C,G),target_goal_on(A,H,C)),target_goal_on(A,G,B)
Leaf: [selected] - 16.0
Leaf: [rejected] - 5.0
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=142
Leaf: [rejected] - 15.0
Leaf: [selected] - 6.0
Sampling check:  315  examples, max is  1000 
#Ex=315, #Q=142

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),helpful_pick_up(A,G)),target_goal_on(A,E,H)
Sampling check:  283  examples, max is  1000 
#Ex=283, #Q=142

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),helpful_pick_up(A,G)),target_goal_on(A,C,B)
Sampling check:  166  examples, max is  1000 
#Ex=166, #Q=142

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),helpful_pick_up(A,G)),target_goal_on(A,C,H)
Sampling check:  54  examples, max is  1000 
#Ex=54, #Q=142

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),helpful_pick_up(A,G)),target_goal_on(A,G,B)
Leaf: [selected] - 26.0
Sampling check:  28  examples, max is  1000 
#Ex=28, #Q=142

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),helpful_pick_up(A,G),target_goal_on(A,G,B)),target_goal_on(A,H,C)
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=142
Leaf: [selected] - 12.0
Leaf: [selected] - 16.0
Leaf: [selected] - 112.0
Sampling check:  117  examples, max is  1000 
#Ex=117, #Q=142

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),helpful_pick_up(A,G),target_goal_on(A,C,B)),target_goal_on(A,H,G)
Leaf: [selected] - 55.0
Sampling check:  62  examples, max is  1000 
#Ex=62, #Q=186

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),helpful_pick_up(A,G),target_goal_on(A,C,B),target_goal_on(A,H,G)),candidate_unstack(A,I,H)
Leaf: [selected] - 42.0
Leaf: [rejected] - 20.0
Sampling check:  32  examples, max is  1000 
#Ex=32, #Q=186

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),helpful_pick_up(A,G),target_goal_on(A,E,H)),target_goal_on(A,H,I)
Leaf: [rejected] - 12.0
Leaf: [selected] - 20.0
Sampling check:  22  examples, max is  1000 
#Ex=22, #Q=104

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),target_goal_on(A,F,B),helpful_pick_up(A,E)),target_goal_on(A,C,G)
Leaf: [selected] - 7.0
Leaf: [rejected] - 15.0
Sampling check:  115  examples, max is  1000 
#Ex=115, #Q=104

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),helpful_unstack(A,F,E)),target_goal_on(A,F,G)
Leaf: [selected] - 38.0
Sampling check:  77  examples, max is  1000 
#Ex=77, #Q=142

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),helpful_unstack(A,F,E),target_goal_on(A,F,G)),target_goal_on(A,E,C)
Leaf: [rejected] - 71.0
Leaf: [selected] - 6.0
Sampling check:  135  examples, max is  1000 
#Ex=135, #Q=104

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),helpful_unstack(A,E,F)),candidate_pick_up(A,G)
Sampling check:  45  examples, max is  1000 
#Ex=45, #Q=104

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),helpful_unstack(A,E,F)),target_goal_on(A,F,B)
Sampling check:  40  examples, max is  1000 
#Ex=40, #Q=104

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),helpful_unstack(A,E,F)),target_goal_on(A,G,B)
Sampling check:  23  examples, max is  1000 
#Ex=23, #Q=104

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),helpful_unstack(A,E,F)),target_goal_on(A,C,G)
Leaf: [selected] - 6.0
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=142
Leaf: [selected] - 17.0
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=142

Best test: (selected_unstack(A,B,C,D),helpful_unstack(A,B,C),target_goal_on(A,B,E),helpful_unstack(A,E,F),target_goal_on(A,G,B)),target_goal_on(A,H,G)
Leaf: [selected] - 8.0
Leaf: [rejected] - 9.0
Leaf: [rejected] - 5.0
Leaf: [rejected] - 90.0
Leaf: [selected] - 12.0

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


ace-unstack-episodes> quit

See you later!

