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
|