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

InstanceResultTime
5qbf-5cnf-160var-2560cl.2FAIL542.5
5qbf-5cnf-160var-2560cl.3FAIL544.54
5qbf-5cnf-160var-2560cl.9FAIL545.4
5qbf-5cnf-160var-2560cl.5FAIL545.4
5qbf-5cnf-160var-2560cl.1FAIL546.56
5qbf-5cnf-160var-2560cl.7FAIL546.98
5qbf-5cnf-160var-2560cl.8FAIL548.49
5qbf-5cnf-160var-2560cl.0FAIL549.15
5qbf-5cnf-160var-2560cl.6FAIL552.21
5qbf-5cnf-160var-2560cl.4FAIL552.66