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

InstanceResultTime
small-dyn-partition-fixpoint-1UNSAT0
small-bug1-fixpoint-3SAT0
small-bug1-fixpoint-4SAT0
small-bug1-fixpoint-6SAT0.01
small-bug1-fixpoint-9SAT0.01
small-bug1-fixpoint-8SAT0.01
small-dyn-partition-fixpoint-2UNSAT0.01
small-bug1-fixpoint-5SAT0.01
small-bug1-fixpoint-10SAT0.01
small-dyn-partition-fixpoint-3UNSAT0.03
small-dyn-partition-fixpoint-4UNSAT0.04
itc-b13-fixpoint-1UNSAT0.05
small-dyn-partition-fixpoint-5UNSAT0.06
small-dyn-partition-fixpoint-6UNSAT0.08
small-dyn-partition-fixpoint-7UNSAT0.12
small-dyn-partition-fixpoint-9UNSAT0.16
sdlx-fixpoint-1UNSAT0.17
small-dyn-partition-fixpoint-10UNSAT0.2
itc-b13-fixpoint-2UNSAT0.28
small-pipeline-fixpoint-1UNSAT0.32
small-seq-fixpoint-1UNSAT0.49
itc-b13-fixpoint-3SAT0.68
small-swap1-fixpoint-4SAT0.68
usb-phy-fixpoint-1UNSAT0.79
small-swap2-fixpoint-6SAT0.9
small-swap1-fixpoint-6SAT0.94
itc-b13-fixpoint-4SAT1.42
small-swap2-fixpoint-5SAT1.5
small-swap1-fixpoint-8SAT1.53
small-swap1-fixpoint-5SAT1.58
small-swap2-fixpoint-8SAT1.62
small-swap1-fixpoint-7SAT1.66
sdlx-fixpoint-2UNSAT1.91
small-swap2-fixpoint-7SAT2.1
small-swap2-fixpoint-10SAT2.2
small-swap1-fixpoint-10SAT2.39
small-synabs-fixpoint-10UNSAT2.96
small-pipeline-fixpoint-2UNSAT3.06
itc-b13-fixpoint-6SAT3.13
small-swap1-fixpoint-9SAT3.38
cache-coherence-3-fixpoint-1UNSAT3.39
small-swap2-fixpoint-9SAT3.43
small-seq-fixpoint-2UNSAT4.3
itc-b13-fixpoint-7SAT4.62
ethernet-fixpoint-1UNSAT4.72
cache-coherence-2-fixpoint-2UNSAT5.22
usb-phy-fixpoint-2UNSAT5.65
itc-b13-fixpoint-8SAT6.27
itc-b13-fixpoint-9SAT7.49
itc-b13-fixpoint-10SAT9.51
small-pipeline-fixpoint-3UNSAT13.29
cache-coherence-3-fixpoint-2UNSAT14.53
ethernet-fixpoint-2UNSAT21.73
usb-phy-fixpoint-4UNSAT22.08
sdlx-fixpoint-4UNSAT29.24
small-seq-fixpoint-4UNSAT35.97
cache-coherence-2-fixpoint-5UNSAT37.97
ethernet-fixpoint-3UNSAT39.15
usb-phy-fixpoint-5UNSAT43.24
small-seq-fixpoint-6UNSAT116.34
small-pipeline-fixpoint-10FAIL900
small-pipeline-fixpoint-5FAIL900
AR-fixpoint-10FAIL900
AR-fixpoint-6FAIL900
ethernet-fixpoint-4FAIL900
sdlx-fixpoint-5FAIL900
sdlx-fixpoint-8FAIL900
sdlx-fixpoint-7FAIL900
small-equiv-fixpoint-5FAIL900
small-equiv-fixpoint-8FAIL900
pi-bus-fixpoint-2FAIL900
sdlx-fixpoint-10FAIL900
small-pipeline-fixpoint-9FAIL900
small-equiv-fixpoint-3FAIL900
AR-fixpoint-4FAIL900
sdlx-fixpoint-6FAIL900
small-equiv-fixpoint-1FAIL900
small-equiv-fixpoint-7FAIL900
small-pipeline-fixpoint-8FAIL900
AR-fixpoint-2FAIL900
small-pipeline-fixpoint-4FAIL900
sdlx-fixpoint-9FAIL900
small-equiv-fixpoint-2FAIL900
small-equiv-fixpoint-4FAIL900
small-seq-fixpoint-10FAIL900
AR-fixpoint-8FAIL900