ASSERT a cycle of Delta has non-positive length at vertex 17
CONSTRUCTION FAILED [((0, 4), 1), ((0, 8), 1), ((0, 9), 1), ((0, 13), 1), ((0, 14), 1), ((0, 20), 1), ((1, 4), 1), ((1, 5), 1), ((1, 8), 1), ((1, 10), 1), ((1, 18), 1), ((2, 4), 1), ((2, 5), 1), ((3, 4), 1), ((3, 5), 1), ((3, 6), 1), ((3, 7), 1), ((3, 10), 1), ((3, 11), 1), ((3, 13), 1), ((3, 19), 1), ((4, 6), 1), ((4, 8), 1), ((4, 12), 1), ((4, 16), 1), ((4, 17), 1), ((4, 19), 1), ((5, 6), 1), ((5, 7), 1), ((5, 8), 1), ((5, 9), 1), ((5, 10), 1), ((5, 13), 1), ((5, 15), 1), ((6, 7), 1), ((8, 10), 1), ((8, 11), 1), ((8, 13), 1), ((8, 14), 1), ((8, 15), 1), ((8, 18), 1), ((10, 12), 1), ((10, 14), 1), ((10, 15), 1), ((12, 16), 1), ((13, 14), 1), ((14, 15), 1), ((14, 19), 1), ((15, 17), 1), ((15, 18), 1), ((15, 19), 1), ((15, 20), 1), ((19, 20), 1)] [0, 1, 2, 3] [1894353, 917298, 1832436, 2027000]
mode=tight seed=6 trials=60000 nmax=28 kmax=6: {'instances': 60000, 'PC': 60000, 'LOC': 60000, 'ARB': 11977, 'mismatch': 0, 'constructed_and_verified': 59999, 'construct_fail': 1, 'open_case_with_PC': 59977, 'max_J': 6} (277s)
