Instances of family terminator solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
stmt27_16_97UNSAT0.74
stmt19_3_214UNSAT3.44
stmt19_217_309UNSAT3.86
stmt19_90_266UNSAT4.46
stmt41_160_235UNSAT121.8
stmt29_226_376FAIL599.71
stmt21_79_304FAIL599.71
stmt19_83_412FAIL599.71
stmt52_244_394FAIL599.72
stmt21_319_418FAIL599.81