Unique instances for caqe-picosat
QBFEVAL'16 - Random QBFs Track.


InstanceTimeResult
ncf_16_128_2_u.10214.96UNSAT
ncf_16_128_2_u.338.64UNSAT
ncf_16_128_2_u.6381.7UNSAT
ncf_16_128_2_u.724.62UNSAT
ncf_16_128_2_u.880.5UNSAT
ncf_16_128_8_edau.7128.64UNSAT