A Unified Framework for DPLL(T) + Certificates

Figure 6

Comparison between the number of initial clauses and memory usage.