Instances of family mA-t2-6qbf-5cnf-160var-5120cl solved by 2clsQ
QBFEVAL'06

InstanceResultTime
6qbf-5cnf-160var-5120cl.2UNSAT18.93
6qbf-5cnf-160var-5120cl.3UNSAT19.59
6qbf-5cnf-160var-5120cl.9UNSAT19.69
6qbf-5cnf-160var-5120cl.0UNSAT21.54
6qbf-5cnf-160var-5120cl.1UNSAT21.99
6qbf-5cnf-160var-5120cl.5UNSAT22.07
6qbf-5cnf-160var-5120cl.4UNSAT22.12
6qbf-5cnf-160var-5120cl.6UNSAT22.19
6qbf-5cnf-160var-5120cl.8UNSAT23.1
6qbf-5cnf-160var-5120cl.7UNSAT23.15