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

InstanceResultTime
2qbf-5cnf-80var-320cl.9FAIL900.99
2qbf-5cnf-80var-320cl.5FAIL901
2qbf-5cnf-80var-320cl.2FAIL901
2qbf-5cnf-80var-320cl.7FAIL901
2qbf-5cnf-80var-320cl.8FAIL901
2qbf-5cnf-80var-320cl.6FAIL901
2qbf-5cnf-80var-320cl.1FAIL901
2qbf-5cnf-80var-320cl.3FAIL901.01
2qbf-5cnf-80var-320cl.0FAIL901.01
2qbf-5cnf-80var-320cl.4FAIL901.02