coresolvertest binary to standardize testing the core solver against the full sopnet solver