search

dvoits / z3test

Test and benchmark repository for Z3.
Other
0 stars 0 forks source link

Provide consistency of performance measurements #3

Open dvoits opened 7 years ago

dvoits commented 7 years ago

As a developer of Z3, I want to get consistent measurements of Z3 performance, so that the results of different runs would be comparable and contain no noise caused by differences in machine types.

Tasks

  1. Use worker tool or an alternative to manually run z3 performance measurements on Azure Batch and check results consistency.
  2. Investigate how get consistent performance measurements on Azure Batch.