Copyright message
Log formatting
No solver in function benchmark.
Removed debug statement.
Updated test_nist.cpp for new version of Catch.