Instances of family HardwareFixpoint solved by nanoqbf_bloqqer
Prenex CNF Track

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-2UNSAT0.77
small-swap1-fixpoint-4SAT0.86
small-swap1-fixpoint-6SAT1.31
small-pipeline-fixpoint-1UNSAT1.32
itc-b13-fixpoint-3SAT1.53
small-swap1-fixpoint-7SAT1.8
small-swap1-fixpoint-5SAT1.89
itc-b13-fixpoint-4SAT2.17
small-synabs-fixpoint-10UNSAT2.19
small-swap1-fixpoint-8SAT2.58
ethernet-fixpoint-1UNSAT2.88
itc-b13-fixpoint-5SAT2.98
cache-coherence-3-fixpoint-1UNSAT3.45
small-swap1-fixpoint-9SAT3.82
small-swap1-fixpoint-10SAT3.91
itc-b13-fixpoint-6SAT4.06
itc-b13-fixpoint-7SAT4.69
itc-b13-fixpoint-8SAT5.46
itc-b13-fixpoint-9SAT6.97
usb-phy-fixpoint-4FAIL900
small-seq-fixpoint-3FAIL900
sdlx-fixpoint-6FAIL900
small-pipeline-fixpoint-2FAIL900
ethernet-fixpoint-4FAIL900
small-pipeline-fixpoint-3FAIL900
small-seq-fixpoint-5FAIL900
sdlx-fixpoint-5FAIL900
ethernet-fixpoint-2FAIL900
cache-coherence-2-fixpoint-2FAIL900
cache-coherence-3-fixpoint-3FAIL900
sdlx-fixpoint-8FAIL900
usb-phy-fixpoint-5FAIL900
sdlx-fixpoint-9FAIL900
sdlx-fixpoint-10FAIL900
sdlx-fixpoint-7FAIL900
small-seq-fixpoint-8FAIL900
cache-coherence-2-fixpoint-6FAIL900
sdlx-fixpoint-3FAIL900
AR-fixpoint-1FAIL900
sdlx-fixpoint-4FAIL900
pi-bus-fixpoint-1FAIL900
cache-coherence-2-fixpoint-4FAIL900
ethernet-fixpoint-3FAIL900
small-seq-fixpoint-9FAIL900
small-seq-fixpoint-7FAIL900
cache-coherence-2-fixpoint-5FAIL900
cache-coherence-3-fixpoint-2FAIL900
AR-fixpoint-5FAIL900
small-seq-fixpoint-10FAIL900
usb-phy-fixpoint-3FAIL900
pi-bus-fixpoint-2FAIL900
pi-bus-fixpoint-3FAIL900
itc-b13-fixpoint-10FAIL900