Improve output display and coding style in Solver class
Improve performance in Judge class