digraph {
  "Original Problem (DIMACS)" -> "CaDiCaL Solver";
  "CaDiCaL Solver" -> "CaDiCaL Solver";
  "Original Problem (DIMACS)" -> "TCP Stream";
  "TCP Stream" -> "Reconstructed Problem (DIMACS)";
  "Reconstructed Problem (DIMACS)" -> "Parse (CaDiCaL) and wait for cubes";
}
