change judge.py to have user.ac_count,user.submit_count, problem.ac_count, problem.submit_count