Merge branch 'main' into optimize-exact-search #303
Job | Run time |
---|---|
6m 4s | |
8m 15s | |
7m 34s | |
7m 27s | |
8m 16s | |
7m 57s | |
8m 44s | |
8m 19s | |
9m 6s | |
9m 16s | |
8m 20s | |
8m 7s | |
8m 25s | |
8m 16s | |
8m 15s | |
7m 51s | |
8m 21s | |
9m 11s | |
8m 13s | |
7m 46s | |
2h 43m 43s |
Job | Run time |
---|---|
6m 4s | |
8m 15s | |
7m 34s | |
7m 27s | |
8m 16s | |
7m 57s | |
8m 44s | |
8m 19s | |
9m 6s | |
9m 16s | |
8m 20s | |
8m 7s | |
8m 25s | |
8m 16s | |
8m 15s | |
7m 51s | |
8m 21s | |
9m 11s | |
8m 13s | |
7m 46s | |
2h 43m 43s |