Index of /adtrem/adtrem-ijcar20/benchmarks/CHC-source-prolog/hipspec/

../
rev-equiv-goal1.pl                                 09-Apr-2021 10:36                 908
rev-equiv-goal3.pl                                 09-Apr-2021 10:36                 963
rev-equiv-goal4.pl                                 09-Apr-2021 10:36                 935
rev-equiv-goal5.pl                                 09-Apr-2021 10:36                 960
rev-equiv-goal6.pl                                 09-Apr-2021 10:36                 961
rev-equiv-goal7.pl                                 09-Apr-2021 10:36                 941
rev-equiv-goal8.pl                                 09-Apr-2021 10:36                 913
rotate-goal3.pl                                    09-Apr-2021 10:36                 966
rotate-goal4.pl                                    09-Apr-2021 10:36                 979
rotate-goal5.pl                                    09-Apr-2021 10:36                1136
rotate-goal7.pl                                    09-Apr-2021 10:36                 962