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

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

Best test: selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G)
Sampling check:  13243  examples, max is  1000 
#Ex=1000, #Q=55

Best test: selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D)
Sampling check:  11123  examples, max is  1000 
#Ex=1000, #Q=55

Best test: selected_turn_to(A,B,C,D,E,F),target_goal_pointing(A,B,C,D)
Leaf: [rejected] - 11035.0
Sampling check:  88  examples, max is  1000 
#Ex=88, #Q=55

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_pointing(A,B,C,D)),target_goal_have_image(A,B,G,H)
Leaf: [selected] - 6.0
Sampling check:  82  examples, max is  1000 
#Ex=82, #Q=90

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_pointing(A,B,C,D),target_goal_have_image(A,B,G,H)),helpful_turn_to(A,B,C,G,E)
Leaf: [selected] - 11.0
Leaf: [rejected] - 71.0
Sampling check:  2120  examples, max is  1000 
#Ex=1000, #Q=79

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D)),helpful_switch_on(A,B,G,C)
Sampling check:  1935  examples, max is  1000 
#Ex=1000, #Q=79

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D)),helpful_turn_to(A,B,C,D,E)
Leaf: [rejected] - 1084.0
Sampling check:  851  examples, max is  1000 
#Ex=851, #Q=79

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_turn_to(A,B,C,D,E)),target_goal_have_image(A,B,E,H)
Sampling check:  751  examples, max is  1000 
#Ex=751, #Q=79

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_turn_to(A,B,C,D,E)),helpful_take_image(A,B,C,E,H,I)
Sampling check:  450  examples, max is  1000 
#Ex=450, #Q=79

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_turn_to(A,B,C,D,E)),helpful_calibrate(A,B,C,H,E)
Sampling check:  403  examples, max is  1000 
#Ex=403, #Q=79

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_turn_to(A,B,C,D,E)),target_goal_have_image(A,B,H,I)
Sampling check:  70  examples, max is  1000 
#Ex=70, #Q=79

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_turn_to(A,B,C,D,E)),helpful_switch_on(A,B,H,C)
Leaf: [selected] - 51.0
Leaf: [rejected] - 19.0
Sampling check:  333  examples, max is  1000 
#Ex=333, #Q=128

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_turn_to(A,B,C,D,E),target_goal_have_image(A,B,H,I)),target_goal_pointing(A,B,C,H)
Sampling check:  325  examples, max is  1000 
#Ex=325, #Q=128

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_turn_to(A,B,C,D,E),target_goal_have_image(A,B,H,I)),target_goal_pointing(A,B,C,D)
Sampling check:  87  examples, max is  1000 
#Ex=87, #Q=128

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_turn_to(A,B,C,D,E),target_goal_have_image(A,B,H,I)),helpful_switch_off(A,B,J,C)
Leaf: [selected] - 45.0
Leaf: [rejected] - 42.0
Sampling check:  238  examples, max is  1000 
#Ex=238, #Q=128

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_turn_to(A,B,C,D,E),target_goal_have_image(A,B,H,I),target_goal_pointing(A,B,C,D)),static_fact_supports(B,G,I)
Leaf: [rejected] - 80.0
Sampling check:  158  examples, max is  1000 
#Ex=158, #Q=128
Leaf: [rejected] - 158.0
Leaf: [selected] - 8.0
Leaf: [rejected] - 47.0
Leaf: [rejected] - 301.0
Sampling check:  100  examples, max is  1000 
#Ex=100, #Q=96

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_turn_to(A,B,C,D,E),target_goal_have_image(A,B,E,H)),static_fact_supports(B,G,H)
Sampling check:  40  examples, max is  1000 
#Ex=40, #Q=96
Leaf: [rejected] - 40.0
Leaf: [selected] - 60.0
Sampling check:  185  examples, max is  1000 
#Ex=185, #Q=79

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_switch_on(A,B,G,C)),static_fact_calibration_target(B,H,E)
Sampling check:  152  examples, max is  1000 
#Ex=152, #Q=79

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

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_switch_on(A,B,G,C)),target_goal_have_image(A,B,E,H)
Sampling check:  111  examples, max is  1000 
#Ex=111, #Q=79

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_switch_on(A,B,G,C)),target_goal_have_image(A,B,H,I)
Sampling check:  96  examples, max is  1000 
#Ex=96, #Q=79
Leaf: [selected] - 96.0
Leaf: [selected] - 15.0
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=96

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_switch_on(A,B,G,C),target_goal_have_image(A,B,E,H)),static_fact_supports(B,G,H)
Leaf: [selected] - 8.0
Sampling check:  11  examples, max is  1000 
#Ex=11, #Q=96
Leaf: [selected] - 11.0
Leaf: [selected] - 22.0
Sampling check:  33  examples, max is  1000 
#Ex=33, #Q=103

