$\Gamma$ formulas with 10 literals

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	783	43	66	4	322	47	269
40	1508	83	128	4	632	88	517
60	2228	123	188	4	929	129	758
80	2965	163	251	4	1243	171	1011
100	3666	203	306	4	1520	207	1227
120	4518	243	367	4	1827	247	1471
140	5360	283	428	4	2129	288	1714
160	6214	323	492	4	2445	331	1970
180	7046	363	550	4	2736	371	2207
200	7880	403	609	4	3032	409	2438
220	8721	443	667	4	3327	448	2675
240	9573	483	731	4	3642	492	2934
260	10401	523	788	4	3929	529	3158
280	11252	563	850	4	4237	570	3404
300	12086	603	911	4	4541	610	3645
320	12926	643	970	4	4838	649	3881
340	13768	683	1031	4	5140	691	4128
360	14612	723	1092	4	5446	731	4371
380	15457	763	1147	3	5730	768	4598
400	16275	803	1206	4	6021	807	4828