Add more idaklu
solver options
#9889
Job | Run time |
---|---|
23s | |
5m 27s | |
16m 34s | |
30m 31s | |
20m 39s | |
30m 54s | |
29m 10s | |
33m 40s | |
24m 31s | |
26m 26s | |
16m 20s | |
29m 24s | |
12m 4s | |
11m 7s | |
19m 9s | |
10m 0s | |
26m 38s | |
26m 29s | |
26m 46s | |
25m 31s | |
7h 1m 43s |