Instances of family HardwareFixpoint solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
small-bug1-fixpoint-3SAT0
small-bug1-fixpoint-5SAT0.01
small-dyn-partition-fixpoint-1UNSAT0.01
small-bug1-fixpoint-4SAT0.01
small-bug1-fixpoint-9SAT0.01
small-bug1-fixpoint-6SAT0.01
small-bug1-fixpoint-8SAT0.01
small-bug1-fixpoint-10SAT0.02
small-dyn-partition-fixpoint-2UNSAT0.02
small-dyn-partition-fixpoint-3UNSAT0.06
small-dyn-partition-fixpoint-4UNSAT0.09
small-dyn-partition-fixpoint-5UNSAT0.11
itc-b13-fixpoint-1UNSAT0.14
small-dyn-partition-fixpoint-6UNSAT0.15
small-dyn-partition-fixpoint-7UNSAT0.2
sdlx-fixpoint-1UNSAT0.25
small-dyn-partition-fixpoint-9UNSAT0.25
small-dyn-partition-fixpoint-10UNSAT0.36
itc-b13-fixpoint-2UNSAT0.51
small-swap2-fixpoint-5SAT0.52
small-swap1-fixpoint-5SAT0.56
usb-phy-fixpoint-1UNSAT0.58
small-swap1-fixpoint-4SAT0.65
small-swap2-fixpoint-6SAT0.66
small-seq-fixpoint-1UNSAT0.68
small-swap1-fixpoint-6SAT0.73
small-swap2-fixpoint-7SAT0.8
small-swap1-fixpoint-7SAT0.82
small-synabs-fixpoint-10UNSAT0.89
small-swap2-fixpoint-8SAT0.94
small-pipeline-fixpoint-1UNSAT0.95
sdlx-fixpoint-2UNSAT0.96
small-swap1-fixpoint-8SAT1.04
itc-b13-fixpoint-3SAT1.09
ethernet-fixpoint-1UNSAT1.12
small-swap2-fixpoint-9SAT1.25
small-swap2-fixpoint-10SAT1.38
small-swap1-fixpoint-9SAT1.45
small-swap1-fixpoint-10SAT1.47
itc-b13-fixpoint-4SAT1.65
usb-phy-fixpoint-2UNSAT2.48
cache-coherence-3-fixpoint-1UNSAT2.53
cache-coherence-2-fixpoint-2UNSAT3
itc-b13-fixpoint-6SAT3.42
small-pipeline-fixpoint-2UNSAT3.7
ethernet-fixpoint-2UNSAT4.27
itc-b13-fixpoint-7SAT4.61
cache-coherence-3-fixpoint-2UNSAT5.77
itc-b13-fixpoint-8SAT5.91
small-pipeline-fixpoint-3UNSAT6.92
itc-b13-fixpoint-9SAT6.94
itc-b13-fixpoint-10SAT8.98
cache-coherence-2-fixpoint-5UNSAT10.72
small-seq-fixpoint-6FAIL900
sdlx-fixpoint-7FAIL900
small-seq-fixpoint-4FAIL900
sdlx-fixpoint-8FAIL900
sdlx-fixpoint-10FAIL900
small-pipeline-fixpoint-9FAIL900
small-equiv-fixpoint-3FAIL900
small-equiv-fixpoint-5FAIL900
small-equiv-fixpoint-8FAIL900
pi-bus-fixpoint-2FAIL900
small-equiv-fixpoint-1FAIL900
small-equiv-fixpoint-7FAIL900
small-pipeline-fixpoint-8FAIL900
ethernet-fixpoint-3FAIL900
small-seq-fixpoint-2FAIL900
AR-fixpoint-4FAIL900
sdlx-fixpoint-6FAIL900
sdlx-fixpoint-9FAIL900
AR-fixpoint-2FAIL900
small-pipeline-fixpoint-4FAIL900
small-seq-fixpoint-10FAIL900
AR-fixpoint-8FAIL900
small-equiv-fixpoint-2FAIL900
small-equiv-fixpoint-4FAIL900
small-pipeline-fixpoint-5FAIL900
AR-fixpoint-10FAIL900
small-pipeline-fixpoint-10FAIL900
ethernet-fixpoint-4FAIL900
usb-phy-fixpoint-4FAIL900
AR-fixpoint-6FAIL900
usb-phy-fixpoint-5FAIL900
sdlx-fixpoint-4FAIL900
sdlx-fixpoint-5FAIL900