Benchmark: Use CPU time rather than wall clock time

Formal-Systems-Laboratory / matching-logic-mm0

Formalisation of Matching Logic in Metamath 0

BSD 3-Clause "New" or "Revised" License

0 stars 1 forks source link

Open MirceaS opened 1 year ago

MirceaS commented 1 year ago

Use CPU time rather than wall clock time for benchmarking

nishantjr commented 1 year ago

Another, or an additional measure is to record the number of rewrites.