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

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