Puzzles solved by CARL