MinizincResults.get_checker_output

You're seeing just the function get_checker_output, go back to MinizincResults module for more information.
Link to this function

get_checker_output(solution)