RESULT anneal seed=511 n=9..13 k=3..4 {'restarts': 4021, 'moves_tried': 1608214, 'moves_valid': 514637, 'states_scored': 514637, 'counterexamples': 0, 'cap_hits': 0, 'seconds': 200.0}
  histogram of floor(F) over scored states: {0: 32091, 1: 47701, 2: 51621, 3: 53172, 4: 50151, 5: 38795, 6: 38335, 7: 34804, 8: 36379, 9: 28070, 10: 20358, 11: 19238, 12: 16292, 13: 14294, 14: 9400, 15: 6334, 16: 5603, 17: 4378, 18: 2225, 19: 2292, 20: 911, 21: 805, 22: 607, 23: 259, 24: 368, 25: 70, 26: 84}
  best F = 26.51: ('n=13 arcs=[(2, 4), (3, 4), (0, 4), (1, 4), (4, 5), (3, 5), (0, 5), (1, 5), (5, 6), (4, 6), (3, 6), (0, 6), (6, 7), (3, 7), (4, 7), (5, 7), (4, 8), (5, 8), (7, 8), (6, 8), (4, 9), (5, 9), (8, 9), (7, 9), (4, 10), (8, 10), (6, 10), (7, 10), (8, 11), (5, 11), (6, 11), (4, 11), (8, 12), (9, 12), (4, 12), (5, 12), (0, 2), (1, 2)] | r_0=0 U_0=[0, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12] | r_1=1 U_1=[1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12] | r_2=2 U_2=[2, 4, 5, 6, 7, 8, 9, 10, 11, 12] | r_3=3 U_3=[3, 4, 5, 6, 7, 8, 9, 10, 11, 12]', 26.51, 1)
