Instances of family HardwareFixpoint solved by caqe_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
AR-fixpoint-9FAIL3600
AR-fixpoint-5FAIL3600
small-equiv-fixpoint-6FAIL3600
small-equiv-fixpoint-7FAIL3600
small-pipeline-fixpoint-6FAIL3600
AR-fixpoint-7FAIL3600
small-pipeline-fixpoint-4FAIL3600
small-pipeline-fixpoint-9FAIL3600
AR-fixpoint-3FAIL3600
small-equiv-fixpoint-10FAIL3600
small-equiv-fixpoint-9FAIL3600
small-pipeline-fixpoint-7FAIL3600
small-pipeline-fixpoint-10FAIL3600
small-pipeline-fixpoint-8FAIL3600
small-pipeline-fixpoint-5FAIL3600