Instances of family mA-t2-6qbf-5cnf-80var-640cl solved by qube5.0
QBFEVAL'06

InstanceResultTime
6qbf-5cnf-80var-640cl.3FAIL6000.28
6qbf-5cnf-80var-640cl.8FAIL6000.59
6qbf-5cnf-80var-640cl.1FAIL6000.67
6qbf-5cnf-80var-640cl.6FAIL6000.67
6qbf-5cnf-80var-640cl.7FAIL6000.69
6qbf-5cnf-80var-640cl.4FAIL6000.71
6qbf-5cnf-80var-640cl.5FAIL6000.77
6qbf-5cnf-80var-640cl.0FAIL6000.77
6qbf-5cnf-80var-640cl.9FAIL6000.79
6qbf-5cnf-80var-640cl.2FAIL6000.79