Instances of family DFlipFlop solved by quantor3.0
QBFEVAL'08

InstanceResultTime
flipflop-3-cUNSAT0
flipflop-4-cUNSAT0.01
flipflop-5-cUNSAT0.02
flipflop-6-cUNSAT0.02
flipflop-7-cUNSAT0.05
flipflop-8-cUNSAT0.1
flipflop-9-cUNSAT0.18
flipflop-10-cUNSAT0.34
flipflop-11-cUNSAT0.55
flipflop-12-cUNSAT0.88