Improved graph solving framework. Added testing for graphs generated by us, trees, lines, and small instances.