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

InstanceResultTime
AR-fixpoint-5FAIL593.52
cache-coherence-2-fixpoint-6FAIL598.02
small-seq-fixpoint-3FAIL599.92
cache-coherence-2-fixpoint-1FAIL600.42
small-synabs-fixpoint-9FAIL600.82
cache-coherence-3-fixpoint-3FAIL602.42
small-seq-fixpoint-5FAIL603.94
sdlx-fixpoint-3FAIL606.63
small-swap2-fixpoint-4FAIL621.27
small-swap1-fixpoint-3FAIL646.42