Change the way explored interleavings are managed.