[Termtools] Termination competition update

[Johannes Waldmann]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear Simon, it's good to hear that things are progressing.

| short period at the beginning of this test phase will be limited to
| Innsbruck, after which we will invite the community to test the system.

As I wrote earlier, I strongly recommend an open process.

E.g. at this stage you could allow public viewing of your test runs,
even if you don't allow submission of problems or provers.

The reason being that it's easier for prover authors (than for
competition organizers) to see whether their program is running OK.

Best regards, Johannes.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.4-svn0 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFITnu/DqiTJ5Q4dm8RAhDqAJ94B6SOuOUIecurYDaIt//J8x8WKACfXNI/
/o2gGz5pjx0CfF63VoXkWkg=
=mGAq
-----END PGP SIGNATURE-----