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

InstanceResultTime
2qbf-5cnf-160var-320cl.5SAT1.44
2qbf-5cnf-160var-320cl.6SAT345.98
2qbf-5cnf-160var-320cl.2SAT581.93
2qbf-5cnf-160var-320cl.4FAIL600.96
2qbf-5cnf-160var-320cl.8FAIL600.96
2qbf-5cnf-160var-320cl.7FAIL600.96
2qbf-5cnf-160var-320cl.0FAIL600.97
2qbf-5cnf-160var-320cl.9FAIL600.97
2qbf-5cnf-160var-320cl.3FAIL600.98
2qbf-5cnf-160var-320cl.1FAIL600.99