Unique instances for CADET_2017
QBFEVAL'17 - Prenex 2QBF Track


InstanceTimeResult
AR-fixpoint-23.97UNSAT
AR-fixpoint-412.09UNSAT
AR-fixpoint-619.69UNSAT
AR-fixpoint-1038.46UNSAT
AR-fixpoint-831.97UNSAT