|X-value Equivalence Checking
Design Systems, Inc.)
(cases)*There are 9 cases.
(cases_beta)*There are 9 cases.
(Alpha test) (Beta test) (cases_final_renamed_extract)
*The final evaluation will have other hidden cases, which include hard-NEQ and hard-EQ.
Please notice that a team will be disqualified by wrong results. Itís already mentioned in the document before.
Contestants can decide to not output when not getting results.