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

InstanceResultTime
2qbf-5cnf-80var-320cl.7FAIL596.95
2qbf-5cnf-80var-320cl.1FAIL597.53
2qbf-5cnf-80var-320cl.2FAIL598.14
2qbf-5cnf-80var-320cl.4FAIL598.41
2qbf-5cnf-80var-320cl.5FAIL598.53
2qbf-5cnf-80var-320cl.9FAIL598.75
2qbf-5cnf-80var-320cl.0FAIL598.95
2qbf-5cnf-80var-320cl.3FAIL599.24
2qbf-5cnf-80var-320cl.8FAIL599.51
2qbf-5cnf-80var-320cl.6FAIL599.57