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

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-1UNSAT0.28
small-pipeline-fixpoint-1UNSAT0.61
usb-phy-fixpoint-1UNSAT0.67
itc-b13-fixpoint-2UNSAT0.76
small-seq-fixpoint-1UNSAT0.91
cache-coherence-3-fixpoint-1UNSAT0.99
small-synabs-fixpoint-10UNSAT1.21
itc-b13-fixpoint-3SAT1.34
ethernet-fixpoint-1UNSAT1.36
sdlx-fixpoint-3UNSAT1.44
small-pipeline-fixpoint-2UNSAT1.8
cache-coherence-2-fixpoint-2UNSAT1.83
itc-b13-fixpoint-4SAT1.91
sdlx-fixpoint-4UNSAT2.13
usb-phy-fixpoint-2UNSAT2.57
itc-b13-fixpoint-5SAT2.73
sdlx-fixpoint-5UNSAT3.01
itc-b13-fixpoint-6SAT3.03
small-pipeline-fixpoint-3UNSAT3.19
small-seq-fixpoint-2UNSAT3.29
cache-coherence-3-fixpoint-2UNSAT3.54
ethernet-fixpoint-2UNSAT3.68
itc-b13-fixpoint-7SAT3.85
sdlx-fixpoint-6UNSAT3.93
itc-b13-fixpoint-8SAT4.4
cache-coherence-2-fixpoint-4UNSAT4.91
cache-coherence-3-fixpoint-3UNSAT5.08
small-seq-fixpoint-3UNSAT5.42
itc-b13-fixpoint-9SAT5.81
usb-phy-fixpoint-3UNSAT6.02
sdlx-fixpoint-7SAT6.02
cache-coherence-2-fixpoint-5UNSAT6.21
sdlx-fixpoint-8SAT6.78
itc-b13-fixpoint-10SAT6.98
pi-bus-fixpoint-1UNSAT7.21
ethernet-fixpoint-3UNSAT7.38
cache-coherence-2-fixpoint-6UNSAT7.5
small-seq-fixpoint-4UNSAT7.71
sdlx-fixpoint-9SAT7.93
sdlx-fixpoint-10SAT9.52
small-seq-fixpoint-5UNSAT10.31
usb-phy-fixpoint-4UNSAT11.81
small-seq-fixpoint-6UNSAT14.43
ethernet-fixpoint-4UNSAT14.99
small-seq-fixpoint-7UNSAT15.41
small-seq-fixpoint-8UNSAT17.95
usb-phy-fixpoint-5UNSAT20.12
small-seq-fixpoint-9UNSAT20.49
small-seq-fixpoint-10UNSAT22.62
AR-fixpoint-1FAIL28.53
AR-fixpoint-2FAIL102.19
pi-bus-fixpoint-2UNSAT171.54
AR-fixpoint-4FAIL256.62
AR-fixpoint-6FAIL407.38
pi-bus-fixpoint-3UNSAT469.48
AR-fixpoint-8FAIL628.01
AR-fixpoint-10FAIL730.52
small-swap1-fixpoint-7FAIL900.01
small-equiv-fixpoint-1FAIL900.01
small-equiv-fixpoint-5FAIL900.02
small-swap1-fixpoint-4FAIL900.02
small-equiv-fixpoint-4FAIL900.03
small-swap1-fixpoint-9FAIL900.03
small-swap1-fixpoint-6FAIL900.03
small-swap1-fixpoint-8FAIL900.05
small-swap1-fixpoint-10FAIL900.06
small-swap1-fixpoint-5FAIL900.07
small-equiv-fixpoint-8FAIL900.07
small-equiv-fixpoint-2FAIL900.09
small-equiv-fixpoint-3FAIL900.1