[P4 x P3] |V|=12 convex sets=60 hyperplanes=5
  (A) TP(x,{},y) = 2 d(x,y) for all 144 pairs: OK
  (B) TP >= 2*hyp(F u {x,y}) on 300 random triples (|F|<=3): OK; equality in 300 of them
  (C) hyp(S) = sum_i (|hull_i|-1) on all tested S: OK
[T(5 vertices) x P3] |V|=15 convex sets=102 hyperplanes=6
  (A) TP(x,{},y) = 2 d(x,y) for all 225 pairs: OK
  (B) TP >= 2*hyp(F u {x,y}) on 300 random triples (|F|<=3): OK; equality in 300 of them
  (C) hyp(S) = sum_i (|hull_i|-1) on all tested S: OK
[P2 x P2 x P3] |V|=12 convex sets=54 hyperplanes=4
  (A) TP(x,{},y) = 2 d(x,y) for all 144 pairs: OK
  (B) TP >= 2*hyp(F u {x,y}) on 200 random triples (|F|<=3): OK; equality in 200 of them
[L-shape] |V|=8 convex sets=31 hyperplanes=4
  (A) TP(x,{},y) = 2 d(x,y) for all 64 pairs: OK
  (B) TP >= 2*hyp(F u {x,y}) on 300 random triples (|F|<=3): OK; equality in 300 of them
[random tree(6) x P4] |V|=24 convex sets=300 hyperplanes=8
  (A) TP(x,{},y) = 2 d(x,y) for all 576 pairs: OK
  (B) TP >= 2*hyp(F u {x,y}) on 150 random triples (|F|<=4): OK; equality in 150 of them
  (C) hyp(S) = sum_i (|hull_i|-1) on all tested S: OK
  (D) P2 x P2, n=2, L=1: TP(x,F,x)=4 (bound 2d(n-1)L=4), TS=4 (lower bound (N-1)L=3)
  (D) P3 x P3, n=2, L=2: TP(x,F,x)=8 (bound 2d(n-1)L=8), TS=8 (lower bound (N-1)L=6)
ALL CHECKS PASSED
