adds max_time option to solver benchmarks
#3175
| Job | Run time |
|---|---|
| 13s | |
| 13s |
max_time option to solver benchmarks
#3175
| Job | Run time |
|---|---|
| 13s | |
| 13s |