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

InstanceResultTime
1qbf-5cnf-160var-2560cl.7FAIL900.28
1qbf-5cnf-160var-2560cl.3FAIL900.3
1qbf-5cnf-160var-2560cl.2FAIL900.43
1qbf-5cnf-160var-2560cl.0FAIL900.58
1qbf-5cnf-160var-2560cl.1FAIL900.6
1qbf-5cnf-160var-2560cl.8FAIL900.61
1qbf-5cnf-160var-2560cl.4FAIL900.61
1qbf-5cnf-160var-2560cl.6FAIL900.64
1qbf-5cnf-160var-2560cl.9FAIL900.65
1qbf-5cnf-160var-2560cl.5FAIL900.69