Instances of family HardwareFixpoint solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
AR-fixpoint-5FAIL597.72
small-seq-fixpoint-5FAIL605.72
small-seq-fixpoint-3FAIL605.92
cache-coherence-3-fixpoint-3FAIL606.82
small-swap1-fixpoint-3FAIL609.62
small-swap2-fixpoint-4FAIL611.63
cache-coherence-2-fixpoint-6FAIL612.52
small-synabs-fixpoint-9FAIL614.02
sdlx-fixpoint-3FAIL622.32
cache-coherence-2-fixpoint-1FAIL627.32