Sota solver results for family evader-pursuer-6x6-logarithmic <br> QBFEVAL'18 - Hard Instances Track

qbflib.org

Sota solver results for family evader-pursuer-6x6-logarithmic
QBFEVAL'18 - Hard Instances Track

Instance	Solver	Result	Time
ev-pr-6x6-17-5-0-1-2-lg	depqbf_hit18	UNSAT	1802.25

Contact | Organization | Links | Citing QBFLIB