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


InstanceTimeResult
small-equiv-fixpoint-2171.5SAT
small-equiv-fixpoint-4319.74SAT
small-equiv-fixpoint-140.51SAT
intermediate12812.67SAT
intermediate25648.22SAT