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

InstanceResultTime
stmt41_160_235UNSAT0.9
stmt19_83_412UNSAT1.2
stmt21_181_369UNSAT1.21
stmt29_226_376UNSAT1.32
stmt19_313_412UNSAT1.84
stmt21_310_360UNSAT1.92
stmt39_285_335UNSAT9.52
stmt32_329_378UNSAT13.11
stmt21_319_418SAT125.52