Instances of family terminator solved by caqe-picosat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
stmt27_16_97UNSAT0.74
stmt21_79_304UNSAT3.47
stmt19_217_309UNSAT5.41
stmt19_90_266UNSAT15.23
stmt52_244_394UNSAT152.82
stmt19_3_214FAIL599.7
stmt41_160_235FAIL599.81
stmt19_83_412FAIL599.81
stmt21_319_418FAIL599.81
stmt29_226_376FAIL599.83