do not check critical pairs with sequential symbols (fix #1140) (#1185) #2467
| Job | Run time |
|---|---|
| 26s | |
| 9m 20s | |
| 9m 31s | |
| 9m 27s | |
| 10m 6s | |
| 9m 5s | |
| 10m 35s | |
| 10m 0s | |
| 8m 36s | |
| 8m 31s | |
| 8m 37s | |
| 1h 34m 14s |
| Job | Run time |
|---|---|
| 26s | |
| 9m 20s | |
| 9m 31s | |
| 9m 27s | |
| 10m 6s | |
| 9m 5s | |
| 10m 35s | |
| 10m 0s | |
| 8m 36s | |
| 8m 31s | |
| 8m 37s | |
| 1h 34m 14s |