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

InstanceResultTime
stmt29_226_376UNSAT0.26
stmt21_181_369UNSAT0.28
stmt19_83_412UNSAT0.29
stmt41_160_235UNSAT0.32
stmt19_313_412UNSAT3.89
stmt39_285_335UNSAT9.83
stmt21_310_360UNSAT13.76
stmt21_319_418SAT14.53
stmt32_329_378UNSAT17.3