Random formulae

Please enter the following parameters:

Note

propositions are of the form [a-z][a-z 0-9]*

Propositions to be used:	(separated by comma)
Maximum number of agents:
Maximum depth of formulae:
Number of formulae to generate:
Time-out for each formula:	(in seconds)