RESULT test_lemma1 fam=build seed=601 n=5..11 k=3..5 pot=rand64 weak=False {'assignments': 4057680, 'cycles': 6254648, 'instances': 162294, 'min_X_nonempty': 2082389, 'nonmin_X_empty_negative_cycle': 879899, 'nonmin_X_nonempty': 1095392, 'seconds': 200.0, 'vertices': 650920, 'vertices_skipped_more_than_3000_assignments': 27, 'vertices_with_several_minimisers': 348000}
EXAMPLE non-minimal admissible assignment with empty X: ('n=6 arcs=[(0, 1), (0, 1), (0, 1), (0, 1), (1, 2), (0, 2), (0, 2), (0, 3), (1, 3), (2, 3), (2, 3), (0, 3), (1, 4), (2, 4), (0, 4), (3, 4), (4, 5), (1, 5), (3, 5)] | r_0=0 U_0=[0, 1, 2, 3, 4, 5] | r_1=1 U_1=[1, 2, 3, 4, 5] | r_2=2 U_2=[2, 3, 4, 5] | r_3=3 U_3=[3, 4]', 5, (16, 17, 18), [(0, 1, '205581828352381211/1152921504606846976'), (0, 2, '-17788175965442672627/1152921504606846976'), (2, 0, '11757962114067005135/1152921504606846976'), (2, 1, '3844580472949306193/576460752303423488')], {1: {0: '-892007639982331021/72057594037927936', 1: '-5151318167385110725/576460752303423488'}, 3: {0: '-5632730789350370849/1152921504606846976', 1: '-4850765978759381799/576460752303423488', 2: '-1086918306463585999/72057594037927936', 3: '-7865306497974333831/576460752303423488'}, 4: {0: '6951555349650025975/1152921504606846976', 1: '3578568589001203593/576460752303423488', 2: '-2709155153948161663/288230376151711744', 3: '4297748289781670317/288230376151711744'}})
