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

InstanceResultTime
3qbf-5cnf-20var-320cl.0FAIL900.68
3qbf-5cnf-20var-320cl.5FAIL900.73
3qbf-5cnf-20var-320cl.2FAIL900.75
3qbf-5cnf-20var-320cl.8FAIL900.75
3qbf-5cnf-20var-320cl.4FAIL900.76
3qbf-5cnf-20var-320cl.7FAIL900.76
3qbf-5cnf-20var-320cl.1FAIL900.77
3qbf-5cnf-20var-320cl.3FAIL900.79
3qbf-5cnf-20var-320cl.6FAIL900.84
3qbf-5cnf-20var-320cl.9FAIL900.84