Some Benchmarks
Benchmarks for Partial Quantifier Elimination (PQE)
General information
Definition of PQE, binaries of PQE solvers, examples of PQE problems
Equivalence checking
PQE problems encoding steps of equivalence checking
FIFO bufferr
PQE problems encoding property generation for a buggy FIFO buffer
HWMCC-13
PQE problems encoding property generation for HWMCC-13 benchmarks
Symbolic simulation
PQE problems encoding generation of properties that mimick symbolic simulation
Quantifier elimination
Quantifier elimination problems encoded as PQE
Random
PQE problems generated randomly