[BENCHMARK] Problem in variable partitioning #3
Description
Dear Dr. Fremont,
I am working on an exact max#sat solver and I would like to experiment my approach on our benchmarks.
When testing benchmarks/QIF/CVE-2009-3002.cnf I observed that some variables are marked both max and ind variable.
Is it normal?
BTW, do you have other available benchmarks I can test my counter on?
Best regards,
JM