Unique instances for Rareqs_2018
QBFEVAL'18 - Prenex 2QBF Track


InstanceTimeResult
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp224.6SAT
ActivityService2320.7UNSAT
IterationService318.26UNSAT
ActivityService318.77UNSAT
PhaseService352.86UNSAT