Instances of family terminator solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
stmt29_226_376FAIL900
stmt39_285_335FAIL900
stmt21_319_418FAIL900
stmt19_313_412FAIL900
stmt41_160_235FAIL900
stmt21_310_360FAIL900
stmt21_181_369FAIL900
stmt19_83_412FAIL900
stmt32_329_378FAIL900