Alter spoint op family to add missed operator 17 (<->) #126
Job | Run time |
---|---|
1m 29s | |
1m 27s | |
1m 29s | |
1m 35s | |
1m 30s | |
1m 38s | |
1m 37s | |
1m 38s | |
1m 29s | |
1m 38s | |
1m 33s | |
1m 37s | |
1m 25s | |
1m 43s | |
21m 48s |
Job | Run time |
---|---|
1m 29s | |
1m 27s | |
1m 29s | |
1m 35s | |
1m 30s | |
1m 38s | |
1m 37s | |
1m 38s | |
1m 29s | |
1m 38s | |
1m 33s | |
1m 37s | |
1m 25s | |
1m 43s | |
21m 48s |