Instances of family terminator solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track

InstanceResultTime
stmt41_160_235UNSAT0.86
stmt19_83_412UNSAT1.2
stmt21_181_369UNSAT1.23
stmt29_226_376UNSAT1.36
stmt19_313_412UNSAT2.92
stmt21_310_360UNSAT4.27
stmt52_295_394UNSAT20.96
stmt39_285_335UNSAT81.04
stmt32_329_378UNSAT159.41
stmt21_319_418FAIL900