time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed 


