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

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-1UNSAT0
small-swap1-fixpoint-5SAT0.9
itc-b13-fixpoint-2UNSAT0.91
small-swap1-fixpoint-4SAT1.06
small-swap1-fixpoint-6SAT1.13
small-swap1-fixpoint-7SAT1.36
small-pipeline-fixpoint-1UNSAT1.49
small-synabs-fixpoint-10UNSAT1.5
small-swap1-fixpoint-8SAT1.68
ethernet-fixpoint-1UNSAT1.79
itc-b13-fixpoint-3SAT1.84
small-swap1-fixpoint-9SAT2.38
small-swap1-fixpoint-10SAT2.4
itc-b13-fixpoint-4SAT2.7
cache-coherence-3-fixpoint-1UNSAT3.59
itc-b13-fixpoint-5SAT3.79
small-pipeline-fixpoint-2UNSAT4.16
cache-coherence-2-fixpoint-2UNSAT4.55
itc-b13-fixpoint-6SAT5.27
ethernet-fixpoint-2UNSAT6.18
usb-phy-fixpoint-3UNSAT6.24
itc-b13-fixpoint-7SAT6.82
cache-coherence-3-fixpoint-2UNSAT8.28
itc-b13-fixpoint-8SAT8.28
itc-b13-fixpoint-9SAT9.57
cache-coherence-2-fixpoint-4UNSAT9.98
itc-b13-fixpoint-10SAT11.97
usb-phy-fixpoint-4UNSAT12.3
cache-coherence-3-fixpoint-3UNSAT13.14
cache-coherence-2-fixpoint-5UNSAT14.88
cache-coherence-2-fixpoint-6UNSAT19.37
pi-bus-fixpoint-1UNSAT23.29
small-pipeline-fixpoint-3UNSAT60.36
AR-fixpoint-8FAIL900.01
sdlx-fixpoint-8FAIL900.01
small-seq-fixpoint-7FAIL900.01
sdlx-fixpoint-10FAIL900.01
sdlx-fixpoint-7FAIL900.01
small-equiv-fixpoint-3FAIL900.01
AR-fixpoint-6FAIL900.01
ethernet-fixpoint-4FAIL900.02
sdlx-fixpoint-4FAIL900.02
small-seq-fixpoint-10FAIL900.02
small-seq-fixpoint-8FAIL900.02
small-equiv-fixpoint-2FAIL900.03
sdlx-fixpoint-6FAIL900.03
sdlx-fixpoint-9FAIL900.04
ethernet-fixpoint-3FAIL900.04
small-seq-fixpoint-3FAIL900.05
AR-fixpoint-1FAIL900.05
AR-fixpoint-10FAIL900.05
AR-fixpoint-2FAIL900.06
sdlx-fixpoint-5FAIL900.06
usb-phy-fixpoint-5FAIL900.06
pi-bus-fixpoint-2FAIL900.06
pi-bus-fixpoint-3FAIL900.06
small-equiv-fixpoint-5FAIL900.06
small-equiv-fixpoint-8FAIL900.06
small-equiv-fixpoint-1FAIL900.08
sdlx-fixpoint-3FAIL900.08
small-equiv-fixpoint-4FAIL900.08
small-seq-fixpoint-5FAIL900.09
AR-fixpoint-4FAIL900.09
small-seq-fixpoint-9FAIL900.1