Ward curve, p=2, r=4 terms, sym=True p4=True
finished: aborted=False, states expanded 11, visited 17, time 0.0s
  child_dead_rank                          352
  child_seen_(dead)                        147
  child_seen_(live)                        1
  dead_p4                                  3
  dead_trivial                             3
  node_s1_depth2_dead                      3
  node_s2_depth1_dead                      3
  node_s2_depth1_live                      10
degenerate accepts (some X_i = X_j, discarded): 0
ACCEPTED relations between distinct monomials: 0
elapsed_seconds 0
