[Cryptominisat-devel] CryptoMinisat2 reports UNSAT on SAT instance (current gitorious version, i.e. 2.9.0.1)

Matthew Gwynne mathew.gwynne at gmail.com
Mer 19 Jan 15:02:44 CET 2011


Hi,

I've pulled the latest version of cryptominisat from gitorious, and
built it using gcc 4.5.0 using the autotools build process, but when
running it on the attached instance, it reports UNSAT.

Running other solvers (minisat2, precosat etc) yields SAT.

Is there something I'm missing.

Thanks!

Matthew Gwynne
http://cs.swan.ac.uk/~csmg/
-------------- section suivante --------------
Une pièce jointe autre que texte a été nettoyée...
Nom: cryptominisat-falseunsat.cnf
Type: application/octet-stream
Taille: 489207 octets
Desc: non disponible
URL: <http://lists.gforge.inria.fr/pipermail/cryptominisat-devel/attachments/20110119/d8b96821/attachment-0001.obj>


More information about the Cryptominisat-devel mailing list