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

InstanceResultTime
3qbf-5cnf-20var-80cl.0FAIL900.91
3qbf-5cnf-20var-80cl.3FAIL900.92
3qbf-5cnf-20var-80cl.1FAIL900.92
3qbf-5cnf-20var-80cl.6FAIL900.93
3qbf-5cnf-20var-80cl.4FAIL900.94
3qbf-5cnf-20var-80cl.7FAIL900.96
3qbf-5cnf-20var-80cl.8FAIL900.96
3qbf-5cnf-20var-80cl.2FAIL900.98
3qbf-5cnf-20var-80cl.9FAIL900.98
3qbf-5cnf-20var-80cl.5FAIL900.99