N=3 K=2 MAXMULT=2: instances with all sets convex: 1830 (disagreements: 0); instances with a non-convex set: 276
non-convex instances by (PC, LOC, ARB):
    (False, False, False) 204
    (True, False, False) 20
    (True, True, True) 52
first example of [PC and not ARB]: {'arcs': [(0, 1), (1, 2)], 'roots': (0, 0), 'sets': [[0], [0, 2]], 'convex': [True, False]}
first example of [LOC and not ARB]: none
first example of [PC and LOC and not ARB]: none
first example of [ARB and not PC]: none
first example of [ARB and not LOC]: none
