$\Gamma$ clausal 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	870	43	108	4	451	48	316
40	1666	83	208	4	869	89	598
60	2469	123	307	3	1285	128	873
80	3275	163	410	4	1716	170	1163
100	4068	203	506	4	2120	207	1427
120	5008	243	610	4	2558	250	1725
140	5923	283	708	3	2971	288	1996
160	6852	323	808	4	3390	329	2279
180	7768	363	908	4	3811	367	2552
200	8687	403	1008	4	4231	407	2832
220	9624	443	1113	4	4672	452	3138
240	10527	483	1210	4	5078	490	3405
260	11436	523	1308	4	5489	528	3674
280	12376	563	1410	4	5920	569	3963
300	13269	603	1506	4	6322	607	4229
320	14189	643	1607	4	6745	648	4513
340	15121	683	1707	3	7166	688	4794
360	16047	723	1807	4	7585	727	5070
380	16970	763	1910	3	8019	771	5370
400	17892	803	2011	4	8441	811	5650