Daniel Lubarov b0b2a10da0
Only log timing for the final proof in recursion tests (#315)
* Only log timing for the final proof in recursion tests

Just to reduce noise; the performance of the final proof is most meaningful

* fmt
2021-10-21 14:22:22 -07:00
..
2021-08-16 11:08:26 +02:00
2021-10-13 15:45:43 +02:00
2021-09-29 12:07:27 -07:00
2021-09-07 18:28:28 -07:00
2021-10-13 15:45:43 +02:00
2021-07-29 22:00:29 -07:00
2021-10-07 19:30:39 +02:00