Some Benchmarks
Benchmarks for Partial Quantifier Elimination (PQE)
General information
Definition of PQE, binaries of PQE solvers, examples of PQE problems
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