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


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