Instances of family HardwareFixpoint solved by PortfolioDepQBFGhostQRaReQSQute___pf
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
small-synabs-fixpoint-3UNSAT5.27
small-pipeline-fixpoint-1UNSAT5.33
small-seq-fixpoint-1UNSAT5.38
itc-b13-fixpoint-1UNSAT5.42
itc-b13-fixpoint-2UNSAT5.8
small-swap1-fixpoint-4SAT5.99
usb-phy-fixpoint-1UNSAT6.07
itc-b13-fixpoint-3SAT6.24
small-swap1-fixpoint-6SAT6.3
small-swap1-fixpoint-5SAT6.91
small-swap1-fixpoint-7SAT7.01
small-swap1-fixpoint-8SAT7.02
itc-b13-fixpoint-4SAT7.04
itc-b13-fixpoint-5SAT7.87
small-swap1-fixpoint-10SAT7.87
cache-coherence-3-fixpoint-1UNSAT8.68
small-swap1-fixpoint-9SAT8.9
itc-b13-fixpoint-6SAT9.29
small-seq-fixpoint-2UNSAT9.83
ethernet-fixpoint-1UNSAT10.02
cache-coherence-2-fixpoint-2UNSAT10.74
small-pipeline-fixpoint-2UNSAT11.4
usb-phy-fixpoint-2UNSAT11.46
itc-b13-fixpoint-7SAT11.56
small-synabs-fixpoint-10UNSAT11.67
itc-b13-fixpoint-8SAT12.23
cache-coherence-3-fixpoint-2UNSAT12.27
usb-phy-fixpoint-3UNSAT12.37
itc-b13-fixpoint-9SAT12.65
itc-b13-fixpoint-10SAT12.84
ethernet-fixpoint-2UNSAT14.95
usb-phy-fixpoint-4UNSAT15.73
cache-coherence-3-fixpoint-3UNSAT16.54
cache-coherence-2-fixpoint-4UNSAT17.49
ethernet-fixpoint-3UNSAT18.77
small-seq-fixpoint-3UNSAT20.01
cache-coherence-2-fixpoint-5UNSAT21.03
pi-bus-fixpoint-1UNSAT22.52
usb-phy-fixpoint-5UNSAT24.16
ethernet-fixpoint-4UNSAT24.39
sdlx-fixpoint-3UNSAT150.03
small-seq-fixpoint-4UNSAT178.68
cache-coherence-2-fixpoint-6UNSAT196.39
small-seq-fixpoint-5UNSAT214.44
small-seq-fixpoint-6UNSAT261.07
AR-fixpoint-8FAIL603.31
small-seq-fixpoint-8UNSAT783.36
small-seq-fixpoint-10FAIL900.01
sdlx-fixpoint-6FAIL900.01
small-seq-fixpoint-7FAIL900.02
small-equiv-fixpoint-3FAIL900.02
sdlx-fixpoint-9FAIL900.02
small-equiv-fixpoint-4FAIL900.02
AR-fixpoint-4FAIL900.03
sdlx-fixpoint-4FAIL900.03
AR-fixpoint-6FAIL900.03
sdlx-fixpoint-8FAIL900.04
sdlx-fixpoint-10FAIL900.04
small-equiv-fixpoint-8FAIL900.04
pi-bus-fixpoint-3FAIL900.04
AR-fixpoint-2FAIL900.04
small-pipeline-fixpoint-3FAIL900.05
AR-fixpoint-1FAIL900.05
AR-fixpoint-10FAIL900.05
small-equiv-fixpoint-5FAIL900.06
pi-bus-fixpoint-2FAIL900.06
sdlx-fixpoint-7FAIL900.06
small-equiv-fixpoint-2FAIL900.08
small-equiv-fixpoint-1FAIL900.09
small-seq-fixpoint-9FAIL900.09
sdlx-fixpoint-5FAIL900.15