Instances of family HardwareFixpoint solved by Caqe-bloqqer-qdo
Prenex CNF Track

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
small-swap1-fixpoint-5SAT0.9
itc-b13-fixpoint-2UNSAT0.93
small-swap1-fixpoint-4SAT1.1
small-swap1-fixpoint-6SAT1.18
small-swap1-fixpoint-7SAT1.38
small-pipeline-fixpoint-1UNSAT1.5
small-synabs-fixpoint-10UNSAT1.52
small-swap1-fixpoint-8SAT1.67
ethernet-fixpoint-1UNSAT1.85
itc-b13-fixpoint-3SAT1.9
small-swap1-fixpoint-10SAT2.39
small-swap1-fixpoint-9SAT2.44
itc-b13-fixpoint-4SAT2.66
cache-coherence-3-fixpoint-1UNSAT3.69
itc-b13-fixpoint-5SAT3.89
small-pipeline-fixpoint-2UNSAT4.37
cache-coherence-2-fixpoint-2UNSAT4.76
itc-b13-fixpoint-6SAT5.24
usb-phy-fixpoint-3UNSAT6.34
ethernet-fixpoint-2UNSAT6.41
itc-b13-fixpoint-7SAT6.83
itc-b13-fixpoint-8SAT8.18
cache-coherence-3-fixpoint-2UNSAT8.72
itc-b13-fixpoint-9SAT9.68
cache-coherence-2-fixpoint-4UNSAT10.12
itc-b13-fixpoint-10SAT12.33
usb-phy-fixpoint-4UNSAT12.68
cache-coherence-3-fixpoint-3UNSAT13.29
cache-coherence-2-fixpoint-5UNSAT14.87
cache-coherence-2-fixpoint-6UNSAT19.49
pi-bus-fixpoint-1UNSAT23.57
small-pipeline-fixpoint-3UNSAT60.68
small-seq-fixpoint-3FAIL900
sdlx-fixpoint-6FAIL900
ethernet-fixpoint-4FAIL900
sdlx-fixpoint-5FAIL900
small-seq-fixpoint-5FAIL900
sdlx-fixpoint-8FAIL900
usb-phy-fixpoint-5FAIL900
sdlx-fixpoint-9FAIL900
sdlx-fixpoint-10FAIL900
sdlx-fixpoint-7FAIL900
small-seq-fixpoint-8FAIL900
sdlx-fixpoint-3FAIL900
AR-fixpoint-1FAIL900
sdlx-fixpoint-4FAIL900
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