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 | 116 | 6 | 17 | 3 | 161 | 1 | 36 |
3 | 292 | 12 | 47 | 3 | 907 | 1 | 96 |
4 | 598 | 20 | 99 | 3 | 3759 | 1 | 200 |
5 | 1070 | 30 | 179 | 3 | 12275 | 1 | 360 |
6 | 1744 | 42 | 293 | 3 | 33445 | 1 | 588 |
Adolfo Gustavo Serra Seca Neto 2004-12-30