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/475ff7bdab1f68a756f7a645925c198c to your computer and use it in GitHub Desktop.
Save dong77/475ff7bdab1f68a756f7a645925c198c 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