# (gH)   -_-  solution.cs  ;  TimeStamp (unix) : 04 Juin 2017 vers 13:42

#Read file XXXX.dac, and elimination of redundancy

   S7121G1 same valuation S3836G1
   S6369G2 same valuation S6107G2
   S6358G2 same valuation S6107G2
   S6359G2 same valuation S6107G2
   S6362G2 same valuation S6107G2
   S6367G2 same valuation S6107G2
   S6376G2 same valuation S6107G2
Character: 37 Entity: 56 Group: 0
Eliminate redundancy 52.5424%

#Sub test

10 can't be characterized by a totaly positive formula
9 can't be characterized by a totaly positive formula

#Caracterization in progress, searching...

group:11   size:
      1       2
group:12   size:
group:3   size:
      1      2      3      4

#Instance: XXXX.dac:

1    f=(10)&(~14)&(18)
10   f=(14)&(~15)&(~21)
11   f=(~8)&(18)
12   f=(~30)&(32)&(33)
13   f=(~12)&(14)&(30)
14   f=(~12)&(16)&(~18)
15   f=(10)&(~16)&(~30)
16   f=(~28)&(37)
17   f=(~8)&(~18)
18   f=(24)
19   f=(36)
2    f=(~7)&(28)
3    f=(14)&(~20)&(21)&(~33)
4    f=(~2)&(8)
5    f=(8)&(~11)&(23)&(~28)
6    f=(~10)&(20)
7    f=(7)&(10)&(~18)&(28)
8    f=(23)&(28)
9    f=(~11)&(12)&(~21)