A Parallel Branching Program Machine for Sequential Circuits: Implementation and Evaluation