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

InstanceResultTime
small-swap1-fixpoint-6SAT0
small-synabs-fixpoint-3UNSAT0
small-swap1-fixpoint-5SAT0
itc-b13-fixpoint-1UNSAT0
itc-b13-fixpoint-2UNSAT0.52
usb-phy-fixpoint-1UNSAT0.54
small-seq-fixpoint-1UNSAT0.61
small-swap1-fixpoint-4SAT0.62
small-pipeline-fixpoint-1UNSAT0.77
small-swap1-fixpoint-7SAT0.84
small-synabs-fixpoint-10UNSAT0.9
small-swap1-fixpoint-8SAT0.98
itc-b13-fixpoint-3SAT1.07
ethernet-fixpoint-1UNSAT1.14
small-swap1-fixpoint-9SAT1.47
small-swap1-fixpoint-10SAT1.52
itc-b13-fixpoint-4SAT1.68
itc-b13-fixpoint-5SAT2.41
cache-coherence-3-fixpoint-1UNSAT2.46
usb-phy-fixpoint-2UNSAT2.5
cache-coherence-2-fixpoint-2UNSAT3.02
itc-b13-fixpoint-6SAT3.48
usb-phy-fixpoint-3UNSAT4.13
ethernet-fixpoint-2UNSAT4.37
itc-b13-fixpoint-7SAT4.68
itc-b13-fixpoint-8SAT5.89
cache-coherence-3-fixpoint-2UNSAT6.01
cache-coherence-2-fixpoint-4UNSAT6.95
itc-b13-fixpoint-9SAT7.06
itc-b13-fixpoint-10SAT9.14
cache-coherence-3-fixpoint-3UNSAT9.66
cache-coherence-2-fixpoint-5UNSAT10.82
cache-coherence-2-fixpoint-6UNSAT14.11
pi-bus-fixpoint-1UNSAT18.79
usb-phy-fixpoint-4UNSAT165.17
small-equiv-fixpoint-4FAIL900
sdlx-fixpoint-4FAIL900
sdlx-fixpoint-8FAIL900.01
sdlx-fixpoint-9FAIL900.01
AR-fixpoint-10FAIL900.01
small-seq-fixpoint-2FAIL900.01
sdlx-fixpoint-10FAIL900.02
pi-bus-fixpoint-3FAIL900.02
small-pipeline-fixpoint-3FAIL900.02
AR-fixpoint-2FAIL900.02
sdlx-fixpoint-7FAIL900.02
sdlx-fixpoint-5FAIL900.04
small-seq-fixpoint-10FAIL900.04
sdlx-fixpoint-3FAIL900.04
usb-phy-fixpoint-5FAIL900.04
AR-fixpoint-1FAIL900.04
small-seq-fixpoint-4FAIL900.05
pi-bus-fixpoint-2FAIL900.05
AR-fixpoint-8FAIL900.05
small-equiv-fixpoint-8FAIL900.05
AR-fixpoint-4FAIL900.05
sdlx-fixpoint-6FAIL900.05
small-seq-fixpoint-6FAIL900.06
small-equiv-fixpoint-5FAIL900.06
small-equiv-fixpoint-1FAIL900.06
small-pipeline-fixpoint-2FAIL900.06
small-seq-fixpoint-9FAIL900.06
small-seq-fixpoint-8FAIL900.06
AR-fixpoint-6FAIL900.06
small-equiv-fixpoint-3FAIL900.07
ethernet-fixpoint-3FAIL900.07
small-equiv-fixpoint-2FAIL900.07
small-seq-fixpoint-5FAIL900.07
small-seq-fixpoint-3FAIL900.08
ethernet-fixpoint-4FAIL900.09
small-seq-fixpoint-7FAIL900.11