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

InstanceResultTime
6qbf-5cnf-20var-320cl.6UNSAT4.7
6qbf-5cnf-20var-320cl.7UNSAT4.97
6qbf-5cnf-20var-320cl.0UNSAT13.11
6qbf-5cnf-20var-320cl.5UNSAT32.97
6qbf-5cnf-20var-320cl.2UNSAT33.44
6qbf-5cnf-20var-320cl.9UNSAT54.14
6qbf-5cnf-20var-320cl.1UNSAT56.12
6qbf-5cnf-20var-320cl.4UNSAT62.51
6qbf-5cnf-20var-320cl.3UNSAT122.99
6qbf-5cnf-20var-320cl.8UNSAT147.94