[Cryptominisat-devel] This morning's test results
rob.aston at rogers.com
Sam 15 Jan 13:47:54 CET 2011
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.
More information about the Cryptominisat-devel