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

ace-siblings-episodes> tilde
Loading Tilde
Loading Prediction for ACE
Initializing Query Transformation Library
Initializing C++ Packs Library
Storing attribute: gen(selected(A,B),B)
Storing all attributes: .
HRType:  esh_gainratio 
TILDE
Discretization busy...
Right subtree optimization disabled. 
Preprocessing constant generators. 
Sampling check:  442  examples, max is  1000 
#Ex=442, #Q=17

Best test: selected(A,B),helpful_move_car_to_curb(A,C,D,E)
Sampling check:  279  examples, max is  1000 
#Ex=279, #Q=17

Best test: selected(A,B),helpful_move_curb_to_car(A,C,D,E)
Leaf: [move_car_to_car] - 48.0
Sampling check:  231  examples, max is  1000 
#Ex=231, #Q=116

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E)),target_goal_at_curb_num(A,F,D)
Leaf: [move_car_to_car] - 5.0
Sampling check:  226  examples, max is  1000 
#Ex=226, #Q=200

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

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

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D)),target_goal_behind_car(A,C,F)
Leaf: [move_curb_to_car] - 17.0
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=200
Leaf: [move_curb_to_car] - 17.0
Sampling check:  180  examples, max is  1000 
#Ex=180, #Q=476

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E)),target_goal_at_curb_num(A,G,D)
Sampling check:  57  examples, max is  1000 
#Ex=57, #Q=476

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E)),target_goal_behind_car(A,C,E)
Sampling check:  52  examples, max is  1000 
#Ex=52, #Q=476

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E)),target_goal_behind_car(A,G,C)
Sampling check:  38  examples, max is  1000 
#Ex=38, #Q=476

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E)),target_goal_at_curb_num(A,G,I)
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=476

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E)),target_goal_at_curb_num(A,C,I)
Leaf: [move_car_to_car] - 7.0
Leaf: [move_car_to_car] - 7.0
Leaf: [move_car_to_car] - 24.0
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=476

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_behind_car(A,G,C)),target_goal_behind_car(A,I,E)
Leaf: [move_curb_to_car] - 8.0
Leaf: [move_car_to_car] - 6.0
Leaf: [move_curb_to_car] - 5.0
Sampling check:  123  examples, max is  1000 
#Ex=123, #Q=476

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D)),target_goal_behind_car(A,E,H)
Sampling check:  114  examples, max is  1000 
#Ex=114, #Q=476

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

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D)),target_goal_behind_car(A,C,G)
Sampling check:  52  examples, max is  1000 
#Ex=52, #Q=476

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D)),target_goal_at_curb_num(A,C,I)
Sampling check:  16  examples, max is  1000 
#Ex=16, #Q=476

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D)),target_goal_at_curb_num(A,H,I)
Sampling check:  11  examples, max is  1000 
#Ex=11, #Q=476

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D)),target_goal_behind_car(A,I,G)
Leaf: [move_car_to_car] - 6.0
Leaf: [move_curb_to_car] - 5.0
Leaf: [move_curb_to_car] - 5.0
Sampling check:  36  examples, max is  1000 
#Ex=36, #Q=587

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D),target_goal_at_curb_num(A,C,I)),target_goal_at_curb_num(A,H,J)
Leaf: [move_curb_to_car] - 29.0
Leaf: [move_curb_to_car] - 7.0
Leaf: [move_curb_to_car] - 6.0
Sampling check:  56  examples, max is  1000 
#Ex=56, #Q=680

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D),target_goal_behind_car(A,I,E)),candidate_move_car_to_car(A,I,J,E)
Sampling check:  34  examples, max is  1000 
#Ex=34, #Q=680

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D),target_goal_behind_car(A,I,E)),target_goal_behind_car(A,J,G)
Sampling check:  23  examples, max is  1000 
#Ex=23, #Q=680

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D),target_goal_behind_car(A,I,E)),target_goal_behind_car(A,J,C)
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=680

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D),target_goal_behind_car(A,I,E)),target_goal_at_curb_num(A,E,J)
Leaf: [move_curb_to_car] - 9.0
Leaf: [move_car_to_car] - 6.0
Leaf: [move_curb_to_car] - 8.0
Leaf: [move_curb_to_car] - 11.0
Sampling check:  22  examples, max is  1000 
#Ex=22, #Q=936

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D),target_goal_behind_car(A,I,E),candidate_move_car_to_car(A,I,J,E)),target_goal_at_curb_num(A,E,K)
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=936

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D),target_goal_behind_car(A,I,E),candidate_move_car_to_car(A,I,J,E)),target_goal_behind_car(A,K,G)
Leaf: [move_car_to_car] - 7.0
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=1250

Best test: (selected(A,B),helpful_move_curb_to_car(A,C,D,E),target_goal_at_curb_num(A,F,D),helpful_move_car_to_car(A,G,H,E),target_goal_at_curb_num(A,G,D),target_goal_behind_car(A,I,E),candidate_move_car_to_car(A,I,J,E),target_goal_behind_car(A,K,G)),target_goal_at_curb_num(A,H,L)
Leaf: [move_curb_to_car] - 5.0
Leaf: [move_car_to_car] - 5.0
Leaf: [move_curb_to_car] - 5.0
Leaf: [move_curb_to_car] - 9.0
Leaf: [move_curb_to_car] - 12.0
Leaf: [move_car_to_curb] - 163.0

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


ace-siblings-episodes> quit

Au revoir!

