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

InstanceResultTime
flipflop-3-cUNSAT0
flipflop-5-cUNSAT0.05
flipflop-6-cUNSAT0.24
flipflop-10-cUNSAT54.17
flipflop-11-cUNSAT182.36