
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/matching-bw/roller/unstack-episodes/unstack-episodes.s ...  
**Initialising language** 
**Initialising knowledge** 
**Loading kb file /home/tomas/sayphi/domains/matching-bw/roller/unstack-episodes/unstack-episodes.kb ** 
  -> load method =  key 
**No bg file available** 
  -> 770 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,E,F),F)
Storing all attributes: ..
HRType:  esh_gainratio 
TILDE
Discretization busy...
Right subtree optimization disabled. 
Preprocessing constant generators. 
Sampling check:  770  examples, max is  1000 
#Ex=770, #Q=191

Best test: selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E)
Leaf: [rejected] - 314.0
Sampling check:  456  examples, max is  1000 
#Ex=456, #Q=266

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

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

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E)),helpful_pickup(A,B,C,H)
Leaf: [rejected] - 10.0
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=413

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),helpful_pickup(A,B,C,H)),static_fact_hand_negative(B,G)
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=413
Leaf: [selected] - 14.0
Leaf: [rejected] - 5.0
Sampling check:  121  examples, max is  1000 
#Ex=121, #Q=266

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),static_fact_block_positive(B,D)),helpful_stack_pos_pos(A,B,H,I,J)
Sampling check:  102  examples, max is  1000 
#Ex=102, #Q=266

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),static_fact_block_positive(B,D)),static_fact_hand_positive(B,C)
Sampling check:  30  examples, max is  1000 
#Ex=30, #Q=266

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

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),static_fact_block_positive(B,D)),helpful_pickup(A,B,C,H)
Leaf: [rejected] - 8.0
Leaf: [rejected] - 5.0
Leaf: [selected] - 17.0
Sampling check:  72  examples, max is  1000 
#Ex=72, #Q=266

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),static_fact_block_positive(B,D),static_fact_hand_positive(B,C)),helpful_putdown_neg_neg(A,B,H,I)
Sampling check:  49  examples, max is  1000 
#Ex=49, #Q=266

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

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),static_fact_block_positive(B,D),static_fact_hand_positive(B,C),helpful_pickup(A,B,C,H)),static_fact_block_positive(B,H)
Sampling check:  33  examples, max is  1000 
#Ex=33, #Q=413

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),static_fact_block_positive(B,D),static_fact_hand_positive(B,C),helpful_pickup(A,B,C,H)),static_fact_block_positive(B,E)
Leaf: [selected] - 9.0
Sampling check:  24  examples, max is  1000 
#Ex=24, #Q=413

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),static_fact_block_positive(B,D),static_fact_hand_positive(B,C),helpful_pickup(A,B,C,H),static_fact_block_positive(B,E)),static_fact_hand_negative(B,G)
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=413
Leaf: [selected] - 12.0
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=413
Leaf: [rejected] - 12.0
Leaf: [rejected] - 8.0
Sampling check:  23  examples, max is  1000 
#Ex=23, #Q=530

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),static_fact_block_positive(B,D),static_fact_hand_positive(B,C),helpful_putdown_neg_neg(A,B,H,I)),static_fact_block_positive(B,E)
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=530
Leaf: [rejected] - 10.0
Sampling check:  13  examples, max is  1000 
#Ex=13, #Q=530
Leaf: [selected] - 13.0
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=763

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),static_fact_block_positive(B,D),helpful_stack_pos_pos(A,B,H,I,J)),candidate_pickup(A,B,G,K)
Leaf: [selected] - 8.0
Leaf: [rejected] - 11.0
Sampling check:  306  examples, max is  1000 
#Ex=306, #Q=594

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I)),static_fact_hand_positive(B,G)
Leaf: [selected] - 32.0
Sampling check:  274  examples, max is  1000 
#Ex=274, #Q=594

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G)),helpful_unstack(A,B,G,I,J)
Sampling check:  94  examples, max is  1000 
#Ex=94, #Q=594

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

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

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G)),static_fact_block_positive(B,I)
Leaf: [selected] - 5.0
Sampling check:  18  examples, max is  1000 
#Ex=18, #Q=594

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G),static_fact_block_positive(B,I)),helpful_pickup(A,B,G,H)
Leaf: [selected] - 6.0
Leaf: [selected] - 12.0
Leaf: [selected] - 62.0
Leaf: [selected] - 9.0
Sampling check:  180  examples, max is  1000 
#Ex=180, #Q=809

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G),helpful_unstack(A,B,G,I,J)),target_goal_on(A,B,J,E)
Sampling check:  162  examples, max is  1000 
#Ex=162, #Q=809

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G),helpful_unstack(A,B,G,I,J)),target_goal_on(A,B,D,H)
Sampling check:  152  examples, max is  1000 
#Ex=152, #Q=809

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G),helpful_unstack(A,B,G,I,J)),candidate_stack_neg_neg(A,B,K,L,M)
Sampling check:  140  examples, max is  1000 
#Ex=140, #Q=809

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G),helpful_unstack(A,B,G,I,J)),target_goal_on(A,B,D,I)
Sampling check:  128  examples, max is  1000 
#Ex=128, #Q=809

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G),helpful_unstack(A,B,G,I,J)),target_goal_on(A,B,H,D)
Sampling check:  20  examples, max is  1000 
#Ex=20, #Q=809
Leaf: [selected] - 20.0
Sampling check:  108  examples, max is  1000 
#Ex=108, #Q=809

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G),helpful_unstack(A,B,G,I,J),target_goal_on(A,B,H,D)),static_fact_hand_positive(B,C)
Sampling check:  53  examples, max is  1000 
#Ex=53, #Q=809

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G),helpful_unstack(A,B,G,I,J),target_goal_on(A,B,H,D)),static_fact_block_positive(B,I)
Leaf: [selected] - 32.0
Leaf: [rejected] - 21.0
Sampling check:  55  examples, max is  1000 
#Ex=55, #Q=809

Best test: (selected_unstack(A,B,C,D,E,F),helpful_unstack(A,B,G,D,E),target_goal_on(A,B,H,I),static_fact_hand_positive(B,G),helpful_unstack(A,B,G,I,J),target_goal_on(A,B,H,D),static_fact_hand_positive(B,C)),static_fact_block_positive(B,I)
Leaf: [rejected] - 32.0
Leaf: [selected] - 23.0
Leaf: [rejected] - 12.0
Leaf: [selected] - 12.0
Leaf: [rejected] - 10.0
Leaf: [selected] - 18.0

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


ace-unstack-episodes> quit

Thank you for using ACE.

