RESULT anneal seed=502 n=9..13 k=3..3 {'restarts': 541, 'moves_tried': 216370, 'moves_valid': 73341, 'states_scored': 73341, 'counterexamples': 0, 'cap_hits': 515, 'seconds': 270.2}
  histogram of floor(F) over scored states: {0: 16967, 1: 10205, 2: 8672, 3: 7518, 4: 6143, 5: 4614, 6: 3895, 7: 3431, 8: 3008, 9: 2233, 10: 1517, 11: 1365, 12: 1139, 13: 1049, 14: 555, 15: 382, 16: 379, 17: 174, 18: 78, 19: 17}
  best F = 19.09: ('n=13 arcs=[(2, 3), (1, 3), (0, 3), (3, 4), (1, 4), (2, 4), (4, 5), (3, 5), (2, 5), (5, 6), (3, 6), (4, 6), (4, 7), (6, 7), (3, 8), (7, 8), (6, 8), (8, 9), (7, 9), (3, 9), (3, 10), (4, 10), (3, 11), (10, 11), (6, 12), (4, 12), (9, 12), (8, 10), (3, 7), (6, 11)] | r_0=0 U_0=[0, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12] | r_1=1 U_1=[1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12] | r_2=2 U_2=[2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]', 19.09, 1)
