Added the results explaining why we didn't use yices1