Instances of family DFlipFlop solved by QUBE-BJ
QBFEVAL'04

InstanceResultTime
flipflop-3-cUNSAT0.97
flipflop-5-cUNSAT0.97
flipflop-4-cUNSAT0.99
flipflop-7-cUNSAT1.02
flipflop-8-cUNSAT1.14
flipflop-9-cUNSAT1.22
flipflop-10-cUNSAT1.45
flipflop-11-cUNSAT1.71