Instances of family DFlipFlop solved by orSAT
QBFEVAL'04

InstanceResultTime
flipflop-3-cUNSAT0
flipflop-8-cFAIL531.25
flipflop-9-cFAIL884.3
flipflop-4-cFAIL901
flipflop-10-cFAIL901
flipflop-5-cFAIL901.01
flipflop-7-cFAIL901.01
flipflop-11-cFAIL901.01