[Cryptominisat-devel] This morning's test results

Robert Aston rob.aston at rogers.com
Sam 15 Jan 13:47:54 CET 2011


Hi Mate,
   This morning I downloaded  "master" "fixed", "extra" and
"agilityBasedRestart" versions of cryptominisat and tested them against
the CNF file I sent to you a couple of days ago.  Here are the results.

Master generated correct results
Fixed can not find a solution
Extra can not find a solution
AgilityBasedRestart generated correct results

I also ran "master" and "agilityBasedRestart" against a much larger
source file.  Both versions also worked again.

Keep up the great work.

Rob



More information about the Cryptominisat-devel mailing list