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

InstanceResultTime
5qbf-5cnf-160var-2560cl.8FAIL596.21
5qbf-5cnf-160var-2560cl.6FAIL596.51
5qbf-5cnf-160var-2560cl.7FAIL596.88
5qbf-5cnf-160var-2560cl.5FAIL596.9
5qbf-5cnf-160var-2560cl.0FAIL596.91
5qbf-5cnf-160var-2560cl.1FAIL596.95
5qbf-5cnf-160var-2560cl.9FAIL596.98
5qbf-5cnf-160var-2560cl.3FAIL597.21
5qbf-5cnf-160var-2560cl.4FAIL597.25
5qbf-5cnf-160var-2560cl.2FAIL597.69