[Termtools] sat-race 08

[Johannes Waldmann]

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

Dear colleagues,

several of you are using SAT solvers inside termination provers,
so the following might be of interest:

This year's SAT race results have been announced,
http://www-sr.informatik.uni-tuebingen.de/sat-race-2008/results.html

and MXC seems to be the best open source solver in that competition,
see http://groups.google.com/group/minisat/msg/b637c0ba45e0bb28

I made a few test runs with Matchbox but results are not conclusive.
Minisat-2.0 still is winning but there are a handfull examples
that only MXC can solve.

Best regards, Johannes.

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

iD8DBQFIQ9GuDqiTJ5Q4dm8RAs5xAKCnMoGKcbJlK755N6+4lRWGYW7t5QCaA6sO
PUWaQ8q/rfuRRDM6kCoDd1g=
=UYVK
-----END PGP SIGNATURE-----