Instances of family terminator solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
stmt21_181_369UNSAT0.43
stmt29_226_376UNSAT0.55
stmt21_310_360UNSAT23.68
stmt19_83_412UNSAT78.4
stmt21_319_418SAT79.31
stmt41_160_235UNSAT79.87
stmt19_313_412FAIL889.62
stmt32_329_378FAIL890.27
stmt39_285_335FAIL890.4