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

InstanceResultTime
2qbf-5cnf-160var-5120cl.4UNSAT31.94
2qbf-5cnf-160var-5120cl.3UNSAT32.03
2qbf-5cnf-160var-5120cl.8UNSAT32.2
2qbf-5cnf-160var-5120cl.1UNSAT32.28
2qbf-5cnf-160var-5120cl.5UNSAT32.69
2qbf-5cnf-160var-5120cl.2UNSAT33.44
2qbf-5cnf-160var-5120cl.0UNSAT33.63
2qbf-5cnf-160var-5120cl.6UNSAT33.67
2qbf-5cnf-160var-5120cl.9UNSAT33.69
2qbf-5cnf-160var-5120cl.7UNSAT33.88