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

ace-unload-episodes> tilde
Loading Tilde
Loading Prediction for ACE
Initializing Query Transformation Library
Initializing C++ Packs Library
Storing attribute: gen(selected_unload(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:  303  examples, max is  1000 
#Ex=303, #Q=55

Best test: selected_unload(A,B,C,D,E,F),target_goal_on(A,G,H)
Leaf: [rejected] - 125.0
Sampling check:  178  examples, max is  1000 
#Ex=178, #Q=353

Best test: (selected_unload(A,B,C,D,E,F),target_goal_on(A,G,H)),helpful_drop(A,I,J,G,K)
Sampling check:  173  examples, max is  1000 
#Ex=173, #Q=353

Best test: (selected_unload(A,B,C,D,E,F),target_goal_on(A,G,H)),helpful_drive(A,I,E,J)
Sampling check:  52  examples, max is  1000 
#Ex=52, #Q=353

Best test: (selected_unload(A,B,C,D,E,F),target_goal_on(A,G,H)),target_goal_on(A,H,I)
Leaf: [selected] - 35.0
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=703

Best test: (selected_unload(A,B,C,D,E,F),target_goal_on(A,G,H),target_goal_on(A,H,I)),target_goal_on(A,I,J)
Leaf: [rejected] - 8.0
Leaf: [rejected] - 9.0
Sampling check:  121  examples, max is  1000 
#Ex=121, #Q=1035

Best test: (selected_unload(A,B,C,D,E,F),target_goal_on(A,G,H),helpful_drive(A,I,E,J)),helpful_drop(A,K,G,H,L)
Sampling check:  77  examples, max is  1000 
#Ex=77, #Q=1035

Best test: (selected_unload(A,B,C,D,E,F),target_goal_on(A,G,H),helpful_drive(A,I,E,J)),target_goal_on(A,H,K)
Sampling check:  52  examples, max is  1000 
#Ex=52, #Q=1035
Leaf: [rejected] - 52.0
Sampling check:  25  examples, max is  1000 
#Ex=25, #Q=1845
Leaf: [rejected] - 25.0
Sampling check:  44  examples, max is  1000 
#Ex=44, #Q=2449

Best test: (selected_unload(A,B,C,D,E,F),target_goal_on(A,G,H),helpful_drive(A,I,E,J),helpful_drop(A,K,G,H,L)),target_goal_on(A,M,G)
Sampling check:  24  examples, max is  1000 
#Ex=24, #Q=2449
Leaf: [rejected] - 24.0
Sampling check:  20  examples, max is  1000 
#Ex=20, #Q=4009
Leaf: [rejected] - 20.0
Leaf: [selected] - 5.0

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


ace-unload-episodes> quit

Au revoir!

