cryptominisat

focal groovy hirsute
amd64 fail pass pass
arm64 pass pass
armhf pass pass
i386
ppc64el pass pass
s390x pass pass