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

InstanceResultTime
6qbf-5cnf-20var-640cl.5UNSAT1.18
6qbf-5cnf-20var-640cl.4UNSAT1.33
6qbf-5cnf-20var-640cl.8UNSAT1.71
6qbf-5cnf-20var-640cl.3UNSAT1.96
6qbf-5cnf-20var-640cl.7UNSAT2.49
6qbf-5cnf-20var-640cl.1UNSAT6.91
6qbf-5cnf-20var-640cl.2UNSAT11.46
6qbf-5cnf-20var-640cl.6UNSAT15.86
6qbf-5cnf-20var-640cl.0UNSAT18.12
6qbf-5cnf-20var-640cl.9UNSAT21.4