Experiments

Intro ] ackermann-long ] ackermann-short ]
crx-long ] [ crx-short ] member-long ]
member-short ] ncm-long ] ncm-short ]
qs44-long ] qs44-short ] sort-long ]
sort-short ]

data ] [ Up: Report ]

FOIL 6.4   [January 1996]
--------

    Options:
	verbosity level 0

Relation is_+

----------
is_+:

***  Warning: the following definition
***  matches 1 tuple not in the relation
***  does not cover 1 tuple in the relation

is_+(A,B,C,D,E,F,G,H,Ft,J,K,L,M,N,O) :- O>500.
is_+(A,B,C,D,Dg,F,G,H,Ft,J,K,L,M,N,O) :- N<=100, H>0.375.
is_+(A,B,C,D,E,F,G,H,I,J,K,L,Gg,N,O) :- K>3, O<=0.
is_+(A,B,C,D,E,F,G,H,Ft,J,K,L,M,N,O) :- O>5, C>1.75, H>0.375.
is_+(A,B,C,D,E,F,Eh,H,Ft,J,K,L,M,N,O) :- H<=4.165, F<>Ec.
is_+(A,B,C,D,E,F,G,H,Ft,J,K,L,Gg,N,O) :- N>200, C<=3.165, F<>Ek.
is_+(A,B,C,D,E,F,G,H,Ft,J,K,L,M,N,O) :- B<=26.67, N<=100, B>18.67.
is_+(A,B,C,D,E,F,G,H,Ft,J,K,L,M,N,O) :- C>2.25, B>38.58, C<=12.54.
is_+(Ab,B,C,D,E,F,G,H,I,Ff,K,L,M,N,O) :- C<=H, B>34.83, H<=3.5.
is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- M<>Gg, B<=20.17, N>280.
is_+(A,B,C,D,E,F,G,H,Ft,Ff,K,L,M,N,O) :- C>2.25, C<=5.625, H<=2.5, F<>Ei.
is_+(Aa,B,C,D,E,F,G,H,I,J,K,L,Gp,N,O).
is_+(A,B,C,D,Dg,F,G,C,I,J,K,Ff,M,N,O).
is_+(A,B,C,D,E,Ex,G,H,I,J,K,L,M,N,O) :- C>2.25, H<>K.
is_+(A,B,C,D,E,Ej,G,H,Ft,J,K,Ff,M,N,O).
is_+(A,B,C,D,E,F,En,H,I,J,K,Ff,M,N,O).
is_+(A,B,C,D,Dg,Ec,G,H,I,Ff,K,L,M,N,O) :- C<=0.83, C>0.585.
is_+(Ab,B,C,D,E,Ecc,G,H,I,J,K,Ft,Gg,N,O).
is_+(A,B,C,D,E,Ek,G,H,I,J,K,L,M,N,O) :- O>2100.

Time 1.1 secs

Test relation is_+
Summary: 41 errors in 200 trials
 

by: Keith A. Pray
Last Modified: July 4, 2004 9:03 AM
© 2004 - 1975 Keith A. Pray.
All rights reserved.