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

../
goal12.smt2                                        09-Apr-2021 10:36               78032
goal2.smt2                                         09-Apr-2021 10:36                2921
goal20.smt2                                        09-Apr-2021 10:36                1155
goal22.smt2                                        09-Apr-2021 10:36                3003
goal23.smt2                                        09-Apr-2021 10:36                4639
goal25.smt2                                        09-Apr-2021 10:36                1722
goal3.smt2                                         09-Apr-2021 10:36                1640
goal32.smt2                                        09-Apr-2021 10:36               18398
goal38.smt2                                        09-Apr-2021 10:36                6797
goal39.smt2                                        09-Apr-2021 10:36                4911
goal4.smt2                                         09-Apr-2021 10:36                2438
goal46.smt2                                        09-Apr-2021 10:36                1884
goal49.smt2                                        09-Apr-2021 10:36               17516
goal5.smt2                                         09-Apr-2021 10:36                1884
goal50.smt2                                        09-Apr-2021 10:36               10128
goal52.smt2                                        09-Apr-2021 10:36                1604
goal53.smt2                                        09-Apr-2021 10:36                1170
goal54.smt2                                        09-Apr-2021 10:36                5365
goal55.smt2                                        09-Apr-2021 10:36                2415
goal56.smt2                                        09-Apr-2021 10:36               17516
goal57.smt2                                        09-Apr-2021 10:36                3834
goal58.smt2                                        09-Apr-2021 10:36                3777
goal59.smt2                                        09-Apr-2021 10:36                4096
goal6.smt2                                         09-Apr-2021 10:36                2712
goal60.smt2                                        09-Apr-2021 10:36                3777
goal61.smt2                                        09-Apr-2021 10:36                 668
goal63.smt2                                        09-Apr-2021 10:36                 696
goal64.smt2                                        09-Apr-2021 10:36                1822
goal65.smt2                                        09-Apr-2021 10:36                1808
goal69.smt2                                        09-Apr-2021 10:36               11041
goal7.smt2                                         09-Apr-2021 10:36                2531
goal70.smt2                                        09-Apr-2021 10:36                3244
goal71.smt2                                        09-Apr-2021 10:36                8252
goal72.smt2                                        09-Apr-2021 10:36              777551
goal75.smt2                                        09-Apr-2021 10:36               78023
goal8.smt2                                         09-Apr-2021 10:36               23393
goal9.smt2                                         09-Apr-2021 10:36               98954