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

InstanceResultTime
stmt19_83_412FAIL267.13
stmt21_79_304FAIL324.04
stmt19_217_309FAIL344.23
stmt21_319_418FAIL367.34
stmt27_16_97FAIL599.12
stmt19_90_266FAIL599.12
stmt19_3_214FAIL599.22
stmt41_160_235FAIL599.22
stmt52_244_394FAIL599.22
stmt29_226_376FAIL599.22