visade Btor styrka och hållbarhet.