Instances of family HardwareFixpoint solved by Qute_hybrid
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
small-swap2-fixpoint-4FAIL877.99
small-synabs-fixpoint-9FAIL878.22
small-swap1-fixpoint-3FAIL878.31
sdlx-fixpoint-3FAIL878.42
cache-coherence-2-fixpoint-6FAIL878.6