hint simplify now extracts rewriting rules from <=> #1936
Job | Run time |
---|---|
3m 41s | |
3m 41s | |
2m 7s | |
2m 7s | |
3m 25s | |
3m 25s | |
7m 58s | |
7m 58s | |
2s | |
7m 18s | |
0s | |
6s | |
41m 48s |
Job | Run time |
---|---|
3m 41s | |
3m 41s | |
2m 7s | |
2m 7s | |
3m 25s | |
3m 25s | |
7m 58s | |
7m 58s | |
2s | |
7m 18s | |
0s | |
6s | |
41m 48s |