added boolector not working because need examples with QF_BV