
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/thoughtful/roller/siblings-episodes/siblings-episodes.s ...  
**Initialising language** 
**Initialising knowledge** 
**Loading kb file /home/tomas/sayphi/domains/thoughtful/roller/siblings-episodes/siblings-episodes.kb ** 
  -> load method =  key 
**No bg file available** 
  -> 502 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,C),C)
Storing all attributes: ..
HRType:  esh_gainratio 
TILDE
Discretization busy...
Right subtree optimization disabled. 
Preprocessing constant generators. 
Sampling check:  502  examples, max is  1000 
#Ex=502, #Q=166

Best test: selected(A,B,C),helpful_tal_to_col_g(A,B,D,E,F,G)
Sampling check:  496  examples, max is  1000 
#Ex=496, #Q=166

Best test: selected(A,B,C),helpful_tal_to_home_c(A,B,D,E,F,G,H,I)
Sampling check:  473  examples, max is  1000 
#Ex=473, #Q=166

Best test: selected(A,B,C),helpful_tal_to_home_b(A,B,D,E,F,G,H,I)
Sampling check:  427  examples, max is  1000 
#Ex=427, #Q=166

Best test: selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J)
Sampling check:  339  examples, max is  1000 
#Ex=339, #Q=166

Best test: selected(A,B,C),helpful_tal_to_home_d(A,B,D,E,F,G,H)
Sampling check:  311  examples, max is  1000 
#Ex=311, #Q=166

Best test: selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J)
Sampling check:  193  examples, max is  1000 
#Ex=193, #Q=166

Best test: selected(A,B,C),helpful_tal_to_col_f(A,B,D,E,F,G)
Sampling check:  180  examples, max is  1000 
#Ex=180, #Q=166

Best test: selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I)
Sampling check:  82  examples, max is  1000 
#Ex=82, #Q=166

Best test: selected(A,B,C),helpful_tal_to_col_e(A,B,D,E,F,G,H)
Sampling check:  68  examples, max is  1000 
#Ex=68, #Q=166

Best test: selected(A,B,C),helpful_move_col_to_col(A,B,D,E,F)
Sampling check:  29  examples, max is  1000 
#Ex=29, #Q=166

Best test: selected(A,B,C),helpful_tal_to_col(A,B,D,E,F,G)
Leaf: [turn_deck] - 14.0
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=4114

Best test: (selected(A,B,C),helpful_tal_to_col(A,B,D,E,F,G)),static_fact_canstack(B,E,H)
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=4114
Leaf: [turn_deck] - 10.0
Leaf: [turn_deck] - 5.0
Sampling check:  39  examples, max is  1000 
#Ex=39, #Q=2209

Best test: (selected(A,B,C),helpful_move_col_to_col(A,B,D,E,F)),helpful_move_col_to_col_c(A,B,G,H,I,J)
Sampling check:  27  examples, max is  1000 
#Ex=27, #Q=2209

Best test: (selected(A,B,C),helpful_move_col_to_col(A,B,D,E,F)),static_fact_canstack(B,F,G)
Leaf: [turn_deck] - 5.0
Sampling check:  22  examples, max is  1000 
#Ex=22, #Q=4114

Best test: (selected(A,B,C),helpful_move_col_to_col(A,B,D,E,F),static_fact_canstack(B,F,G)),static_fact_canstack(B,H,D)
Leaf: [move_col_to_col] - 5.0
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=7081

Best test: (selected(A,B,C),helpful_move_col_to_col(A,B,D,E,F),static_fact_canstack(B,F,G),static_fact_canstack(B,H,D)),helpful_move_col_to_col(A,B,H,I,D)
Leaf: [turn_deck] - 7.0
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=11452

Best test: (selected(A,B,C),helpful_move_col_to_col(A,B,D,E,F),static_fact_canstack(B,F,G),static_fact_canstack(B,H,D),helpful_move_col_to_col(A,B,H,I,D)),static_fact_king(B,I)
Leaf: [turn_deck] - 5.0
Leaf: [move_col_to_col] - 5.0
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=10501

