Instances of family HardwareFixpoint solved by Qute_rrs
Prenex CNF Track

InstanceResultTime
itc-b13-fixpoint-2UNSAT0
small-pipeline-fixpoint-1UNSAT0
small-synabs-fixpoint-3UNSAT0
small-swap1-fixpoint-4SAT0.61
itc-b13-fixpoint-3SAT0.73
small-swap1-fixpoint-6SAT0.93
itc-b13-fixpoint-4SAT1.49
small-swap1-fixpoint-8SAT1.52
small-swap1-fixpoint-5SAT1.55
small-swap1-fixpoint-7SAT1.67
itc-b13-fixpoint-5SAT2.05
small-swap1-fixpoint-10SAT2.33
small-pipeline-fixpoint-2UNSAT3.06
small-swap1-fixpoint-9SAT3.19
itc-b13-fixpoint-6SAT3.19
cache-coherence-3-fixpoint-1UNSAT3.31
ethernet-fixpoint-1UNSAT4.54
itc-b13-fixpoint-7SAT4.57
cache-coherence-2-fixpoint-2UNSAT5.04
small-synabs-fixpoint-10UNSAT6.18
itc-b13-fixpoint-8SAT6.26
sdlx-fixpoint-3UNSAT7.03
small-seq-fixpoint-3UNSAT7.34
itc-b13-fixpoint-9SAT7.78
itc-b13-fixpoint-10SAT9.48
sdlx-fixpoint-4UNSAT10.37
usb-phy-fixpoint-3UNSAT13.53
cache-coherence-3-fixpoint-2UNSAT14.16
sdlx-fixpoint-5UNSAT16.66
small-pipeline-fixpoint-3UNSAT23.51
ethernet-fixpoint-2UNSAT23.6
usb-phy-fixpoint-4UNSAT37.79
pi-bus-fixpoint-1UNSAT38.83
cache-coherence-2-fixpoint-4UNSAT41.69
cache-coherence-3-fixpoint-3UNSAT68.88
cache-coherence-2-fixpoint-5UNSAT90.12
usb-phy-fixpoint-5UNSAT94.28
cache-coherence-2-fixpoint-6UNSAT166.43
small-seq-fixpoint-5UNSAT208.47
ethernet-fixpoint-4UNSAT274.31
AR-fixpoint-1UNSAT565.04
sdlx-fixpoint-6UNSAT830.79
sdlx-fixpoint-8FAIL900
sdlx-fixpoint-9FAIL900
sdlx-fixpoint-10FAIL900
sdlx-fixpoint-7FAIL900
small-seq-fixpoint-8FAIL900
ethernet-fixpoint-3FAIL900
small-seq-fixpoint-9FAIL900
small-seq-fixpoint-7FAIL900
AR-fixpoint-5FAIL900
small-seq-fixpoint-10FAIL900
pi-bus-fixpoint-2FAIL900
pi-bus-fixpoint-3FAIL900