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

InstanceResultTime
4qbf-5cnf-20var-40cl.2SAT0.03
4qbf-5cnf-20var-40cl.1FAIL900.74
4qbf-5cnf-20var-40cl.6FAIL900.97
4qbf-5cnf-20var-40cl.9FAIL900.97
4qbf-5cnf-20var-40cl.4FAIL900.99
4qbf-5cnf-20var-40cl.5FAIL900.99
4qbf-5cnf-20var-40cl.7FAIL900.99
4qbf-5cnf-20var-40cl.3FAIL900.99
4qbf-5cnf-20var-40cl.0FAIL900.99
4qbf-5cnf-20var-40cl.8FAIL901.01