Canek ran into an error running DOMINO with small inputs. We are aware of this, but it is poorly documented in SPRAS. It is described only in the comments of DOMINO's parse_output and docker-wrappers/DOMINO/README.md.
I opened an issue in the DOMINO repository that has not received any attention Shamir-Lab/DOMINO#11