WIP #1056 call diophantine solvers from Function FindInstance
#1444
| Job | Run time |
|---|---|
| 9m 32s | |
| 5m 56s | |
| 15m 28s |
FindInstance
#1444
| Job | Run time |
|---|---|
| 9m 32s | |
| 5m 56s | |
| 15m 28s |