Solved in 0.7s using standalone ASTAP after updating. Failed to solve using ASTAP from SexySolverTester. I forgot to test with standalone ASTAP on the previous attempt.Read More...