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

InstanceResultTime
6qbf-5cnf-160var-1280cl.1FAIL893.77
6qbf-5cnf-160var-1280cl.6FAIL893.77
6qbf-5cnf-160var-1280cl.4FAIL894.16
6qbf-5cnf-160var-1280cl.8FAIL894.43
6qbf-5cnf-160var-1280cl.3FAIL894.45
6qbf-5cnf-160var-1280cl.7FAIL894.9
6qbf-5cnf-160var-1280cl.5FAIL894.98
6qbf-5cnf-160var-1280cl.9FAIL895.18
6qbf-5cnf-160var-1280cl.2FAIL895.47
6qbf-5cnf-160var-1280cl.0FAIL895.71