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

InstanceResultTime
2qbf-5cnf-40var-320cl.9UNSAT0.64
2qbf-5cnf-40var-320cl.0UNSAT16.97
2qbf-5cnf-40var-320cl.8UNSAT23.73
2qbf-5cnf-40var-320cl.5UNSAT99.14
2qbf-5cnf-40var-320cl.7UNSAT175.16
2qbf-5cnf-40var-320cl.6UNSAT373.5
2qbf-5cnf-40var-320cl.1FAIL601
2qbf-5cnf-40var-320cl.3FAIL601
2qbf-5cnf-40var-320cl.2FAIL601
2qbf-5cnf-40var-320cl.4FAIL601