Best test: (selected(A,B,C),helpful_move_col_to_col(A,B,D,E,F),helpful_move_col_to_col_c(A,B,G,H,I,J)),static_fact_canstack(B,H,K)
Leaf: [turn_deck] - 5.0
Leaf: [move_col_to_col] - 7.0
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=3549

Best test: (selected(A,B,C),helpful_tal_to_col_e(A,B,D,E,F,G,H)),helpful_move_col_to_col_c(A,B,I,J,G,H)
Leaf: [turn_deck] - 9.0
Leaf: [turn_deck] - 5.0
Sampling check:  98  examples, max is  1000 
#Ex=98, #Q=10551

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I)),helpful_tal_to_col_c(A,B,J,K,L)
Sampling check:  89  examples, max is  1000 
#Ex=89, #Q=10551

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I)),helpful_move_col_to_col_c(A,B,J,K,L,M)
Sampling check:  74  examples, max is  1000 
#Ex=74, #Q=10551

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I)),helpful_tal_to_col_b(A,B,J,K,L)
Sampling check:  69  examples, max is  1000 
#Ex=69, #Q=10551

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I)),static_fact_value(B,E,I)
Sampling check:  63  examples, max is  1000 
#Ex=63, #Q=10551

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I)),static_fact_value(B,E,G)
Sampling check:  57  examples, max is  1000 
#Ex=57, #Q=10551

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I)),static_fact_canstack(B,J,H)
Sampling check:  24  examples, max is  1000 
#Ex=24, #Q=10551

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I)),static_fact_suit(B,E,F)
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=10551

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I)),static_fact_canstack(B,D,E)
Leaf: [col_to_home] - 8.0
Leaf: [col_to_home] - 9.0
Leaf: [col_to_home] - 7.0
Sampling check:  33  examples, max is  1000 
#Ex=33, #Q=19688

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I),static_fact_canstack(B,J,H)),static_fact_canstack(B,D,E)
Leaf: [col_to_home] - 6.0
Sampling check:  27  examples, max is  1000 
#Ex=27, #Q=19688

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I),static_fact_canstack(B,J,H),static_fact_canstack(B,D,E)),helpful_turn_deck(A,B,K,J)
Sampling check:  20  examples, max is  1000 
#Ex=20, #Q=19688

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I),static_fact_canstack(B,J,H),static_fact_canstack(B,D,E)),static_fact_king(B,E)
Sampling check:  14  examples, max is  1000 
#Ex=14, #Q=19688
Leaf: [col_to_home] - 14.0
Leaf: [turn_deck] - 6.0
Leaf: [col_to_home] - 7.0
Leaf: [col_to_home] - 6.0
Leaf: [col_to_home] - 6.0
Leaf: [col_to_home] - 5.0
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=39809

