Unique instances for QChaffLearn
QBFEVAL'05


InstanceTimeResult
ncf_8_32_4_d.2109.05UNSAT
ncf_8_32_4_edau.47.16UNSAT
ncf_8_64_2_edau.9278.78UNSAT
ncf_16_64_2_euad.6290.12UNSAT
ncf_8_32_4_edau.8462.63UNSAT
ncf_8_64_8_edau.2627.22UNSAT
ncf_8_64_2_d.9272.96UNSAT