Walk smtlib2 results manually