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

InstanceResultTime
small-bug1-fixpoint-4SAT0.08
small-dyn-partition-fixpoint-1UNSAT0.09
small-bug1-fixpoint-5SAT0.09
small-bug1-fixpoint-6SAT0.1
small-bug1-fixpoint-3SAT0.11
small-bug1-fixpoint-8SAT0.11
small-bug1-fixpoint-9SAT0.12
small-bug1-fixpoint-10SAT0.13
small-dyn-partition-fixpoint-2UNSAT0.14
small-dyn-partition-fixpoint-3UNSAT0.2
small-dyn-partition-fixpoint-4UNSAT0.25
itc-b13-fixpoint-1UNSAT0.29
small-dyn-partition-fixpoint-5UNSAT0.3
sdlx-fixpoint-1UNSAT0.33
small-dyn-partition-fixpoint-6UNSAT0.35
small-dyn-partition-fixpoint-7UNSAT0.41
small-dyn-partition-fixpoint-9UNSAT0.53
small-dyn-partition-fixpoint-10UNSAT0.58
small-pipeline-fixpoint-1UNSAT0.61
usb-phy-fixpoint-1UNSAT0.7
itc-b13-fixpoint-2UNSAT0.8
sdlx-fixpoint-2UNSAT0.9
small-seq-fixpoint-1UNSAT0.93
small-swap2-fixpoint-5SAT0.99
cache-coherence-3-fixpoint-1UNSAT1.06
small-swap2-fixpoint-6SAT1.18
small-synabs-fixpoint-10UNSAT1.24
itc-b13-fixpoint-3SAT1.35
ethernet-fixpoint-1UNSAT1.39
small-swap2-fixpoint-7SAT1.4
small-swap2-fixpoint-8SAT1.6
small-swap2-fixpoint-9SAT1.81
cache-coherence-2-fixpoint-2UNSAT1.84
small-pipeline-fixpoint-2UNSAT1.86
itc-b13-fixpoint-4SAT1.92
small-swap2-fixpoint-10SAT2.07
sdlx-fixpoint-4UNSAT2.17
usb-phy-fixpoint-2UNSAT2.6
sdlx-fixpoint-5UNSAT2.89
itc-b13-fixpoint-6SAT3.08
small-seq-fixpoint-2UNSAT3.12
small-pipeline-fixpoint-3UNSAT3.18
cache-coherence-3-fixpoint-2UNSAT3.58
ethernet-fixpoint-2UNSAT3.66
itc-b13-fixpoint-7SAT3.83
sdlx-fixpoint-6UNSAT3.93
itc-b13-fixpoint-8SAT4.36
sdlx-fixpoint-7SAT5.43
itc-b13-fixpoint-9SAT5.72
cache-coherence-2-fixpoint-5UNSAT6.2
sdlx-fixpoint-8SAT6.69
itc-b13-fixpoint-10SAT6.88
ethernet-fixpoint-3UNSAT7.21
small-seq-fixpoint-4UNSAT7.74
sdlx-fixpoint-9SAT7.82
sdlx-fixpoint-10SAT9.36
usb-phy-fixpoint-4UNSAT11.64
small-seq-fixpoint-6UNSAT12.81
ethernet-fixpoint-4UNSAT14.74
usb-phy-fixpoint-5UNSAT19.67
small-seq-fixpoint-10UNSAT21.99
AR-fixpoint-2FAIL100.28
pi-bus-fixpoint-2UNSAT168.09
AR-fixpoint-4FAIL251.39
AR-fixpoint-6FAIL400.43
AR-fixpoint-8FAIL551.06
AR-fixpoint-10FAIL695.18
small-pipeline-fixpoint-9FAIL900
small-swap1-fixpoint-4FAIL900
small-equiv-fixpoint-3FAIL900
small-equiv-fixpoint-5FAIL900
small-equiv-fixpoint-8FAIL900
small-equiv-fixpoint-7FAIL900
small-swap1-fixpoint-7FAIL900
small-pipeline-fixpoint-8FAIL900
small-equiv-fixpoint-1FAIL900
small-pipeline-fixpoint-4FAIL900
small-swap1-fixpoint-8FAIL900
small-swap1-fixpoint-5FAIL900
small-equiv-fixpoint-2FAIL900
small-equiv-fixpoint-4FAIL900
small-pipeline-fixpoint-5FAIL900
small-swap1-fixpoint-6FAIL900
small-pipeline-fixpoint-10FAIL900
small-swap1-fixpoint-10FAIL900
small-swap1-fixpoint-9FAIL900