Instances of family terminator solved by caqe_2017_v2
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
stmt29_226_376UNSAT0.26
stmt21_181_369UNSAT0.27
stmt19_83_412UNSAT0.28
stmt41_160_235UNSAT0.31
stmt19_313_412UNSAT3.9
stmt39_285_335UNSAT9.79
stmt21_310_360UNSAT13.7
stmt21_319_418SAT14.44
stmt32_329_378UNSAT17.3