Best test: (selected(A,B,C),helpful_col_to_home(A,B,D,E,F,G,H,I),helpful_move_col_to_col_c(A,B,J,K,L,M)),static_fact_canstack(B,H,K)
Leaf: [col_to_home] - 9.0
Leaf: [turn_deck] - 6.0
Leaf: [col_to_home] - 9.0
Sampling check:  13  examples, max is  1000 
#Ex=13, #Q=1804
Leaf: [tal_to_col_f] - 13.0
Sampling check:  118  examples, max is  1000 
#Ex=118, #Q=6500

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J)),helpful_tal_to_col_b(A,B,K,L,M)
Sampling check:  105  examples, max is  1000 
#Ex=105, #Q=6500

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J)),helpful_col_to_home(A,B,K,L,M,N,O,P)
Sampling check:  71  examples, max is  1000 
#Ex=71, #Q=6500

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J)),helpful_tal_to_col(A,B,K,L,M,N)
Sampling check:  62  examples, max is  1000 
#Ex=62, #Q=6500

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J)),helpful_turn_deck(A,B,K,L)
Leaf: [col_to_home_b] - 42.0
Sampling check:  20  examples, max is  1000 
#Ex=20, #Q=23780

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J),helpful_turn_deck(A,B,K,L)),static_fact_suit(B,L,F)
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=23780

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J),helpful_turn_deck(A,B,K,L)),static_fact_canstack(B,M,E)
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=23780
Leaf: [col_to_home_b] - 10.0
Leaf: [turn_deck] - 5.0
Leaf: [col_to_home_b] - 5.0
Leaf: [col_to_home_b] - 9.0
Sampling check:  34  examples, max is  1000 
#Ex=34, #Q=123245

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J),helpful_col_to_home(A,B,K,L,M,N,O,P)),static_fact_canstack(B,O,D)
Sampling check:  28  examples, max is  1000 
#Ex=28, #Q=123245

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J),helpful_col_to_home(A,B,K,L,M,N,O,P)),static_fact_canstack(B,Q,E)
Sampling check:  16  examples, max is  1000 
#Ex=16, #Q=123245

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J),helpful_col_to_home(A,B,K,L,M,N,O,P)),static_fact_canstack(B,Q,L)
Leaf: [col_to_home_b] - 5.0
Sampling check:  11  examples, max is  1000 
#Ex=11, #Q=192244

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J),helpful_col_to_home(A,B,K,L,M,N,O,P),static_fact_canstack(B,Q,L)),static_fact_value(B,Q,N)
Leaf: [col_to_home] - 5.0
Leaf: [col_to_home_b] - 6.0
Leaf: [col_to_home] - 12.0
Leaf: [col_to_home] - 6.0
Sampling check:  13  examples, max is  1000 
#Ex=13, #Q=39809

Best test: (selected(A,B,C),helpful_col_to_home_b(A,B,D,E,F,G,H,I,J),helpful_tal_to_col_b(A,B,K,L,M)),static_fact_suit(B,K,F)
Leaf: [tal_to_col_b] - 8.0
Leaf: [col_to_home_b] - 5.0
Sampling check:  28  examples, max is  1000 
#Ex=28, #Q=5048

Best test: (selected(A,B,C),helpful_tal_to_home_d(A,B,D,E,F,G,H)),helpful_col_to_home(A,B,I,J,K,L,M,N)
Sampling check:  21  examples, max is  1000 
#Ex=21, #Q=5048

Best test: (selected(A,B,C),helpful_tal_to_home_d(A,B,D,E,F,G,H)),static_fact_king(B,D)
Leaf: [tal_to_home_d] - 9.0
Sampling check:  12  examples, max is  1000 
#Ex=12, #Q=5048
Leaf: [col_to_home_b] - 12.0
Leaf: [col_to_home] - 7.0
Sampling check:  88  examples, max is  1000 
#Ex=88, #Q=19688

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J)),static_fact_canstack(B,G,E)
Sampling check:  82  examples, max is  1000 
#Ex=82, #Q=19688

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J)),helpful_move_col_to_col_b(A,B,K,L,M,N)
Sampling check:  77  examples, max is  1000 
#Ex=77, #Q=19688

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J)),static_fact_canstack(B,E,F)
Sampling check:  72  examples, max is  1000 
#Ex=72, #Q=19688

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J)),static_fact_canstack(B,F,D)
Sampling check:  67  examples, max is  1000 
#Ex=67, #Q=19688

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J)),static_fact_canstack(B,D,F)
Sampling check:  60  examples, max is  1000 
#Ex=60, #Q=19688

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J)),helpful_col_to_home(A,B,K,L,M,N,O,I)
Sampling check:  55  examples, max is  1000 
#Ex=55, #Q=19688

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J)),static_fact_canstack(B,F,K)
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=19688

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J)),helpful_move_col_to_col(A,B,K,L,M)
Leaf: [tal_to_home] - 8.0
Leaf: [tal_to_home] - 9.0
Sampling check:  38  examples, max is  1000 
#Ex=38, #Q=33725

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J),static_fact_canstack(B,F,K)),helpful_move_col_to_col(A,B,L,M,N)
Sampling check:  22  examples, max is  1000 
#Ex=22, #Q=33725

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J),static_fact_canstack(B,F,K)),static_fact_king(B,E)
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=33725

