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

InstanceResultTime
4qbf-5cnf-40var-320cl.3UNSAT0.06
4qbf-5cnf-40var-320cl.9UNSAT20.16
4qbf-5cnf-40var-320cl.6UNSAT274.81
4qbf-5cnf-40var-320cl.2FAIL900.61
4qbf-5cnf-40var-320cl.5FAIL900.92
4qbf-5cnf-40var-320cl.8FAIL900.93
4qbf-5cnf-40var-320cl.1FAIL900.94
4qbf-5cnf-40var-320cl.7FAIL900.95
4qbf-5cnf-40var-320cl.0FAIL900.96
4qbf-5cnf-40var-320cl.4FAIL900.99