Use BOSS indexing in DBGSuccinct + make RowDiff independent #4499
Job | Run time |
---|---|
12m 44s | |
12m 45s | |
15m 20s | |
12m 26s | |
15m 20s | |
12m 45s | |
15m 19s | |
15m 20s | |
15m 21s | |
15m 18s | |
15m 20s | |
15m 20s | |
15m 6s | |
15m 8s | |
15m 21s | |
15m 19s | |
15m 21s | |
15m 2s | |
15m 19s | |
15m 18s | |
15m 7s | |
15m 7s | |
0s | |
0s | |
0s | |
5h 25m 26s |