Sota solver results for family mA-t2-3qbf-5cnf-150var-2400cl
QBFEVAL'04


InstanceSolverResultTime
3qbf-5cnf-150var-2400cl.1sSolveUNSAT0.02
3qbf-5cnf-150var-2400cl.2sSolveUNSAT0.04