Instances of family terminator solved by quabs-minisat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
stmt27_16_97UNSAT0.01
stmt19_90_266UNSAT0.01
stmt21_79_304UNSAT0.01
stmt52_244_394UNSAT0.02
stmt41_160_235UNSAT0.46