[Cryptominisat-devel] test results for Jan 12

Robert Aston rob.aston at rogers.com
Mer 12 Jan 20:44:38 CET 2011


Hi Mate,
  FYI.   I just downloads the "master" tarball, the "fixed" tarball and
the "extra" tarball.  Attached are the outputs from each run.  Note that
the "master" version found the correct solution while the "fixed" and
"extra" version did not.  All tests were run using the same CNF source file.

Rob
-------------- section suivante --------------
Un texte encapsulé et encodé dans un jeu de caractères inconnu a été nettoyé...
Nom : cryptominisat-cluster129-fixed.jan12-2011.6-thread.results
URL : <http://lists.gforge.inria.fr/pipermail/cryptominisat-devel/attachments/20110112/ec554201/attachment.txt>
-------------- section suivante --------------
Un texte encapsulé et encodé dans un jeu de caractères inconnu a été nettoyé...
Nom : cryptominisat-cluster129-extra.jan12-2011.6-threads.results
URL : <http://lists.gforge.inria.fr/pipermail/cryptominisat-devel/attachments/20110112/ec554201/attachment.asc>
-------------- section suivante --------------
Un texte encapsulé et encodé dans un jeu de caractères inconnu a été nettoyé...
Nom : cryptominisat-master.jan12-2011.6-threads.results
URL : <http://lists.gforge.inria.fr/pipermail/cryptominisat-devel/attachments/20110112/ec554201/attachment-0001.txt>


More information about the Cryptominisat-devel mailing list