Instances of family mA-t2-3qbf-5cnf-160var-1280cl solved by yQuaffle
QBFEVAL'05

InstanceResultTime
3qbf-5cnf-160var-1280cl.9FAIL893.96
3qbf-5cnf-160var-1280cl.2FAIL894.22
3qbf-5cnf-160var-1280cl.0FAIL894.93
3qbf-5cnf-160var-1280cl.7FAIL894.99
3qbf-5cnf-160var-1280cl.6FAIL895.05
3qbf-5cnf-160var-1280cl.4FAIL895.06
3qbf-5cnf-160var-1280cl.1FAIL895.51
3qbf-5cnf-160var-1280cl.5FAIL895.61
3qbf-5cnf-160var-1280cl.8FAIL895.76
3qbf-5cnf-160var-1280cl.3FAIL895.89