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

InstanceResultTime
2qbf-5cnf-160var-640cl.5FAIL838.33
2qbf-5cnf-160var-640cl.2FAIL840.94
2qbf-5cnf-160var-640cl.0FAIL843.28
2qbf-5cnf-160var-640cl.9FAIL844.85
2qbf-5cnf-160var-640cl.3FAIL845.46
2qbf-5cnf-160var-640cl.7FAIL848.15
2qbf-5cnf-160var-640cl.4FAIL848.24
2qbf-5cnf-160var-640cl.6FAIL849.43
2qbf-5cnf-160var-640cl.8FAIL849.71
2qbf-5cnf-160var-640cl.1FAIL853.81