Sota solver results for family uclid <br> QBFEVAL'10 - Small Hard Track.

qbflib.org

Sota solver results for family uclid
QBFEVAL'10 - Small Hard Track.

Instance	Solver	Result	Time
uclid-pipe3a	AIGSolve	SAT	12.09

Contact | Organization | Links | Citing QBFLIB