add support for <-> operator rewriting #84
Job | Run time |
---|---|
1m 11s | |
1m 19s | |
1m 11s | |
1m 56s | |
1m 45s | |
2m 10s | |
1m 1s | |
1m 12s | |
1m 3s | |
1m 45s | |
1m 43s | |
1m 38s | |
17m 54s |
Job | Run time |
---|---|
1m 11s | |
1m 19s | |
1m 11s | |
1m 56s | |
1m 45s | |
2m 10s | |
1m 1s | |
1m 12s | |
1m 3s | |
1m 45s | |
1m 43s | |
1m 38s | |
17m 54s |