Index of /adtrem/adtrem-ijcar20/benchmarks/CHC-transformed/hipspec/

../
rev-equiv-goal1.smt2                               09-Apr-2021 10:36                 427
rev-equiv-goal5.smt2                               09-Apr-2021 10:36                2646
rotate-goal5.smt2                                  09-Apr-2021 10:36                 667
rotate-goal7.smt2                                  09-Apr-2021 10:36                3018