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

InstanceResultTime
stmt27_16_97UNSAT0.38
stmt19_90_266UNSAT0.69
stmt52_244_394UNSAT1.79
stmt21_79_304UNSAT2.01
stmt19_217_309UNSAT18.86
stmt29_226_376UNSAT104.86
stmt19_3_214UNSAT310.45
stmt41_160_235FAIL599.81
stmt19_83_412FAIL599.81
stmt21_319_418FAIL599.81