Instances of family HardwareFixpoint solved by CUED1919_NL
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
small-bug1-fixpoint-3SAT0.01
small-bug1-fixpoint-4SAT0.04
small-dyn-partition-fixpoint-1UNSAT0.07
small-bug1-fixpoint-5SAT0.13
small-bug1-fixpoint-6SAT0.56
small-bug1-fixpoint-8SAT20.45
AR-fixpoint-10FAIL98.64
AR-fixpoint-4FAIL108.34
AR-fixpoint-6FAIL119.34
AR-fixpoint-8FAIL121.15
small-bug1-fixpoint-9SAT150.43
small-dyn-partition-fixpoint-2UNSAT311.02
itc-b13-fixpoint-9FAIL337.08
itc-b13-fixpoint-7FAIL349.49
itc-b13-fixpoint-10FAIL358.37
itc-b13-fixpoint-8FAIL358.73
small-pipeline-fixpoint-8FAIL374.61
small-pipeline-fixpoint-9FAIL386.73
small-pipeline-fixpoint-10FAIL412.46
small-seq-fixpoint-6FAIL414.91
pi-bus-fixpoint-2FAIL420.67
small-seq-fixpoint-10FAIL428.12
AR-fixpoint-2FAIL634.89
small-pipeline-fixpoint-4FAIL900
small-dyn-partition-fixpoint-5FAIL900
small-pipeline-fixpoint-2FAIL900
small-dyn-partition-fixpoint-10FAIL900
sdlx-fixpoint-9FAIL900
small-swap2-fixpoint-9FAIL900
small-dyn-partition-fixpoint-6FAIL900
small-equiv-fixpoint-2FAIL900
small-bug1-fixpoint-10FAIL900
itc-b13-fixpoint-2FAIL900
small-equiv-fixpoint-4FAIL900
itc-b13-fixpoint-1FAIL900
ethernet-fixpoint-2FAIL900
small-swap1-fixpoint-8FAIL900
small-swap1-fixpoint-5FAIL900
sdlx-fixpoint-1FAIL900
sdlx-fixpoint-2FAIL900
itc-b13-fixpoint-3FAIL900
small-dyn-partition-fixpoint-4FAIL900
small-pipeline-fixpoint-5FAIL900
small-swap1-fixpoint-6FAIL900
small-swap2-fixpoint-10FAIL900
usb-phy-fixpoint-4FAIL900
usb-phy-fixpoint-2FAIL900
cache-coherence-3-fixpoint-2FAIL900
small-dyn-partition-fixpoint-7FAIL900
ethernet-fixpoint-4FAIL900
small-swap1-fixpoint-10FAIL900
small-swap2-fixpoint-5FAIL900
cache-coherence-2-fixpoint-2FAIL900
sdlx-fixpoint-4FAIL900
itc-b13-fixpoint-6FAIL900
sdlx-fixpoint-5FAIL900
small-dyn-partition-fixpoint-9FAIL900
usb-phy-fixpoint-5FAIL900
small-swap1-fixpoint-9FAIL900
small-pipeline-fixpoint-1FAIL900
small-seq-fixpoint-4FAIL900
usb-phy-fixpoint-1FAIL900
cache-coherence-2-fixpoint-5FAIL900
sdlx-fixpoint-8FAIL900
sdlx-fixpoint-7FAIL900
ethernet-fixpoint-1FAIL900
small-swap2-fixpoint-8FAIL900
small-dyn-partition-fixpoint-3FAIL900
small-equiv-fixpoint-5FAIL900
small-equiv-fixpoint-8FAIL900
small-swap2-fixpoint-6FAIL900
sdlx-fixpoint-10FAIL900
small-swap2-fixpoint-7FAIL900
cache-coherence-3-fixpoint-1FAIL900
small-swap1-fixpoint-4FAIL900
small-equiv-fixpoint-3FAIL900
small-pipeline-fixpoint-3FAIL900
small-synabs-fixpoint-10FAIL900
itc-b13-fixpoint-4FAIL900
sdlx-fixpoint-6FAIL900
small-equiv-fixpoint-1FAIL900
small-seq-fixpoint-1FAIL900
small-equiv-fixpoint-7FAIL900
small-swap1-fixpoint-7FAIL900
ethernet-fixpoint-3FAIL900
small-seq-fixpoint-2FAIL900