ASSERT a cycle of Delta has non-positive length at vertex 12
CONSTRUCTION FAILED [((0, 5), 1), ((0, 8), 1), ((0, 10), 1), ((0, 11), 1), ((0, 17), 1), ((1, 5), 1), ((1, 6), 1), ((1, 8), 1), ((1, 10), 1), ((1, 11), 1), ((1, 18), 1), ((2, 4), 1), ((2, 12), 1), ((3, 4), 1), ((3, 8), 1), ((3, 14), 1), ((3, 16), 1), ((4, 5), 1), ((4, 6), 1), ((4, 7), 1), ((4, 8), 1), ((4, 9), 1), ((4, 10), 1), ((5, 6), 1), ((5, 7), 1), ((6, 9), 1), ((8, 9), 1), ((8, 10), 1), ((8, 11), 1), ((8, 12), 1), ((8, 14), 1), ((8, 15), 1), ((10, 11), 1), ((10, 12), 1), ((10, 14), 1), ((10, 15), 1), ((11, 12), 1), ((11, 13), 1), ((11, 16), 1), ((12, 13), 1), ((12, 14), 1), ((12, 15), 1), ((12, 16), 1), ((12, 17), 1), ((14, 16), 1), ((14, 17), 1), ((16, 17), 1), ((16, 18), 1), ((17, 18), 1)] [0, 1, 2, 3] [524129, 516066, 262132, 482584]
mode=tight seed=1 trials=60000 nmax=28 kmax=6: {'instances': 60000, 'PC': 60000, 'LOC': 60000, 'ARB': 11966, 'mismatch': 0, 'constructed_and_verified': 59999, 'construct_fail': 1, 'open_case_with_PC': 59980, 'max_J': 6} (311s)
