Skip to content

Instantly share code, notes, and snippets.

@dong77

dong77/pover_time.csv

Last active March 1, 2020 17:25
Show Gist options
  • Save dong77/f7f4c6d89c18948752c9dde880769b64 to your computer and use it in GitHub Desktop.
Save dong77/f7f4c6d89c18948752c9dde880769b64 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
pover_time.csv
Number of constraints Duration (seconds) Throughput (constraints/second)
1M 2 452,559
2M 4 534,418
4M 7 568,660
8M 14 600,070
16M 27 615,164
32M 53 618,374
64M 106 620,857
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment