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

InstanceResultTime
5qbf-5cnf-20var-640cl.1UNSAT0.45
5qbf-5cnf-20var-640cl.7UNSAT0.72
5qbf-5cnf-20var-640cl.2UNSAT0.79
5qbf-5cnf-20var-640cl.9UNSAT0.81
5qbf-5cnf-20var-640cl.0UNSAT1.06
5qbf-5cnf-20var-640cl.4UNSAT4.35
5qbf-5cnf-20var-640cl.3UNSAT6.06
5qbf-5cnf-20var-640cl.5UNSAT8.88
5qbf-5cnf-20var-640cl.8UNSAT15.25
5qbf-5cnf-20var-640cl.6UNSAT21.18