cvc4

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