Trying to back-up the set of visited states on direct access memory