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

InstanceResultTime
3qbf-5cnf-80var-320cl.6FAIL517.13
3qbf-5cnf-80var-320cl.9FAIL517.33
3qbf-5cnf-80var-320cl.3FAIL518.18
3qbf-5cnf-80var-320cl.5FAIL518.95
3qbf-5cnf-80var-320cl.0FAIL518.99
3qbf-5cnf-80var-320cl.1FAIL519.37
3qbf-5cnf-80var-320cl.7FAIL521.82
3qbf-5cnf-80var-320cl.8FAIL521.83
3qbf-5cnf-80var-320cl.2FAIL523.05
3qbf-5cnf-80var-320cl.4FAIL523.91