Instances of family mA-t2-3qbf-5cnf-40var-640cl solved by QbflHR
QBFEVAL'05

InstanceResultTime
3qbf-5cnf-40var-640cl.8UNSAT1.36
3qbf-5cnf-40var-640cl.9UNSAT2.42
3qbf-5cnf-40var-640cl.7UNSAT2.85
3qbf-5cnf-40var-640cl.4UNSAT640.47
3qbf-5cnf-40var-640cl.2FAIL901
3qbf-5cnf-40var-640cl.5FAIL901
3qbf-5cnf-40var-640cl.0FAIL901
3qbf-5cnf-40var-640cl.6FAIL901
3qbf-5cnf-40var-640cl.1FAIL901.01
3qbf-5cnf-40var-640cl.3FAIL901.01