Index of /adtrem/ADTRem-JLC-benchmarks/CHC-source-prolog/hipspec/

../
rev-equiv-goal1.pl                                 12-Apr-2021 13:58                 908
rev-equiv-goal3.pl                                 12-Apr-2021 13:58                 963
rev-equiv-goal4.pl                                 12-Apr-2021 13:58                 935
rev-equiv-goal5.pl                                 12-Apr-2021 13:58                 960
rev-equiv-goal6.pl                                 12-Apr-2021 13:58                 961
rev-equiv-goal7.pl                                 12-Apr-2021 13:58                 941
rev-equiv-goal8.pl                                 12-Apr-2021 13:58                 913
rotate-goal3.pl                                    12-Apr-2021 13:58                 966
rotate-goal4.pl                                    12-Apr-2021 13:58                 979
rotate-goal5.pl                                    12-Apr-2021 13:58                1136
rotate-goal7.pl                                    12-Apr-2021 13:58                 962
unsat-rev-equiv-goal1.pl                           12-Apr-2021 13:58                 908
unsat-rev-equiv-goal3.pl                           12-Apr-2021 13:58                 963
unsat-rev-equiv-goal5.pl                           12-Apr-2021 13:58                 960
unsat-rotate-goal3.pl                              12-Apr-2021 13:58                 966
unsat-rotate-goal5.pl                              12-Apr-2021 13:58                1136
unsat-rotate-goal7.pl                              12-Apr-2021 13:58                 907