Next: Statman formulas Up: Results of the analysis Previous: PHP 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 |
| 2 | 184 | 6 | 34 | 2 | 352 | 1 | 59 |
| 3 | 471 | 12 | 83 | 2 | 1735 | 1 | 156 |
| 4 | 978 | 20 | 166 | 2 | 6848 | 1 | 327 |
| 5 | 1768 | 30 | 292 | 2 | 21928 | 1 | 593 |
| 6 | 2904 | 42 | 470 | 2 | 59218 | 1 | 975 |
Adolfo Gustavo Serra Seca Neto 2004-12-30