Instances of family evader-pursuer-8x8-logarithmic solved by <a href='solver_detail.php?solver=283'>Qute_opt500</a> <br> Prenex CNF Track

qbflib.org

Instances of family evader-pursuer-8x8-logarithmic solved by Qute_opt500
Prenex CNF Track

Instance	Result	Time
ev-pr-8x8-17-7-0-1-2-lg	FAIL	432.44
ev-pr-8x8-15-7-0-1-2-lg	FAIL	432.62
ev-pr-8x8-19-7-0-1-2-lg	FAIL	432.79

Contact | Organization | Links | Citing QBFLIB