Instances of family DFlipFlop solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
flipflop-3-cUNSAT0.06
flipflop-5-cUNSAT0.62
flipflop-6-cUNSAT1.57
flipflop-10-cUNSAT27.79
flipflop-11-cUNSAT47.1