Instances of family DFlipFlop solved by Nenofex
QBFEVAL'08

InstanceResultTime
flipflop-3-cUNSAT0.01
flipflop-4-cUNSAT0.02
flipflop-5-cUNSAT0.08
flipflop-6-cUNSAT0.22
flipflop-7-cUNSAT0.52
flipflop-8-cUNSAT1.12
flipflop-9-cUNSAT2.26
flipflop-10-cUNSAT4.34
flipflop-11-cUNSAT7.74
flipflop-12-cUNSAT14.55