| Description: | The QBF examples are derived from Bounded Model Checking of Blackbox
Designs where the blackboxes are modelled using different styles, i.e.,
using 01X-logic or by using additional variables. The benchmark family
contains several configurations for designs having 3 blackboxes.
The unfolding depth is from 1 to 10. | |