Add congruence support to IntegerSet, fixing "multiple of" completeness errors #281
| Job | Run time |
|---|---|
| 6s | |
| 7m 36s | |
| 12m 10s | |
| 6h 22m 36s | |
| 6h 22m 36s | |
| 6h 22m 36s | |
| 6h 22m 36s | |
| 8m 10s | |
| 6h 22m 36s | |
| 6h 22m 36s | |
| 8m 52s | |
| 47m 6s | |
| 8m 5s | |
| 1d 15h 47m 41s |
| Job | Run time |
|---|---|
| 6s | |
| 7m 36s | |
| 12m 10s | |
| 6h 22m 36s | |
| 6h 22m 36s | |
| 6h 22m 36s | |
| 6h 22m 36s | |
| 8m 10s | |
| 6h 22m 36s | |
| 6h 22m 36s | |
| 8m 52s | |
| 47m 6s | |
| 8m 5s | |
| 1d 15h 47m 41s |