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


InstanceSolverResultTime
1qbf-5cnf-160var-320cl.0WalkQSATSAT0
1qbf-5cnf-160var-320cl.1WalkQSATSAT0
1qbf-5cnf-160var-320cl.2GRLSAT0
1qbf-5cnf-160var-320cl.3QChaffLearnSAT0
1qbf-5cnf-160var-320cl.4qbfbddSAT0
1qbf-5cnf-160var-320cl.5sSolveSAT0
1qbf-5cnf-160var-320cl.6sSolveSAT0
1qbf-5cnf-160var-320cl.7GRLSAT0
1qbf-5cnf-160var-320cl.8QChaffLearnSAT0
1qbf-5cnf-160var-320cl.9QChaffLearnSAT0