Instances of family DFlipFlop solved by QSAT
QBFEVAL'04

InstanceResultTime
flipflop-3-cUNSAT0.01
flipflop-4-cUNSAT0.02
flipflop-5-cUNSAT0.04
flipflop-7-cUNSAT0.75
flipflop-8-cUNSAT3.93
flipflop-9-cUNSAT20.08
flipflop-10-cUNSAT73.32
flipflop-11-cUNSAT210.08