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


InstanceSolverResultTime
2qbf-5cnf-100var-600cl.1QUBE-BJUNSAT47.41
2qbf-5cnf-100var-600cl.2sempropUNSAT1.22