[CP-SAT] supports affine expression in automaton #1667
Job | Run time |
---|---|
1m 48s | |
1h 38m 26s | |
1h 11m 20s | |
1h 26m 28s | |
1h 31m 25s | |
1m 28s | |
1h 18m 35s | |
7h 9m 30s |
Job | Run time |
---|---|
1m 48s | |
1h 38m 26s | |
1h 11m 20s | |
1h 26m 28s | |
1h 31m 25s | |
1m 28s | |
1h 18m 35s | |
7h 9m 30s |