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

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

Best test: selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E)
Leaf: [rejected] - 167.0
Sampling check:  224  examples, max is  1000 
#Ex=224, #Q=703

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E)),target_goal_on(A,J,K)
Sampling check:  66  examples, max is  1000 
#Ex=66, #Q=703

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E)),helpful_drop(A,J,K,L,M)
Sampling check:  50  examples, max is  1000 
#Ex=50, #Q=703

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E)),helpful_unload(A,J,K,L,M)
Sampling check:  35  examples, max is  1000 
#Ex=35, #Q=703

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E)),helpful_load(A,J,K,L,M)
Sampling check:  29  examples, max is  1000 
#Ex=29, #Q=703
Leaf: [rejected] - 29.0
Leaf: [rejected] - 6.0
Leaf: [rejected] - 15.0
Leaf: [rejected] - 16.0
Sampling check:  158  examples, max is  1000 
#Ex=158, #Q=2045

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K)),helpful_drive(A,L,E,M)
Sampling check:  61  examples, max is  1000 
#Ex=61, #Q=2045

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

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K)),helpful_unload(A,G,K,L,E)
Sampling check:  36  examples, max is  1000 
#Ex=36, #Q=2045

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K)),target_goal_on(A,H,J)
Sampling check:  25  examples, max is  1000 
#Ex=25, #Q=2045

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K)),helpful_lift(A,L,M,K,N)
Leaf: [selected] - 7.0
Sampling check:  18  examples, max is  1000 
#Ex=18, #Q=6759

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K),helpful_lift(A,L,M,K,N)),candidate_lift(A,O,J,P,Q)
Leaf: [selected] - 7.0
Sampling check:  11  examples, max is  1000 
#Ex=11, #Q=17029

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K),helpful_lift(A,L,M,K,N),candidate_lift(A,O,J,P,Q)),candidate_drop(A,R,S,T,U)
Leaf: [rejected] - 6.0
Leaf: [selected] - 5.0
Leaf: [rejected] - 11.0
Leaf: [selected] - 8.0
Leaf: [selected] - 17.0
Sampling check:  97  examples, max is  1000 
#Ex=97, #Q=4635

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K),helpful_drive(A,L,E,M)),candidate_drive(A,N,O,E)
Sampling check:  72  examples, max is  1000 
#Ex=72, #Q=4635

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K),helpful_drive(A,L,E,M)),candidate_lift(A,N,O,P,M)
Sampling check:  59  examples, max is  1000 
#Ex=59, #Q=4635

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K),helpful_drive(A,L,E,M)),candidate_unload(A,G,K,L,E)
Sampling check:  49  examples, max is  1000 
#Ex=49, #Q=4635

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K),helpful_drive(A,L,E,M)),candidate_unload(A,G,J,L,E)
Sampling check:  38  examples, max is  1000 
#Ex=38, #Q=4635

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K),helpful_drive(A,L,E,M)),target_goal_on(A,K,N)
Sampling check:  29  examples, max is  1000 
#Ex=29, #Q=4635

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K),helpful_drive(A,L,E,M)),target_goal_on(A,J,I)
Sampling check:  13  examples, max is  1000 
#Ex=13, #Q=4635

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K),helpful_drive(A,L,E,M)),target_goal_on(A,I,K)
Leaf: [selected] - 5.0
Leaf: [rejected] - 8.0
Sampling check:  16  examples, max is  1000 
#Ex=16, #Q=4635

Best test: (selected_lift(A,B,C,D,E,F),helpful_lift(A,G,H,I,E),target_goal_on(A,J,K),helpful_drive(A,L,E,M),target_goal_on(A,J,I)),candidate_lift(A,G,J,N,E)
Leaf: [selected] - 10.0
Leaf: [selected] - 6.0
Leaf: [selected] - 9.0
Leaf: [selected] - 11.0
Leaf: [selected] - 10.0
Leaf: [selected] - 13.0
Leaf: [selected] - 25.0

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


ace-lift-episodes> quit

Have a nice day!

