Ward curve, p=2, r=5 terms, sym=False p4=False
finished: aborted=False, states expanded 543, visited 24321, time 3.0s
  child_dead_rank                          37284
  child_seen_(dead)                        24421
  child_seen_(leaf)                        26060
  child_seen_(live)                        3343
  dead_trivial                             110
  leaf_reject                              23668
  node_s1_depth2_dead                      102
  node_s1_depth2_leaf                      23668
  node_s2_depth2_dead                      7
  node_s2_depth2_live                      318
  node_s3_depth1_dead                      1
  node_s3_depth1_live                      224
degenerate accepts (some X_i = X_j, discarded): 0
ACCEPTED relations between distinct monomials: 0
