[Cryptominisat-devel] CryptoMinisat2 reports UNSAT on SAT instance (current gitorious version, i.e. 18.104.22.168)
meinemailingliste at online.de
Mer 19 Jan 15:23:27 CET 2011
Dear Matthew at Mate,
i just tried various version of cryptominisat on windows (!), and all of
them return SAT.
In which branch has the error occured, that you have found ? At least in
cluser129-fixed, i also see some "swap"...
Do you think all branches are affected ?
----- Original Message -----
From: "Mate Soos" <soos.mate at gmail.com>
To: <cryptominisat-devel at lists.gforge.inria.fr>
Sent: Wednesday, January 19, 2011 3:14 PM
Subject: Re: [Cryptominisat-devel] CryptoMinisat2 reports UNSAT on SAT
instance (current gitorious version, i.e. 22.214.171.124)
-----BEGIN PGP SIGNED MESSAGE-----
On 01/19/2011 03:02 PM, Matthew Gwynne wrote:
> 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.
Sorry for the inconvenience. There is a strange bug that seems to be
compilation-related. You can read about it in the last 3 emails here:
I would happy if you could help debug, of course ;)
Security Research Labs
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
-----END PGP SIGNATURE-----
Cryptominisat-devel mailing list
Cryptominisat-devel at lists.gforge.inria.fr
More information about the Cryptominisat-devel