Implement equality operator synthesization #3283
Job | Run time |
---|---|
1s | |
31m 55s | |
33m 24s | |
21m 37s | |
23m 28s | |
27m 18s | |
13m 51s | |
30m 40s | |
20m 12s | |
11m 6s | |
16m 25s | |
3h 49m 57s |
Job | Run time |
---|---|
1s | |
31m 55s | |
33m 24s | |
21m 37s | |
23m 28s | |
27m 18s | |
13m 51s | |
30m 40s | |
20m 12s | |
11m 6s | |
16m 25s | |
3h 49m 57s |