Instances of family HardwareFixpoint solved by Caqe-hqspre
Prenex CNF Track

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-2UNSAT0
small-swap1-fixpoint-4SAT0
itc-b13-fixpoint-3SAT0
small-pipeline-fixpoint-1UNSAT0
small-swap1-fixpoint-6SAT0.5
itc-b13-fixpoint-4SAT0.85
small-swap1-fixpoint-5SAT0.91
small-swap1-fixpoint-8SAT0.93
small-swap1-fixpoint-7SAT1.07
itc-b13-fixpoint-5SAT1.28
small-swap1-fixpoint-10SAT1.5
small-synabs-fixpoint-10UNSAT1.67
itc-b13-fixpoint-6SAT1.86
small-pipeline-fixpoint-2UNSAT2.06
cache-coherence-3-fixpoint-1UNSAT2.29
small-swap1-fixpoint-9SAT2.5
itc-b13-fixpoint-7SAT2.65
ethernet-fixpoint-1UNSAT2.92
cache-coherence-2-fixpoint-2UNSAT3.1
sdlx-fixpoint-3UNSAT4.97
itc-b13-fixpoint-8SAT6.12
sdlx-fixpoint-4UNSAT7.88
itc-b13-fixpoint-9SAT10.13
cache-coherence-3-fixpoint-2UNSAT11.62
sdlx-fixpoint-5UNSAT12.89
itc-b13-fixpoint-10SAT13.74
small-seq-fixpoint-3UNSAT15.26
small-pipeline-fixpoint-3UNSAT15.81
ethernet-fixpoint-2UNSAT16.5
usb-phy-fixpoint-3UNSAT17.77
sdlx-fixpoint-6UNSAT31.47
pi-bus-fixpoint-1UNSAT34.92
ethernet-fixpoint-3UNSAT38.01
usb-phy-fixpoint-4UNSAT46.25
cache-coherence-2-fixpoint-4UNSAT46.8
cache-coherence-3-fixpoint-3UNSAT68.97
usb-phy-fixpoint-5UNSAT86.29
cache-coherence-2-fixpoint-5UNSAT90.56
cache-coherence-2-fixpoint-6UNSAT147.06
AR-fixpoint-5FAIL295.32
ethernet-fixpoint-4UNSAT354.79
sdlx-fixpoint-7SAT621.11
pi-bus-fixpoint-2FAIL900
pi-bus-fixpoint-3FAIL900
small-seq-fixpoint-5FAIL900
sdlx-fixpoint-8FAIL900
sdlx-fixpoint-9FAIL900
sdlx-fixpoint-10FAIL900
small-seq-fixpoint-8FAIL900
AR-fixpoint-1FAIL900
small-seq-fixpoint-9FAIL900
small-seq-fixpoint-7FAIL900
small-seq-fixpoint-10FAIL900