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

InstanceResultTime
flipflop-3-cUNSAT0.05
flipflop-4-cUNSAT0.14
flipflop-5-cUNSAT0.4
flipflop-6-cUNSAT1.1
flipflop-7-cUNSAT2.67
flipflop-8-cUNSAT5.86
flipflop-9-cUNSAT11.93
flipflop-10-cUNSAT22.83
flipflop-11-cUNSAT42.16
flipflop-12-cUNSAT74.13