Show both wall and CPU time in judging output.