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

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

Best test: selected_switch_on(A,B,C,D,E),helpful_switch_on(A,B,C,D)
Leaf: [rejected] - 63.0
Sampling check:  249  examples, max is  1000 
#Ex=249, #Q=37

Best test: (selected_switch_on(A,B,C,D,E),helpful_switch_on(A,B,C,D)),target_goal_have_image(A,B,F,G)
Leaf: [selected] - 36.0
Sampling check:  213  examples, max is  1000 
#Ex=213, #Q=68

Best test: (selected_switch_on(A,B,C,D,E),helpful_switch_on(A,B,C,D),target_goal_have_image(A,B,F,G)),target_goal_pointing(A,B,D,F)
Sampling check:  205  examples, max is  1000 
#Ex=205, #Q=68

Best test: (selected_switch_on(A,B,C,D,E),helpful_switch_on(A,B,C,D),target_goal_have_image(A,B,F,G)),target_goal_pointing(A,B,D,H)
Sampling check:  112  examples, max is  1000 
#Ex=112, #Q=68

Best test: (selected_switch_on(A,B,C,D,E),helpful_switch_on(A,B,C,D),target_goal_have_image(A,B,F,G)),helpful_turn_to(A,B,D,H,F)
Sampling check:  101  examples, max is  1000 
#Ex=101, #Q=68
Leaf: [selected] - 101.0
Leaf: [selected] - 11.0
Sampling check:  93  examples, max is  1000 
#Ex=93, #Q=96

Best test: (selected_switch_on(A,B,C,D,E),helpful_switch_on(A,B,C,D),target_goal_have_image(A,B,F,G),target_goal_pointing(A,B,D,H)),static_fact_calibration_target(B,I,H)
Sampling check:  27  examples, max is  1000 
#Ex=27, #Q=96

Best test: (selected_switch_on(A,B,C,D,E),helpful_switch_on(A,B,C,D),target_goal_have_image(A,B,F,G),target_goal_pointing(A,B,D,H)),helpful_turn_to(A,B,D,H,F)
Leaf: [selected] - 13.0
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=96

Best test: (selected_switch_on(A,B,C,D,E),helpful_switch_on(A,B,C,D),target_goal_have_image(A,B,F,G),target_goal_pointing(A,B,D,H),helpful_turn_to(A,B,D,H,F)),static_fact_supports(B,C,G)
Leaf: [rejected] - 6.0
Leaf: [selected] - 8.0
Leaf: [selected] - 66.0
Leaf: [selected] - 8.0

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


ace-switch_on-episodes> quit

Goodbye!

