interleaving exploration algorithm uses traversal