public JudgeResultException(JudgeResultType type, double time, double memory)
 {
     Result = new JudgeResult(type, time, memory);
 }
 public JudgeResultException(JudgeResult result)
 {
     Result = result;
 }