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

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

Best test: selected(A,B),helpful_stack(A,C,D)
Sampling check:  1271  examples, max is  1000 
#Ex=1000, #Q=12

Best test: selected(A,B),helpful_unstack(A,C,D)
Leaf: [pick_up] - 326.0
Sampling check:  945  examples, max is  1000 
#Ex=945, #Q=46

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

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

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E)),target_goal_on(A,F,E)
Leaf: [unstack] - 232.0
Sampling check:  432  examples, max is  1000 
#Ex=432, #Q=104

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

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

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

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E),target_goal_on(A,F,E)),target_goal_on(A,D,E)
Leaf: [unstack] - 44.0
Sampling check:  112  examples, max is  1000 
#Ex=112, #Q=104

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

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

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E),target_goal_on(A,F,E),target_goal_on(A,D,E),target_goal_on(A,G,C)),candidate_pick_up(A,G)
Sampling check:  20  examples, max is  1000 
#Ex=20, #Q=142
Leaf: [unstack] - 20.0
Leaf: [unstack] - 16.0
Leaf: [unstack] - 50.0
Sampling check:  77  examples, max is  1000 
#Ex=77, #Q=104

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E),target_goal_on(A,F,E),candidate_pick_up(A,F)),target_goal_on(A,D,G)
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=104
Leaf: [unstack] - 14.0
Sampling check:  63  examples, max is  1000 
#Ex=63, #Q=142

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

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

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E),target_goal_on(A,F,E),candidate_pick_up(A,F),target_goal_on(A,D,G),target_goal_on(A,G,H)),target_goal_on(A,I,D)
Sampling check:  35  examples, max is  1000 
#Ex=35, #Q=186

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E),target_goal_on(A,F,E),candidate_pick_up(A,F),target_goal_on(A,D,G),target_goal_on(A,G,H)),target_goal_on(A,G,E)
Sampling check:  29  examples, max is  1000 
#Ex=29, #Q=186
Leaf: [pick_up] - 29.0
Leaf: [pick_up] - 6.0
Leaf: [unstack] - 8.0
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=142
Leaf: [unstack] - 12.0
Leaf: [unstack] - 78.0
Sampling check:  121  examples, max is  1000 
#Ex=121, #Q=104

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E),target_goal_on(A,F,E),target_goal_on(A,E,C)),target_goal_on(A,D,E)
Leaf: [unstack] - 73.0
Sampling check:  48  examples, max is  1000 
#Ex=48, #Q=104

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E),target_goal_on(A,F,E),target_goal_on(A,E,C),target_goal_on(A,D,E)),target_goal_on(A,C,G)
Sampling check:  28  examples, max is  1000 
#Ex=28, #Q=104
Leaf: [unstack] - 28.0
Leaf: [unstack] - 20.0
Sampling check:  131  examples, max is  1000 
#Ex=131, #Q=72

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

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

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

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E),target_goal_on(A,C,E)),target_goal_on(A,D,F)
Sampling check:  23  examples, max is  1000 
#Ex=23, #Q=72
Leaf: [pick_up] - 23.0
Leaf: [pick_up] - 5.0
Sampling check:  21  examples, max is  1000 
#Ex=21, #Q=104

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E),target_goal_on(A,C,E),target_goal_on(A,F,C)),candidate_pick_up(A,F)
Leaf: [pick_up] - 12.0
Leaf: [unstack] - 9.0
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=72
Leaf: [pick_up] - 15.0
Sampling check:  67  examples, max is  1000 
#Ex=67, #Q=104

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

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

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

Best test: (selected(A,B),helpful_unstack(A,C,D),helpful_pick_up(A,E),target_goal_on(A,C,E),target_goal_on(A,F,D),candidate_pick_up(A,F)),target_goal_on(A,G,C)
Leaf: [pick_up] - 5.0
Leaf: [pick_up] - 5.0
Sampling check:  1271  examples, max is  1000 
#Ex=1000, #Q=46

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

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

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

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

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

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

Best test: (selected(A,B),helpful_stack(A,C,D),target_goal_on(A,D,E),helpful_stack(A,C,E)),target_goal_on(A,E,F)
Sampling check:  40  examples, max is  1000 
#Ex=40, #Q=72
Leaf: [put_down] - 40.0
Sampling check:  18  examples, max is  1000 
#Ex=18, #Q=104

Best test: (selected(A,B),helpful_stack(A,C,D),target_goal_on(A,D,E),helpful_stack(A,C,E),target_goal_on(A,E,F)),target_goal_on(A,G,D)
Leaf: [put_down] - 10.0
Leaf: [put_down] - 8.0
Sampling check:  133  examples, max is  1000 
#Ex=133, #Q=104

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

Best test: (selected(A,B),helpful_stack(A,C,D),target_goal_on(A,D,E),helpful_stack(A,C,E),target_goal_on(A,F,C)),target_goal_on(A,G,F)
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=104
Leaf: [put_down] - 14.0
Leaf: [put_down] - 22.0
Leaf: [put_down] - 97.0
Sampling check:  68  examples, max is  1000 
#Ex=68, #Q=104

Best test: (selected(A,B),helpful_stack(A,C,D),target_goal_on(A,D,E),helpful_stack(A,C,E),target_goal_on(A,C,F)),target_goal_on(A,G,C)
Leaf: [put_down] - 30.0
Sampling check:  38  examples, max is  1000 
#Ex=38, #Q=142

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

Best test: (selected(A,B),helpful_stack(A,C,D),target_goal_on(A,D,E),helpful_stack(A,C,E),target_goal_on(A,C,F),target_goal_on(A,G,C),target_goal_on(A,E,H)),target_goal_on(A,F,I)
Sampling check:  16  examples, max is  1000 
#Ex=16, #Q=186
Leaf: [put_down] - 16.0
Leaf: [put_down] - 16.0
Sampling check:  84  examples, max is  1000 
#Ex=84, #Q=72

Best test: (selected(A,B),helpful_stack(A,C,D),target_goal_on(A,D,E),helpful_stack(A,C,E),target_goal_on(A,E,C)),target_goal_on(A,F,D)
Leaf: [put_down] - 20.0
Sampling check:  64  examples, max is  1000 
#Ex=64, #Q=104

Best test: (selected(A,B),helpful_stack(A,C,D),target_goal_on(A,D,E),helpful_stack(A,C,E),target_goal_on(A,E,C),target_goal_on(A,F,D)),candidate_stack(A,C,F)
Sampling check:  32  examples, max is  1000 
#Ex=32, #Q=104

Best test: (selected(A,B),helpful_stack(A,C,D),target_goal_on(A,D,E),helpful_stack(A,C,E),target_goal_on(A,E,C),target_goal_on(A,F,D)),target_goal_on(A,G,F)
Leaf: [put_down] - 24.0
Leaf: [put_down] - 8.0
Sampling check:  32  examples, max is  1000 
#Ex=32, #Q=104
Leaf: [stack] - 32.0
Sampling check:  837  examples, max is  1000 
#Ex=837, #Q=46

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

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

Best test: (selected(A,B),helpful_stack(A,C,D),target_goal_on(A,C,D),target_goal_on(A,D,E),helpful_stack(A,C,E)),target_goal_on(A,E,F)
Leaf: [stack] - 9.0
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=104

Best test: (selected(A,B),helpful_stack(A,C,D),target_goal_on(A,C,D),target_goal_on(A,D,E),helpful_stack(A,C,E),target_goal_on(A,E,F)),target_goal_on(A,F,G)
Leaf: [stack] - 5.0
Leaf: [put_down] - 7.0

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


ace-siblings-episodes> quit

See you later!

