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

InstanceResultTime
small-bug1-fixpoint-3SAT0.08
small-bug1-fixpoint-5SAT0.09
small-dyn-partition-fixpoint-1UNSAT0.09
small-bug1-fixpoint-4SAT0.09
small-bug1-fixpoint-6SAT0.1
small-bug1-fixpoint-9SAT0.12
small-bug1-fixpoint-8SAT0.12
small-bug1-fixpoint-10SAT0.13
small-dyn-partition-fixpoint-2UNSAT0.14
small-dyn-partition-fixpoint-3UNSAT0.21
small-dyn-partition-fixpoint-4UNSAT0.25
itc-b13-fixpoint-1UNSAT0.3
small-dyn-partition-fixpoint-5UNSAT0.31
sdlx-fixpoint-1UNSAT0.34
small-dyn-partition-fixpoint-6UNSAT0.37
small-dyn-partition-fixpoint-7UNSAT0.42
small-dyn-partition-fixpoint-9UNSAT0.54
small-dyn-partition-fixpoint-10UNSAT0.59
small-pipeline-fixpoint-1UNSAT0.64
usb-phy-fixpoint-1UNSAT0.73
sdlx-fixpoint-2UNSAT0.92
itc-b13-fixpoint-2UNSAT0.94
small-seq-fixpoint-1UNSAT0.96
small-swap2-fixpoint-5SAT1.01
cache-coherence-3-fixpoint-1UNSAT1.12
small-swap2-fixpoint-6SAT1.21
small-synabs-fixpoint-10UNSAT1.27
ethernet-fixpoint-1UNSAT1.42
small-swap2-fixpoint-7SAT1.44
small-swap2-fixpoint-8SAT1.65
cache-coherence-2-fixpoint-2UNSAT1.69
itc-b13-fixpoint-3SAT1.79
usb-phy-fixpoint-2UNSAT1.82
small-swap2-fixpoint-9SAT1.86
small-pipeline-fixpoint-2UNSAT1.9
small-swap2-fixpoint-10SAT2.11
sdlx-fixpoint-4UNSAT2.29
cache-coherence-3-fixpoint-2UNSAT2.5
itc-b13-fixpoint-4SAT2.81
sdlx-fixpoint-5UNSAT2.97
small-seq-fixpoint-2UNSAT3.22
small-pipeline-fixpoint-3UNSAT3.25
itc-b13-fixpoint-8SAT4.07
cache-coherence-2-fixpoint-5UNSAT4.57
usb-phy-fixpoint-4UNSAT4.72
sdlx-fixpoint-6UNSAT5.5
itc-b13-fixpoint-6SAT6.74
usb-phy-fixpoint-5UNSAT7.01
itc-b13-fixpoint-10SAT7.03
small-seq-fixpoint-4UNSAT7.84
ethernet-fixpoint-2UNSAT8.07
sdlx-fixpoint-7SAT8.19
sdlx-fixpoint-8SAT9.64
sdlx-fixpoint-9SAT11.24
itc-b13-fixpoint-7SAT11.6
itc-b13-fixpoint-9SAT12.5
small-seq-fixpoint-6UNSAT12.9
sdlx-fixpoint-10SAT13.82
ethernet-fixpoint-3UNSAT15.85
pi-bus-fixpoint-2UNSAT19.14
small-seq-fixpoint-10UNSAT22.27
ethernet-fixpoint-4UNSAT40.31
AR-fixpoint-2FAIL100.78
AR-fixpoint-4FAIL253.29
AR-fixpoint-6FAIL400.42
AR-fixpoint-8FAIL551.82
AR-fixpoint-10FAIL697.01
small-swap1-fixpoint-10FAIL900
small-swap1-fixpoint-9FAIL900
small-equiv-fixpoint-5FAIL900
small-equiv-fixpoint-8FAIL900
small-pipeline-fixpoint-9FAIL900
small-swap1-fixpoint-4FAIL900
small-equiv-fixpoint-3FAIL900
small-equiv-fixpoint-1FAIL900
small-equiv-fixpoint-7FAIL900
small-swap1-fixpoint-7FAIL900
small-pipeline-fixpoint-8FAIL900
small-pipeline-fixpoint-4FAIL900
small-equiv-fixpoint-2FAIL900
small-equiv-fixpoint-4FAIL900
small-swap1-fixpoint-8FAIL900
small-swap1-fixpoint-5FAIL900
small-pipeline-fixpoint-10FAIL900
small-pipeline-fixpoint-5FAIL900
small-swap1-fixpoint-6FAIL900