Instances of family HardwareFixpoint solved by Qute_opt500
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
small-bug1-fixpoint-7SAT0.01
small-dyn-partition-fixpoint-8UNSAT0.15
small-synabs-fixpoint-3UNSAT0.17
itc-b13-fixpoint-5SAT1.93
sdlx-fixpoint-3UNSAT7.04
small-seq-fixpoint-3UNSAT7.09
pi-bus-fixpoint-1UNSAT38.86
cache-coherence-2-fixpoint-4UNSAT39.3
cache-coherence-3-fixpoint-3UNSAT67.96
usb-phy-fixpoint-3UNSAT73.57
cache-coherence-2-fixpoint-6UNSAT161.44
small-seq-fixpoint-5UNSAT205.72
small-seq-fixpoint-7UNSAT338.39
small-seq-fixpoint-8UNSAT347.41
AR-fixpoint-1UNSAT463.19
AR-fixpoint-7FAIL900
pi-bus-fixpoint-3FAIL900
AR-fixpoint-3FAIL900
small-equiv-fixpoint-10FAIL900
small-equiv-fixpoint-6FAIL900
small-equiv-fixpoint-9FAIL900
small-pipeline-fixpoint-7FAIL900
small-pipeline-fixpoint-6FAIL900
small-seq-fixpoint-9FAIL900
AR-fixpoint-9FAIL900
AR-fixpoint-5FAIL900