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

ace-move-col-to-col-episodes> tilde
Loading Tilde
Loading Prediction for ACE
Initializing Query Transformation Library
Initializing C++ Packs Library
Storing attribute: gen(selected_move_col_to_col(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:  324  examples, max is  1000 
#Ex=324, #Q=2209

Best test: selected_move_col_to_col(A,B,C,D,E,F),target_goal_home(A,B,G)
Leaf: [rejected] - 275.0
Sampling check:  49  examples, max is  1000 
#Ex=49, #Q=4114

Best test: (selected_move_col_to_col(A,B,C,D,E,F),target_goal_home(A,B,G)),static_fact_canstack(B,C,D)
Sampling check:  24  examples, max is  1000 
#Ex=24, #Q=4114

Best test: (selected_move_col_to_col(A,B,C,D,E,F),target_goal_home(A,B,G)),helpful_turn_deck(A,B,H,G)
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=4114

Best test: (selected_move_col_to_col(A,B,C,D,E,F),target_goal_home(A,B,G)),static_fact_canstack(B,H,D)
Leaf: [selected] - 5.0
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=7081

Best test: (selected_move_col_to_col(A,B,C,D,E,F),target_goal_home(A,B,G),static_fact_canstack(B,H,D)),static_fact_king(B,E)
Leaf: [selected] - 8.0
Leaf: [selected] - 6.0
Leaf: [selected] - 5.0
Sampling check:  25  examples, max is  1000 
#Ex=25, #Q=4114

Best test: (selected_move_col_to_col(A,B,C,D,E,F),target_goal_home(A,B,G),static_fact_canstack(B,C,D)),helpful_move_col_to_col_c(A,B,G,H,I,J)
Sampling check:  18  examples, max is  1000 
#Ex=18, #Q=4114

Best test: (selected_move_col_to_col(A,B,C,D,E,F),target_goal_home(A,B,G),static_fact_canstack(B,C,D)),helpful_move_col_to_col(A,B,H,I,G)
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=4114

Best test: (selected_move_col_to_col(A,B,C,D,E,F),target_goal_home(A,B,G),static_fact_canstack(B,C,D)),static_fact_canstack(B,H,C)
Leaf: [rejected] - 7.0
Leaf: [rejected] - 5.0
Leaf: [selected] - 6.0
Leaf: [rejected] - 7.0

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


ace-move-col-to-col-episodes> quit

Au revoir!

