The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for HardwareFixpoint family
Download (75646.52 Kb)
Submitter:
Christoph Wintersteiger
Suite:
Wintersteiger
Domain:
Formal Verification
Description:
Hardware Fixpoint checks, as described in "Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura. Efficiently Solving Quantified Bit-Vector Formulas. Proceedings of FMCAD 2010"
Number of instances:
131
Results:
2020 - Track 1
2019 - Track 1
2018 - Track 1
2018 - Track 2
2018 - Track 3
2018 - Track 5
2017 - Track 1
2017 - Track 2
2017 - Track 3
2016 - Track 1
2016 - Track 2
2016 - Track 5
2016 - Track 6
2016 - Track 7
Instances:
AR-fixpoint-1
AR-fixpoint-10
AR-fixpoint-2
AR-fixpoint-3
AR-fixpoint-4
AR-fixpoint-5
AR-fixpoint-6
AR-fixpoint-7
AR-fixpoint-8
AR-fixpoint-9
cache-coherence-2-fixpoint-1
cache-coherence-2-fixpoint-2
cache-coherence-2-fixpoint-3
cache-coherence-2-fixpoint-4
cache-coherence-2-fixpoint-5
cache-coherence-2-fixpoint-6
cache-coherence-3-fixpoint-1
cache-coherence-3-fixpoint-2
cache-coherence-3-fixpoint-3
ethernet-fixpoint-1
ethernet-fixpoint-2
ethernet-fixpoint-3
ethernet-fixpoint-4
itc-b13-fixpoint-1
itc-b13-fixpoint-10
itc-b13-fixpoint-2
itc-b13-fixpoint-3
itc-b13-fixpoint-4
itc-b13-fixpoint-5
itc-b13-fixpoint-6
itc-b13-fixpoint-7
itc-b13-fixpoint-8
itc-b13-fixpoint-9
pi-bus-fixpoint-1
pi-bus-fixpoint-2
pi-bus-fixpoint-3
sdlx-fixpoint-1
sdlx-fixpoint-10
sdlx-fixpoint-2
sdlx-fixpoint-3
sdlx-fixpoint-4
sdlx-fixpoint-5
sdlx-fixpoint-6
sdlx-fixpoint-7
sdlx-fixpoint-8
sdlx-fixpoint-9
small-bug1-fixpoint-1
small-bug1-fixpoint-10
small-bug1-fixpoint-2
small-bug1-fixpoint-3
small-bug1-fixpoint-4
small-bug1-fixpoint-5
small-bug1-fixpoint-6
small-bug1-fixpoint-7
small-bug1-fixpoint-8
small-bug1-fixpoint-9
small-dyn-partition-fixpoint-1
small-dyn-partition-fixpoint-10
small-dyn-partition-fixpoint-2
small-dyn-partition-fixpoint-3
small-dyn-partition-fixpoint-4
small-dyn-partition-fixpoint-5
small-dyn-partition-fixpoint-6
small-dyn-partition-fixpoint-7
small-dyn-partition-fixpoint-8
small-dyn-partition-fixpoint-9
small-equiv-fixpoint-1
small-equiv-fixpoint-10
small-equiv-fixpoint-2
small-equiv-fixpoint-3
small-equiv-fixpoint-4
small-equiv-fixpoint-5
small-equiv-fixpoint-6
small-equiv-fixpoint-7
small-equiv-fixpoint-8
small-equiv-fixpoint-9
small-pipeline-fixpoint-1
small-pipeline-fixpoint-10
small-pipeline-fixpoint-2
small-pipeline-fixpoint-3
small-pipeline-fixpoint-4
small-pipeline-fixpoint-5
small-pipeline-fixpoint-6
small-pipeline-fixpoint-7
small-pipeline-fixpoint-8
small-pipeline-fixpoint-9
small-seq-fixpoint-1
small-seq-fixpoint-10
small-seq-fixpoint-2
small-seq-fixpoint-3
small-seq-fixpoint-4
small-seq-fixpoint-5
small-seq-fixpoint-6
small-seq-fixpoint-7
small-seq-fixpoint-8
small-seq-fixpoint-9
small-swap1-fixpoint-1
small-swap1-fixpoint-10
small-swap1-fixpoint-2
small-swap1-fixpoint-3
small-swap1-fixpoint-4
small-swap1-fixpoint-5
small-swap1-fixpoint-6
small-swap1-fixpoint-7
small-swap1-fixpoint-8
small-swap1-fixpoint-9
small-swap2-fixpoint-1
small-swap2-fixpoint-10
small-swap2-fixpoint-2
small-swap2-fixpoint-3
small-swap2-fixpoint-4
small-swap2-fixpoint-5
small-swap2-fixpoint-6
small-swap2-fixpoint-7
small-swap2-fixpoint-8
small-swap2-fixpoint-9
small-synabs-fixpoint-1
small-synabs-fixpoint-10
small-synabs-fixpoint-2
small-synabs-fixpoint-3
small-synabs-fixpoint-4
small-synabs-fixpoint-5
small-synabs-fixpoint-6
small-synabs-fixpoint-7
small-synabs-fixpoint-8
small-synabs-fixpoint-9
usb-phy-fixpoint-1
usb-phy-fixpoint-2
usb-phy-fixpoint-3
usb-phy-fixpoint-4
usb-phy-fixpoint-5
Contact
|
Organization
|
Links
|
Citing QBFLIB