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

InstanceResultTime
6qbf-5cnf-40var-320cl.0UNSAT3.43
6qbf-5cnf-40var-320cl.6SAT389.14
6qbf-5cnf-40var-320cl.1FAIL900.93
6qbf-5cnf-40var-320cl.3FAIL900.95
6qbf-5cnf-40var-320cl.8FAIL900.96
6qbf-5cnf-40var-320cl.7FAIL900.96
6qbf-5cnf-40var-320cl.4FAIL900.96
6qbf-5cnf-40var-320cl.9FAIL900.97
6qbf-5cnf-40var-320cl.5FAIL900.98
6qbf-5cnf-40var-320cl.2FAIL900.99