Instances of family mA-t2-5qbf-5cnf-80var-640cl solved by 2clsQ
QBFEVAL'06

InstanceResultTime
5qbf-5cnf-80var-640cl.1FAIL3514.16
5qbf-5cnf-80var-640cl.6FAIL4685.33
5qbf-5cnf-80var-640cl.0FAIL5381.38
5qbf-5cnf-80var-640cl.4FAIL5446.2
5qbf-5cnf-80var-640cl.8FAIL5620.37
5qbf-5cnf-80var-640cl.2FAIL5642.49
5qbf-5cnf-80var-640cl.3FAIL5931.76
5qbf-5cnf-80var-640cl.9FAIL6000.42
5qbf-5cnf-80var-640cl.7FAIL6000.42
5qbf-5cnf-80var-640cl.5FAIL6000.42