Instances of family HardwareFixpoint solved by Iprover-HQSpre-Bloqqer
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
small-seq-fixpoint-1UNSAT0
small-swap1-fixpoint-4SAT0
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-2UNSAT0
itc-b13-fixpoint-1UNSAT0
itc-b13-fixpoint-3SAT0
small-swap1-fixpoint-6SAT0.56
usb-phy-fixpoint-1UNSAT0.66
itc-b13-fixpoint-4SAT0.9
small-swap1-fixpoint-5SAT0.98
small-swap1-fixpoint-8SAT1
small-swap1-fixpoint-7SAT1.13
itc-b13-fixpoint-5SAT1.36
small-swap1-fixpoint-10SAT1.64
small-synabs-fixpoint-10UNSAT1.78
itc-b13-fixpoint-6SAT2.02
cache-coherence-3-fixpoint-1UNSAT2.44
small-swap1-fixpoint-9SAT2.69
itc-b13-fixpoint-7SAT2.82
ethernet-fixpoint-1UNSAT3.03
cache-coherence-2-fixpoint-2UNSAT3.2
usb-phy-fixpoint-2UNSAT3.32
small-seq-fixpoint-2UNSAT3.93
sdlx-fixpoint-3UNSAT5.01
itc-b13-fixpoint-8SAT6.36
itc-b13-fixpoint-9SAT10.31
cache-coherence-3-fixpoint-2UNSAT11.98
itc-b13-fixpoint-10SAT13.88
small-seq-fixpoint-3UNSAT15.59
ethernet-fixpoint-2UNSAT17.3
usb-phy-fixpoint-3UNSAT18.57
pi-bus-fixpoint-1UNSAT36.11
ethernet-fixpoint-3UNSAT39.42
cache-coherence-2-fixpoint-4UNSAT48.49
usb-phy-fixpoint-4UNSAT52.62
cache-coherence-3-fixpoint-3UNSAT71.81
cache-coherence-2-fixpoint-5UNSAT93.94
small-seq-fixpoint-4UNSAT130.98
cache-coherence-2-fixpoint-6UNSAT148.14
small-seq-fixpoint-5UNSAT180.17
pi-bus-fixpoint-2UNSAT314.65
small-seq-fixpoint-7UNSAT338.63
pi-bus-fixpoint-3UNSAT599.87
AR-fixpoint-1FAIL808.69
AR-fixpoint-8FAIL900
AR-fixpoint-4FAIL900
small-seq-fixpoint-10FAIL900.01
small-seq-fixpoint-8FAIL900.01
sdlx-fixpoint-4FAIL900.01
small-equiv-fixpoint-4FAIL900.02
sdlx-fixpoint-8FAIL900.03
AR-fixpoint-10FAIL900.03
small-pipeline-fixpoint-1FAIL900.04
sdlx-fixpoint-7FAIL900.04
small-pipeline-fixpoint-3FAIL900.05
small-equiv-fixpoint-2FAIL900.05
small-equiv-fixpoint-3FAIL900.06
small-seq-fixpoint-6FAIL900.06
small-equiv-fixpoint-5FAIL900.06
ethernet-fixpoint-4FAIL900.06
sdlx-fixpoint-6FAIL900.06
AR-fixpoint-2FAIL900.06
small-pipeline-fixpoint-2FAIL900.07
sdlx-fixpoint-10FAIL900.08
small-equiv-fixpoint-1FAIL900.08
usb-phy-fixpoint-5FAIL900.08
AR-fixpoint-6FAIL900.08
small-equiv-fixpoint-8FAIL900.09
small-seq-fixpoint-9FAIL900.09
sdlx-fixpoint-9FAIL900.09
sdlx-fixpoint-5FAIL900.1