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

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