RESULT anneal seed=501 n=8..12 k=3..4 {'restarts': 262, 'moves_tried': 104724, 'moves_valid': 31649, 'states_scored': 31649, 'counterexamples': 0, 'cap_hits': 1091, 'seconds': 270.1}
  histogram of floor(F) over scored states: {0: 8830, 1: 6091, 2: 4207, 3: 2964, 4: 2141, 5: 1723, 6: 1354, 7: 1129, 8: 1126, 9: 526, 10: 379, 11: 242, 12: 248, 13: 184, 14: 77, 15: 61, 16: 36, 17: 36, 18: 36, 19: 20, 20: 29, 21: 11, 22: 42, 23: 6, 24: 24, 25: 6, 26: 85, 27: 7, 29: 8, 31: 21}
  best F = 31.56: ('n=12 arcs=[(0, 1), (0, 2), (0, 3), (2, 5), (0, 6), (2, 9), (3, 9), (0, 9), (0, 2), (0, 2), (0, 1), (1, 5), (0, 1), (1, 3), (0, 10), (2, 6), (0, 1), (1, 7), (1, 6), (0, 7), (3, 4), (0, 8), (5, 7), (1, 10), (0, 2), (3, 8), (0, 3), (0, 5), (6, 9), (0, 3), (1, 4), (0, 5), (1, 8), (4, 10), (0, 4), (4, 6), (0, 4), (2, 8), (4, 7), (6, 10)] | r_0=0 U_0=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10] | r_1=0 U_1=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10] | r_2=0 U_2=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10] | r_3=0 U_3=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10]', 45.85, 20000)
