The third-party nleq2 is updated to the latest version #53
| Job | Run time |
|---|---|
| 13m 12s | |
| 13m 12s | |
| 11m 54s | |
| 13m 41s | |
| 13m 41s | |
| 10m 7s | |
| 7m 41s | |
| 7m 41s | |
| 6m 0s | |
| 5m 23s | |
| 5m 23s | |
| 5m 41s | |
| 7m 37s | |
| 7m 37s | |
| 7m 36s | |
| 6m 25s | |
| 6m 25s | |
| 6m 24s | |
| 9m 18s | |
| 9m 18s | |
| 9m 59s | |
| 7m 27s | |
| 7m 27s | |
| 7m 56s | |
| 11m 24s | |
| 11m 24s | |
| 11m 10s | |
| 13m 23s | |
| 10m 28s | |
| 9m 54s | |
| 4h 34m 48s |