0

I have been working on model generation problem on bit-vectors using SMT-LIB format. I want to know the execution time of my programs. I could only found the below statement in the paper ** "http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r2015-06-28.pdf"**

Some commonly used statistics (e.g., number of restarts of a solver’s propositional reasoning engine) are difficult to define precisely and generally, while the exact semantics of others, such as time and memory usage, have not being agreed upon yet by the SMT-community.

What is the SMT-syntax for execution time of a program?

Chaitanya
  • 11
  • 1
  • Am I correct, you want to know time estimations for your SMT execution? – CaptainTrunky Mar 23 '17 at 07:28
  • In my opinion, in principle, it should be more fair to time the SMT solver with an independent tool/routine that behaves exactly the same, started and stopped at the same *'time'*, for all of them. – Patrick Trentin Apr 04 '17 at 13:13

0 Answers0