Instances of family DFlipFlop solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
flipflop-3-cUNSAT0.01
flipflop-4-cFAIL0.02
flipflop-5-cFAIL0.05
flipflop-6-cFAIL0.13
flipflop-7-cFAIL0.35
flipflop-8-cFAIL0.99
flipflop-9-cFAIL8.43
flipflop-10-cFAIL24.63
flipflop-11-cFAIL63.39
flipflop-12-cFAIL156.67