Fixed a bug in smtqe_fl2uc, which caused incorrect unsat core computations with rlsmtqe.
Bugfix in lto_setcover.
There were doubles quotes missing around a string.
Recomputed and hand-checked regression references on alfred.
Recomputed qepcad reference logs on alfred. Qepcad on the Mac is not stable
Print complete warnings about fail McCallum projections.
Bug fix in qepcad variable extraction and recompited regression
Adapted to new Qepcad interface.