Instances of family terminator solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
stmt41_160_235UNSAT3.37