A Synthetic Benchmark

Next: Conclusions Up: Some SAT Benchmarks Visualised Previous: Parity Problem

A Synthetic Benchmark

Randomly generated synthetic problems, from the DIMACS benchmark suite, problem dubois20.cnf. Each graph shows quite a different structural interpretation, illustrating both the potential difference between the graph interpretation of the problem, as well as how this effects the graph layout algorithm.

**Figure 13:** A Synthetic Benchmark, Cooccurrence of Variables
$\begin{figure}\epsfig{figure=images/dubois20_vco,width=\textwidth} \end{figure}$

**Figure 14:** A Synthetic Benchmark, Cooccurrence of Literals
$\begin{figure}\epsfig{figure=images/dubois20_lco,width=\textwidth} \end{figure}$

**Figure 15:** A Synthetic Benchmark, Basic Implicative Interpretation
$\begin{figure}\epsfig{figure=images/dubois20_imp,width=\textwidth} \end{figure}$

Last modified: 2004-03-17
Andrew Slater