Skip to content

Instantly share code, notes, and snippets.

@dong77

dong77/prover_time2.csv

Created March 1, 2020 16:38
Show Gist options
  • Save dong77/13e9943b12153ac21f8f14c5b86fda34 to your computer and use it in GitHub Desktop.
Save dong77/13e9943b12153ac21f8f14c5b86fda34 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
prover_time2.csv
Number of CPU cores Duration (seconds) Throughput (constraints/second)
1 1,647 40,184
2 832 79,501
4 417 158,564
8 212 311,901
16 106 620,857
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment