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]
--------

Relation is_+

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

State (217/490, 538.5 bits available)

	Save clause ending with D=Cl (cover 2, accuracy 100%)

	Save I<>Ff (201,251 value 171.3)

Best literal I=Ft (8.9 bits)

State (201/251, 522.1 bits available)

	Save O>225 (104,106 value 119.0)
	Save K>3 (96,99 value 108.2)
	Save J=Ft (147,163 value 150.4)
	Save I=J (147,163 value 150.4)

Best literal N<=O (5.8 bits)

State (128/135, 437.7 bits available)

	Save clause ending with O>500 (cover 78, accuracy 100%)

	Save D=Cu (110,112 value 126.0)
	Save E=Dg (110,112 value 126.0)
	Save D<>Cy (110,112 value 126.0)
	Save E<>Dp (110,112 value 126.0)

Best literal O>500 (12.1 bits)

Clause 0: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I=Ft, O>500.

State (137/410, 465.5 bits available)

	Save clause ending with D=Cl (cover 2, accuracy 100%)

	Save I<>Ff (121,171 value 130.6)

Best literal I=Ft (8.9 bits)

State (121/171, 430.6 bits available)

	Save J=Ft (80,96 value 105.2)
	Save I=J (80,96 value 105.2)
	Save K>0 (80,96 value 105.2)
	Save J<>Ff (80,96 value 105.2)

Best literal N<=100 (11.7 bits)

State (65/73, 289.9 bits available)

	Save clause ending with K>2 (cover 30, accuracy 100%)

	Save E=Dg (56,59 value 84.0)
	Save D<>Cy (56,59 value 84.0)
	Save E<>Dp (56,59 value 84.0)
	Save K>2 (30,30 value 47.2)

Best literal D=Cu (8.8 bits)

State (56/59, 254.8 bits available)

	Save clause ending with H>0.375 (cover 48, accuracy 100%)

Best literal H>0.375 (11.1 bits)

Clause 1: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- E=Dg, I=Ft, N<=100, H>0.375.

State (89/362, 373.4 bits available)

	Save clause ending with D=Cl (cover 2, accuracy 100%)

	Save I<>Ff (73,123 value 92.5)

Best literal I=Ft (8.9 bits)

State (73/123, 323.5 bits available)

	Save I=J (47,63 value 75.1)
	Save K>0 (47,63 value 75.1)
	Save J<>Ff (47,63 value 75.1)

Best literal J=Ft (8.8 bits)

State (47/63, 234.4 bits available)

	Save clause ending with F=Ecc (cover 11, accuracy 100%)

	Save C>1.25 (40,48 value 70.2)

Best literal K>3 (9.5 bits)

State (26/29, 142.5 bits available)

	Save clause ending with O<=0 (cover 13, accuracy 100%)

	Save N<=121 (11,11 value 22.1)

Best literal O<=0 (9.5 bits)

Clause 2: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- M=Gg, K>3, O<=0.

State (76/349, 340.6 bits available)

	Save clause ending with D=Cl (cover 2, accuracy 100%)

	Save I<>Ff (60,110 value 79.2)

Best literal I=Ft (8.9 bits)

State (60/110, 285.4 bits available)

Best literal O>5 (10.5 bits)

State (31/41, 170.7 bits available)

	Save clause ending with N>200 (cover 12, accuracy 100%)

Best literal C>1.75 (10.8 bits)

State (22/24, 120.7 bits available)

	Save clause ending with H>0.375 (cover 16, accuracy 100%)

	Save O>130 (16,16 value 35.0)

Best literal H>0.375 (9.8 bits)

Clause 3: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I=Ft, O>5, C>1.75, H>0.375.

State (60/333, 294.3 bits available)

	Save clause ending with D=Cl (cover 2, accuracy 100%)

	Save I<>Ff (44,94 value 60.5)

Best literal I=Ft (8.9 bits)

State (44/94, 231.4 bits available)

	Save clause ending with C<=0.29 (cover 6, accuracy 100%)

	Save J=Ft (22,38 value 37.2)
	Save I=J (22,38 value 37.2)
	Save K>0 (22,38 value 37.2)
	Save J<>Ff (22,38 value 37.2)

Best literal G=Eh (8.8 bits)

State (13/19, 84.9 bits available)

	Save clause ending with C<=0.5 (cover 7, accuracy 100%)

	Save C<=0.5 (7,7 value 17.2)
	Save D=Cu (9,10 value 20.8)
	Save E=Dg (9,10 value 20.8)
	Save D<>Cy (9,10 value 20.8)

Best literal H<=4.165 (9.7 bits)

State (10/11, 59.2 bits available)

	Save clause ending with F<>Ec (cover 9, accuracy 100%)

	Save F<>Ec (9,9 value 22.1)
	Save O<=100 (8,8 value 19.6)

Best literal B>20.67 (8.9 bits)

[Replace by saved clause]

Clause 4: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- G=Eh, I=Ft, H<=4.165, F<>Ec.

State (51/324, 265.0 bits available)

	Save clause ending with D=Cl (cover 2, accuracy 100%)

	Save I<>Ff (35,85 value 48.6)

Best literal I=Ft (8.9 bits)

State (35/85, 196.8 bits available)

	Save clause ending with C<=0.25 (cover 4, accuracy 100%)

	Save B<=28.42 (21,41 value 35.9)
	Save H<=0.25 (13,23 value 24.3)

Best literal N>200 (11.2 bits)

State (20/38, 119.6 bits available)

	Save M<>Gs (17,26 value 35.0)
	Save C<=3.165 (15,23 value 30.9)
	Save B<=28.42 (10,14 value 22.0)

Best literal M=Gg (8.8 bits)

State (17/26, 97.0 bits available)

Best literal C<=3.165 (10.0 bits)

State (14/15, 72.8 bits available)

	Save clause ending with F<>Ek (cover 14, accuracy 100%)

	Save G<>Ebb (14,14 value 37.0)
	Save A=Ab (12,12 value 31.7)
	Save A<>Aa (12,12 value 31.7)

Best literal F<>Ek (8.8 bits)

Clause 5: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- M=Gg, I=Ft, N>200, C<=3.165, F<>Ek.

State (37/310, 213.7 bits available)

	Save clause ending with D=Cl (cover 2, accuracy 100%)

	Save I<>Ff (21,71 value 27.8)

Best literal I=Ft (8.9 bits)

State (21/71, 134.7 bits available)

	Save C>2.25 (17,42 value 30.2)
	Save B<=24.33 (10,21 value 20.3)
	Save H<=0.165 (8,15 value 17.6)
	Save C>H (17,44 value 29.1)

Best literal N<=160 (10.9 bits)

State (14/32, 88.4 bits available)

	Save clause ending with M<>Gg (cover 3, accuracy 100%)

	Save C<=10.04 (12,22 value 26.5)
	Save D=Cu (11,20 value 24.5)
	Save E=Dg (11,20 value 24.5)
	Save D<>Cy (11,20 value 24.5)

Best literal B<=26.67 (10.3 bits)

State (11/19, 62.5 bits available)

	Save clause ending with H<=0.165 (cover 5, accuracy 100%)

Best literal N<=100 (8.4 bits)

State (8/9, 37.7 bits available)

	Save clause ending with B>18.67 (cover 8, accuracy 100%)

Best literal B>18.67 (8.6 bits)

Clause 6: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I=Ft, B<=26.67, N<=100, B>18.67.

State (29/302, 180.5 bits available)

	Save clause ending with D=Cl (cover 2, accuracy 100%)

	Save I<>Ff (13,63 value 14.9)
	Save B>35 (14,73 value 14.5)
	Save C<=H (14,80 value 12.6)
	Save H>1.375 (14,82 value 12.2)

Best literal I=Ft (8.9 bits)

State (13/63, 92.7 bits available)

Best literal C>2.25 (10.9 bits)

State (12/37, 77.1 bits available)

	Save C<=6.5 (10,22 value 22.7)

Best literal B>38.58 (10.6 bits)

State (6/10, 30.5 bits available)

	Save clause ending with C<=12.54 (cover 5, accuracy 100%)

	Save G=Ev (4,4 value 13.3)
	Save N>152 (4,4 value 13.3)
	Save B<=48.58 (4,4 value 13.3)

Best literal C<=12.54 (8.6 bits)

Clause 7: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I=Ft, C>2.25, B>38.58, C<=12.54.

State (24/297, 157.9 bits available)

	Save clause ending with D=Cl (cover 2, accuracy 100%)

	Save M<>Gg (9,48 value 11.5)

Best literal C<=H (5.8 bits)

State (13/79, 95.8 bits available)

	Save F=Ecc (3,5 value 9.0)
	Save I=J (13,58 value 19.5)
	Save N>212 (7,26 value 12.7)
	Save C<=0.375 (7,26 value 12.7)

Best literal B>34.83 (11.6 bits)

State (6/19, 41.9 bits available)

	Save B<=37.58 (4,5 value 13.2)

Best literal H<=3.5 (9.3 bits)

State (5/7, 27.2 bits available)

	Save clause ending with B<=41.5 (cover 4, accuracy 100%)

Best literal B<=41.5 (8.2 bits)

Clause 8: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- J=Ff, A=Ab, C<=H, B>34.83, H<=3.5.

State (20/293, 138.6 bits available)

	Save clause ending with D=Cl (cover 2, accuracy 100%)

Best literal M<>Gg (8.9 bits)

State (8/47, 62.7 bits available)

	Save N>420 (3,5 value 9.7)

Best literal B<=20.17 (11.0 bits)

State (4/8, 25.2 bits available)

	Save clause ending with G<>Ev (cover 3, accuracy 100%)

	Save G<>Ev (3,3 value 11.4)

Best literal N>280 (8.2 bits)

Clause 9: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- M<>Gg, B<=20.17, N>280.

State (17/290, 123.3 bits available)

	Save I<>Ff (8,58 value 10.4)

Best literal I=Ft (8.9 bits)

State (8/58, 62.7 bits available)

	Save C>H (7,34 value 13.2)
	Save F=Ew (2,4 value 6.6)
	Save D=Cu (8,41 value 14.3)
	Save E=Dg (8,41 value 14.3)

Best literal C>2.25 (10.8 bits)

State (7/32, 46.3 bits available)

Best literal C<=5.625 (10.0 bits)

State (6/17, 31.2 bits available)

	Save B<=28.42 (4,7 value 13.3)

Best literal H<=2.5 (9.5 bits)

State (5/9, 16.8 bits available)

	Save H>K (5,7 value 18.0)
	Save J<>Ft (5,7 value 18.0)
	Save I<>J (5,7 value 18.0)
	Save K<=0 (5,7 value 18.0)

Best literal J=Ff (8.8 bits)

State (5/7, 10.2 bits available)

	Save clause ending with F<>Ei (cover 5, accuracy 83%)

	Save F<>Eaa (5,6 value 19.0)

Best literal F<>Ei (8.8 bits)

State (5/6, 4.0 bits available)

No literals

Clause 10: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- J=Ff, I=Ft, C>2.25, C<=5.625, H<=2.5, F<>Ei.

State (12/285, 95.9 bits available)

Best literal C<=H (5.8 bits)

State (7/73, 59.2 bits available)

	Save clause ending with B>63.33 (cover 1, accuracy 100%)

Best literal F=Ecc (8.9 bits)

State (2/4, 14.7 bits available)

	Save K>0 (1,1 value 4.5)
	Save O>0 (1,1 value 4.5)
	Save C<=0.375 (1,1 value 4.5)
	Save H<=0.375 (1,1 value 4.5)

Best literal C=H (6.2 bits)

[Replace by saved clause]

Clause 11: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- M=Gp, A=Aa.

State (11/284, 90.0 bits available)

	Save F=Ex (2,6 value 6.7)
	Save F=Ecc (2,8 value 6.0)

Best literal C<=H (5.8 bits)

State (6/72, 52.5 bits available)

	Save D=Cu (6,41 value 11.9)
	Save E=Dg (6,41 value 11.9)
	Save D<>Cy (6,41 value 11.9)
	Save E<>Dp (6,41 value 11.9)

Best literal F=Ecc (8.9 bits)

State (2/4, 14.7 bits available)

	Save clause ending with C=H (cover 1, accuracy 100%)

	Save K>0 (1,1 value 4.6)
	Save O>0 (1,1 value 4.6)
	Save C<=0.375 (1,1 value 4.6)
	Save H<=0.375 (1,1 value 4.6)

Best literal C=H (6.2 bits)

Clause 12: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- L=Ff, E=Dg, C=H.

State (9/282, 77.9 bits available)

Best literal F=Ex (8.9 bits)

State (2/6, 19.5 bits available)

	Save clause ending with D=Cu (cover 1, accuracy 100%)

	Save H>1 (2,3 value 8.8)
	Save O<=0 (2,3 value 8.8)

Best literal C>2.25 (7.9 bits)

State (2/3, 12.6 bits available)

	Save clause ending with H<>K (cover 2, accuracy 100%)

Best literal H<>K (6.2 bits)

Clause 13: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- F=Ex, C>2.25, H<>K.

State (7/280, 65.0 bits available)

	Save G=En (1,2 value 4.5)
	Save K>11 (1,2 value 4.5)

Best literal N<=128 (12.0 bits)

State (5/97, 39.4 bits available)

	Save clause ending with K>11 (cover 1, accuracy 100%)

	Save O>228 (2,13 value 5.8)
	Save I=Ft (2,14 value 5.6)
	Save I<>Ff (2,14 value 5.6)

Best literal K>11 (8.4 bits)

Clause 14: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- L=Ff, I=Ft, F=Ej.

State (6/279, 58.3 bits available)

	Save G=En (1,2 value 4.7)
	Save N<=128 (4,96 value 4.2)
	Save F=Ec (3,60 value 4.2)

Best literal C<=1 (12.5 bits)

State (4/82, 31.6 bits available)

	Save C>0.625 (3,26 value 7.7)

Best literal F=Ec (8.9 bits)

State (3/22, 16.1 bits available)

	Save C>0.54 (3,10 value 11.6)
	Save N<=128 (2,5 value 8.6)
	Save H>0.795 (2,6 value 8.2)
	Save I<>L (2,6 value 8.2)

Best literal B>21.92 (9.7 bits)

State (3/10, 8.0 bits available)

	Save E=Dg (3,7 value 13.0)
	Save J=Ff (3,7 value 13.0)
	Save C>K (3,7 value 13.0)
	Save H>K (3,7 value 13.0)

Best literal D=Cu (8.2 bits)

State (3/7, 1.8 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, B>21.92, E=Dg.

State (3/7, 1.8 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, B>21.92, J=Ff.

State (3/7, 1.8 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, B>21.92, C>K.

State (3/7, 4.2 bits available)

Best literal B<=23.92 (8.2 bits)

State (3/4, -1.6 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, B>21.92, H>K.

State (3/7, 4.2 bits available)

Best literal B<=23.92 (8.2 bits)

State (3/4, -1.6 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, C>0.54.

State (3/10, 8.2 bits available)

	Save E=Dg (3,6 value 13.5)
	Save B>21.17 (3,6 value 13.5)
	Save D<>Cy (3,6 value 13.5)
	Save E<>Dp (3,6 value 13.5)

Best literal D=Cu (8.2 bits)

State (3/6, 2.0 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, C>0.54, E=Dg.

State (3/6, 2.0 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, C>0.54, B>21.17.

State (3/6, 1.5 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, C>0.54, D<>Cy.

State (3/6, 2.0 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, C>0.54, E<>Dp.

State (3/6, 2.0 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, N<=128.

State (2/5, 0.1 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, H>0.795.

State (2/6, 0.4 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, F=Ec, I<>L.

State (2/6, 3.2 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, C>0.625.

State (3/26, 14.8 bits available)

	Save F=Ec (3,10 value 11.6)

Best literal N<=128 (9.8 bits)

State (2/4, -1.4 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, C>0.625, F=Ec.

State (3/10, 7.5 bits available)

	Save E=Dg (3,6 value 13.5)
	Save B>21.17 (3,6 value 13.5)
	Save D<>Cy (3,6 value 13.5)
	Save E<>Dp (3,6 value 13.5)

Best literal D=Cu (8.2 bits)

State (3/6, 1.3 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, C>0.625, F=Ec, E=Dg.

State (3/6, 1.3 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, C>0.625, F=Ec, B>21.17.

State (3/6, 0.8 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, C>0.625, F=Ec, D<>Cy.

State (3/6, 1.3 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- C<=1, C>0.625, F=Ec, E<>Dp.

State (3/6, 1.3 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- G=En.

State (1/2, 10.8 bits available)

	Save clause ending with D=Cu (cover 1, accuracy 100%)

	Save E=Dg (1,1 value 5.3)
	Save F=Eq (1,1 value 5.3)
	Save L=Ff (1,1 value 5.3)
	Save D<>Cy (1,1 value 5.3)

Best literal D=Cu (8.2 bits)

Clause 15: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- L=Ff, G=En.

State (5/278, 51.4 bits available)

	Save F=Ec (3,60 value 4.8)

Best literal N<=128 (12.0 bits)

State (4/96, 32.1 bits available)

	Save N>120 (1,3 value 4.5)
	Save H>1.75 (2,19 value 5.6)
	Save O>1212 (1,4 value 4.2)

Best literal C<=0.83 (11.5 bits)

State (2/16, 5.9 bits available)

	Save clause ending with C>0.585 (cover 2, accuracy 100%)

Best literal C>0.585 (8.4 bits)

Clause 16: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- J=Ff, F=Ec, E=Dg, C<=0.83, C>0.585.

State (3/276, 36.5 bits available)

	Save I=Ft (2,52 value 3.9)
	Save I<>Ff (2,52 value 3.9)
	Save O>2100 (1,9 value 3.8)

Best literal F=Ecc (8.9 bits)

State (1/7, 10.8 bits available)

	Save clause ending with J=Ft (cover 1, accuracy 100%)

	Save J<>Ff (1,1 value 6.1)

Best literal J=Ft (8.2 bits)

Clause 17: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- M=Gg, L=Ft, A=Ab, F=Ecc.

State (2/275, 28.4 bits available)

Best literal O>2100 (12.1 bits)

State (1/9, 7.6 bits available)

	Save clause ending with B>36.17 (cover 1, accuracy 100%)

	Save O<=2690 (1,1 value 6.5)

Best literal B>36.17 (8.4 bits)

Clause 18: is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- F=Ek, O>2100.

State (1/274, 19.7 bits available)

	Save M<>Gg (1,40 value 2.7)
	Save I=Ft (1,51 value 2.4)
	Save I<>Ff (1,51 value 2.4)
	Save N>292 (1,53 value 2.3)

Best literal M=Gs (8.9 bits)

State (1/37, 10.8 bits available)

Best literal F=Ec (8.8 bits)

State (1/7, 3.0 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- M<>Gg.

State (1/40, 10.8 bits available)

	Save I=Ft (1,11 value 4.5)
	Save I<>Ff (1,11 value 4.5)

Best literal F=Ec (8.9 bits)

State (1/8, 2.9 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- M<>Gg, I=Ft.

State (1/11, 2.9 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- M<>Gg, I<>Ff.

State (1/11, 2.9 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I=Ft.

State (1/51, 10.8 bits available)

	Save M<>Gg (1,11 value 4.5)
	Save N>288 (1,12 value 4.4)
	Save B<=23.25 (1,12 value 4.4)
	Save F=Ec (1,13 value 4.3)

Best literal M=Gs (8.8 bits)

State (1/11, 2.9 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I=Ft, M<>Gg.

State (1/11, 2.9 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I=Ft, N>288.

State (1/12, 1.2 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I=Ft, B<=23.25.

State (1/12, 0.8 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I=Ft, F=Ec.

State (1/13, 2.9 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I<>Ff.

State (1/51, 10.8 bits available)

	Save M<>Gg (1,11 value 4.5)
	Save N>288 (1,12 value 4.4)
	Save B<=23.25 (1,12 value 4.4)
	Save F=Ec (1,13 value 4.3)

Best literal M=Gs (8.9 bits)

State (1/11, 2.9 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I<>Ff, M<>Gg.

State (1/11, 2.9 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I<>Ff, N>288.

State (1/12, 1.2 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I<>Ff, B<=23.25.

State (1/12, 0.8 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- I<>Ff, F=Ec.

State (1/13, 2.9 bits available)

No literals

Recover to is_+(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) :- N>292.

State (1/53, 7.7 bits available)

Best literal N<=300 (10.3 bits)

State (1/8, -1.7 bits available)

No literals

Clause too inaccurate (1/6)

***  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_+
    (+)	Aa,20.5,11.835,Cu,Dg,Ec,Eh,6,Ft,Ff,0,Ff,Gg,340,0
    (+)	Aa,18.83,4.415,Cy,Dp,Ec,Eh,3,Ft,Ff,0,Ff,Gg,240,0
    (+)	Aa,28.75,3.75,Cu,Dg,Ec,Ev,1.085,Ft,Ft,1,Ft,Gg,371,0
    (-)	Aa,22.5,8.5,Cu,Dg,Eq,Ev,1.75,Ft,Ft,10,Ff,Gg,80,990
    (-)	Aa,28.58,1.665,Cu,Dg,Eq,Ev,2.415,Ft,Ff,0,Ft,Gg,440,0
    (-)	Ab,45.17,1.5,Cu,Dg,Ec,Ev,2.5,Ft,Ff,0,Ft,Gg,140,0
    (-)	Aa,57.08,0.335,Cu,Dg,Ei,Ebb,1,Ft,Ff,0,Ft,Gg,252,2197
    (-)	Aa,55.75,7.08,Cu,Dg,Ek,Eh,6.75,Ft,Ft,3,Ft,Gg,100,50
    (-)	Ab,43.25,25.21,Cu,Dg,Eq,Eh,0.21,Ft,Ft,1,Ff,Gg,760,90
    (-)	Aa,25.33,2.085,Cu,Dg,Ec,Eh,2.75,Ft,Ff,0,Ft,Gg,360,1
    (-)	Aa,24.58,0.67,Cu,Dg,Eaa,Eh,1.75,Ft,Ff,0,Ff,Gg,400,0
    (-)	Ab,43.17,2.25,Cu,Dg,Ei,Ebb,0.75,Ft,Ff,0,Ff,Gg,560,0
    (-)	Ab,31.83,2.5,Cu,Dg,Eaa,Ev,7.5,Ft,Ff,0,Ft,Gg,523,0
    (-)	Aa,33.92,1.585,Cy,Dp,Eff,Eff,0,Ft,Ff,0,Ff,Gg,320,0
    (-)	Aa,24.92,1.25,Cu,Dg,Eff,Eff,0,Ft,Ff,0,Ff,Gg,80,0
    (-)	Ab,35.25,3.165,Cu,Dg,Ex,Eh,3.75,Ft,Ff,0,Ft,Gg,680,0
    (-)	Ab,80.25,5.5,Cu,Dg,?,?,0.54,Ft,Ff,0,Ff,Gg,0,340
    (-)	Ab,19.42,1.5,Cy,Dp,Ecc,Ev,2,Ft,Ff,0,Ft,Gg,100,20
    (-)	Ab,42.75,3,Cu,Dg,Ei,Ebb,1,Ft,Ff,0,Ff,Gg,0,200
    (-)	Ab,19.67,10,Cy,Dp,Ek,Eh,0.835,Ft,Ff,0,Ft,Gg,140,0
    (-)	Ab,36.33,3.79,Cu,Dg,Ew,Ev,1.165,Ft,Ff,0,Ft,Gg,200,0
    (-)	Ab,44.25,11,Cy,Dp,Ed,Ev,1.5,Ft,Ff,0,Ff,Gs,0,0
    (-)	Ab,23.58,0.46,Cy,Dp,Ew,Ev,2.625,Ft,Ft,6,Ft,Gg,208,347
    (+)	Ab,29.58,4.5,Cu,Dg,Ew,Ev,7.5,Ft,Ft,2,Ft,Gg,330,0
    (+)	Ab,21,3,Cy,Dp,Ed,Ev,1.085,Ft,Ft,8,Ft,Gg,160,1
    (+)	Ab,32.67,9,Cy,Dp,Ew,Eh,5.25,Ft,Ff,0,Ft,Gg,154,0
    (+)	Ab,73.42,17.75,Cu,Dg,Eff,Eff,0,Ft,Ff,0,Ft,Gg,0,0
    (+)	Ab,23.17,0,?,?,?,?,0,Ff,Ff,0,Ff,Gp,?,0
    (+)	Ab,34.17,5.25,Cu,Dg,Ew,Ev,0.085,Ff,Ff,0,Ft,Gg,290,6
    (+)	Ab,38.67,0.21,Cu,Dg,Ek,Ev,0.085,Ft,Ff,0,Ft,Gg,280,0
    (+)	?,20.08,0.125,Cu,Dg,Eq,Ev,1,Ff,Ft,1,Ff,Gg,240,768
    (+)	Aa,29.5,0.46,Cu,Dg,Ek,Ev,0.54,Ft,Ft,4,Ff,Gg,380,500
    (-)	Ab,47.83,4.165,Cu,Dg,Ex,Ebb,0.085,Ff,Ff,0,Ft,Gg,520,0
    (+)	Ab,22.67,0.165,Cu,Dg,Ec,Ej,2.25,Ff,Ff,0,Ft,Gs,0,0
    (-)	Ab,40.92,0.5,Cy,Dp,Em,Ev,0.5,Ff,Ff,0,Ft,Gg,130,0
    (-)	Ab,35.58,0.75,Cu,Dg,Ek,Ev,1.5,Ff,Ff,0,Ft,Gg,231,0
    (-)	Ab,37.33,2.665,Cu,Dg,Ecc,Ev,0.165,Ff,Ff,0,Ft,Gg,0,501
    (-)	Ab,21.5,11.5,Cu,Dg,Ei,Ev,0.5,Ft,Ff,0,Ft,Gg,100,68
    (-)	Ab,32.08,4,Cy,Dp,Ecc,Ev,1.5,Ff,Ff,0,Ft,Gg,120,0
    (-)	Ab,19.5,0.29,Cu,Dg,Ek,Ev,0.29,Ff,Ff,0,Ff,Gg,280,364
    (-)	Ab,40.58,3.29,Cu,Dg,Em,Ev,3.5,Ff,Ff,0,Ft,Gs,400,0
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.