3 parallel searches with sequential egraph update