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

ace-move-car-to-car-episodes> tilde
Loading Tilde
Loading Prediction for ACE
Initializing Query Transformation Library
Initializing C++ Packs Library
Storing attribute: gen(selected_move_car_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:  1422  examples, max is  1000 
#Ex=1000, #Q=149

Best test: selected_move_car_to_car(A,B,C,D,E),target_goal_behind_car(A,B,D)
Sampling check:  1331  examples, max is  1000 
#Ex=1000, #Q=149

Best test: selected_move_car_to_car(A,B,C,D,E),target_goal_behind_car(A,C,B)
Sampling check:  1325  examples, max is  1000 
#Ex=1000, #Q=149

Best test: selected_move_car_to_car(A,B,C,D,E),target_goal_behind_car(A,D,C)
Sampling check:  1303  examples, max is  1000 
#Ex=1000, #Q=149

Best test: selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F)
Sampling check:  1093  examples, max is  1000 
#Ex=1000, #Q=149

Best test: selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F)
Leaf: [rejected] - 522.0
Sampling check:  571  examples, max is  1000 
#Ex=571, #Q=245

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F)),target_goal_behind_car(A,F,C)
Sampling check:  565  examples, max is  1000 
#Ex=565, #Q=245

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F)),target_goal_behind_car(A,F,G)
Sampling check:  550  examples, max is  1000 
#Ex=550, #Q=245

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F)),target_goal_behind_car(A,G,C)
Sampling check:  534  examples, max is  1000 
#Ex=534, #Q=245

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

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F)),target_goal_behind_car(A,G,F)
Sampling check:  418  examples, max is  1000 
#Ex=418, #Q=245

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F)),helpful_move_car_to_car(A,B,C,D)
Leaf: [rejected] - 10.0
Sampling check:  408  examples, max is  1000 
#Ex=408, #Q=245

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F),helpful_move_car_to_car(A,B,C,D)),candidate_move_curb_to_car(A,D,G,H)
Sampling check:  106  examples, max is  1000 
#Ex=106, #Q=245
Leaf: [rejected] - 106.0
Sampling check:  302  examples, max is  1000 
#Ex=302, #Q=476

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F),helpful_move_car_to_car(A,B,C,D),candidate_move_curb_to_car(A,D,G,H)),candidate_move_curb_to_car(A,D,G,F)
Leaf: [rejected] - 6.0
Sampling check:  296  examples, max is  1000 
#Ex=296, #Q=476

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F),helpful_move_car_to_car(A,B,C,D),candidate_move_curb_to_car(A,D,G,H),candidate_move_curb_to_car(A,D,G,F)),candidate_move_curb_to_car(A,H,I,D)
Leaf: [rejected] - 102.0
Sampling check:  194  examples, max is  1000 
#Ex=194, #Q=587
Leaf: [rejected] - 194.0
Leaf: [rejected] - 49.0
Sampling check:  67  examples, max is  1000 
#Ex=67, #Q=318

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F),target_goal_at_curb_num(A,F,G)),helpful_move_curb_to_car(A,D,G,F)
Sampling check:  62  examples, max is  1000 
#Ex=62, #Q=318

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F),target_goal_at_curb_num(A,F,G)),target_goal_at_curb_num(A,D,H)
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=318

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F),target_goal_at_curb_num(A,F,G)),target_goal_behind_car(A,H,D)
Sampling check:  11  examples, max is  1000 
#Ex=11, #Q=318

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F),target_goal_at_curb_num(A,F,G)),target_goal_at_curb_num(A,C,H)
Leaf: [rejected] - 5.0
Leaf: [rejected] - 6.0
Leaf: [rejected] - 8.0
Leaf: [rejected] - 43.0
Leaf: [rejected] - 5.0
Sampling check:  16  examples, max is  1000 
#Ex=16, #Q=377

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F),target_goal_behind_car(A,G,C)),helpful_move_car_to_car(A,H,G,F)
Leaf: [rejected] - 7.0
Leaf: [rejected] - 9.0
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=377

Best test: (selected_move_car_to_car(A,B,C,D,E),helpful_move_car_to_car(A,B,C,F),target_goal_behind_car(A,F,G)),helpful_move_curb_to_car(A,F,H,D)
Leaf: [rejected] - 6.0
Leaf: [rejected] - 9.0
Leaf: [selected] - 6.0
Sampling check:  210  examples, max is  1000 
#Ex=210, #Q=200

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

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

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

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F)),helpful_move_curb_to_car(A,G,H,I)
Leaf: [selected] - 9.0
Sampling check:  60  examples, max is  1000 
#Ex=60, #Q=587

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F),helpful_move_curb_to_car(A,G,H,I)),target_goal_behind_car(A,G,I)
Sampling check:  54  examples, max is  1000 
#Ex=54, #Q=587

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F),helpful_move_curb_to_car(A,G,H,I)),target_goal_at_curb_num(A,C,H)
Sampling check:  38  examples, max is  1000 
#Ex=38, #Q=587

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F),helpful_move_curb_to_car(A,G,H,I)),target_goal_behind_car(A,G,C)
Sampling check:  31  examples, max is  1000 
#Ex=31, #Q=587

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F),helpful_move_curb_to_car(A,G,H,I)),helpful_move_curb_to_car(A,G,H,D)
Leaf: [rejected] - 7.0
Sampling check:  24  examples, max is  1000 
#Ex=24, #Q=587

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F),helpful_move_curb_to_car(A,G,H,I),helpful_move_curb_to_car(A,G,H,D)),target_goal_behind_car(A,C,J)
Leaf: [rejected] - 14.0
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=823

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F),helpful_move_curb_to_car(A,G,H,I),helpful_move_curb_to_car(A,G,H,D),target_goal_behind_car(A,C,J)),candidate_move_car_to_car(A,K,J,I)
Leaf: [selected] - 5.0
Leaf: [rejected] - 5.0
Leaf: [selected] - 7.0
Leaf: [rejected] - 16.0
Leaf: [selected] - 6.0
Sampling check:  79  examples, max is  1000 
#Ex=79, #Q=318

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F),target_goal_behind_car(A,G,D)),helpful_move_car_to_car(A,H,G,D)
Leaf: [rejected] - 46.0
Sampling check:  33  examples, max is  1000 
#Ex=33, #Q=476

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F),target_goal_behind_car(A,G,D),helpful_move_car_to_car(A,H,G,D)),target_goal_behind_car(A,C,I)
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=476
Leaf: [rejected] - 10.0
Leaf: [rejected] - 23.0
Sampling check:  25  examples, max is  1000 
#Ex=25, #Q=259

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

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_at_curb_num(A,B,F),target_goal_at_curb_num(A,D,G),target_goal_behind_car(A,H,B)),target_goal_behind_car(A,C,I)
Leaf: [rejected] - 12.0
Leaf: [selected] - 7.0
Leaf: [rejected] - 37.0
Sampling check:  22  examples, max is  1000 
#Ex=22, #Q=149

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

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_behind_car(A,D,C),target_goal_at_curb_num(A,C,F)),target_goal_behind_car(A,G,B)
Leaf: [selected] - 6.0
Leaf: [selected] - 5.0
Leaf: [rejected] - 6.0
Sampling check:  91  examples, max is  1000 
#Ex=91, #Q=149

Best test: (selected_move_car_to_car(A,B,C,D,E),target_goal_behind_car(A,B,D)),helpful_move_curb_to_car(A,D,F,G)
Leaf: [selected] - 72.0
Leaf: [rejected] - 19.0

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


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

See you soon!

