Solutions are checked for correctness