Use BOSS indexing in DBGSuccinct + make RowDiff independent #4501
Job | Run time |
---|---|
53m 57s | |
54m 59s | |
1h 29m 7s | |
53m 50s | |
1h 29m 9s | |
53m 33s | |
1h 29m 9s | |
1h 29m 8s | |
1h 29m 8s | |
1h 29m 9s | |
1h 29m 9s | |
1h 29m 7s | |
1h 29m 9s | |
1h 29m 8s | |
1h 29m 8s | |
1h 29m 8s | |
1h 29m 8s | |
1h 29m 7s | |
1h 29m 8s | |
1h 29m 8s | |
1h 29m 5s | |
1h 29m 8s | |
0s | |
0s | |
0s | |
1d 6h 20m 42s |