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