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

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
small-pipeline-fixpoint-1UNSAT0
itc-b13-fixpoint-1UNSAT0
itc-b13-fixpoint-2UNSAT0
small-swap1-fixpoint-4SAT0.62
itc-b13-fixpoint-3SAT0.67
small-swap1-fixpoint-6SAT0.91
itc-b13-fixpoint-4SAT1.45
small-swap1-fixpoint-8SAT1.53
small-swap1-fixpoint-5SAT1.53
small-swap1-fixpoint-7SAT1.65
itc-b13-fixpoint-5SAT1.98
small-swap1-fixpoint-10SAT2.39
small-pipeline-fixpoint-2UNSAT3.04
itc-b13-fixpoint-6SAT3.14
small-swap1-fixpoint-9SAT3.19
cache-coherence-3-fixpoint-1UNSAT3.3
itc-b13-fixpoint-7SAT4.55
ethernet-fixpoint-1UNSAT4.58
cache-coherence-2-fixpoint-2UNSAT5
small-synabs-fixpoint-10UNSAT6.11
itc-b13-fixpoint-8SAT6.19
sdlx-fixpoint-3UNSAT6.94
small-seq-fixpoint-3UNSAT7.28
itc-b13-fixpoint-9SAT7.68
itc-b13-fixpoint-10SAT9.2
sdlx-fixpoint-4UNSAT10.28
usb-phy-fixpoint-3UNSAT13.49
cache-coherence-3-fixpoint-2UNSAT14.1
sdlx-fixpoint-5UNSAT16.71
small-pipeline-fixpoint-3UNSAT23.48
ethernet-fixpoint-2UNSAT23.52
usb-phy-fixpoint-4UNSAT37.63
pi-bus-fixpoint-1UNSAT39.34
cache-coherence-2-fixpoint-4UNSAT41.59
cache-coherence-3-fixpoint-3UNSAT68.48
cache-coherence-2-fixpoint-5UNSAT91.08
usb-phy-fixpoint-5UNSAT94.4
cache-coherence-2-fixpoint-6UNSAT155.6
small-seq-fixpoint-5UNSAT205.36
ethernet-fixpoint-4UNSAT291.47
AR-fixpoint-1UNSAT561.83
sdlx-fixpoint-6UNSAT826.21
AR-fixpoint-8FAIL900.01
small-equiv-fixpoint-2FAIL900.01
ethernet-fixpoint-3FAIL900.01
small-seq-fixpoint-7FAIL900.02
sdlx-fixpoint-8FAIL900.03
small-seq-fixpoint-10FAIL900.03
small-equiv-fixpoint-3FAIL900.03
AR-fixpoint-6FAIL900.03
small-seq-fixpoint-9FAIL900.03
sdlx-fixpoint-7FAIL900.04
AR-fixpoint-2FAIL900.05
sdlx-fixpoint-9FAIL900.05
small-equiv-fixpoint-5FAIL900.05
small-equiv-fixpoint-1FAIL900.06
pi-bus-fixpoint-2FAIL900.07
small-seq-fixpoint-8FAIL900.07
pi-bus-fixpoint-3FAIL900.08
sdlx-fixpoint-10FAIL900.09
AR-fixpoint-4FAIL900.09
small-equiv-fixpoint-4FAIL900.09
AR-fixpoint-10FAIL900.11
small-equiv-fixpoint-8FAIL900.11