Instances of family terminator solved by Caqe-hqspre
Prenex CNF Track

InstanceResultTime
stmt29_226_376UNSAT0
stmt19_83_412UNSAT0
stmt21_181_369UNSAT0
stmt41_160_235UNSAT0
stmt39_285_335UNSAT1.46
stmt19_313_412UNSAT1.65
stmt21_310_360UNSAT2.75
stmt21_319_418SAT3.98
stmt32_329_378UNSAT4.04
stmt52_295_394UNSAT11.2