The current version of the tech report contains some additional experiments (more can be found on the StarExec page), and further details on reduced products, domain and propagations. It is still being rewritten but its current state should provide sufficient details for the reviewer of the CPAIOR submission. In addition, results of the past QF_BVFP track of the SMT-Competition 2016 show that COLIBRI could have won that competition.