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

InstanceResultTime
stmt27_16_97UNSAT0.37
stmt19_3_214UNSAT0.46
stmt19_90_266UNSAT0.7
stmt52_244_394UNSAT2.02
stmt21_79_304UNSAT2.44
stmt29_226_376UNSAT2.56
stmt19_83_412UNSAT89.54
stmt19_217_309UNSAT302.46
stmt41_160_235FAIL599.71
stmt21_319_418FAIL599.81