This repository has been archived by the owner on Aug 22, 2024. It is now read-only.
Add simplification rules #1047
Job | Run time |
---|---|
17m 37s | |
26m 36s | |
13m 25s | |
13m 25s | |
1m 15s | |
1m 15s | |
25m 36s | |
25m 36s | |
26m 38s | |
26m 38s | |
2h 58m 1s |