cvc4

bionic cosmic
amd64 pass pass
arm64 fail fail
armhf fail fail
i386 pass pass
ppc64el fail fail
s390x error fail