Instances of family DFlipFlop solved by hiqqer3
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
flipflop-3-cUNSAT0.03
flipflop-4-cUNSAT0.04
flipflop-5-cUNSAT0.05
flipflop-6-cUNSAT0.07
flipflop-7-cUNSAT0.13
flipflop-8-cUNSAT0.16
flipflop-9-cUNSAT0.25
flipflop-10-cUNSAT0.43
flipflop-11-cUNSAT0.7
flipflop-12-cUNSAT1.1