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


InstanceSolverResultTime
6qbf-5cnf-20var-160cl.0qube3.0SAT0.08
6qbf-5cnf-20var-160cl.1qube4.0SAT0.01
6qbf-5cnf-20var-160cl.2WalkQSATSAT0.01
6qbf-5cnf-20var-160cl.3WalkQSATUNSAT0
6qbf-5cnf-20var-160cl.4WalkQSATSAT0.03
6qbf-5cnf-20var-160cl.5WalkQSATSAT0.05
6qbf-5cnf-20var-160cl.6qube3.0SAT0.04
6qbf-5cnf-20var-160cl.7WalkQSATSAT0.02
6qbf-5cnf-20var-160cl.8WalkQSATSAT0.02
6qbf-5cnf-20var-160cl.9WalkQSATSAT0.03