Sota solver results for family mA-t2-3qbf-5cnf-80var-320cl
QBFEVAL'05


InstanceSolverResultTime
3qbf-5cnf-80var-320cl.0GRLSAT0
3qbf-5cnf-80var-320cl.1GRLSAT0
3qbf-5cnf-80var-320cl.2sempropSAT0
3qbf-5cnf-80var-320cl.3QChaffLearnSAT0
3qbf-5cnf-80var-320cl.4QChaffLearnSAT0
3qbf-5cnf-80var-320cl.5QChaffLearnSAT0
3qbf-5cnf-80var-320cl.6QbflHRSAT0
3qbf-5cnf-80var-320cl.7WalkQSATSAT0
3qbf-5cnf-80var-320cl.8QChaffLearnSAT0
3qbf-5cnf-80var-320cl.9QChaffLearnSAT0