Instances of family k_poly_p solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
k_poly_p-21FAIL900.97
k_poly_p-8FAIL900.97
k_poly_p-20FAIL900.98
k_poly_p-4FAIL900.98
k_poly_p-16FAIL900.98
k_poly_p-12FAIL900.99