
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/depots/roller/siblings-episodes/siblings-episodes.s ...  
**Initialising language** 
**Initialising knowledge** 
**Loading kb file /home/tomas/sayphi/domains/depots/roller/siblings-episodes/siblings-episodes.kb ** 
  -> load method =  key 
**No bg file available** 
  -> 493 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:  493  examples, max is  1000 
#Ex=493, #Q=31

Best test: selected(A,B),helpful_load(A,C,D,E,F)
Sampling check:  364  examples, max is  1000 
#Ex=364, #Q=31

Best test: selected(A,B),helpful_lift(A,C,D,E,F)
Sampling check:  227  examples, max is  1000 
#Ex=227, #Q=31

Best test: selected(A,B),helpful_unload(A,C,D,E,F)
Sampling check:  136  examples, max is  1000 
#Ex=136, #Q=31

Best test: selected(A,B),helpful_drive(A,C,D,E)
Leaf: [drop] - 82.0
Sampling check:  54  examples, max is  1000 
#Ex=54, #Q=225

Best test: (selected(A,B),helpful_drive(A,C,D,E)),helpful_drop(A,F,G,H,E)
Leaf: [drive] - 42.0
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=1845

Best test: (selected(A,B),helpful_drive(A,C,D,E),helpful_drop(A,F,G,H,E)),target_goal_on(A,G,H)
Leaf: [drive] - 5.0
Leaf: [drop] - 7.0
Leaf: [unload] - 91.0
Sampling check:  137  examples, max is  1000 
#Ex=137, #Q=703

Best test: (selected(A,B),helpful_lift(A,C,D,E,F)),helpful_drive(A,G,F,H)
Sampling check:  56  examples, max is  1000 
#Ex=56, #Q=703

Best test: (selected(A,B),helpful_lift(A,C,D,E,F)),helpful_drive(A,G,H,F)
Leaf: [lift] - 12.0
Sampling check:  44  examples, max is  1000 
#Ex=44, #Q=1845

Best test: (selected(A,B),helpful_lift(A,C,D,E,F),helpful_drive(A,G,H,F)),candidate_unload(A,I,J,G,H)
Sampling check:  33  examples, max is  1000 
#Ex=33, #Q=1845

Best test: (selected(A,B),helpful_lift(A,C,D,E,F),helpful_drive(A,G,H,F)),target_goal_on(A,I,E)
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=1845
Leaf: [lift] - 19.0
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=3021
Leaf: [drive] - 14.0
Sampling check:  11  examples, max is  1000 
#Ex=11, #Q=4635

Best test: (selected(A,B),helpful_lift(A,C,D,E,F),helpful_drive(A,G,H,F),candidate_unload(A,I,J,G,H)),target_goal_on(A,K,E)
Leaf: [unload] - 6.0
Leaf: [drive] - 5.0
Sampling check:  81  examples, max is  1000 
#Ex=81, #Q=1845

Best test: (selected(A,B),helpful_lift(A,C,D,E,F),helpful_drive(A,G,F,H)),target_goal_on(A,E,I)
Sampling check:  44  examples, max is  1000 
#Ex=44, #Q=1845

Best test: (selected(A,B),helpful_lift(A,C,D,E,F),helpful_drive(A,G,F,H)),candidate_drive(A,I,J,F)
Sampling check:  31  examples, max is  1000 
#Ex=31, #Q=1845

Best test: (selected(A,B),helpful_lift(A,C,D,E,F),helpful_drive(A,G,F,H)),target_goal_on(A,I,D)
Sampling check:  22  examples, max is  1000 
#Ex=22, #Q=1845

Best test: (selected(A,B),helpful_lift(A,C,D,E,F),helpful_drive(A,G,F,H)),candidate_lift(A,I,J,K,H)
Leaf: [lift] - 16.0
Leaf: [lift] - 6.0
Leaf: [lift] - 9.0
Leaf: [lift] - 13.0
Leaf: [lift] - 37.0
Sampling check:  129  examples, max is  1000 
#Ex=129, #Q=703

Best test: (selected(A,B),helpful_load(A,C,D,E,F)),helpful_drive(A,E,F,G)
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=703

Best test: (selected(A,B),helpful_load(A,C,D,E,F)),target_goal_on(A,G,D)
Leaf: [load] - 7.0
Leaf: [drop] - 10.0
Sampling check:  112  examples, max is  1000 
#Ex=112, #Q=1035

Best test: (selected(A,B),helpful_load(A,C,D,E,F),helpful_drive(A,E,F,G)),candidate_drop(A,H,I,J,G)
Sampling check:  103  examples, max is  1000 
#Ex=103, #Q=1035

Best test: (selected(A,B),helpful_load(A,C,D,E,F),helpful_drive(A,E,F,G)),candidate_lift(A,H,I,J,G)
Sampling check:  84  examples, max is  1000 
#Ex=84, #Q=1035

Best test: (selected(A,B),helpful_load(A,C,D,E,F),helpful_drive(A,E,F,G)),target_goal_on(A,H,D)
Sampling check:  67  examples, max is  1000 
#Ex=67, #Q=1035

Best test: (selected(A,B),helpful_load(A,C,D,E,F),helpful_drive(A,E,F,G)),candidate_drive(A,H,I,F)
Sampling check:  43  examples, max is  1000 
#Ex=43, #Q=1035
Leaf: [load] - 43.0
Leaf: [load] - 24.0
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=1845
Leaf: [load] - 17.0
Sampling check:  19  examples, max is  1000 
#Ex=19, #Q=4635

Best test: (selected(A,B),helpful_load(A,C,D,E,F),helpful_drive(A,E,F,G),candidate_lift(A,H,I,J,G)),target_goal_on(A,K,I)
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=4635

Best test: (selected(A,B),helpful_load(A,C,D,E,F),helpful_drive(A,E,F,G),candidate_lift(A,H,I,J,G)),target_goal_on(A,I,D)
Leaf: [load] - 7.0
Leaf: [load] - 7.0
Leaf: [load] - 5.0
Leaf: [load] - 9.0

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


ace-siblings-episodes> quit

Thank you for using ACE.

