Instances of family mA-t2-6qbf-5cnf-80var-640cl solved by Quaffle
QBFEVAL'06

InstanceResultTime
6qbf-5cnf-80var-640cl.0FAIL519.44
6qbf-5cnf-80var-640cl.8FAIL520.72
6qbf-5cnf-80var-640cl.3FAIL521.82
6qbf-5cnf-80var-640cl.1FAIL523.03
6qbf-5cnf-80var-640cl.5FAIL523.04
6qbf-5cnf-80var-640cl.2FAIL524.17
6qbf-5cnf-80var-640cl.4FAIL524.41
6qbf-5cnf-80var-640cl.7FAIL524.43
6qbf-5cnf-80var-640cl.9FAIL524.6
6qbf-5cnf-80var-640cl.6FAIL525.26