performance page

[soonhokong]

need a systematic way of monitoring performance across different versions and different options

Reference

• http://geoff.greer.fm/ag/speed
• https://gist.github.com/soonhokong/b68780deb18e9569848c
• http://cvc4.cs.nyu.edu/status

[soonhokong]

Per test, we want to keep:

• result (delta-sat/unsat)
• running time
• precision
• model (if delta-sat)
• stat info (# of prunings, # of branchings, # of checks, etc)