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

../
rev-equiv-goal1.smt2                               15-Apr-2021 10:33                2643
rev-equiv-goal3.smt2                               15-Apr-2021 10:33                2778
rev-equiv-goal4.smt2                               15-Apr-2021 10:33                2728
rev-equiv-goal5.smt2                               15-Apr-2021 10:33                2767
rev-equiv-goal6.smt2                               15-Apr-2021 10:33                2768
rev-equiv-goal7.smt2                               15-Apr-2021 10:33                2745
rev-equiv-goal8.smt2                               15-Apr-2021 10:33                2659
rotate-goal3.smt2                                  15-Apr-2021 10:33                3070
rotate-goal4.smt2                                  15-Apr-2021 10:33                3130
rotate-goal5.smt2                                  15-Apr-2021 10:33                2990
rotate-goal7.smt2                                  15-Apr-2021 10:33                3178
unsat-rev-equiv-goal1.smt2                         15-Apr-2021 10:33                2642
unsat-rev-equiv-goal3.smt2                         15-Apr-2021 10:33                2777
unsat-rev-equiv-goal5.smt2                         15-Apr-2021 10:33                2766
unsat-rotate-goal3.smt2                            15-Apr-2021 10:33                3069
unsat-rotate-goal5.smt2                            15-Apr-2021 10:33                2989
unsat-rotate-goal7.smt2                            15-Apr-2021 10:33                2952