$\Gamma$ clausal formulas

size	file size (in bytes)	number of atomic formulas	number of composite formulas	number of connectives	formula factory complexity	number of signed formulas	signed formula factory complexity
20	770	42	101	2	425	42	288
40	1570	82	201	2	845	82	568
60	2370	122	301	2	1265	122	848
80	3170	162	401	2	1685	162	1128
100	3982	202	501	2	2105	202	1408
120	4902	242	601	2	2525	242	1688
140	5822	282	701	2	2945	282	1968
160	6742	322	801	2	3365	322	2248
180	7662	362	901	2	3785	362	2528
200	8582	402	1001	2	4205	402	2808
220	9502	442	1101	2	4625	442	3088
240	10422	482	1201	2	5045	482	3368
260	11342	522	1301	2	5465	522	3648
280	12262	562	1401	2	5885	562	3928
300	13182	602	1501	2	6305	602	4208
320	14102	642	1601	2	6725	642	4488
340	15022	682	1701	2	7145	682	4768
360	15942	722	1801	2	7565	722	5048
380	16862	762	1901	2	7985	762	5328
400	17782	802	2001	2	8405	802	5608