Instances of family HardwareFixpoint solved by Qute_default
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
itc-b13-fixpoint-2UNSAT0
itc-b13-fixpoint-1UNSAT0
small-synabs-fixpoint-3UNSAT0
small-pipeline-fixpoint-1UNSAT0.53
itc-b13-fixpoint-3SAT0.66
small-swap1-fixpoint-4SAT0.66
small-swap1-fixpoint-6SAT0.96
itc-b13-fixpoint-4SAT1.5
small-swap1-fixpoint-8SAT1.52
small-swap1-fixpoint-5SAT1.56
small-swap1-fixpoint-7SAT1.66
itc-b13-fixpoint-5SAT2.03
small-swap1-fixpoint-10SAT2.32
itc-b13-fixpoint-6SAT3.19
small-swap1-fixpoint-9SAT3.24
small-pipeline-fixpoint-2UNSAT3.27
cache-coherence-3-fixpoint-1UNSAT3.35
itc-b13-fixpoint-7SAT4.59
ethernet-fixpoint-1UNSAT4.6
cache-coherence-2-fixpoint-2UNSAT4.97
small-synabs-fixpoint-10UNSAT6.14
itc-b13-fixpoint-8SAT6.18
small-seq-fixpoint-3UNSAT7.34
sdlx-fixpoint-3UNSAT7.41
itc-b13-fixpoint-9SAT7.67
itc-b13-fixpoint-10SAT9.58
sdlx-fixpoint-4UNSAT10.71
usb-phy-fixpoint-3UNSAT13.62
cache-coherence-3-fixpoint-2UNSAT14.21
sdlx-fixpoint-5UNSAT14.99
ethernet-fixpoint-2UNSAT23.68
small-pipeline-fixpoint-3UNSAT27.15
pi-bus-fixpoint-1UNSAT37.92
usb-phy-fixpoint-4UNSAT38.01
cache-coherence-2-fixpoint-4UNSAT41.17
ethernet-fixpoint-3UNSAT49.23
cache-coherence-3-fixpoint-3UNSAT68.96
cache-coherence-2-fixpoint-5UNSAT87.55
usb-phy-fixpoint-5UNSAT92.49
cache-coherence-2-fixpoint-6UNSAT162.62
small-seq-fixpoint-5UNSAT208.42
ethernet-fixpoint-4UNSAT282.97
AR-fixpoint-1UNSAT473.91
small-equiv-fixpoint-2FAIL900.01
small-seq-fixpoint-8FAIL900.02
sdlx-fixpoint-10FAIL900.02
sdlx-fixpoint-6FAIL900.03
AR-fixpoint-8FAIL900.03
small-equiv-fixpoint-1FAIL900.04
small-equiv-fixpoint-4FAIL900.05
sdlx-fixpoint-9FAIL900.05
sdlx-fixpoint-7FAIL900.05
small-seq-fixpoint-9FAIL900.06
AR-fixpoint-2FAIL900.06
sdlx-fixpoint-8FAIL900.06
small-seq-fixpoint-10FAIL900.07
small-equiv-fixpoint-3FAIL900.07
AR-fixpoint-6FAIL900.07
small-seq-fixpoint-7FAIL900.07
pi-bus-fixpoint-2FAIL900.07
AR-fixpoint-10FAIL900.08
small-equiv-fixpoint-8FAIL900.09
AR-fixpoint-4FAIL900.09
pi-bus-fixpoint-3FAIL900.09
small-equiv-fixpoint-5FAIL900.1