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


InstanceSolverResultTime
4qbf-5cnf-20var-640cl.0QChaffLearnUNSAT0
4qbf-5cnf-20var-640cl.1QChaffLearnUNSAT0
4qbf-5cnf-20var-640cl.2QbflHRUNSAT0
4qbf-5cnf-20var-640cl.3GRLUNSAT0
4qbf-5cnf-20var-640cl.4WalkQSATUNSAT0
4qbf-5cnf-20var-640cl.5QChaffLearnUNSAT0
4qbf-5cnf-20var-640cl.6sSolveUNSAT0
4qbf-5cnf-20var-640cl.7yQuaffleUNSAT0
4qbf-5cnf-20var-640cl.8sSolveUNSAT0
4qbf-5cnf-20var-640cl.9WalkQSATUNSAT0