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

ace-col-to-home-episodes> tilde
Loading Tilde
Loading Prediction for ACE
Initializing Query Transformation Library
Initializing C++ Packs Library
Storing attribute: gen(selected_col_to_home(A,B,C,D,E,F,G,H,I),I)
Storing all attributes: .
HRType:  esh_gainratio 
TILDE
Discretization busy...
Right subtree optimization disabled. 
Preprocessing constant generators. 
Sampling check:  231  examples, max is  1000 
#Ex=231, #Q=10551

Best test: selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J)
Sampling check:  95  examples, max is  1000 
#Ex=95, #Q=10551

Best test: selected_col_to_home(A,B,C,D,E,F,G,H,I),helpful_col_to_home_b(A,B,J,K,L,M,F,N,O)
Leaf: [rejected] - 87.0
Leaf: [rejected] - 8.0
Sampling check:  136  examples, max is  1000 
#Ex=136, #Q=19688

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J)),helpful_col_to_home(A,B,K,L,M,H,N,O)
Sampling check:  129  examples, max is  1000 
#Ex=129, #Q=19688

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J)),static_fact_canstack(B,K,D)
Leaf: [selected] - 17.0
Sampling check:  112  examples, max is  1000 
#Ex=112, #Q=33725

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D)),helpful_col_to_home_b(A,B,J,L,M,N,O,P,Q)
Sampling check:  98  examples, max is  1000 
#Ex=98, #Q=33725

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D)),helpful_tal_to_col(A,B,L,M,N,O)
Sampling check:  90  examples, max is  1000 
#Ex=90, #Q=33725

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D)),helpful_move_col_to_col(A,B,C,J,L)
Sampling check:  83  examples, max is  1000 
#Ex=83, #Q=33725

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D)),helpful_move_col_to_col(A,B,L,M,J)
Sampling check:  62  examples, max is  1000 
#Ex=62, #Q=33725

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D)),static_fact_suit(B,K,E)
Leaf: [selected] - 11.0
Sampling check:  51  examples, max is  1000 
#Ex=51, #Q=33725

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D),static_fact_suit(B,K,E)),static_fact_canstack(B,C,J)
Sampling check:  40  examples, max is  1000 
#Ex=40, #Q=33725

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D),static_fact_suit(B,K,E)),static_fact_canstack(B,L,G)
Sampling check:  23  examples, max is  1000 
#Ex=23, #Q=33725

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D),static_fact_suit(B,K,E)),static_fact_canstack(B,D,J)
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=33725

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D),static_fact_suit(B,K,E)),static_fact_value(B,K,F)
Leaf: [rejected] - 8.0
Leaf: [selected] - 9.0
Leaf: [selected] - 6.0
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=54096

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D),static_fact_suit(B,K,E),static_fact_canstack(B,L,G)),static_fact_canstack(B,D,J)
Leaf: [selected] - 6.0
Sampling check:  11  examples, max is  1000 
#Ex=11, #Q=54096

Best test: (selected_col_to_home(A,B,C,D,E,F,G,H,I),target_goal_home(A,B,J),static_fact_canstack(B,K,D),static_fact_suit(B,K,E),static_fact_canstack(B,L,G),static_fact_canstack(B,D,J)),helpful_turn_deck(A,B,M,J)
Leaf: [rejected] - 6.0
Leaf: [selected] - 5.0
Leaf: [selected] - 11.0
Leaf: [selected] - 21.0
Leaf: [rejected] - 7.0
Leaf: [selected] - 8.0
Leaf: [selected] - 14.0
Leaf: [rejected] - 7.0

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


ace-col-to-home-episodes> quit

Hasta la vista!

