Index of /adtrem/adtrem-ijcar20/benchmarks/

../
CHC-source/                                        09-Apr-2021 10:36                   -
CHC-source-prolog/                                 09-Apr-2021 10:36                   -
CHC-transformed/                                   09-Apr-2021 10:36                   -
DTT-nolemmas/                                      09-Apr-2021 10:36                   -