Details:
This document contains an evaluation of the efficiency of QBF-based bounded semantics model checking
implemented in verds version 1.30.
This evaluation of bounded semantics model checking is relative to NuSMV 2.5.0 (BDD based symbolic model checking)
with experimental data based on
two types of random boolean programs.