RESULT test_lemma1 fam=general seed=602 n=3..9 k=2..5 pot=rand64 weak=False {'assignments': 2496697, 'cycles': 5288684, 'instances': 199169, 'min_X_nonempty': 336530, 'nonmin_X_empty_negative_cycle': 934106, 'nonmin_X_nonempty': 1226061, 'seconds': 150.2, 'vertices': 148438, 'vertices_skipped_more_than_3000_assignments': 29, 'vertices_with_several_minimisers': 70829}
EXAMPLE non-minimal admissible assignment with empty X: ('n=6 arcs=[(0, 2), (0, 3), (0, 5), (1, 2), (1, 3), (1, 4), (1, 5), (1, 5), (1, 5), (2, 3), (2, 3), (2, 4), (3, 4), (3, 4)] | r_0=0 U_0=[0] | r_1=0 U_1=[0, 2, 3, 4, 5] | r_2=0 U_2=[0, 2, 3, 4, 5] | r_3=3 U_3=[3] | r_4=1 U_4=[1, 2, 3, 4, 5]', 4, (12, 11, 5), [(1, 2, '-5186166251166259987/288230376151711744'), (1, 4, '-600113838943433091/36028797018963968'), (2, 1, '-14719995646010079153/1152921504606846976'), (2, 4, '-3385712842922046343/576460752303423488')], {1: {4: '4670800453416629005/576460752303423488'}, 2: {1: '-16197351157835361809/1152921504606846976', 2: '-46167359744540083/36028797018963968', 4: '-4124390598834687671/576460752303423488'}, 3: {1: '7440589817820358223/1152921504606846976', 2: '-13304075186844681725/1152921504606846976', 3: '-6829835331613669047/576460752303423488', 4: '-11763053028369500689/1152921504606846976'}})
