EpiSEM-Bench 的评测不仅给出二元的安全/不安全判定，还进一步确定观察到的最小失败基数，包括在证据完整时仍然发生的失败，以及在穷尽测试后仍未观察到失败的案例。