VariCellRepository: finalFM_motherboards.fml

File finalFM_motherboards.fml, 8.2 KB (added by taran, 5 years ago)
Line 
1FinalFM = FM(Motherboards: General_features ;
2General_features: FormFactor Chipset Memory [HDD] ;
3FormFactor: (ATX|Enhanced|X1UEnhanced|X1UExt_ATX|Proprietary|Ext_ATX|SWTX) ;
4Chipset: (IntelE7520|Intel5400|Intel5000V|IntelE7501|GCLE|Intel5000X|IntelE7500|IntelE7320|IntelE7505|IntelE7525|GCHE|GCSL|Intel5000P|Intel860|Intel5100) ;
5Memory: (X24GBFBDIMM|X64GBFBDIMM|X16GBFBDIMM|X12GBDDR|X2GBRDRAM|X16GBDDR|X48GBDDR2DIMM|X12GBDDR2|X16GBDDR2|X32GBDDR|X8GBDDR|X128GBFBDIMM|X32GBFBDIMM|X4GBDDR|X8GBDDR2|X24GBDDR) ;
6HDD: (X2xSATA|X8xSATA|DualU320|ZCR|Dual320|UIO|ICH5RRAID|DualU160|X4xSAS|Customizable|X6xSATA|X8xSAS|SingleU320|RAID|X4xSATA|ATA100|AIC8120|X10xSATA) ;
7(X2xSATA -> !X32GBFBDIMM);
8(Proprietary -> !RAID);
9(X8xSATA -> ATX);
10(X128GBFBDIMM -> Intel5400);
11(SingleU320 -> !IntelE7505);
12(Intel5000X -> !ATA100);
13(X4GBDDR -> !ZCR);
14(X128GBFBDIMM -> !DualU160);
15(X12GBDDR -> !IntelE7520);
16(X2xSATA -> !X64GBFBDIMM);
17(X2xSATA -> !IntelE7500);
18(ATX -> !X32GBDDR);
19(X4xSATA -> !IntelE7520);
20(Intel5100 -> !DualU160);
21(X16GBDDR2 -> !Intel5000P);
22(SingleU320 -> ATX);
23(Intel5000V -> !RAID);
24(X24GBFBDIMM -> !IntelE7525);
25(UIO -> !X2GBRDRAM);
26(X6xSATA -> !IntelE7320);
27(X24GBFBDIMM -> !IntelE7501);
28(X16GBDDR -> !IntelE7520);
29(X16GBFBDIMM -> X4xSATA);
30(X8xSAS -> !GCLE);
31(Intel5000X -> !X64GBFBDIMM);
32(ZCR -> !IntelE7501);
33(X8xSAS -> !IntelE7500);
34(X2GBRDRAM -> !X4xSAS);
35(Proprietary -> !X8GBDDR);
36(X1UEnhanced -> Intel5000P);
37(ATX -> !X64GBFBDIMM);
38(AIC8120 -> X12GBDDR);
39(ZCR -> !X2GBRDRAM);
40(ICH5RRAID -> ATX);
41(X16GBDDR -> !RAID);
42(Intel5000V -> !ATA100);
43(X64GBFBDIMM -> !GCHE);
44(IntelE7500 -> !X32GBDDR);
45(SWTX -> !X32GBFBDIMM);
46(X16GBDDR -> HDD);
47(X12GBDDR -> !UIO);
48(IntelE7501 -> !X32GBDDR);
49(IntelE7525 -> !UIO);
50(X24GBDDR -> !GCHE);
51(X8xSAS -> !IntelE7505);
52(X1UEnhanced -> !X8xSAS);
53(X4xSATA -> !X16GBDDR);
54(Intel5000V -> !X64GBFBDIMM);
55(Customizable -> !X2GBRDRAM);
56(IntelE7525 -> !X8GBDDR);
57(Proprietary -> !X32GBDDR);
58(X2xSATA -> !X48GBDDR2DIMM);
59(X24GBFBDIMM -> !Intel5400);
60(Intel5400 -> !X32GBDDR);
61(X16GBDDR -> !GCHE);
62(X64GBFBDIMM -> !GCLE);
63(ATX -> !DualU160);
64(ICH5RRAID -> X8GBDDR);
65(X16GBDDR -> !Intel5000P);
66(SWTX -> !X8xSAS);
67(UIO -> !X32GBFBDIMM);
68(IntelE7520 -> !DualU160);
69(X8xSAS -> !Enhanced);
70(X4GBDDR <-> GCSL);
71(X2xSATA -> !IntelE7505);
72(ATA100 -> !GCHE);
73(IntelE7320 -> ATX);
74(Intel5400 -> !SingleU320);
75(IntelE7320 -> !X8xSAS);
76(X24GBDDR -> !Intel5000V);
77(IntelE7320 -> !X32GBDDR);
78(UIO -> !X32GBDDR);
79(X8xSAS -> !X64GBFBDIMM);
80(Intel5000X -> !X12GBDDR2);
81(X32GBFBDIMM -> !X4xSAS);
82(IntelE7525 -> !RAID);
83(X16GBDDR -> !Proprietary);
84(X4xSATA -> !IntelE7320);
85(X16GBDDR2 -> !Intel5000V);
86(X4GBDDR -> !X8xSAS);
87(Customizable -> Ext_ATX);
88(X12GBDDR -> !Intel5400);
89(X8xSATA -> IntelE7501);
90(X8xSAS -> !X2GBRDRAM);
91(X16GBDDR2 -> !X4xSAS);
92(Customizable -> !GCLE);
93(X12GBDDR -> !Intel5000X);
94(X1UEnhanced -> !DualU320);
95(X4GBDDR -> !Customizable);
96(X4xSATA -> !GCLE);
97(X16GBDDR -> !Intel5000V);
98(IntelE7525 -> HDD);
99(X4xSATA -> !X2GBRDRAM);
100(X4xSATA -> !X24GBFBDIMM);
101(AIC8120 -> IntelE7501);
102(Customizable -> !IntelE7505);
103(X16GBDDR2 -> !GCHE);
104(Intel5000X -> !RAID);
105(IntelE7520 -> !X8GBDDR);
106(X128GBFBDIMM -> Ext_ATX);
107(Intel5400 -> !RAID);
108(X12GBDDR -> !GCHE);
109(X8xSAS -> !X8GBDDR);
110(Intel5000V -> !X12GBDDR2);
111(ATA100 -> !X32GBFBDIMM);
112(IntelE7525 -> !SingleU320);
113(X6xSATA -> !X4GBDDR);
114(X8GBDDR -> !Intel5400);
115(X16GBDDR2 -> !IntelE7501);
116(X4xSATA -> !X4GBDDR);
117(X16GBDDR -> !UIO);
118(X8GBDDR -> !SingleU320);
119(X12GBDDR -> !IntelE7525);
120(X12GBDDR2 -> !IntelE7501);
121(Proprietary -> !IntelE7525);
122(X24GBDDR -> !IntelE7501);
123(X2xSATA -> !GCHE);
124(X2xSATA -> !Intel5400);
125(X10xSATA -> IntelE7520);
126(Intel5000P -> !X32GBDDR);
127(X16GBDDR -> !Intel5000X);
128(IntelE7525 -> !DualU160);
129(X16GBDDR2 -> !UIO);
130(X64GBFBDIMM -> !ATA100);
131(SWTX <-> GCHE);
132(X2xSATA -> !X1UExt_ATX);
133(X4xSATA -> !SWTX);
134(X6xSATA -> !X16GBDDR2);
135(X16GBDDR2 -> !X4xSATA);
136(X32GBFBDIMM -> !IntelE7501);
137(X8xSAS -> !X32GBDDR);
138(IntelE7320 -> !X24GBFBDIMM);
139(IntelE7520 -> !RAID);
140(IntelE7525 -> !ZCR);
141(Proprietary -> !X2GBRDRAM);
142(X4xSAS -> Proprietary);
143(IntelE7520 -> !X12GBDDR2);
144(GCLE -> !X32GBFBDIMM);
145(X48GBDDR2DIMM -> !RAID);
146(GCLE -> !ZCR);
147(X1UExt_ATX -> X32GBFBDIMM);
148(ZCR -> !IntelE7500);
149(Intel5000V -> !Ext_ATX);
150(Intel5400 -> !X4xSAS);
151(X16GBDDR2 -> !Intel5000X);
152(X16GBDDR2 -> !DualU160);
153(AIC8120 -> ATX);
154(Intel5100 -> !SingleU320);
155(X32GBFBDIMM -> !RAID);
156(X24GBDDR -> !X4xSAS);
157(Intel860 <-> X2GBRDRAM);
158(UIO -> !IntelE7501);
159(IntelE7525 -> !ATA100);
160(Enhanced -> Intel5000P);
161(X12GBDDR -> !Customizable);
162(Customizable -> !IntelE7500);
163(IntelE7320 -> !DualU320);
164(X6xSATA -> !GCHE);
165(X16GBDDR2 -> !IntelE7500);
166(IntelE7320 -> !X32GBFBDIMM);
167(X16GBDDR -> !X4xSAS);
168(Proprietary -> !ATA100);
169(Intel5000P -> !ATX);
170(Intel5000P -> !RAID);
171(IntelE7320 -> !ATA100);
172(IntelE7500 -> Ext_ATX);
173(Proprietary -> !IntelE7501);
174(X24GBDDR -> !Intel5000X);
175(X64GBFBDIMM -> !IntelE7501);
176(X1UEnhanced -> X64GBFBDIMM);
177(IntelE7320 -> HDD);
178(SingleU320 -> !GCSL);
179(X32GBFBDIMM -> !IntelE7500);
180(X6xSATA -> !IntelE7505);
181(X12GBDDR -> !X4xSAS);
182(ATA100 -> !X128GBFBDIMM);
183(X2xSATA -> !Intel5000P);
184(UIO -> Ext_ATX);
185(IntelE7520 -> !ATA100);
186(X12GBDDR2 -> HDD);
187(X10xSATA -> Ext_ATX);
188(IntelE7520 -> !X64GBFBDIMM);
189(Customizable -> !IntelE7501);
190(X2xSATA -> !X24GBFBDIMM);
191(GCLE -> !X32GBDDR);
192(X8xSAS -> !X12GBDDR2);
193(X12GBDDR -> !Intel5000V);
194(X6xSATA -> !GCLE);
195(X24GBFBDIMM -> ATX);
196(X64GBFBDIMM -> !IntelE7500);
197(IntelE7525 -> !X32GBFBDIMM);
198(Intel5400 -> !X12GBDDR2);
199(Intel5000V -> !X8GBDDR);
200(X16GBDDR2 -> !GCLE);
201(X16GBFBDIMM -> Proprietary);
202(X4xSATA -> !X1UEnhanced);
203(X16GBDDR -> !Intel5400);
204(RAID -> !IntelE7500);
205(ZCR -> !IntelE7505);
206(DualU320 -> !X128GBFBDIMM);
207(SingleU320 -> !X32GBFBDIMM);
208(Intel5000V -> !Customizable);
209(X8GBDDR -> !UIO);
210(Intel5000P -> !X4xSAS);
211(X4xSATA -> !X24GBDDR);
212(X16GBDDR2 -> !IntelE7505);
213(Intel5000X -> !X8GBDDR);
214(X8xSATA -> X12GBDDR);
215(SingleU320 -> !IntelE7501);
216(Intel5400 -> !ATA100);
217(X16GBDDR -> !SingleU320);
218(X8GBDDR2 -> IntelE7320);
219(GCLE -> !RAID);
220(UIO -> !GCSL);
221(IntelE7520 -> !X4xSAS);
222(X16GBFBDIMM -> Intel5000V);
223(X2xSATA -> !X2GBRDRAM);
224(X8GBDDR2 -> X2xSATA);
225(X4xSATA -> !Enhanced);
226(IntelE7320 -> !X12GBDDR);
227(Intel5000P -> !X8GBDDR);
228(Intel5000V -> !DualU160);
229(X64GBFBDIMM -> !RAID);
230(X48GBDDR2DIMM <-> Intel5100);
231(Intel5000X -> !Customizable);
232(Dual320 -> X1UEnhanced);
233(GCHE -> !RAID);
234(SingleU320 -> !X32GBDDR);
235(X24GBDDR -> !Intel5400);
236(X24GBDDR -> !RAID);
237(IntelE7500 -> HDD);
238(Proprietary -> !GCSL);
239(X6xSATA -> !IntelE7500);
240(X4xSATA -> !X128GBFBDIMM);
241(Intel5000X -> !DualU160);
242(DualU320 -> !X2GBRDRAM);
243(X8xSAS -> !Intel5400);
244(UIO -> !IntelE7500);
245(X12GBDDR2 -> !RAID);
246(ATX -> !Intel860);
247(X12GBDDR2 -> ATX);
248(X24GBFBDIMM -> !SingleU320);
249(Enhanced -> X64GBFBDIMM);
250(ICH5RRAID -> IntelE7501);
251(X24GBDDR -> !Ext_ATX);
252(Intel5000P -> !DualU160);
253(Intel5000P -> !ATA100);
254(X32GBFBDIMM -> !IntelE7505);
255(X8xSAS -> !IntelE7501);
256(X16GBDDR2 -> !Intel5400);
257(Intel5000V -> !X32GBDDR);
258(ATA100 -> !GCLE);
259(DualU320 -> !X48GBDDR2DIMM);
260(X64GBFBDIMM -> !IntelE7505);
261(DualU320 -> !X12GBDDR2);
262(IntelE7320 -> !ZCR);
263(Intel5000X -> !X32GBDDR);
264(Intel5000V -> !X32GBFBDIMM);
265(X16GBDDR2 -> !Customizable);
266(Intel5000P -> !X12GBDDR);
267(Customizable -> !X32GBDDR);
268(Intel5400 -> !ZCR);
269(IntelE7320 -> !RAID);
270(X4xSATA -> !IntelE7500);
271(Intel860 -> !RAID);
272(X16GBDDR -> !IntelE7525);
273(X4xSATA -> !X12GBDDR2);
274(Intel5000P -> !X24GBDDR);
275(X24GBDDR -> !IntelE7505);
276(X48GBDDR2DIMM -> !ZCR);
277(UIO -> !GCLE);
278(X16GBDDR -> !X8xSAS);
279(SWTX -> !ZCR);
280(X24GBFBDIMM -> !IntelE7520);
281(X4xSAS -> !X32GBDDR);
282(ATA100 -> !X32GBDDR);
283(X6xSATA -> !IntelE7501);
284(X4xSATA -> !X1UExt_ATX);
285(X10xSATA -> X32GBDDR);
286(X32GBFBDIMM -> !DualU160);
287(X48GBDDR2DIMM -> !ATA100);
288(X2xSATA -> !X4GBDDR);
289(Proprietary -> !IntelE7505);
290(X16GBDDR -> !IntelE7505);
291(GCLE -> Ext_ATX);
292(X4xSATA -> !X32GBDDR);
293(X1UExt_ATX -> Intel5000P);
294(X2xSATA -> !GCLE);
295(X24GBFBDIMM -> !ATA100);
296(IntelE7525 -> !X64GBFBDIMM);
297(X16GBDDR2 -> !RAID);
298(X2xSATA -> !X12GBDDR);
299(IntelE7520 -> !X32GBFBDIMM);
300(GCSL -> !RAID);
301(X24GBDDR -> !X8xSAS);
302(X8GBDDR -> !GCHE);
303(Intel5000P -> !UIO);
304(UIO -> !IntelE7505);
305(X6xSATA -> !X2GBRDRAM);
306(X64GBFBDIMM -> !DualU160);
307(X4xSATA -> !Intel5000X);
308(Customizable -> !X128GBFBDIMM);
309(ATA100 -> !X12GBDDR2);
310(IntelE7505 -> !X32GBDDR);
311(DualU320 -> !Intel5400);
312(X24GBFBDIMM -> !IntelE7505);
313(X6xSATA -> !X12GBDDR);
314(GCLE -> HDD);
315(DualU160 -> !IntelE7505);)