Index of /cadical/

../
2026-01-05.log                                     05-Jan-2026 11:26                 352
2026-01-11.log                                     11-Jan-2026 20:22                 352
2026-01-20.log                                     20-Jan-2026 07:20                 352
2026-01-27.log                                     27-Jan-2026 04:21                 352
2026-07-20.log                                     20-Jul-2026 00:28               22122
2026-07-29.log                                     29-Jul-2026 08:37               22592
2026-08-07.log                                     07-Aug-2026 17:11               22592