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


InstanceSolverResultTime
3qbf-5cnf-20var-160cl.0QbflHRSAT0
3qbf-5cnf-20var-160cl.1sempropSAT0
3qbf-5cnf-20var-160cl.2sempropSAT0
3qbf-5cnf-20var-160cl.3sempropSAT0.01
3qbf-5cnf-20var-160cl.4GRLSAT0
3qbf-5cnf-20var-160cl.5sSolveSAT0
3qbf-5cnf-20var-160cl.6QbflHRSAT0
3qbf-5cnf-20var-160cl.7sSolveSAT0
3qbf-5cnf-20var-160cl.8QChaffLearnSAT0
3qbf-5cnf-20var-160cl.9WalkQSATSAT0