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

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

Best test: selected_move_car_to_curb(A,B,C,D,E),target_goal_at_curb_num(A,B,D)
Sampling check:  425  examples, max is  1000 
#Ex=425, #Q=116

Best test: selected_move_car_to_curb(A,B,C,D,E),target_goal_at_curb_num(A,C,D)
Sampling check:  409  examples, max is  1000 
#Ex=409, #Q=116

Best test: selected_move_car_to_curb(A,B,C,D,E),target_goal_at_curb_num(A,C,F)
Sampling check:  329  examples, max is  1000 
#Ex=329, #Q=116

Best test: selected_move_car_to_curb(A,B,C,D,E),target_goal_behind_car(A,F,B)
Leaf: [rejected] - 279.0
Sampling check:  50  examples, max is  1000 
#Ex=50, #Q=200

Best test: (selected_move_car_to_curb(A,B,C,D,E),target_goal_behind_car(A,F,B)),target_goal_behind_car(A,C,G)
Leaf: [rejected] - 32.0
Sampling check:  18  examples, max is  1000 
#Ex=18, #Q=318

Best test: (selected_move_car_to_curb(A,B,C,D,E),target_goal_behind_car(A,F,B),target_goal_behind_car(A,C,G)),helpful_move_car_to_curb(A,G,H,D)
Leaf: [rejected] - 7.0
Sampling check:  11  examples, max is  1000 
#Ex=11, #Q=476

Best test: (selected_move_car_to_curb(A,B,C,D,E),target_goal_behind_car(A,F,B),target_goal_behind_car(A,C,G),helpful_move_car_to_curb(A,G,H,D)),target_goal_at_curb_num(A,H,I)
Leaf: [rejected] - 6.0
Leaf: [rejected] - 5.0
Sampling check:  80  examples, max is  1000 
#Ex=80, #Q=155

Best test: (selected_move_car_to_curb(A,B,C,D,E),target_goal_at_curb_num(A,C,F)),helpful_move_car_to_curb(A,B,C,D)
Leaf: [rejected] - 15.0
Sampling check:  65  examples, max is  1000 
#Ex=65, #Q=155

Best test: (selected_move_car_to_curb(A,B,C,D,E),target_goal_at_curb_num(A,C,F),helpful_move_car_to_curb(A,B,C,D)),target_goal_behind_car(A,G,C)
Sampling check:  33  examples, max is  1000 
#Ex=33, #Q=155

Best test: (selected_move_car_to_curb(A,B,C,D,E),target_goal_at_curb_num(A,C,F),helpful_move_car_to_curb(A,B,C,D)),target_goal_behind_car(A,B,G)
Leaf: [rejected] - 13.0
Sampling check:  20  examples, max is  1000 
#Ex=20, #Q=259

Best test: (selected_move_car_to_curb(A,B,C,D,E),target_goal_at_curb_num(A,C,F),helpful_move_car_to_curb(A,B,C,D),target_goal_behind_car(A,B,G)),target_goal_at_curb_num(A,G,D)
Leaf: [rejected] - 12.0
Leaf: [rejected] - 8.0
Leaf: [rejected] - 32.0
Sampling check:  16  examples, max is  1000 
#Ex=16, #Q=116

Best test: (selected_move_car_to_curb(A,B,C,D,E),target_goal_at_curb_num(A,C,D)),target_goal_at_curb_num(A,B,F)
Leaf: [selected] - 8.0
Leaf: [rejected] - 8.0
Leaf: [selected] - 147.0

Refinement finished. 
Output written to file '/home/tomas/sayphi/domains/parking/roller/move-car-to-curb-episodes/tilde/move-car-to-curb-episodes.out'.


ace-move-car-to-curb-episodes> quit

See you soon!