Best test: (selected(A,B,C),helpful_tal_to_home(A,B,D,E,F,G,H,I,J),static_fact_canstack(B,F,K)),static_fact_successor(B,J,L)
Leaf: [tal_to_home] - 7.0
Leaf: [tal_to_home] - 8.0
Leaf: [tal_to_home] - 7.0
Leaf: [tal_to_home] - 16.0
Leaf: [tal_to_home] - 5.0
Leaf: [tal_to_home] - 7.0
Leaf: [tal_to_home] - 5.0
Leaf: [tal_to_home] - 5.0
Leaf: [tal_to_home] - 5.0
Leaf: [col_to_home_b] - 6.0
Sampling check:  46  examples, max is  1000 
#Ex=46, #Q=10551

Best test: (selected(A,B,C),helpful_tal_to_home_b(A,B,D,E,F,G,H,I)),helpful_col_to_home(A,B,J,K,L,M,N,O)
Sampling check:  33  examples, max is  1000 
#Ex=33, #Q=10551

Best test: (selected(A,B,C),helpful_tal_to_home_b(A,B,D,E,F,G,H,I)),helpful_col_to_home_b(A,B,J,K,L,M,N,O,P)
Sampling check:  16  examples, max is  1000 
#Ex=16, #Q=10551

Best test: (selected(A,B,C),helpful_tal_to_home_b(A,B,D,E,F,G,H,I)),static_fact_canstack(B,J,F)
Leaf: [tal_to_home_b] - 9.0
Leaf: [tal_to_home_b] - 7.0
Sampling check:  17  examples, max is  1000 
#Ex=17, #Q=123245

Best test: (selected(A,B,C),helpful_tal_to_home_b(A,B,D,E,F,G,H,I),helpful_col_to_home_b(A,B,J,K,L,M,N,O,P)),static_fact_value(B,K,I)
Sampling check:  10  examples, max is  1000 
#Ex=10, #Q=123245

Best test: (selected(A,B,C),helpful_tal_to_home_b(A,B,D,E,F,G,H,I),helpful_col_to_home_b(A,B,J,K,L,M,N,O,P)),static_fact_value(B,E,M)
Leaf: [col_to_home_b] - 5.0
Leaf: [tal_to_home_b] - 5.0
Leaf: [tal_to_home_b] - 7.0
Sampling check:  13  examples, max is  1000 
#Ex=13, #Q=172056

Best test: (selected(A,B,C),helpful_tal_to_home_b(A,B,D,E,F,G,H,I),helpful_col_to_home(A,B,J,K,L,M,N,O)),static_fact_value(B,K,H)
Leaf: [col_to_home] - 8.0
Leaf: [tal_to_home_b] - 5.0
Sampling check:  23  examples, max is  1000 
#Ex=23, #Q=10551

Best test: (selected(A,B,C),helpful_tal_to_home_c(A,B,D,E,F,G,H,I)),helpful_col_to_home_b(A,B,J,K,L,M,N,O,P)
Sampling check:  15  examples, max is  1000 
#Ex=15, #Q=10551

Best test: (selected(A,B,C),helpful_tal_to_home_c(A,B,D,E,F,G,H,I)),static_fact_canstack(B,E,J)
Leaf: [tal_to_home_c] - 7.0
Leaf: [tal_to_home_c] - 8.0
Leaf: [tal_to_home_c] - 8.0
Leaf: [tal_to_col_g] - 6.0

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


ace-siblings-episodes> quit

Goodbye!

