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 | 1 | 3 | 2 | 12 | 1 | 7 |
2 | 59 | 2 | 13 | 2 | 95 | 1 | 24 |
3 | 151 | 3 | 30 | 2 | 440 | 1 | 68 |
4 | 371 | 4 | 63 | 2 | 1912 | 1 | 176 |
5 | 883 | 5 | 128 | 2 | 8324 | 1 | 432 |
6 | 2051 | 6 | 257 | 2 | 36660 | 1 | 1024 |
7 | 4675 | 7 | 514 | 2 | 162500 | 1 | 2368 |
Adolfo Gustavo Serra Seca Neto 2004-12-30