Moved main method to the bottom of the class so it isn't mixed in with CNFEval class methods.