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

InstanceResultTime
2qbf-5cnf-80var-640cl.2UNSAT0.02
2qbf-5cnf-80var-640cl.9FAIL600.9
2qbf-5cnf-80var-640cl.1FAIL600.91
2qbf-5cnf-80var-640cl.5FAIL600.93
2qbf-5cnf-80var-640cl.0FAIL600.93
2qbf-5cnf-80var-640cl.6FAIL600.94
2qbf-5cnf-80var-640cl.4FAIL600.94
2qbf-5cnf-80var-640cl.8FAIL600.94
2qbf-5cnf-80var-640cl.7FAIL600.97
2qbf-5cnf-80var-640cl.3FAIL600.97