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

../
rev-equiv-goal1.smt2                               09-Apr-2021 10:36                2643
rev-equiv-goal3.smt2                               09-Apr-2021 10:36                2778
rev-equiv-goal4.smt2                               09-Apr-2021 10:36                2728
rev-equiv-goal5.smt2                               09-Apr-2021 10:36                2767
rev-equiv-goal6.smt2                               09-Apr-2021 10:36                2768
rev-equiv-goal7.smt2                               09-Apr-2021 10:36                2745
rev-equiv-goal8.smt2                               09-Apr-2021 10:36                2659
rotate-goal3.smt2                                  09-Apr-2021 10:36                3070
rotate-goal4.smt2                                  09-Apr-2021 10:36                3130
rotate-goal5.smt2                                  09-Apr-2021 10:36                2990
rotate-goal7.smt2                                  09-Apr-2021 10:36                3178