{
  "total_traces": 677,
  "stage1_bound": 657,
  "stage1_bound_traces": 657,
  "stage2_clusters": 20,
  "stage2_unbound_clustered": 20,
  "total_clusters": 677,
  "execution_time_s": 16.848892211914062,
  "coverage": 1.0
}