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

InstanceResultTime
6qbf-5cnf-80var-1280cl.5FAIL534.71
6qbf-5cnf-80var-1280cl.4FAIL535.08
6qbf-5cnf-80var-1280cl.8FAIL537.15
6qbf-5cnf-80var-1280cl.9FAIL539.97
6qbf-5cnf-80var-1280cl.3FAIL540.16
6qbf-5cnf-80var-1280cl.2FAIL540.64
6qbf-5cnf-80var-1280cl.7FAIL541.86
6qbf-5cnf-80var-1280cl.1FAIL542.53
6qbf-5cnf-80var-1280cl.6FAIL543.84
6qbf-5cnf-80var-1280cl.0FAIL546.78