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

InstanceResultTime
stmt27_16_97UNSAT0.14
stmt19_90_266UNSAT0.35
stmt21_79_304UNSAT0.48
stmt19_217_309UNSAT0.75
stmt19_83_412UNSAT59.21
stmt19_3_214UNSAT64.26
stmt41_160_235UNSAT104.88
stmt52_244_394UNSAT128.73
stmt29_226_376FAIL599.71
stmt21_319_418FAIL599.71