RESULT test_lemma1 fam=build seed=604 n=5..10 k=3..5 pot=rand64 weak=True {'assignments': 3259132, 'cycles': 3914660, 'instances': 82875, 'min_X_nonempty': 1027217, 'nonmin_X_empty_negative_cycle': 700795, 'nonmin_X_nonempty': 1531120, 'seconds': 150.0, 'vertices': 307439, 'vertices_skipped_more_than_3000_assignments': 12, 'vertices_with_several_minimisers': 170566}
EXAMPLE non-minimal admissible assignment with empty X: ('n=5 arcs=[(0, 1), (0, 1), (0, 1), (0, 1), (0, 1), (1, 2), (0, 2), (0, 2), (1, 2), (0, 3), (2, 3), (0, 3), (2, 3), (1, 3), (2, 4), (3, 4), (1, 4), (2, 4), (3, 4)] | r_0=0 U_0=[0, 1, 2, 3, 4] | r_1=0 U_1=[0, 1] | r_2=2 U_2=[2] | r_3=0 U_3=[0, 1, 2, 3, 4]', 3, (13, 10), [(0, 3, '994073411542446525/576460752303423488'), (3, 0, '-563068144679739427/72057594037927936')], {1: {0: '-13248415557915973471/1152921504606846976', 1: '4398518684353509295/576460752303423488', 3: '-11260268734831080421/1152921504606846976'}, 2: {0: '-2458115723628191525/1152921504606846976', 2: '-874151966024905109/576460752303423488', 3: '6550974591247639307/1152921504606846976'}})
