Skip to content
This repository was archived by the owner on Oct 31, 2023. It is now read-only.

leaderboard results are wrong after updating #17

Closed
porcuquine opened this issue Feb 6, 2019 · 5 comments
Closed

leaderboard results are wrong after updating #17

porcuquine opened this issue Feb 6, 2019 · 5 comments
Labels
bug Something isn't working good first issue Good for newcomers

Comments

@porcuquine
Copy link

I performed a number of replications at different sizes. Then I ran a second replication at 1GiB. Now the leaderboard shows my results for that last run for all my entries.

I expect to see my old entries, but wherever they should be, the same entry for my latest run appears.

[
  {
    "id": 3,
    "prover": "poooja",
    "repl_time": 2,
    "params": {
      "id": -2822207868961647600,
      "typ": "Zigzag",
      "size": 10240,
      "challenge_count": 2,
      "vde": 0,
      "degree": 6,
      "expansion_degree": 6,
      "layers": 10
    }
  },
  {
    "id": 1,
    "prover": "nicola",
    "repl_time": 6,
    "params": {
      "id": 5499354480946719000,
      "typ": "Zigzag",
      "size": 1048576,
      "challenge_count": 2,
      "vde": 1,
      "degree": 6,
      "expansion_degree": 6,
      "layers": 1
    }
  },
  {
    "id": 2,
    "prover": "Whyrusleeping",
    "repl_time": 2494,
    "params": {
      "id": 8939453956850745000,
      "typ": "Zigzag",
      "size": 1073741824,
      "challenge_count": 2,
      "vde": 0,
      "degree": 6,
      "expansion_degree": 6,
      "layers": 10
    }
  },
  {
    "id": 7,
    "prover": "porcuquine",
    "repl_time": 2588,
    "params": {
      "id": 8939453956850745000,
      "typ": "Zigzag",
      "size": 1073741824,
      "challenge_count": 2,
      "vde": 0,
      "degree": 6,
      "expansion_degree": 6,
      "layers": 10
    }
  },
  {
    "id": 4,
    "prover": "porcuquine",
    "repl_time": 2588,
    "params": {
      "id": 8939453956850745000,
      "typ": "Zigzag",
      "size": 1073741824,
      "challenge_count": 2,
      "vde": 0,
      "degree": 6,
      "expansion_degree": 6,
      "layers": 10
    }
  },
  {
    "id": 5,
    "prover": "porcuquine",
    "repl_time": 2588,
    "params": {
      "id": 8939453956850745000,
      "typ": "Zigzag",
      "size": 1073741824,
      "challenge_count": 2,
      "vde": 0,
      "degree": 6,
      "expansion_degree": 6,
      "layers": 10
    }
  },
  {
    "id": 6,
    "prover": "porcuquine",
    "repl_time": 2588,
    "params": {
      "id": 8939453956850745000,
      "typ": "Zigzag",
      "size": 1073741824,
      "challenge_count": 2,
      "vde": 0,
      "degree": 6,
      "expansion_degree": 6,
      "layers": 10
    }
  }
]
@porcuquine porcuquine added the bug Something isn't working label Feb 6, 2019
@dignifiedquire
Copy link
Contributor

where the other runs with different params?

@dignifiedquire
Copy link
Contributor

and did you reuse the seed?

@porcuquine
Copy link
Author

The other runs were with different params, and they were showing up distinctly before this happened.

I didn't intentionally reuse the seed and assume I didn't — especially since the leaderboard was correct before this happened.

@porcuquine
Copy link
Author

FYI, I have since run with 1024 again — and the new result showed up again.

@dignifiedquire dignifiedquire added the good first issue Good for newcomers label Mar 8, 2019
@dignifiedquire
Copy link
Contributor

closing for now, please reopen if still a problem

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Something isn't working good first issue Good for newcomers
Projects
None yet
Development

No branches or pull requests

2 participants