Unique instances for WalkQSAT
QBFEVAL'06


InstanceTimeResult
ncf_16_32_8_euad.51.07UNSAT
ncf_16_32_4_edau.61.48UNSAT
ncf_16_32_8_u.53.08UNSAT
ncf_16_32_8_d.218.3UNSAT
ncf_16_32_4_euad.60.3UNSAT
ncf_16_32_4_d.60.33UNSAT
ncf_16_32_8_euad.23.44UNSAT
ncf_16_32_4_u.60.69UNSAT