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

InstanceResultTime
small-bug1-fixpoint-7SAT2.58
AR-fixpoint-9FAIL118.47
AR-fixpoint-7FAIL119.64
AR-fixpoint-5FAIL528.78
small-seq-fixpoint-7FAIL900
sdlx-fixpoint-3FAIL900
small-dyn-partition-fixpoint-8FAIL900
small-pipeline-fixpoint-6FAIL900
pi-bus-fixpoint-1FAIL900
small-seq-fixpoint-9FAIL900
small-seq-fixpoint-3FAIL900
cache-coherence-2-fixpoint-4FAIL900
small-synabs-fixpoint-3FAIL900
cache-coherence-3-fixpoint-3FAIL900
small-seq-fixpoint-5FAIL900
usb-phy-fixpoint-3FAIL900
cache-coherence-2-fixpoint-6FAIL900
itc-b13-fixpoint-5FAIL900
pi-bus-fixpoint-3FAIL900
AR-fixpoint-1FAIL900
small-seq-fixpoint-8FAIL900
AR-fixpoint-3FAIL900
small-equiv-fixpoint-10FAIL900
small-equiv-fixpoint-6FAIL900
small-equiv-fixpoint-9FAIL900
small-pipeline-fixpoint-7FAIL900