Instances of family k_d4_n solved by WalkQSAT
QBFEVAL'06

InstanceResultTime
k_d4_n-4SAT283.2
k_d4_n-12FAIL600.98
k_d4_n-20FAIL600.99
k_d4_n-21FAIL601
k_d4_n-16FAIL601
k_d4_n-8FAIL601