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

InstanceResultTime
stmt21_181_369UNSAT0.56
stmt29_226_376UNSAT0.65
stmt39_285_335UNSAT0.76
stmt19_83_412UNSAT1.12
stmt19_313_412UNSAT1.65
stmt21_310_360UNSAT1.69
stmt32_329_378UNSAT3.82
stmt41_160_235UNSAT4.55
stmt21_319_418FAIL900