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

InstanceResultTime
4qbf-5cnf-20var-640cl.9UNSAT17.25
4qbf-5cnf-20var-640cl.1UNSAT17.45
4qbf-5cnf-20var-640cl.5UNSAT18.66
4qbf-5cnf-20var-640cl.3UNSAT19.32
4qbf-5cnf-20var-640cl.7UNSAT20.17
4qbf-5cnf-20var-640cl.0UNSAT20.2
4qbf-5cnf-20var-640cl.6UNSAT20.24
4qbf-5cnf-20var-640cl.4UNSAT20.39
4qbf-5cnf-20var-640cl.8UNSAT21.64
4qbf-5cnf-20var-640cl.2UNSAT82.06