Figure 4.11, Figure 4.12, and Table 4.2 - Conflicts per solver call in IC3/PDR

These Figures were obtained by adding some printf's to the sources of the MiniSAT version used inside ZZ's PDR implementation Trebuchet.

The same type of figure for all HWMCC'11 benchmarks that were solved within 5 minutes are provided both for benchmarks found satisfiable, and for benchmarks found unsatisfiable.