Next: clausal formulas Up: Results of the analysis Previous: clausal formulas with 10
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 | 12 | 1 | 2 | 2 | 7 | 1 | 5 |
| 2 | 47 | 2 | 9 | 3 | 62 | 1 | 20 |
| 3 | 127 | 3 | 22 | 3 | 320 | 1 | 60 |
| 4 | 323 | 4 | 47 | 3 | 1501 | 1 | 160 |
| 5 | 787 | 5 | 96 | 3 | 6906 | 1 | 400 |
| 6 | 1859 | 6 | 193 | 3 | 31611 | 1 | 960 |
| 7 | 4291 | 7 | 386 | 3 | 143884 | 1 | 2240 |
Adolfo Gustavo Serra Seca Neto 2004-12-30