Compress Disjoint Reachability results #5
Description
Due to the fact that DR uses bit vector to store indices, it is better to compress them while it does not affect the running time.
{{ message }}
Due to the fact that DR uses bit vector to store indices, it is better to compress them while it does not affect the running time.