Instances of family HardwareFixpoint solved by Hiqqer2019_2
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
small-swap1-fixpoint-7SAT0
small-synabs-fixpoint-10UNSAT0
itc-b13-fixpoint-4SAT0
itc-b13-fixpoint-2UNSAT0
itc-b13-fixpoint-1UNSAT0
itc-b13-fixpoint-3SAT0
small-swap1-fixpoint-6SAT0
small-swap1-fixpoint-4SAT0
small-synabs-fixpoint-3UNSAT0
small-swap1-fixpoint-8SAT0.59
small-swap1-fixpoint-5SAT0.59
itc-b13-fixpoint-5SAT0.75
itc-b13-fixpoint-6SAT0.96
small-swap1-fixpoint-9SAT1.23
itc-b13-fixpoint-7SAT1.35
itc-b13-fixpoint-8SAT1.54
small-swap1-fixpoint-10SAT1.64
ethernet-fixpoint-1UNSAT1.87
itc-b13-fixpoint-9SAT2.68
itc-b13-fixpoint-10SAT3.08
cache-coherence-3-fixpoint-1UNSAT3.58
pi-bus-fixpoint-1UNSAT14.22
cache-coherence-2-fixpoint-6FAIL899.68
ethernet-fixpoint-3FAIL899.88
ethernet-fixpoint-4FAIL899.94
sdlx-fixpoint-7FAIL900
small-equiv-fixpoint-1FAIL900
pi-bus-fixpoint-3FAIL900.01
small-equiv-fixpoint-8FAIL900.01
small-seq-fixpoint-9FAIL900.01
cache-coherence-3-fixpoint-3FAIL900.01
usb-phy-fixpoint-3FAIL900.01
AR-fixpoint-8FAIL900.01
small-equiv-fixpoint-2FAIL900.01
small-seq-fixpoint-7FAIL900.01
pi-bus-fixpoint-2FAIL900.01
small-pipeline-fixpoint-1FAIL900.02
sdlx-fixpoint-6FAIL900.02
small-equiv-fixpoint-4FAIL900.02
cache-coherence-2-fixpoint-4FAIL900.02
small-pipeline-fixpoint-3FAIL900.02
small-seq-fixpoint-3FAIL900.03
small-seq-fixpoint-5FAIL900.03
AR-fixpoint-4FAIL900.03
AR-fixpoint-6FAIL900.03
usb-phy-fixpoint-5FAIL900.03
sdlx-fixpoint-9FAIL900.03
cache-coherence-2-fixpoint-2FAIL900.04
sdlx-fixpoint-4FAIL900.04
small-pipeline-fixpoint-2FAIL900.04
ethernet-fixpoint-2FAIL900.04
AR-fixpoint-1FAIL900.05
AR-fixpoint-2FAIL900.05
sdlx-fixpoint-5FAIL900.05
sdlx-fixpoint-8FAIL900.05
sdlx-fixpoint-3FAIL900.06
AR-fixpoint-10FAIL900.06
small-equiv-fixpoint-5FAIL900.06
small-seq-fixpoint-10FAIL900.06
small-equiv-fixpoint-3FAIL900.06
sdlx-fixpoint-10FAIL900.06
cache-coherence-3-fixpoint-2FAIL900.07
usb-phy-fixpoint-4FAIL900.07
cache-coherence-2-fixpoint-5FAIL900.07
small-seq-fixpoint-8FAIL900.09