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

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-5SAT2.5
usb-phy-fixpoint-3UNSAT4.09
cache-coherence-2-fixpoint-4UNSAT6.97
cache-coherence-3-fixpoint-3UNSAT9.7
cache-coherence-2-fixpoint-6UNSAT14.48
pi-bus-fixpoint-1UNSAT19.31
small-seq-fixpoint-5FAIL900.02
small-seq-fixpoint-7FAIL900.03
pi-bus-fixpoint-3FAIL900.03
small-seq-fixpoint-8FAIL900.05
small-seq-fixpoint-9FAIL900.06
small-seq-fixpoint-3FAIL900.07
sdlx-fixpoint-3FAIL900.09
AR-fixpoint-1FAIL900.1