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

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
small-swap1-fixpoint-7SAT0
itc-b13-fixpoint-4SAT0
itc-b13-fixpoint-2UNSAT0
itc-b13-fixpoint-1UNSAT0
itc-b13-fixpoint-3SAT0
small-swap1-fixpoint-6SAT0
small-swap1-fixpoint-4SAT0
itc-b13-fixpoint-5SAT0.49
small-swap1-fixpoint-5SAT0.53
small-swap1-fixpoint-8SAT0.58
itc-b13-fixpoint-6SAT0.59
small-synabs-fixpoint-10UNSAT0.9
itc-b13-fixpoint-7SAT1.19
small-swap1-fixpoint-9SAT1.23
itc-b13-fixpoint-8SAT1.41
small-swap1-fixpoint-10SAT1.56
itc-b13-fixpoint-9SAT2.08
itc-b13-fixpoint-10SAT2.27
ethernet-fixpoint-1UNSAT16.4
small-seq-fixpoint-10FAIL898.5
pi-bus-fixpoint-2FAIL898.94
AR-fixpoint-1FAIL899.6
ethernet-fixpoint-3FAIL899.62
small-seq-fixpoint-7FAIL899.71
pi-bus-fixpoint-1FAIL899.97
sdlx-fixpoint-6FAIL900
ethernet-fixpoint-4FAIL900
usb-phy-fixpoint-4FAIL900.01
small-equiv-fixpoint-4FAIL900.01
small-seq-fixpoint-8FAIL900.01
cache-coherence-3-fixpoint-2FAIL900.01
sdlx-fixpoint-9FAIL900.02
small-pipeline-fixpoint-1FAIL900.02
pi-bus-fixpoint-3FAIL900.02
AR-fixpoint-10FAIL900.02
small-seq-fixpoint-5FAIL900.02
small-equiv-fixpoint-5FAIL900.02
cache-coherence-2-fixpoint-4FAIL900.02
small-equiv-fixpoint-3FAIL900.02
AR-fixpoint-2FAIL900.03
sdlx-fixpoint-5FAIL900.03
usb-phy-fixpoint-5FAIL900.04
cache-coherence-2-fixpoint-5FAIL900.04
cache-coherence-2-fixpoint-2FAIL900.04
AR-fixpoint-4FAIL900.04
small-equiv-fixpoint-2FAIL900.04
cache-coherence-2-fixpoint-6FAIL900.04
small-pipeline-fixpoint-2FAIL900.04
usb-phy-fixpoint-3FAIL900.05
AR-fixpoint-8FAIL900.05
small-pipeline-fixpoint-3FAIL900.06
small-seq-fixpoint-3FAIL900.06
sdlx-fixpoint-7FAIL900.06
cache-coherence-3-fixpoint-1FAIL900.06
AR-fixpoint-6FAIL900.06
sdlx-fixpoint-8FAIL900.06
sdlx-fixpoint-10FAIL900.07
ethernet-fixpoint-2FAIL900.07
cache-coherence-3-fixpoint-3FAIL900.07
sdlx-fixpoint-3FAIL900.08
sdlx-fixpoint-4FAIL900.08
small-equiv-fixpoint-1FAIL900.09
small-equiv-fixpoint-8FAIL900.09
small-seq-fixpoint-9FAIL900.09