fix statistics bugs when solutions judging