Instances of family DFlipFlop solved by QbflHR
QBFEVAL'05

InstanceResultTime
flipflop-3-cUNSAT0
flipflop-5-cUNSAT0.02
flipflop-4-cUNSAT0.02
flipflop-6-cUNSAT0.03
flipflop-7-cUNSAT0.06
flipflop-8-cUNSAT0.12
flipflop-9-cUNSAT0.23
flipflop-10-cUNSAT0.62
flipflop-11-cUNSAT0.99
flipflop-12-cUNSAT1.77