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

InstanceResultTime
stmt29_226_376UNSAT0
stmt41_160_235UNSAT0
stmt21_181_369UNSAT0
stmt19_83_412UNSAT0
stmt19_313_412UNSAT1.39
stmt39_285_335UNSAT1.42
stmt32_329_378UNSAT1.58
stmt21_319_418SAT2.67
stmt52_295_394UNSAT3.26
stmt21_310_360UNSAT6.21