Instances of family mA-t2-5qbf-5cnf-160var-2560cl solved by QbflHR
QBFEVAL'05

InstanceResultTime
5qbf-5cnf-160var-2560cl.4FAIL901
5qbf-5cnf-160var-2560cl.9FAIL901
5qbf-5cnf-160var-2560cl.7FAIL901
5qbf-5cnf-160var-2560cl.5FAIL901
5qbf-5cnf-160var-2560cl.0FAIL901
5qbf-5cnf-160var-2560cl.1FAIL901
5qbf-5cnf-160var-2560cl.6FAIL901.01
5qbf-5cnf-160var-2560cl.3FAIL901.01
5qbf-5cnf-160var-2560cl.2FAIL901.01
5qbf-5cnf-160var-2560cl.8FAIL901.01