Comparing push vs. pull I would like to see a comparison of search-depth (this maybe the same), runtime/mteps, edges-queued, nodes-queued