Unique instances for QuBE7
QBFEVAL'10 - 2QBF Track.


InstanceTimeResult
stmt21_310_3601.01UNSAT
stmt19_313_4121.14UNSAT