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

InstanceResultTime
5qbf-5cnf-160var-1280cl.9SAT0.17
5qbf-5cnf-160var-1280cl.1SAT0.63
5qbf-5cnf-160var-1280cl.7SAT30.49
5qbf-5cnf-160var-1280cl.5SAT55.42
5qbf-5cnf-160var-1280cl.0SAT84.44
5qbf-5cnf-160var-1280cl.6FAIL900.96
5qbf-5cnf-160var-1280cl.3FAIL900.97
5qbf-5cnf-160var-1280cl.8FAIL900.99
5qbf-5cnf-160var-1280cl.2FAIL901
5qbf-5cnf-160var-1280cl.4FAIL901