Statman 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
1	18	2	1	1	5	2	8
5	350	10	35	2	471	6	140
9	1038	18	85	2	1801	10	432
13	2098	26	151	2	4315	14	884
17	3570	34	233	2	8333	18	1496
21	5458	42	331	2	14175	22	2268
25	7762	50	445	2	22161	26	3200
29	10482	58	575	2	32611	30	4292