Instances of family RankingFunctions solved by <a href='solver_detail.php?solver=323'>PortfolioGhostQQfunQuAbSQute___pfs</a> <br> QBFEVAL'18 - Prenex non-CNF Track

qbflib.org

Instances of family RankingFunctions solved by PortfolioGhostQQfunQuAbSQute___pfs
QBFEVAL'18 - Prenex non-CNF Track

Instance	Result	Time
rankfunc17_unsigned_16	FAIL	5.72
rankfunc13_unsigned_64	FAIL	5.73
rankfunc33_signed_32	FAIL	5.82

Contact | Organization | Links | Citing QBFLIB