Unique instances for Quabs_2018
QBFEVAL'18 - Prenex non-CNF Track


InstanceTimeResult
jctc5-fail648.61UNSAT