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

InstanceResultTime
4qbf-5cnf-160var-640cl.2FAIL892.94
4qbf-5cnf-160var-640cl.6FAIL893.28
4qbf-5cnf-160var-640cl.0FAIL894.02
4qbf-5cnf-160var-640cl.5FAIL894.46
4qbf-5cnf-160var-640cl.3FAIL894.6
4qbf-5cnf-160var-640cl.9FAIL894.61
4qbf-5cnf-160var-640cl.1FAIL894.63
4qbf-5cnf-160var-640cl.8FAIL894.68
4qbf-5cnf-160var-640cl.4FAIL894.87
4qbf-5cnf-160var-640cl.7FAIL895