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

qbflib.org

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

Instance	Solver	Result	Time
s1196_d3_u	QuBE7-c	SAT	275.13

Contact | Organization | Links | Citing QBFLIB