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

InstanceResultTime
5qbf-5cnf-160var-2560cl.1FAIL669.23
5qbf-5cnf-160var-2560cl.4FAIL829.33
5qbf-5cnf-160var-2560cl.2FAIL900.08
5qbf-5cnf-160var-2560cl.5FAIL900.11
5qbf-5cnf-160var-2560cl.0FAIL900.11
5qbf-5cnf-160var-2560cl.9FAIL900.22
5qbf-5cnf-160var-2560cl.7FAIL900.24
5qbf-5cnf-160var-2560cl.8FAIL900.31
5qbf-5cnf-160var-2560cl.3FAIL900.37
5qbf-5cnf-160var-2560cl.6FAIL900.39