Logic Update Status = != QF_IDL QF_UFBV QF_IDL QF_LRA QF_AULIA QF_LIA Logic Update Status = != QF_IDL QF_UFBV QF_IDL QF_LRA QF_AULIA QF_LIA Logic Update Status = != QF_IDL QF_UFBV QF_IDL QF_LRA QF_AULIA QF_LIA