[x] Record the corresponding computation time (in coq or OCaml ?) and output formula weight
Related to #9, this would help check that the introduction of a simplification / optimisation actually increases the computation time or reduces the output size.
Related to #9, this would help check that the introduction of a simplification / optimisation actually increases the computation time or reduces the output size.