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

InstanceResultTime
1qbf-5cnf-160var-2560cl.7FAIL25.42
1qbf-5cnf-160var-2560cl.0FAIL28.49
1qbf-5cnf-160var-2560cl.3FAIL31.43
1qbf-5cnf-160var-2560cl.1FAIL34.46
1qbf-5cnf-160var-2560cl.5FAIL35.59
1qbf-5cnf-160var-2560cl.9FAIL38.76
1qbf-5cnf-160var-2560cl.8FAIL42.08
1qbf-5cnf-160var-2560cl.4FAIL44.51
1qbf-5cnf-160var-2560cl.2FAIL46.27
1qbf-5cnf-160var-2560cl.6FAIL48.27