Instances of family terminator solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
stmt27_16_97UNSAT0.82
stmt21_79_304UNSAT3.53
stmt19_217_309UNSAT5.53
stmt19_90_266UNSAT15.35
stmt19_3_214UNSAT36.28
stmt52_244_394UNSAT184.25
stmt41_160_235FAIL299.8
stmt29_226_376FAIL299.83
stmt19_83_412FAIL299.85
stmt21_319_418FAIL299.85