None
- Total activity 5
- Last activity
- Member since
- Following 0 users
- Followed by 0 users
- Votes 0
- Subscriptions 2
Posts
Recent activity by None-
Time limit on a parallel solve
Is there a parallel" version of the "time limit" parameter? As far as I can see, imposing a time limit of X leads to a solve been terminated after X seconds have passed independently of the number ...