Sota solver results for family Chain <br> QBFEVAL'10 - Competitive Track.

qbflib.org

Sota solver results for family Chain
QBFEVAL'10 - Competitive Track.

Instance	Solver	Result	Time
CHAIN23v.24	qmaiga	SAT	0.02

Contact | Organization | Links | Citing QBFLIB