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

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