Instances of family terminator solved by Qute_rrs
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
stmt21_181_369UNSAT0
stmt19_83_412UNSAT0
stmt29_226_376UNSAT0
stmt41_160_235UNSAT0.35
stmt52_295_394UNSAT2.4
stmt21_310_360UNSAT2.4
stmt39_285_335UNSAT2.47
stmt32_329_378UNSAT2.62
stmt19_313_412UNSAT3
stmt21_319_418SAT8.73