Removed parallel option as it causes sat solving errors