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

InstanceResultTime
stmt27_16_97UNSAT0.69
stmt19_217_309UNSAT5.33
stmt19_3_214UNSAT35.59
stmt21_79_304UNSAT556.54
stmt19_90_266FAIL599.7
stmt19_83_412FAIL599.71
stmt21_319_418FAIL599.72
stmt29_226_376FAIL599.73
stmt52_244_394FAIL599.74
stmt41_160_235FAIL599.83