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

InstanceResultTime
6qbf-5cnf-160var-640cl.7FAIL513.26
6qbf-5cnf-160var-640cl.1FAIL513.42
6qbf-5cnf-160var-640cl.5FAIL513.67
6qbf-5cnf-160var-640cl.9FAIL513.67
6qbf-5cnf-160var-640cl.4FAIL513.69
6qbf-5cnf-160var-640cl.3FAIL515.71
6qbf-5cnf-160var-640cl.6FAIL516.89
6qbf-5cnf-160var-640cl.2FAIL517.2
6qbf-5cnf-160var-640cl.8FAIL518.37
6qbf-5cnf-160var-640cl.0FAIL519.33