Sota solver results for family mA-t2-5qbf-5cnf-100var-800cl
QBFEVAL'04


InstanceSolverResultTime
5qbf-5cnf-100var-800cl.1QBFL-BSSAT0
5qbf-5cnf-100var-800cl.2QBFL-BSSAT0.01