Instances of family mA-t2-2qbf-5cnf-40var-320cl solved by QbflHR
QBFEVAL'05

InstanceResultTime
2qbf-5cnf-40var-320cl.6UNSAT71.63
2qbf-5cnf-40var-320cl.0UNSAT144.08
2qbf-5cnf-40var-320cl.9UNSAT516.93
2qbf-5cnf-40var-320cl.7FAIL901
2qbf-5cnf-40var-320cl.8FAIL901
2qbf-5cnf-40var-320cl.5FAIL901
2qbf-5cnf-40var-320cl.4FAIL901.01
2qbf-5cnf-40var-320cl.1FAIL901.01
2qbf-5cnf-40var-320cl.3FAIL901.01
2qbf-5cnf-40var-320cl.2FAIL901.01