Benchmark

[FissoreD]

• [ ] Compilation time
• [ ] Resolution time
  • [ ] total-elpi (plus elpi-search + elpi-compile-goal + elpi-compile-ctx...)
  • [ ] coq backend (class_tactics_hacked)
• [ ] elpi optimization time (option in elpi)