RESULT anneal seed=512 n=8..12 k=3..4 {'restarts': 8012, 'moves_tried': 3204540, 'moves_valid': 945497, 'states_scored': 945497, 'counterexamples': 0, 'cap_hits': 0, 'seconds': 200.0}
  histogram of floor(F) over scored states: {0: 393750, 1: 200279, 2: 118213, 3: 85827, 4: 52381, 5: 31406, 6: 24035, 7: 15137, 8: 10499, 9: 5893, 10: 3420, 11: 2028, 12: 1526, 13: 663, 14: 306, 15: 79, 16: 46, 17: 8, 19: 1}
  best F = 19.09: ('n=12 arcs=[(0, 2), (2, 3), (0, 3), (1, 3), (1, 4), (2, 4), (3, 4), (3, 5), (2, 5), (4, 5), (5, 6), (3, 6), (4, 6), (5, 7), (6, 7), (3, 7), (3, 8), (4, 8), (7, 8), (6, 8), (4, 9), (5, 9), (3, 9), (8, 9), (5, 10), (8, 10), (9, 10), (4, 10), (9, 11), (10, 11), (8, 11), (4, 11), (1, 2), (0, 1)] | r_0=0 U_0=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11] | r_1=1 U_1=[1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11] | r_2=2 U_2=[2, 3, 4, 5, 6, 7, 8, 9, 10, 11] | r_3=7 U_3=[7, 8, 9, 10, 11]', 19.09, 1)
