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

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

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

Best test: selected_move_curb_to_car(A,B,C,D,E),helpful_move_curb_to_car(A,B,C,D)
Leaf: [rejected] - 241.0
Sampling check:  102  examples, max is  1000 
#Ex=102, #Q=116

Best test: (selected_move_curb_to_car(A,B,C,D,E),helpful_move_curb_to_car(A,B,C,D)),helpful_move_car_to_car(A,F,G,D)
Leaf: [rejected] - 7.0
Sampling check:  95  examples, max is  1000 
#Ex=95, #Q=318

Best test: (selected_move_curb_to_car(A,B,C,D,E),helpful_move_curb_to_car(A,B,C,D),helpful_move_car_to_car(A,F,G,D)),candidate_move_curb_to_car(A,D,H,B)
Sampling check:  57  examples, max is  1000 
#Ex=57, #Q=318
Leaf: [rejected] - 57.0
Sampling check:  38  examples, max is  1000 
#Ex=38, #Q=401
Leaf: [rejected] - 38.0
Sampling check:  215  examples, max is  1000 
#Ex=215, #Q=200

Best test: (selected_move_curb_to_car(A,B,C,D,E),target_goal_at_curb_num(A,F,C)),helpful_move_car_to_car(A,G,F,D)
Sampling check:  166  examples, max is  1000 
#Ex=166, #Q=200

Best test: (selected_move_curb_to_car(A,B,C,D,E),target_goal_at_curb_num(A,F,C)),helpful_move_curb_to_car(A,G,H,F)
Sampling check:  147  examples, max is  1000 
#Ex=147, #Q=200

Best test: (selected_move_curb_to_car(A,B,C,D,E),target_goal_at_curb_num(A,F,C)),target_goal_at_curb_num(A,D,G)
Leaf: [selected] - 113.0
Sampling check:  34  examples, max is  1000 
#Ex=34, #Q=259

Best test: (selected_move_curb_to_car(A,B,C,D,E),target_goal_at_curb_num(A,F,C),target_goal_at_curb_num(A,D,G)),target_goal_behind_car(A,H,F)
Sampling check:  18  examples, max is  1000 
#Ex=18, #Q=259

Best test: (selected_move_curb_to_car(A,B,C,D,E),target_goal_at_curb_num(A,F,C),target_goal_at_curb_num(A,D,G)),target_goal_behind_car(A,H,B)
Leaf: [selected] - 12.0
Leaf: [selected] - 6.0
Leaf: [selected] - 16.0
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=401

Best test: (selected_move_curb_to_car(A,B,C,D,E),target_goal_at_curb_num(A,F,C),helpful_move_curb_to_car(A,G,H,F)),target_goal_at_curb_num(A,G,I)
Leaf: [rejected] - 14.0
Leaf: [selected] - 5.0
Sampling check:  49  examples, max is  1000 
#Ex=49, #Q=318

Best test: (selected_move_curb_to_car(A,B,C,D,E),target_goal_at_curb_num(A,F,C),helpful_move_car_to_car(A,G,F,D)),helpful_move_curb_to_car(A,D,H,B)
Leaf: [selected] - 9.0
Leaf: [rejected] - 40.0

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


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

Bye-bye!

