Index of /adtrem/adtrem-ijcar20/benchmarks/DTT-nolemmas/hipspec/

../
rev-equiv-goal1.smt2                               09-Apr-2021 10:36                 782
rev-equiv-goal3.smt2                               09-Apr-2021 10:36                 818
rev-equiv-goal4.smt2                               09-Apr-2021 10:36                 810
rev-equiv-goal5.smt2                               09-Apr-2021 10:36                 826
rev-equiv-goal6.smt2                               09-Apr-2021 10:36                 828
rev-equiv-goal7.smt2                               09-Apr-2021 10:36                 810
rev-equiv-goal8.smt2                               09-Apr-2021 10:36                 782
rotate-goal3.smt2                                  09-Apr-2021 10:36                1140
rotate-goal4.smt2                                  09-Apr-2021 10:36                1152
rotate-goal5.smt2                                  09-Apr-2021 10:36                1105
rotate-goal7.smt2                                  09-Apr-2021 10:36                 998