• To investigate behavior of the parallel implementation for large test cases.
• To investigate the use of a heuristic bound to eliminate expansion of 'non-promising' nodes in the state-space.
• Study of the curve in the graph plot on nodecount variations.