Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    Rankings: Holes

    All holes in Picat in bytes.

    # Golfer Holes Points Bytes Time
    1st sean-niemann 🇺🇸 1 0 12
    2nd GolfingSuccess 🇬🇷 1 0 48
    3rd Yewzir 🇧🇪 1 0 52
    4th JunkIce 1 0 168
    5th DialFrost 🇸🇬 3 0 196
    6th emgordon154 2 0 317
    7th Bubbler-4 3 0 327
    8th BREMAUCY 🇫🇷 1 0 1,017
    8th Ralac07 🇦🇺 1 0 1,017
    10th gigaprofisi 🇺🇸 1 0 1,020
    11th HumanoidCPU 30 0 77,213
    12th Shanethegamer 🇺🇸 65 0 197,327
    13th KatieLG 🇬🇧 65 0 225,975