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

InstanceResultTime
3qbf-5cnf-160var-640cl.9FAIL515.36
3qbf-5cnf-160var-640cl.5FAIL517.33
3qbf-5cnf-160var-640cl.0FAIL518.91
3qbf-5cnf-160var-640cl.3FAIL518.93
3qbf-5cnf-160var-640cl.6FAIL519.73
3qbf-5cnf-160var-640cl.8FAIL519.92
3qbf-5cnf-160var-640cl.7FAIL520.38
3qbf-5cnf-160var-640cl.1FAIL520.73
3qbf-5cnf-160var-640cl.4FAIL520.84
3qbf-5cnf-160var-640cl.2FAIL522.12