For MiracleSoft Evaluation