When no optimization is actually applied during compilation, the checks for completeness and soundness can be merged into a single equivalence check. Specifically, it suffices to verify that \Phi_enc implies the equivalence between \phi_s and \phi_t. In this case, completeness and soundness are not checked separately, but jointly as a logical equivalence. Therefore, for such cases, only the total Constraint Equivalence Time is reported, while the Completeness Time and Soundness Time are reported as N/A.