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

InstanceResultTime
2qbf-5cnf-160var-2560cl.8UNSAT180.75
2qbf-5cnf-160var-2560cl.4UNSAT634.88
2qbf-5cnf-160var-2560cl.1FAIL897.67
2qbf-5cnf-160var-2560cl.7FAIL897.98
2qbf-5cnf-160var-2560cl.0FAIL898.17
2qbf-5cnf-160var-2560cl.3FAIL898.21
2qbf-5cnf-160var-2560cl.6FAIL898.37
2qbf-5cnf-160var-2560cl.5FAIL898.41
2qbf-5cnf-160var-2560cl.9FAIL898.45
2qbf-5cnf-160var-2560cl.2FAIL898.48