The clause involvement visualization videos

The videos provided here do not use the exact same version of the clause involvement visualization as used in the thesis. In these visualizations yellow bars correspond to problem clauses and blue bars correspond to conflict clauses. The height of a bar corresponds to the number of clauses that remain in the solver for that job, there is no way to see the total number of clauses ever introduced for that job. The tips of the bars indicate recent usage in conflict derivations. The brighter the color, the more recent the usage.

We provide several example videos created using a specially modified version of MiniSAT linked to AIGBMC here. One can watch the videos from the embedded YouTube frames below, or download them here.