Instances of family mA-t2-2qbf-5cnf-160var-640cl solved by QMRes
QBFEVAL'05

InstanceResultTime
2qbf-5cnf-160var-640cl.8FAIL900.13
2qbf-5cnf-160var-640cl.3FAIL900.14
2qbf-5cnf-160var-640cl.0FAIL900.15
2qbf-5cnf-160var-640cl.6FAIL900.25
2qbf-5cnf-160var-640cl.9FAIL900.32
2qbf-5cnf-160var-640cl.4FAIL900.4
2qbf-5cnf-160var-640cl.2FAIL900.49
2qbf-5cnf-160var-640cl.5FAIL900.56
2qbf-5cnf-160var-640cl.7FAIL900.58
2qbf-5cnf-160var-640cl.1FAIL900.7