We evaluate the tool on a set of three benchmark programs. 동일한 도달 가능성 질문에 대한 전문 개발자의 답변과 도구의 성능을 비교합니다. We conclude that the tool has sufficient accuracy, robustness and performance for future testing with professional users.