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


InstanceSolverResultTime
5qbf-5cnf-50var-400cl.1QBFL-JWSAT0.01
5qbf-5cnf-50var-400cl.2QBFL-JWSAT0.01