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

InstanceResultTime
6qbf-5cnf-40var-320cl.1FAIL518.58
6qbf-5cnf-40var-320cl.4FAIL518.72
6qbf-5cnf-40var-320cl.7FAIL521.51
6qbf-5cnf-40var-320cl.5FAIL521.74
6qbf-5cnf-40var-320cl.3FAIL523.24
6qbf-5cnf-40var-320cl.0FAIL523.47
6qbf-5cnf-40var-320cl.6FAIL524.74
6qbf-5cnf-40var-320cl.2FAIL527.19
6qbf-5cnf-40var-320cl.9FAIL527.38
6qbf-5cnf-40var-320cl.8FAIL529.83