Instances of family HardwareFixpoint solved by Qute_default
Prenex CNF Track

InstanceResultTime
itc-b13-fixpoint-2UNSAT0
small-synabs-fixpoint-3UNSAT0
small-pipeline-fixpoint-1UNSAT0.52
small-swap1-fixpoint-4SAT0.68
itc-b13-fixpoint-3SAT0.72
small-swap1-fixpoint-6SAT0.96
small-swap1-fixpoint-8SAT1.51
small-swap1-fixpoint-5SAT1.56
small-swap1-fixpoint-7SAT1.65
itc-b13-fixpoint-5SAT2.03
small-swap1-fixpoint-10SAT2.4
itc-b13-fixpoint-4SAT3
itc-b13-fixpoint-6SAT3.18
small-swap1-fixpoint-9SAT3.24
cache-coherence-3-fixpoint-1UNSAT3.32
small-pipeline-fixpoint-2UNSAT3.4
itc-b13-fixpoint-7SAT4.57
ethernet-fixpoint-1UNSAT4.72
cache-coherence-2-fixpoint-2UNSAT4.98
small-synabs-fixpoint-10UNSAT6.25
itc-b13-fixpoint-8SAT6.28
small-seq-fixpoint-3UNSAT7.35
sdlx-fixpoint-3UNSAT7.4
itc-b13-fixpoint-9SAT7.8
itc-b13-fixpoint-10SAT9.53
sdlx-fixpoint-4UNSAT10.73
usb-phy-fixpoint-3UNSAT13.67
cache-coherence-3-fixpoint-2UNSAT14.24
sdlx-fixpoint-5UNSAT14.96
ethernet-fixpoint-2UNSAT23.94
small-pipeline-fixpoint-3UNSAT27.24
pi-bus-fixpoint-1UNSAT37.64
usb-phy-fixpoint-4UNSAT38.04
cache-coherence-2-fixpoint-4UNSAT40.11
ethernet-fixpoint-3UNSAT50.13
cache-coherence-3-fixpoint-3UNSAT67.53
cache-coherence-2-fixpoint-5UNSAT87.29
usb-phy-fixpoint-5UNSAT89.31
cache-coherence-2-fixpoint-6UNSAT165.07
small-seq-fixpoint-5UNSAT213.26
ethernet-fixpoint-4UNSAT293.88
AR-fixpoint-1UNSAT473.48
sdlx-fixpoint-8FAIL900
sdlx-fixpoint-9FAIL900
sdlx-fixpoint-10FAIL900
sdlx-fixpoint-7FAIL900
small-seq-fixpoint-8FAIL900
small-seq-fixpoint-9FAIL900
small-seq-fixpoint-7FAIL900
AR-fixpoint-5FAIL900
small-seq-fixpoint-10FAIL900
pi-bus-fixpoint-2FAIL900
pi-bus-fixpoint-3FAIL900
sdlx-fixpoint-6FAIL900