# (gH)   -_-  solution.cs.txt  ;  TimeStamp (unix) : 17 Juin 2010 vers 12:42

###################################################################
#                                                                 #
## solution (Exact-CAR)                                           #
#                                                                 #
###################################################################

#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
Caractere: 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)

###################################################################
#                                                                 #
## solution (GA-CAR)                                              #
#                                                                 #
###################################################################


Groupe 1:
( -21 12 ) ( -31 -3 11 ) ( -3 8 11 )
( -29 25 ) ( 6 28 ) ( 26 31 ) ( -31 -29 11 )


Groupe 2:
( -11 ) ( 3 ) ( 13 20 34 ) ( -26 -25 -8 24 )
( -11 ) ( 3 ) ( 20 21 34 ) ( -26 -25 -8 24 )
( -11 ) ( 3 ) ( 20 22 34 ) ( -26 -25 -8 24 )
( -11 ) ( 3 ) ( -29 20 34 ) ( -26 -25 -8 24 )

###################################################################
#                                                                 #
## Equivalence between formats                                    #
#                                                                 #
###################################################################

(-x y) (-a b) <==> (~x|y)&(~a|b)

###################################################################