Some results of SAT4J in competitive events

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

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

Dear all,

The SAT Race 2006 results are now public.
http://fmv.jku.at/sat-race-2006/results.html

SAT4J got the 10th place (out of 16), which is not too bad considering
that the famous zChaff got 12.

The PB06 results are also public.
http://www.cril.univ-artois.fr/PB06/results/index.php

There is no ranking here. SAT4J got really bad results in the category
SATUNSAT-SMALLINT (no optimization, small integers). In the other
categories, its results were correct, but not really good.

The number of decisions per second in the first category are pretty bad
(3 decisions/second for normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb for instance:
http://www.cril.univ-artois.fr/PB06/results/trace.php?idjob=42281
against roughtly 1000 dec/sec for a usual SAT instance). We need to
investigate this.

I am still waiting for the results of the MAX-SAT evaluation.

        Daniel

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
Comment: Using GnuPG with Mandriva - http://enigmail.mozdev.org

iD8DBQFE6wXRqVioN+Yc2ggRAghBAKCzPW5Tb2cXayunMA34dBn/0DwjdwCdGZ5p
4XRqLqtEEytTjTiFGlUKWhY=
=8y8Z
-----END PGP SIGNATURE-----