Instances of family DFlipFlop solved by QUANTOR
QBFEVAL'04

InstanceResultTime
flipflop-3-cUNSAT0.01
flipflop-4-cUNSAT0.01
flipflop-5-cUNSAT0.02
flipflop-7-cUNSAT0.07
flipflop-8-cUNSAT0.13
flipflop-9-cUNSAT0.26
flipflop-10-cUNSAT0.46
flipflop-11-cUNSAT0.8