Sota solver results for family mB-t2-4qbf-5cnf-50var-100cl
QBFEVAL'04


InstanceSolverResultTime
MB4qbf-5cnf-50var-100cl.1QUANTORSAT0
MB4qbf-5cnf-50var-100cl.2CLearnSAT0