--- Theorem 1 on random networks (tau compared with Fact-D value; self-duality)
  star m=2: {'n': 8, 'ok': 8, 'pres': 8, 'rev': 0}
  star m=3: {'n': 8, 'ok': 8, 'pres': 8, 'rev': 0}
  star m=4: {'n': 8, 'ok': 8, 'pres': 8, 'rev': 0}
  star m=5: {'n': 8, 'ok': 8, 'pres': 8, 'rev': 0}
  star m=6: {'n': 8, 'ok': 8, 'pres': 8, 'rev': 0}
  direct B||B*: {'n': 10, 'ok': 10, 'pres': 10, 'rev': 5}
--- certificates (max_edges 220, up to 500 per family)
  F1: {'n': 500, 'ok': 500, 'pres': 500, 'rev': 0} fails []
  F2: {'n': 500, 'ok': 500, 'pres': 500, 'rev': 0} fails []
  F3: {'n': 500, 'ok': 500, 'pres': 500, 'rev': 1} fails []
