Instances of family terminator solved by qesto
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
stmt27_16_97UNSAT0.14
stmt21_79_304UNSAT0.77
stmt52_244_394UNSAT3.97
stmt19_217_309UNSAT4.66
stmt19_90_266UNSAT6.75
stmt19_83_412UNSAT17.38
stmt29_226_376UNSAT38.86
stmt19_3_214UNSAT229.71
stmt41_160_235UNSAT493.92
stmt21_319_418FAIL599.71