Instances of family DFlipFlop solved by ssolve-A
QBFEVAL'08

InstanceResultTime
flipflop-3-cUNSAT0.01
flipflop-4-cUNSAT0.03
flipflop-5-cUNSAT0.07
flipflop-6-cUNSAT0.19
flipflop-7-cUNSAT0.45
flipflop-8-cUNSAT0.98
flipflop-9-cUNSAT1.92
flipflop-10-cUNSAT3.45
flipflop-11-cUNSAT5.93
flipflop-12-cUNSAT9.56