Instances of family HardwareFixpoint solved by quabs-minisat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
cache-coherence-2-fixpoint-6FAIL599.71
sdlx-fixpoint-3FAIL599.71
small-swap1-fixpoint-3FAIL599.71
small-synabs-fixpoint-9FAIL599.71
small-swap2-fixpoint-4FAIL599.71