Next: Statman clausal formulas Up: Results of the analysis Previous: PHP 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 | 250 | 10 | 23 | 3 | 263 | 6 | 104 |
| 9 | 742 | 18 | 61 | 3 | 1081 | 10 | 328 |
| 13 | 1510 | 26 | 115 | 3 | 2715 | 14 | 680 |
| 17 | 2594 | 34 | 185 | 3 | 5421 | 18 | 1160 |
| 21 | 3998 | 42 | 271 | 3 | 9455 | 22 | 1768 |
| 25 | 5722 | 50 | 373 | 3 | 15073 | 26 | 2504 |
| 29 | 7766 | 58 | 491 | 3 | 22531 | 30 | 3368 |
Adolfo Gustavo Serra Seca Neto 2004-12-30