SMT-COMP 2018 Version

This is the version of Q3B submitted to the SMT Competition 2018.

The competition version was run with the following options:

-A -m both -l -c -r sift --propagate-unconstrained