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

InstanceResultTime
flipflop-3-cUNSAT0.06
flipflop-5-cUNSAT0.5
flipflop-6-cUNSAT1.33
flipflop-10-cUNSAT20.27
flipflop-11-cUNSAT25.95