augustin64 03ad4b01e5 Use OpenMP instead of clock time
It was previously not accurate when using threads
2023-01-13 15:58:11 +01:00
..
2023-01-13 15:58:11 +01:00
2022-12-09 22:18:58 +01:00
2023-01-04 11:00:51 +01:00
2022-10-24 12:54:51 +02:00
2022-10-24 12:54:51 +02:00