Unique instances for qbfrelay-limited-depqbf <br> QBFEVAL'17 - Prenex CNF Track

qbflib.org

Unique instances for qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

Instance	Time	Result
ev-pr-6x6-15-5-0-1-2-lg	715.8	UNSAT

Contact | Organization | Links | Citing QBFLIB