Instances of family DFlipFlop solved by ghostq-plain
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
flipflop-3-cUNSAT0.06
flipflop-5-cUNSAT0.45
flipflop-6-cUNSAT1.15
flipflop-10-cUNSAT20.31
flipflop-11-cUNSAT25.74