From David:
That run was game 5 (indexed from zero) in pogo_100_PN, which we seem to be up to date on (our r1870, git release_2.0
49d97423e3fc44f7c040a206fcb6da38616a9f5b)
I believe they get played in 'ls' order, so I'd expect that game was POGO_L00_T01_S01_X0100_U9999_V0_G00005_I0745_N0.json
So I ran it separately and sure enough, that's the one. I also double-checked that our .json matches the git release 2.0 version.
There may be others...
From David: That run was game 5 (indexed from zero) in pogo_100_PN, which we seem to be up to date on (our r1870, git release_2.0 49d97423e3fc44f7c040a206fcb6da38616a9f5b)
I believe they get played in 'ls' order, so I'd expect that game was POGO_L00_T01_S01_X0100_U9999_V0_G00005_I0745_N0.json
So I ran it separately and sure enough, that's the one. I also double-checked that our .json matches the git release 2.0 version. There may be others...