Instances of family mA-t2-6qbf-5cnf-40var-320cl solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
6qbf-5cnf-40var-320cl.2FAIL788.41
6qbf-5cnf-40var-320cl.5FAIL790.98
6qbf-5cnf-40var-320cl.6FAIL791.74
6qbf-5cnf-40var-320cl.8FAIL794.36
6qbf-5cnf-40var-320cl.7FAIL799.79
6qbf-5cnf-40var-320cl.0FAIL800.43
6qbf-5cnf-40var-320cl.9FAIL814.74
6qbf-5cnf-40var-320cl.1FAIL826.44
6qbf-5cnf-40var-320cl.4FAIL826.85
6qbf-5cnf-40var-320cl.3FAIL828.16