more prover processes run than expected
ID0002262: This issue was created automatically from Mantis Issue 2262. Further discussion may take place here.
|Plug-in > wp
|Fixed in Version
When I start WP with '-wp-par 4' (for example) I often observe that more than 4 prover processes are actually running.
Additional Information :
I am not sure this is related but:
It happens from time to time that a proof obligations that is verified with '-wp-par 1' and given timeout T is not verified when using a greater number of processes and the same timeout T.
Steps To Reproduce :
run WP on example with a sufficiently large number of proof obligations that require more than one theorem prover