Instances of family DFlipFlop solved by hordeqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
flipflop-3-cUNSAT1.05
flipflop-4-cUNSAT1.06
flipflop-6-cUNSAT1.07
flipflop-5-cUNSAT1.07
flipflop-7-cUNSAT1.1
flipflop-8-cUNSAT1.14
flipflop-9-cUNSAT1.21
flipflop-10-cUNSAT1.33
flipflop-11-cUNSAT1.4
flipflop-12-cUNSAT1.6