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

InstanceResultTime
5qbf-5cnf-80var-640cl.3FAIL897.09
5qbf-5cnf-80var-640cl.2FAIL897.35
5qbf-5cnf-80var-640cl.0FAIL897.4
5qbf-5cnf-80var-640cl.1FAIL897.41
5qbf-5cnf-80var-640cl.5FAIL897.57
5qbf-5cnf-80var-640cl.9FAIL897.63
5qbf-5cnf-80var-640cl.6FAIL897.89
5qbf-5cnf-80var-640cl.8FAIL897.9
5qbf-5cnf-80var-640cl.4FAIL897.9
5qbf-5cnf-80var-640cl.7FAIL897.93