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

InstanceResultTime
6qbf-5cnf-40var-320cl.0UNSAT41.35
6qbf-5cnf-40var-320cl.6SAT59.47
6qbf-5cnf-40var-320cl.8SAT166.56
6qbf-5cnf-40var-320cl.1SAT209.46
6qbf-5cnf-40var-320cl.5SAT568
6qbf-5cnf-40var-320cl.4FAIL600.98
6qbf-5cnf-40var-320cl.3FAIL601
6qbf-5cnf-40var-320cl.2FAIL601
6qbf-5cnf-40var-320cl.9FAIL601
6qbf-5cnf-40var-320cl.7FAIL601.01