Added some yices1 and z3 tests.