Instances of family HardwareFixpoint solved by caqe-pre
Prenex CNF Track

InstanceResultTime
small-pipeline-fixpoint-1UNSAT0
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-2UNSAT0
small-swap1-fixpoint-6SAT0
small-swap1-fixpoint-4SAT0
itc-b13-fixpoint-3SAT0
itc-b13-fixpoint-4SAT0.85
small-swap1-fixpoint-8SAT0.9
small-swap1-fixpoint-5SAT0.91
small-swap1-fixpoint-7SAT1
itc-b13-fixpoint-5SAT1.26
small-swap1-fixpoint-10SAT1.48
small-synabs-fixpoint-10UNSAT1.63
itc-b13-fixpoint-6SAT1.79
small-pipeline-fixpoint-2UNSAT1.97
cache-coherence-3-fixpoint-1UNSAT2.29
small-swap1-fixpoint-9SAT2.45
itc-b13-fixpoint-7SAT2.65
ethernet-fixpoint-1UNSAT2.87
cache-coherence-2-fixpoint-2UNSAT3.02
sdlx-fixpoint-3UNSAT4.84
itc-b13-fixpoint-8SAT6.05
sdlx-fixpoint-4UNSAT7.82
itc-b13-fixpoint-9SAT10.09
cache-coherence-3-fixpoint-2UNSAT11.8
sdlx-fixpoint-5UNSAT12.88
itc-b13-fixpoint-10SAT13.49
small-seq-fixpoint-3UNSAT15.17
small-pipeline-fixpoint-3UNSAT15.6
ethernet-fixpoint-2UNSAT16.29
usb-phy-fixpoint-3UNSAT17.57
sdlx-fixpoint-6UNSAT31.26
pi-bus-fixpoint-1UNSAT34.85
ethernet-fixpoint-3UNSAT37.66
cache-coherence-2-fixpoint-4UNSAT46.38
usb-phy-fixpoint-4UNSAT47.09
cache-coherence-3-fixpoint-3UNSAT68.43
usb-phy-fixpoint-5UNSAT86.72
cache-coherence-2-fixpoint-5UNSAT88.26
cache-coherence-2-fixpoint-6UNSAT143.97
AR-fixpoint-5FAIL302.01
ethernet-fixpoint-4UNSAT372.63
small-seq-fixpoint-8FAIL900
AR-fixpoint-1FAIL900
small-seq-fixpoint-9FAIL900
small-seq-fixpoint-7FAIL900
small-seq-fixpoint-10FAIL900
pi-bus-fixpoint-2FAIL900
pi-bus-fixpoint-3FAIL900
small-seq-fixpoint-5FAIL900
sdlx-fixpoint-8FAIL900
sdlx-fixpoint-9FAIL900
sdlx-fixpoint-10FAIL900
sdlx-fixpoint-7FAIL900