Add a note how to speed up SMT query solving