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

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

Best test: selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D)
Leaf: [rejected] - 273.0
Sampling check:  588  examples, max is  1000 
#Ex=588, #Q=153

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D)),target_goal_on(A,B,D,G)
Sampling check:  324  examples, max is  1000 
#Ex=324, #Q=153

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D)),static_fact_block_positive(B,D)
Sampling check:  214  examples, max is  1000 
#Ex=214, #Q=153

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

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D)),helpful_putdown_neg_neg(A,B,G,H)
Sampling check:  149  examples, max is  1000 
#Ex=149, #Q=153

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

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

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

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

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

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),helpful_unstack(A,B,F,G,H),static_fact_block_positive(B,G),static_fact_block_positive(B,H),static_fact_hand_positive(B,F)),candidate_pickup(A,B,C,I)
Sampling check:  35  examples, max is  1000 
#Ex=35, #Q=413
Leaf: [selected] - 35.0
Sampling check:  61  examples, max is  1000 
#Ex=61, #Q=594
Leaf: [selected] - 61.0
Sampling check:  27  examples, max is  1000 
#Ex=27, #Q=341

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),helpful_putdown_neg_neg(A,B,G,H)),candidate_unstack(A,B,F,I,J)
Leaf: [rejected] - 8.0
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=763
Leaf: [rejected] - 19.0
Sampling check:  38  examples, max is  1000 
#Ex=38, #Q=341

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),helpful_stack_pos_pos(A,B,G,H,D)),candidate_unstack(A,B,F,I,J)
Sampling check:  16  examples, max is  1000 
#Ex=16, #Q=341
Leaf: [rejected] - 16.0
Leaf: [rejected] - 22.0
Sampling check:  110  examples, max is  1000 
#Ex=110, #Q=153

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),static_fact_block_positive(B,D)),helpful_unstack(A,B,F,G,H)
Sampling check:  35  examples, max is  1000 
#Ex=35, #Q=153

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),static_fact_block_positive(B,D)),helpful_stack_neg_neg(A,B,G,H,D)
Sampling check:  25  examples, max is  1000 
#Ex=25, #Q=153

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),static_fact_block_positive(B,D)),static_fact_hand_positive(B,F)
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=153

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),static_fact_block_positive(B,D)),helpful_stack_pos_pos(A,B,G,H,D)
Leaf: [rejected] - 6.0
Leaf: [rejected] - 9.0
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=153
Leaf: [rejected] - 10.0
Leaf: [rejected] - 10.0
Sampling check:  75  examples, max is  1000 
#Ex=75, #Q=413

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

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

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),static_fact_block_positive(B,D),helpful_unstack(A,B,F,G,H),static_fact_hand_positive(B,C)),static_fact_block_negative(B,G)
Leaf: [rejected] - 8.0
Leaf: [rejected] - 6.0
Leaf: [rejected] - 20.0
Sampling check:  264  examples, max is  1000 
#Ex=264, #Q=266

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G)),helpful_pickup(A,B,H,G)
Sampling check:  188  examples, max is  1000 
#Ex=188, #Q=266

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G)),helpful_putdown_neg_neg(A,B,H,I)
Sampling check:  182  examples, max is  1000 
#Ex=182, #Q=266

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

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

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,C,D)),target_goal_on(A,B,H,D)
Sampling check:  67  examples, max is  1000 
#Ex=67, #Q=266

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,C,D)),candidate_unstack(A,B,F,H,G)
Sampling check:  44  examples, max is  1000 
#Ex=44, #Q=266

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,C,D)),target_goal_on(A,B,G,H)
Leaf: [selected] - 34.0
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=413

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,C,D),target_goal_on(A,B,G,H)),static_fact_hand_positive(B,F)
Leaf: [rejected] - 5.0
Leaf: [selected] - 5.0
Sampling check:  23  examples, max is  1000 
#Ex=23, #Q=413
Leaf: [selected] - 23.0
Sampling check:  43  examples, max is  1000 
#Ex=43, #Q=413

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,C,D),target_goal_on(A,B,H,D)),candidate_unstack(A,B,F,H,I)
Sampling check:  37  examples, max is  1000 
#Ex=37, #Q=413

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,C,D),target_goal_on(A,B,H,D)),static_fact_hand_positive(B,F)
Sampling check:  16  examples, max is  1000 
#Ex=16, #Q=413

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,C,D),target_goal_on(A,B,H,D)),candidate_pickup(A,B,I,H)
Leaf: [rejected] - 6.0
Leaf: [rejected] - 10.0
Sampling check:  21  examples, max is  1000 
#Ex=21, #Q=413

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,C,D),target_goal_on(A,B,H,D),static_fact_hand_positive(B,F)),static_fact_block_positive(B,D)
Leaf: [rejected] - 9.0
Leaf: [selected] - 12.0
Leaf: [rejected] - 6.0
Leaf: [rejected] - 6.0
Sampling check:  76  examples, max is  1000 
#Ex=76, #Q=341

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,H,G)),candidate_pickup(A,B,C,G)
Leaf: [rejected] - 33.0
Sampling check:  43  examples, max is  1000 
#Ex=43, #Q=341

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,H,G),candidate_pickup(A,B,C,G)),target_goal_on(A,B,I,D)
Sampling check:  27  examples, max is  1000 
#Ex=27, #Q=341

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,H,G),candidate_pickup(A,B,C,G)),static_fact_hand_positive(B,H)
Leaf: [selected] - 6.0
Sampling check:  21  examples, max is  1000 
#Ex=21, #Q=341

Best test: (selected_pickup(A,B,C,D,E),helpful_pickup(A,B,F,D),target_goal_on(A,B,D,G),helpful_pickup(A,B,H,G),candidate_pickup(A,B,C,G),static_fact_hand_positive(B,H)),static_fact_block_positive(B,G)
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=341
Leaf: [rejected] - 12.0
Leaf: [rejected] - 9.0
Leaf: [rejected] - 16.0

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


ace-pickup-episodes> quit

Au revoir!

