Index of /adtrem/ADTRem-JLC-benchmarks/DTT-nolemmas/hipspec/

../
rev-equiv-goal1.smt2                               12-Apr-2021 13:58                 782
rev-equiv-goal3.smt2                               12-Apr-2021 13:58                 818
rev-equiv-goal4.smt2                               12-Apr-2021 13:58                 810
rev-equiv-goal5.smt2                               12-Apr-2021 13:58                 826
rev-equiv-goal6.smt2                               12-Apr-2021 13:58                 828
rev-equiv-goal7.smt2                               12-Apr-2021 13:58                 810
rev-equiv-goal8.smt2                               12-Apr-2021 13:58                 782
rotate-goal3.smt2                                  12-Apr-2021 13:58                1140
rotate-goal4.smt2                                  12-Apr-2021 13:58                1152
rotate-goal5.smt2                                  12-Apr-2021 13:58                1105
rotate-goal7.smt2                                  12-Apr-2021 13:58                 998
unsat-rev-equiv-goal1.smt2                         12-Apr-2021 13:58                 788
unsat-rev-equiv-goal3.smt2                         12-Apr-2021 13:58                 823
unsat-rev-equiv-goal5.smt2                         12-Apr-2021 13:58                 832
unsat-rotate-goal3.smt2                            12-Apr-2021 13:58                1145
unsat-rotate-goal5.smt2                            12-Apr-2021 13:58                1111
unsat-rotate-goal7.smt2                            12-Apr-2021 13:58                1004