Instances of family mA-t2-6qbf-5cnf-20var-640cl solved by SQBF
QBFEVAL'06

InstanceResultTime
6qbf-5cnf-20var-640cl.7UNSAT17.21
6qbf-5cnf-20var-640cl.3UNSAT17.35
6qbf-5cnf-20var-640cl.5UNSAT18.52
6qbf-5cnf-20var-640cl.2UNSAT18.54
6qbf-5cnf-20var-640cl.6UNSAT19.27
6qbf-5cnf-20var-640cl.0UNSAT19.87
6qbf-5cnf-20var-640cl.1UNSAT48.08
6qbf-5cnf-20var-640cl.8UNSAT49.97
6qbf-5cnf-20var-640cl.9UNSAT52.28
6qbf-5cnf-20var-640cl.4UNSAT57.49