Instances of family DFlipFlop solved by GRL
QBFEVAL'05

InstanceResultTime
flipflop-4-cUNSAT0
flipflop-3-cUNSAT0.01
flipflop-5-cUNSAT0.03
flipflop-6-cUNSAT0.06
flipflop-7-cUNSAT0.13
flipflop-8-cUNSAT0.26
flipflop-9-cUNSAT0.46
flipflop-10-cUNSAT0.87
flipflop-11-cUNSAT1.4
flipflop-12-cUNSAT2.16