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

InstanceResultTime
5qbf-5cnf-40var-320cl.1FAIL522.12
5qbf-5cnf-40var-320cl.4FAIL525.35
5qbf-5cnf-40var-320cl.0FAIL526.42
5qbf-5cnf-40var-320cl.7FAIL526.98
5qbf-5cnf-40var-320cl.5FAIL527.19
5qbf-5cnf-40var-320cl.2FAIL527.41
5qbf-5cnf-40var-320cl.6FAIL528.26
5qbf-5cnf-40var-320cl.9FAIL528.96
5qbf-5cnf-40var-320cl.8FAIL529.94
5qbf-5cnf-40var-320cl.3FAIL530.28