Added an examples file with some comparisons to z3.