Corrected indentation in constraint factory.
Remove trailing comma from constraint toString.
Made benchmark.