Best test: (selected_turn_to(A,B,C,D,E,F),static_fact_calibration_target(B,G,D),helpful_switch_on(A,B,G,C),static_fact_calibration_target(B,H,E)),helpful_switch_on(A,B,H,C)
Leaf: [selected] - 6.0
Leaf: [rejected] - 27.0
Sampling check:  2075  examples, max is  1000 
#Ex=1000, #Q=65

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G)),helpful_turn_to(A,B,C,D,E)
Leaf: [rejected] - 233.0
Sampling check:  1842  examples, max is  1000 
#Ex=1000, #Q=65

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E)),helpful_switch_on(A,B,H,C)
Sampling check:  1700  examples, max is  1000 
#Ex=1000, #Q=65

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E)),target_goal_pointing(A,B,C,D)
Sampling check:  1662  examples, max is  1000 
#Ex=1000, #Q=65

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E)),target_goal_have_image(A,B,E,H)
Sampling check:  1529  examples, max is  1000 
#Ex=1000, #Q=65

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E)),helpful_switch_off(A,B,H,C)
Sampling check:  1353  examples, max is  1000 
#Ex=1000, #Q=65

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E)),static_fact_calibration_target(B,H,E)
Sampling check:  838  examples, max is  1000 
#Ex=838, #Q=65

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E)),target_goal_pointing(A,B,C,H)
Sampling check:  279  examples, max is  1000 
#Ex=279, #Q=65
Leaf: [selected] - 279.0
Sampling check:  559  examples, max is  1000 
#Ex=559, #Q=90

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E),target_goal_pointing(A,B,C,H)),static_fact_calibration_target(B,I,H)
Sampling check:  83  examples, max is  1000 
#Ex=83, #Q=90

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E),target_goal_pointing(A,B,C,H)),target_goal_have_image(A,B,H,I)
Sampling check:  59  examples, max is  1000 
#Ex=59, #Q=90
Leaf: [selected] - 59.0
Sampling check:  24  examples, max is  1000 
#Ex=24, #Q=103
Leaf: [selected] - 24.0
Sampling check:  476  examples, max is  1000 
#Ex=476, #Q=128

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E),target_goal_pointing(A,B,C,H),static_fact_calibration_target(B,I,H)),static_fact_supports(B,I,G)
Leaf: [selected] - 120.0
Sampling check:  356  examples, max is  1000 
#Ex=356, #Q=128
Leaf: [selected] - 356.0
Sampling check:  515  examples, max is  1000 
#Ex=515, #Q=96

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E),static_fact_calibration_target(B,H,E)),static_fact_supports(B,H,G)
Leaf: [rejected] - 18.0
Leaf: [selected] - 497.0
Sampling check:  176  examples, max is  1000 
#Ex=176, #Q=96

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E),helpful_switch_off(A,B,H,C)),static_fact_supports(B,H,G)
Leaf: [rejected] - 109.0
Leaf: [selected] - 67.0
Sampling check:  133  examples, max is  1000 
#Ex=133, #Q=75

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E),target_goal_have_image(A,B,E,H)),target_goal_pointing(A,B,C,I)
Sampling check:  53  examples, max is  1000 
#Ex=53, #Q=75

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E),target_goal_have_image(A,B,E,H)),target_goal_have_image(A,B,E,G)
Leaf: [selected] - 8.0
Sampling check:  45  examples, max is  1000 
#Ex=45, #Q=75
Leaf: [selected] - 45.0
Leaf: [rejected] - 80.0
Sampling check:  38  examples, max is  1000 
#Ex=38, #Q=65

Best test: (selected_turn_to(A,B,C,D,E,F),target_goal_have_image(A,B,D,G),helpful_turn_to(A,B,C,D,E),target_goal_pointing(A,B,C,D)),target_goal_have_image(A,B,E,H)
Leaf: [rejected] - 32.0
Leaf: [selected] - 6.0
Leaf: [rejected] - 142.0

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


ace-turn_to-episodes> quit

Have a nice day!

