Instances of family HardwareFixpoint solved by CADET_2017
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
usb-phy-fixpoint-3UNSAT0
small-seq-fixpoint-8UNSAT0
itc-b13-fixpoint-2UNSAT0
sdlx-fixpoint-6UNSAT0
pi-bus-fixpoint-1UNSAT0
itc-b13-fixpoint-9SAT0
ethernet-fixpoint-1UNSAT0
small-pipeline-fixpoint-3UNSAT0
cache-coherence-3-fixpoint-3UNSAT0
itc-b13-fixpoint-1UNSAT0
small-seq-fixpoint-5UNSAT0
usb-phy-fixpoint-4UNSAT0
sdlx-fixpoint-4UNSAT0
itc-b13-fixpoint-3SAT0
cache-coherence-3-fixpoint-2UNSAT0
cache-coherence-3-fixpoint-1UNSAT0
small-seq-fixpoint-2UNSAT0
itc-b13-fixpoint-5SAT0
small-seq-fixpoint-7UNSAT0
usb-phy-fixpoint-2UNSAT0
sdlx-fixpoint-5UNSAT0
itc-b13-fixpoint-7SAT0
cache-coherence-2-fixpoint-4UNSAT0
small-pipeline-fixpoint-1UNSAT0
cache-coherence-2-fixpoint-2UNSAT0
usb-phy-fixpoint-1UNSAT0
cache-coherence-2-fixpoint-6UNSAT0
small-seq-fixpoint-6UNSAT0
itc-b13-fixpoint-10SAT0
itc-b13-fixpoint-8SAT0
ethernet-fixpoint-3UNSAT0
small-seq-fixpoint-4UNSAT0
itc-b13-fixpoint-6SAT0
small-seq-fixpoint-1UNSAT0
ethernet-fixpoint-4UNSAT0
small-synabs-fixpoint-10UNSAT0
small-seq-fixpoint-3UNSAT0
cache-coherence-2-fixpoint-5UNSAT0
small-pipeline-fixpoint-2UNSAT0
itc-b13-fixpoint-4SAT0
sdlx-fixpoint-3UNSAT0
ethernet-fixpoint-2UNSAT0
usb-phy-fixpoint-5UNSAT0
small-synabs-fixpoint-3UNSAT0
small-seq-fixpoint-9UNSAT0.58
small-seq-fixpoint-10UNSAT0.61
pi-bus-fixpoint-2UNSAT0.79
pi-bus-fixpoint-3UNSAT1.22
AR-fixpoint-1UNSAT1.33
sdlx-fixpoint-8SAT3.3
AR-fixpoint-2UNSAT3.93
sdlx-fixpoint-7SAT3.94
sdlx-fixpoint-9SAT6.6
sdlx-fixpoint-10SAT9.02
AR-fixpoint-4UNSAT12.27
AR-fixpoint-6UNSAT19.83
AR-fixpoint-8UNSAT32.28
AR-fixpoint-10UNSAT38.78
small-swap1-fixpoint-4SAT59.08
small-swap1-fixpoint-7SAT323.11
small-swap1-fixpoint-8SAT560.1
small-swap1-fixpoint-6SAT631.07
small-swap1-fixpoint-9SAT860.11
small-swap1-fixpoint-5FAIL900.01
small-equiv-fixpoint-5FAIL900.02
small-equiv-fixpoint-2FAIL900.03
small-equiv-fixpoint-4FAIL900.05
small-equiv-fixpoint-3FAIL900.07
small-equiv-fixpoint-1FAIL900.07
small-equiv-fixpoint-8FAIL900.08
small-swap1-fixpoint-10FAIL900.09