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

InstanceResultTime
itc-b13-fixpoint-3SAT0
small-swap1-fixpoint-6SAT0
small-swap1-fixpoint-4SAT0
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-5SAT0
small-swap1-fixpoint-7SAT0
itc-b13-fixpoint-4SAT0
itc-b13-fixpoint-2UNSAT0
itc-b13-fixpoint-1UNSAT0
small-swap1-fixpoint-5SAT0.56
itc-b13-fixpoint-6SAT0.59
small-swap1-fixpoint-8SAT0.6
small-synabs-fixpoint-10UNSAT0.89
small-swap1-fixpoint-9SAT1.19
itc-b13-fixpoint-7SAT1.25
itc-b13-fixpoint-8SAT1.42
small-swap1-fixpoint-10SAT1.61
itc-b13-fixpoint-9SAT2.07
itc-b13-fixpoint-10SAT2.27
ethernet-fixpoint-1UNSAT124
ethernet-fixpoint-4FAIL899.46
AR-fixpoint-1FAIL899.59
small-seq-fixpoint-10FAIL899.59
pi-bus-fixpoint-1FAIL899.61
small-seq-fixpoint-7FAIL899.72
usb-phy-fixpoint-5FAIL899.78
ethernet-fixpoint-3FAIL899.81
sdlx-fixpoint-4FAIL899.92
AR-fixpoint-10FAIL900
sdlx-fixpoint-9FAIL900.01
cache-coherence-2-fixpoint-5FAIL900.01
small-pipeline-fixpoint-1FAIL900.01
small-seq-fixpoint-5FAIL900.01
usb-phy-fixpoint-3FAIL900.02
small-equiv-fixpoint-2FAIL900.02
small-pipeline-fixpoint-2FAIL900.02
usb-phy-fixpoint-4FAIL900.02
sdlx-fixpoint-10FAIL900.02
small-pipeline-fixpoint-3FAIL900.02
sdlx-fixpoint-3FAIL900.02
small-equiv-fixpoint-4FAIL900.02
sdlx-fixpoint-8FAIL900.03
ethernet-fixpoint-2FAIL900.03
small-equiv-fixpoint-1FAIL900.03
small-equiv-fixpoint-5FAIL900.03
cache-coherence-2-fixpoint-4FAIL900.03
cache-coherence-3-fixpoint-2FAIL900.03
AR-fixpoint-2FAIL900.04
sdlx-fixpoint-5FAIL900.04
small-seq-fixpoint-3FAIL900.04
AR-fixpoint-4FAIL900.04
cache-coherence-2-fixpoint-6FAIL900.05
pi-bus-fixpoint-3FAIL900.05
AR-fixpoint-8FAIL900.06
pi-bus-fixpoint-2FAIL900.06
sdlx-fixpoint-6FAIL900.06
small-equiv-fixpoint-3FAIL900.06
cache-coherence-2-fixpoint-2FAIL900.07
sdlx-fixpoint-7FAIL900.07
cache-coherence-3-fixpoint-3FAIL900.07
AR-fixpoint-6FAIL900.07
cache-coherence-3-fixpoint-1FAIL900.08
small-seq-fixpoint-9FAIL900.09
small-seq-fixpoint-8FAIL900.09
small-equiv-fixpoint-8FAIL900.1