../ clingo-5.5.0-r1.log.gz 23-Apr-2023 15:15 3859 clingo-5.6.1-r0.log.gz 23-Apr-2023 15:15 7759 clingo-5.6.2-r0.log.gz 23-Apr-2023 15:15 7716 clingo-5.6.2-r1.log.gz 23-Apr-2023 15:15 7781 clingo-5.6.2-r2.log.gz 23-Apr-2023 15:15 15K clingo-5.6.2-r3.log 22-Oct-2023 08:23 160K clingo-5.7.0-r0.log 16-Feb-2024 04:07 20K clingo-5.7.1-r0.log 17-Feb-2024 12:04 20K clingo-5.7.1-r1.log 13-Apr-2024 19:06 20K