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

InstanceResultTime
6qbf-5cnf-160var-320cl.7SAT0.69
6qbf-5cnf-160var-320cl.6SAT49.87
6qbf-5cnf-160var-320cl.3SAT534.74
6qbf-5cnf-160var-320cl.2FAIL893.23
6qbf-5cnf-160var-320cl.5FAIL893.32
6qbf-5cnf-160var-320cl.4FAIL893.79
6qbf-5cnf-160var-320cl.0FAIL894.23
6qbf-5cnf-160var-320cl.8FAIL894.43
6qbf-5cnf-160var-320cl.1FAIL894.81
6qbf-5cnf-160var-320cl.9FAIL896.15