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

InstanceResultTime
2qbf-5cnf-160var-2560cl.1UNSAT15.52
2qbf-5cnf-160var-2560cl.2UNSAT17.18
2qbf-5cnf-160var-2560cl.4UNSAT17.9
2qbf-5cnf-160var-2560cl.8UNSAT18.45
2qbf-5cnf-160var-2560cl.9UNSAT19.05
2qbf-5cnf-160var-2560cl.3UNSAT19.13
2qbf-5cnf-160var-2560cl.0UNSAT19.15
2qbf-5cnf-160var-2560cl.7UNSAT19.53
2qbf-5cnf-160var-2560cl.6UNSAT19.76
2qbf-5cnf-160var-2560cl.5UNSAT20.5