Unique instances for yQuaffle
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.


InstanceTimeResult
ring6_64536.99UNSAT