seed 15: 0.75
seed 4: 0.7422
seed 12: 0.7383
seed 17: 0.7383
seed 11: 0.7305
seed 7: 0.7109
seed 10: 0.707
seed 6: 0.6914
seed 14: 0.6875
seed 13: 0.6836
seed 1: 0.6758
seed 16: 0.6758
seed 0: 0.6719
seed 2: 0.6641
seed 8: 0.6641
seed 9: 0.6602
seed 3: 0.6523
seed 5: 0.6133
seed 18: 0.5938
