Added exact distributed algorithm, and experiments for performance of the distributed exact algorithm.