Instances of family HardwareFixpoint solved by depqbf_pre_QxQBH
Prenex CNF Track

InstanceResultTime
itc-b13-fixpoint-2UNSAT0
small-synabs-fixpoint-3UNSAT0
small-swap1-fixpoint-4SAT0.6
itc-b13-fixpoint-3SAT0.68
small-swap1-fixpoint-6SAT0.74
small-swap1-fixpoint-5SAT1.24
itc-b13-fixpoint-4SAT1.29
small-swap1-fixpoint-8SAT1.3
small-swap1-fixpoint-7SAT1.4
itc-b13-fixpoint-5SAT1.76
small-swap1-fixpoint-10SAT1.87
small-synabs-fixpoint-10UNSAT2.07
itc-b13-fixpoint-6SAT2.52
cache-coherence-3-fixpoint-1UNSAT2.71
small-swap1-fixpoint-9SAT3.08
itc-b13-fixpoint-7SAT3.33
ethernet-fixpoint-1UNSAT3.52
cache-coherence-2-fixpoint-2UNSAT3.63
small-pipeline-fixpoint-1UNSAT4.01
sdlx-fixpoint-3UNSAT6.56
itc-b13-fixpoint-8SAT7.29
itc-b13-fixpoint-9SAT11.71
cache-coherence-3-fixpoint-2UNSAT13.22
itc-b13-fixpoint-10SAT15.85
small-seq-fixpoint-3UNSAT17.19
ethernet-fixpoint-2UNSAT19.04
usb-phy-fixpoint-3UNSAT20.66
pi-bus-fixpoint-1UNSAT36.36
ethernet-fixpoint-3UNSAT43.64
cache-coherence-2-fixpoint-4UNSAT52.02
usb-phy-fixpoint-4UNSAT58.44
cache-coherence-3-fixpoint-3UNSAT200.63
cache-coherence-2-fixpoint-5UNSAT201.35
cache-coherence-2-fixpoint-6UNSAT206.21
sdlx-fixpoint-4UNSAT230.6
usb-phy-fixpoint-5UNSAT327.97
small-seq-fixpoint-7UNSAT366.66
small-seq-fixpoint-5UNSAT387.77
pi-bus-fixpoint-2UNSAT490.46
ethernet-fixpoint-4UNSAT783.95
AR-fixpoint-1FAIL873.47
AR-fixpoint-5FAIL878.51
sdlx-fixpoint-6FAIL900
small-pipeline-fixpoint-2FAIL900
small-pipeline-fixpoint-3FAIL900
sdlx-fixpoint-5FAIL900
sdlx-fixpoint-8FAIL900
sdlx-fixpoint-9FAIL900
sdlx-fixpoint-10FAIL900
sdlx-fixpoint-7FAIL900
small-seq-fixpoint-8FAIL900
small-seq-fixpoint-9FAIL900
small-seq-fixpoint-10FAIL900
pi-bus-fixpoint-3FAIL900