Instances of family HardwareFixpoint solved by nanoqbf_hqspre
Prenex CNF Track

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-2UNSAT0
small-swap1-fixpoint-4SAT0
itc-b13-fixpoint-3SAT0
small-pipeline-fixpoint-1UNSAT0
small-swap1-fixpoint-6SAT0.56
small-swap1-fixpoint-5SAT0.99
small-swap1-fixpoint-8SAT1.01
itc-b13-fixpoint-4SAT1.06
small-swap1-fixpoint-7SAT1.13
small-swap1-fixpoint-10SAT1.53
itc-b13-fixpoint-5SAT1.67
small-pipeline-fixpoint-2UNSAT1.76
small-synabs-fixpoint-10UNSAT2.05
small-swap1-fixpoint-9SAT2.38
cache-coherence-3-fixpoint-1UNSAT2.42
itc-b13-fixpoint-6SAT2.7
ethernet-fixpoint-1UNSAT3.02
itc-b13-fixpoint-7SAT3.21
cache-coherence-2-fixpoint-2UNSAT3.29
sdlx-fixpoint-3UNSAT5.19
itc-b13-fixpoint-8SAT7.55
sdlx-fixpoint-4UNSAT7.95
cache-coherence-3-fixpoint-2UNSAT10.97
itc-b13-fixpoint-9SAT11.47
ethernet-fixpoint-2UNSAT14.04
small-pipeline-fixpoint-3UNSAT14.31
itc-b13-fixpoint-10SAT14.58
sdlx-fixpoint-5UNSAT16.48
usb-phy-fixpoint-3UNSAT18.56
small-seq-fixpoint-3UNSAT20.58
pi-bus-fixpoint-1UNSAT34.58
ethernet-fixpoint-3UNSAT36.36
cache-coherence-2-fixpoint-4UNSAT42.1
usb-phy-fixpoint-4UNSAT47.19
cache-coherence-3-fixpoint-3UNSAT50.5
cache-coherence-2-fixpoint-5UNSAT80.94
usb-phy-fixpoint-5UNSAT96.06
sdlx-fixpoint-6UNSAT109.32
cache-coherence-2-fixpoint-6UNSAT139.52
AR-fixpoint-1UNSAT150.14
sdlx-fixpoint-7SAT276.43
sdlx-fixpoint-8SAT430.84
sdlx-fixpoint-9SAT673.57
small-seq-fixpoint-9FAIL900
small-seq-fixpoint-7FAIL900
AR-fixpoint-5FAIL900
small-seq-fixpoint-10FAIL900
pi-bus-fixpoint-2FAIL900
pi-bus-fixpoint-3FAIL900
ethernet-fixpoint-4FAIL900
small-seq-fixpoint-5FAIL900
sdlx-fixpoint-10FAIL900
small-seq-fixpoint-8FAIL900