Index of /cvc5/

../
2026-02-26.log                                     26-Feb-2026 00:44                3034
2026-03-06.log                                     06-Mar-2026 16:17                3034
2026-03-14.log                                     14-Mar-2026 11:56                 381
2026-03-22.log                                     22-Mar-2026 23:42                1510
2026-05-07.log                                     07-May-2026 21:44                3108
2026-05-16.log                                     16-May-2026 12:53                3108
2026-05-24.log                                     24-May-2026 12:10                 355
2026-09-18.log                                     18-Sep-2026 01:09                5340
2026-09-28.log                                     28-Sep-2026 08:52                5340