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

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

Best test: selected_putdown_pos_pos(A,B,C,D,E),target_goal_on(A,B,F,D)
Sampling check:  120  examples, max is  1000 
#Ex=120, #Q=110

Best test: selected_putdown_pos_pos(A,B,C,D,E),helpful_stack_pos_pos(A,B,C,D,F)
Leaf: [rejected] - 13.0
Sampling check:  107  examples, max is  1000 
#Ex=107, #Q=191

Best test: (selected_putdown_pos_pos(A,B,C,D,E),helpful_stack_pos_pos(A,B,C,D,F)),static_fact_block_positive(B,F)
Sampling check:  35  examples, max is  1000 
#Ex=35, #Q=191

Best test: (selected_putdown_pos_pos(A,B,C,D,E),helpful_stack_pos_pos(A,B,C,D,F)),helpful_pickup(A,B,G,H)
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=191

Best test: (selected_putdown_pos_pos(A,B,C,D,E),helpful_stack_pos_pos(A,B,C,D,F)),helpful_putdown_neg_neg(A,B,G,H)
Leaf: [rejected] - 8.0
Leaf: [selected] - 9.0
Sampling check:  18  examples, max is  1000 
#Ex=18, #Q=413

Best test: (selected_putdown_pos_pos(A,B,C,D,E),helpful_stack_pos_pos(A,B,C,D,F),helpful_pickup(A,B,G,H)),candidate_putdown_pos_pos(A,B,C,D)
Leaf: [rejected] - 6.0
Leaf: [rejected] - 12.0
Sampling check:  72  examples, max is  1000 
#Ex=72, #Q=191

Best test: (selected_putdown_pos_pos(A,B,C,D,E),helpful_stack_pos_pos(A,B,C,D,F),static_fact_block_positive(B,F)),helpful_putdown_neg_neg(A,B,G,H)
Leaf: [rejected] - 46.0
Sampling check:  26  examples, max is  1000 
#Ex=26, #Q=413
Leaf: [rejected] - 26.0
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=191

Best test: (selected_putdown_pos_pos(A,B,C,D,E),target_goal_on(A,B,F,D)),helpful_unstack(A,B,G,H,I)
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=191

Best test: (selected_putdown_pos_pos(A,B,C,D,E),target_goal_on(A,B,F,D)),target_goal_on(A,B,G,F)
Leaf: [rejected] - 6.0
Leaf: [selected] - 6.0
Leaf: [selected] - 7.0

Refinement finished. 
Output written to file '/home/tomas/sayphi/domains/matching-bw/roller/putdown-pos-pos-episodes/tilde/putdown-pos-pos-episodes.out'.


ace-putdown-pos-pos-episodes> quit

See you later!

