Which Optimizer to Choose (#536) #1810
Job | Run time |
---|---|
58s | |
1m 20s | |
3m 18s | |
3m 20s | |
3m 49s | |
3m 29s | |
2m 19s | |
7m 48s | |
2m 17s | |
4m 15s | |
7m 34s | |
40m 27s |
Job | Run time |
---|---|
58s | |
1m 20s | |
3m 18s | |
3m 20s | |
3m 49s | |
3m 29s | |
2m 19s | |
7m 48s | |
2m 17s | |
4m 15s | |
7m 34s | |
40m 27s |