Instances of family mA-t2-4qbf-5cnf-40var-640cl solved by yQuaffle
QBFEVAL'06

InstanceResultTime
4qbf-5cnf-40var-640cl.7UNSAT2.25
4qbf-5cnf-40var-640cl.3UNSAT53.04
4qbf-5cnf-40var-640cl.8UNSAT110.16
4qbf-5cnf-40var-640cl.5UNSAT163.67
4qbf-5cnf-40var-640cl.6UNSAT163.87
4qbf-5cnf-40var-640cl.4UNSAT373.88
4qbf-5cnf-40var-640cl.0FAIL599.78
4qbf-5cnf-40var-640cl.2FAIL599.89
4qbf-5cnf-40var-640cl.9FAIL599.98
4qbf-5cnf-40var-640cl.1FAIL5998.29