Instances of family DFlipFlop solved by QBFL-JW
QBFEVAL'04

InstanceResultTime
flipflop-4-cUNSAT0.02
flipflop-3-cUNSAT0.02
flipflop-5-cUNSAT0.03
flipflop-7-cUNSAT0.15
flipflop-8-cUNSAT0.5
flipflop-9-cUNSAT1.35
flipflop-10-cUNSAT2.72
flipflop-11-cUNSAT6.86