Instances of family mA-t2-2qbf-5cnf-160var-320cl solved by openQbf
QBFEVAL'06

InstanceResultTime
2qbf-5cnf-160var-320cl.0FAIL6000.52
2qbf-5cnf-160var-320cl.6FAIL6000.74
2qbf-5cnf-160var-320cl.3FAIL6000.78
2qbf-5cnf-160var-320cl.9FAIL6000.79
2qbf-5cnf-160var-320cl.1FAIL6000.84
2qbf-5cnf-160var-320cl.4FAIL6000.84
2qbf-5cnf-160var-320cl.2FAIL6000.85
2qbf-5cnf-160var-320cl.8FAIL6000.85
2qbf-5cnf-160var-320cl.5FAIL6000.85
2qbf-5cnf-160var-320cl.7FAIL6000.87