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

InstanceResultTime
4qbf-5cnf-160var-2560cl.3FAIL552.54
4qbf-5cnf-160var-2560cl.9FAIL553.67
4qbf-5cnf-160var-2560cl.5FAIL554.05
4qbf-5cnf-160var-2560cl.8FAIL555.15
4qbf-5cnf-160var-2560cl.7FAIL555.42
4qbf-5cnf-160var-2560cl.2FAIL556.24
4qbf-5cnf-160var-2560cl.1FAIL556.33
4qbf-5cnf-160var-2560cl.4FAIL556.37
4qbf-5cnf-160var-2560cl.0FAIL556.87
4qbf-5cnf-160var-2560cl.6FAIL557.61