Residue Direct Verification successful.
Residue Verification successful
Residue Direct Verification failed at output node z<5> of the spec.
Residue Verification failed !
Residue Direct Verification successful.
Residue Verification failed !