{
  "expected_raw_candidates": 64,
  "expected_unary_pruned_candidates": 16,
  "expected_solutions": 4,
  "max_nodes_with_forward_checking": 10,
  "expected_first_variable": "Python",
  "minimum_trace_events": 12
}
