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

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

Best test: selected(A,B,C),helpful_drive(A,B,D,E,F)
Leaf: [unload] - 150.0
Sampling check:  410  examples, max is  1000 
#Ex=410, #Q=317

Best test: (selected(A,B,C),helpful_drive(A,B,D,E,F)),helpful_buy(A,B,G,H,I,J,K,L,M)
Sampling check:  315  examples, max is  1000 
#Ex=315, #Q=317

Best test: (selected(A,B,C),helpful_drive(A,B,D,E,F)),helpful_load(A,B,G,D,E,H,I,J,K)
Sampling check:  150  examples, max is  1000 
#Ex=150, #Q=317
Leaf: [drive] - 150.0
Sampling check:  165  examples, max is  1000 
#Ex=165, #Q=28916

Best test: (selected(A,B,C),helpful_drive(A,B,D,E,F),helpful_load(A,B,G,D,E,H,I,J,K)),static_fact_next(B,I,K)
Sampling check:  135  examples, max is  1000 
#Ex=135, #Q=28916

Best test: (selected(A,B,C),helpful_drive(A,B,D,E,F),helpful_load(A,B,G,D,E,H,I,J,K)),target_goal_stored(A,B,G,K)
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=28916
Leaf: [buy] - 15.0
Sampling check:  120  examples, max is  1000 
#Ex=120, #Q=28916
Leaf: [load] - 120.0
Leaf: [load] - 30.0
Leaf: [buy] - 95.0

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


ace-siblings-episodes> quit

Have a nice day!

