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

InstanceResultTime
stmt29_226_376UNSAT0
stmt21_181_369UNSAT0
stmt19_83_412UNSAT0
stmt41_160_235UNSAT0
stmt39_285_335UNSAT1.42
stmt19_313_412UNSAT1.58
stmt21_310_360UNSAT2.72
stmt21_319_418SAT3.91
stmt32_329_378UNSAT4.06
stmt52_295_394UNSAT11.18