Instances of family k_poly_p solved by WalkQSAT
QBFEVAL'04

InstanceResultTime
k_poly_p-2FAIL114.62
k_poly_p-10FAIL901
k_poly_p-11FAIL901
k_poly_p-14FAIL901
k_poly_p-8FAIL901
k_poly_p-17FAIL901.01
k_poly_p-12FAIL901.01
k_poly_p-7FAIL901.01