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

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

Best test: selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E)
Sampling check:  2235  examples, max is  1000 
#Ex=1000, #Q=296

Best test: selected_navigate(A,B,C,D,E,F),static_fact_equipped_for_soil_analysis(B,G)
Leaf: [rejected] - 245.0
Leaf: [rejected] - 1990.0
Sampling check:  620  examples, max is  1000 
#Ex=620, #Q=296

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E)),helpful_sample_soil(A,B,C,G,D)
Sampling check:  568  examples, max is  1000 
#Ex=568, #Q=296

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E)),helpful_sample_rock(A,B,C,G,D)
Sampling check:  516  examples, max is  1000 
#Ex=516, #Q=296

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E)),helpful_communicate_rock_data(A,B,C,G,H,D,H)
Sampling check:  444  examples, max is  1000 
#Ex=444, #Q=296

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E)),helpful_communicate_soil_data(A,B,G,H,E,I,J)
Sampling check:  423  examples, max is  1000 
#Ex=423, #Q=296

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E)),static_fact_equipped_for_rock_analysis(B,G)
Sampling check:  44  examples, max is  1000 
#Ex=44, #Q=296

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E)),target_goal_communicated_soil_data(A,B,E)
Sampling check:  29  examples, max is  1000 
#Ex=29, #Q=296

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E)),static_fact_at_lander(B,G,D)
Sampling check:  22  examples, max is  1000 
#Ex=22, #Q=296

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E)),static_fact_at_lander(B,G,E)
Leaf: [selected] - 10.0
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=468
Leaf: [rejected] - 12.0
Leaf: [rejected] - 7.0
Leaf: [selected] - 15.0
Sampling check:  379  examples, max is  1000 
#Ex=379, #Q=430

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),static_fact_equipped_for_rock_analysis(B,G)),helpful_communicate_image_data(A,B,G,H,I,J,D,K)
Sampling check:  249  examples, max is  1000 
#Ex=249, #Q=430

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),static_fact_equipped_for_rock_analysis(B,G)),target_goal_communicated_rock_data(A,B,E)
Sampling check:  207  examples, max is  1000 
#Ex=207, #Q=430

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),static_fact_equipped_for_rock_analysis(B,G)),target_goal_communicated_soil_data(A,B,D)
Sampling check:  183  examples, max is  1000 
#Ex=183, #Q=430

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),static_fact_equipped_for_rock_analysis(B,G)),static_fact_equipped_for_soil_analysis(B,G)
Sampling check:  29  examples, max is  1000 
#Ex=29, #Q=430

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),static_fact_equipped_for_rock_analysis(B,G)),static_fact_at_lander(B,H,E)
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=430

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),static_fact_equipped_for_rock_analysis(B,G)),helpful_take_image(A,B,G,D,H,I,J)
Leaf: [selected] - 9.0
Leaf: [selected] - 8.0
Leaf: [selected] - 12.0
Leaf: [selected] - 154.0
Sampling check:  24  examples, max is  1000 
#Ex=24, #Q=430

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),static_fact_equipped_for_rock_analysis(B,G),target_goal_communicated_soil_data(A,B,D)),static_fact_visible_from(B,H,D)
Leaf: [selected] - 12.0
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=486

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),static_fact_equipped_for_rock_analysis(B,G),target_goal_communicated_soil_data(A,B,D),static_fact_visible_from(B,H,D)),helpful_drop(A,B,G,I)
Leaf: [selected] - 6.0
Leaf: [rejected] - 6.0
Sampling check:  42  examples, max is  1000 
#Ex=42, #Q=430

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),static_fact_equipped_for_rock_analysis(B,G),target_goal_communicated_rock_data(A,B,E)),helpful_calibrate(A,B,G,H,I,D)
Leaf: [selected] - 30.0
Leaf: [rejected] - 12.0
Leaf: [selected] - 130.0
Sampling check:  21  examples, max is  1000 
#Ex=21, #Q=2194

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),helpful_communicate_soil_data(A,B,G,H,E,I,J)),target_goal_communicated_soil_data(A,B,E)
Leaf: [rejected] - 12.0
Leaf: [selected] - 9.0
Sampling check:  72  examples, max is  1000 
#Ex=72, #Q=870

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),helpful_communicate_rock_data(A,B,C,G,H,D,H)),candidate_communicate_image_data(A,B,C,G,I,J,D,H)
Leaf: [rejected] - 40.0
Leaf: [selected] - 32.0
Sampling check:  52  examples, max is  1000 
#Ex=52, #Q=314

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),helpful_sample_rock(A,B,C,G,D)),candidate_calibrate(A,B,C,H,I,D)
Leaf: [rejected] - 40.0
Leaf: [selected] - 12.0
Sampling check:  52  examples, max is  1000 
#Ex=52, #Q=314

Best test: (selected_navigate(A,B,C,D,E,F),helpful_navigate(A,B,C,D,E),helpful_sample_soil(A,B,C,G,D)),static_fact_visible_from(B,H,E)
Leaf: [selected] - 6.0
Leaf: [rejected] - 46.0

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


ace-navigate-episodes> quit

Bye-bye!

