Sota solver results for family Reduction-finding <br> QBFEVAL'18 - Hard Instances Track

qbflib.org

Sota solver results for family Reduction-finding
QBFEVAL'18 - Hard Instances Track

Instance	Solver	Result	Time
query71_query34_1344n	aspq3_hit18	SAT	2411.5

Contact | Organization | Links | Citing QBFLIB