one arc, one set: PC                                           got True   want True   ok
one arc, one set: ARB                                          got True   want True   ok
one arc, one set: LOC                                          got True   want True   ok
one arc, two sets, same root: PC                               got False  want False  ok
one arc, two sets, same root: ARB                              got False  want False  ok
one arc, two sets, same root: LOC                              got False  want False  ok
  ... vertex-only reading: PC'                                 got True   want True   ok
  ... vertex-only reading: ARB'                                got True   want True   ok
two parallel arcs, two sets, same root: PC                     got True   want True   ok
two parallel arcs, two sets, same root: ARB                    got True   want True   ok
two parallel arcs, two sets, same root: LOC                    got True   want True   ok
Remark 2.3(b): sets convex                                     got True   want True   ok
Remark 2.3(b): PC                                              got False  want False  ok
Remark 2.3(b): ARB                                             got False  want False  ok
Remark 2.3(b): LOC                                             got False  want False  ok
Remark 2.3(b): weak PC                                         got True   want True   ok
Remark 2.3(b): weak ARB                                        got True   want True   ok
Remark 2.3(b): weak LOC                                        got True   want True   ok
Section 4, path r-x-v: U convex                                got False  want False  ok
Section 4, path r-x-v: PC                                      got True   want True   ok
Section 4, path r-x-v: ARB                                     got False  want False  ok
Section 4, five vertices: U1 convex                            got False  want False  ok
Section 4, five vertices: U2 convex                            got True   want True   ok
Section 4, five vertices: PC                                   got True   want True   ok
Section 4, five vertices: LOC                                  got True   want True   ok
Section 4, five vertices: ARB                                  got False  want False  ok
three sources: PC                                              got True   want True   ok
three sources: ARB                                             got True   want True   ok
three sources: number of families                              got 1      want 1      ok
three sources: construction gives (P)                          got True   want True   ok
three sources: explicit check                                  got True   want True   ok
unreachable vertex: convex                                     got True   want True   ok
unreachable vertex: PC                                         got False  want False  ok
unreachable vertex: ARB                                        got False  want False  ok
unreachable vertex: LOC                                        got False  want False  ok
root after another vertex of its set: PC                       got False  want False  ok
root after another vertex of its set: ARB                      got False  want False  ok
root after another vertex of its set: LOC                      got False  want False  ok
two singleton sets at one root: PC                             got True   want True   ok
... ARB                                                        got True   want True   ok
two enumerations of cyclic configurations agree (32348 instances, 9806 configurations) got True   want True   ok
SELFTEST PASS
