
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/satellite/roller/siblings-episodes/siblings-episodes.s ...  
**Initialising language** 
**Initialising knowledge** 
**Loading kb file /home/tomas/sayphi/domains/satellite/roller/siblings-episodes/siblings-episodes.kb ** 
  -> load method =  key 
**No bg file available** 
  -> 1702 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:  1702  examples, max is  1000 
#Ex=1000, #Q=14

Best test: selected(A,B,C),helpful_calibrate(A,B,D,E,F)
Sampling check:  1526  examples, max is  1000 
#Ex=1000, #Q=14

Best test: selected(A,B,C),helpful_take_image(A,B,D,E,F,G)
Sampling check:  978  examples, max is  1000 
#Ex=978, #Q=14

Best test: selected(A,B,C),helpful_switch_on(A,B,D,E)
Sampling check:  774  examples, max is  1000 
#Ex=774, #Q=14

Best test: selected(A,B,C),helpful_switch_off(A,B,D,E)
Leaf: [turn_to] - 703.0
Sampling check:  71  examples, max is  1000 
#Ex=71, #Q=37

Best test: (selected(A,B,C),helpful_switch_off(A,B,D,E)),target_goal_pointing(A,B,E,F)
Sampling check:  64  examples, max is  1000 
#Ex=64, #Q=37
Leaf: [turn_to] - 64.0
Leaf: [turn_to] - 7.0
Sampling check:  204  examples, max is  1000 
#Ex=204, #Q=37

Best test: (selected(A,B,C),helpful_switch_on(A,B,D,E)),target_goal_pointing(A,B,E,F)
Sampling check:  109  examples, max is  1000 
#Ex=109, #Q=37
Leaf: [switch_on] - 109.0
Sampling check:  95  examples, max is  1000 
#Ex=95, #Q=56

Best test: (selected(A,B,C),helpful_switch_on(A,B,D,E),target_goal_pointing(A,B,E,F)),static_fact_calibration_target(B,D,F)
Sampling check:  49  examples, max is  1000 
#Ex=49, #Q=56

Best test: (selected(A,B,C),helpful_switch_on(A,B,D,E),target_goal_pointing(A,B,E,F)),static_fact_calibration_target(B,G,F)
Sampling check:  29  examples, max is  1000 
#Ex=29, #Q=56

Best test: (selected(A,B,C),helpful_switch_on(A,B,D,E),target_goal_pointing(A,B,E,F)),target_goal_have_image(A,B,F,G)
Sampling check:  21  examples, max is  1000 
#Ex=21, #Q=56
Leaf: [switch_on] - 21.0
Leaf: [switch_on] - 8.0
Leaf: [switch_on] - 20.0
Sampling check:  46  examples, max is  1000 
#Ex=46, #Q=56
Leaf: [switch_on] - 46.0
Leaf: [take_image] - 548.0
Leaf: [calibrate] - 176.0

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


ace-siblings-episodes> quit

Au revoir!

