Squashed commit of the following:

commit 5f4ee54b
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Tue May 15 19:44:52 2018 -0700

    Update status of unknown check-sat calls.
3 jobs for develop-2019
Status Name Job ID Coverage
failed build #103

skipped code_quality #105
allowed to fail
skipped test #104
Name Stage Failure
build Build There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log