Instances of family HardwareFixpoint solved by Cqesto_2018
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
sdlx-fixpoint-3FAIL900
small-swap2-fixpoint-4FAIL900.04
small-swap1-fixpoint-3FAIL900.07