OpenSMT2: An SMT Solver for Multi-Core and Cloud Computing