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

InstanceResultTime
5qbf-5cnf-160var-640cl.9SAT262.77
5qbf-5cnf-160var-640cl.2SAT676.25
5qbf-5cnf-160var-640cl.7FAIL815.37
5qbf-5cnf-160var-640cl.4FAIL899.88
5qbf-5cnf-160var-640cl.0FAIL900.26
5qbf-5cnf-160var-640cl.3FAIL900.29
5qbf-5cnf-160var-640cl.6FAIL900.33
5qbf-5cnf-160var-640cl.8FAIL900.5
5qbf-5cnf-160var-640cl.1FAIL900.58
5qbf-5cnf-160var-640cl.5FAIL900.77