Instances of family mA-t2-1qbf-5cnf-160var-5120cl solved by qbfbdd
QBFEVAL'05

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