Finished solver test