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

InstanceResultTime
2qbf-5cnf-40var-320cl.9UNSAT9.98
2qbf-5cnf-40var-320cl.6UNSAT11.48
2qbf-5cnf-40var-320cl.0UNSAT14.38
2qbf-5cnf-40var-320cl.8UNSAT148.96
2qbf-5cnf-40var-320cl.3UNSAT172.88
2qbf-5cnf-40var-320cl.1UNSAT345.79
2qbf-5cnf-40var-320cl.4UNSAT464.23
2qbf-5cnf-40var-320cl.7UNSAT491.33
2qbf-5cnf-40var-320cl.2FAIL842.49
2qbf-5cnf-40var-320cl.5FAIL858.79