Sota solver results for family Q_3_3_3 <br> QBFEVAL'17 - Random QBFs Track

qbflib.org

Sota solver results for family Q_3_3_3
QBFEVAL'17 - Random QBFs Track

Instance	Solver	Result	Time
Q_3-3-3_v-100-100-100_r-30.5	AIGSolve	SAT	320.91

Contact | Organization | Links | Citing QBFLIB