Unique instances for PortfolioDepQBFGhostQRaReQSQute___pf <br> QBFEVAL'18 - Prenex 2QBF Track

qbflib.org

Unique instances for PortfolioDepQBFGhostQRaReQSQute___pf
QBFEVAL'18 - Prenex 2QBF Track

Instance	Time	Result
Q_2-3_v-80-100_r-11.1	177.75	UNSAT

Contact | Organization | Links | Citing QBFLIB