Instances of family mA-t2-2qbf-5cnf-160var-1280cl solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
2qbf-5cnf-160var-1280cl.7FAIL900.99
2qbf-5cnf-160var-1280cl.1FAIL900.99
2qbf-5cnf-160var-1280cl.2FAIL901
2qbf-5cnf-160var-1280cl.0FAIL901
2qbf-5cnf-160var-1280cl.6FAIL901
2qbf-5cnf-160var-1280cl.3FAIL901
2qbf-5cnf-160var-1280cl.5FAIL901
2qbf-5cnf-160var-1280cl.9FAIL901
2qbf-5cnf-160var-1280cl.8FAIL901
2qbf-5cnf-160var-1280cl.4FAIL901