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

../
goal1.smt2                                         09-Apr-2021 10:36                1448
goal11.smt2                                        09-Apr-2021 10:36                 746
goal12.smt2                                        09-Apr-2021 10:36                1656
goal13.smt2                                        09-Apr-2021 10:36                1252
goal14.smt2                                        09-Apr-2021 10:36                1000
goal15.smt2                                        09-Apr-2021 10:36                2168
goal16.smt2                                        09-Apr-2021 10:36                 546
goal19.smt2                                        09-Apr-2021 10:36                4113
goal2.smt2                                         09-Apr-2021 10:36                3212
goal20.smt2                                        09-Apr-2021 10:36                2892
goal26.smt2                                        09-Apr-2021 10:36                4446
goal27.smt2                                        09-Apr-2021 10:36                2457
goal28.smt2                                        09-Apr-2021 10:36                 952
goal29.smt2                                        09-Apr-2021 10:36                2029
goal3.smt2                                         09-Apr-2021 10:36                1560
goal30.smt2                                        09-Apr-2021 10:36                1884
goal37.smt2                                        09-Apr-2021 10:36                1542
goal38.smt2                                        09-Apr-2021 10:36                1982
goal39.smt2                                        09-Apr-2021 10:36                7505
goal4.smt2                                         09-Apr-2021 10:36                3194
goal40.smt2                                        09-Apr-2021 10:36                 271
goal41.smt2                                        09-Apr-2021 10:36                1400
goal42.smt2                                        09-Apr-2021 10:36                1067
goal43.smt2                                        09-Apr-2021 10:36                 925
goal44.smt2                                        09-Apr-2021 10:36                 790
goal45.smt2                                        09-Apr-2021 10:36                 686
goal46.smt2                                        09-Apr-2021 10:36                 187
goal47.smt2                                        09-Apr-2021 10:36                3224
goal48.smt2                                        09-Apr-2021 10:36                 972
goal49.smt2                                        09-Apr-2021 10:36                1782
goal5.smt2                                         09-Apr-2021 10:36                3194
goal50.smt2                                        09-Apr-2021 10:36                4962
goal51.smt2                                        09-Apr-2021 10:36                 868
goal52.smt2                                        09-Apr-2021 10:36                7539
goal53.smt2                                        09-Apr-2021 10:36               10128
goal56.smt2                                        09-Apr-2021 10:36               19195
goal57.smt2                                        09-Apr-2021 10:36                2363
goal58.smt2                                        09-Apr-2021 10:36                7680
goal59.smt2                                        09-Apr-2021 10:36                3901
goal60.smt2                                        09-Apr-2021 10:36                4168
goal61.smt2                                        09-Apr-2021 10:36                2301
goal62.smt2                                        09-Apr-2021 10:36                6381
goal63.smt2                                        09-Apr-2021 10:36                1094
goal64.smt2                                        09-Apr-2021 10:36                3019
goal65.smt2                                        09-Apr-2021 10:36                1766
goal67.smt2                                        09-Apr-2021 10:36                 818
goal68.smt2                                        09-Apr-2021 10:36                4906
goal69.smt2                                        09-Apr-2021 10:36                1019
goal72.smt2                                        09-Apr-2021 10:36               12877
goal73.smt2                                        09-Apr-2021 10:36               21925
goal74.smt2                                        09-Apr-2021 10:36              209700
goal75.smt2                                        09-Apr-2021 10:36               89520
goal77.smt2                                        09-Apr-2021 10:36                4396
goal78.smt2                                        09-Apr-2021 10:36                7505
goal79.smt2                                        09-Apr-2021 10:36                3871
goal80.smt2                                        09-Apr-2021 10:36                4135
goal82.smt2                                        09-Apr-2021 10:36                6607
goal83.smt2                                        09-Apr-2021 10:36                4038
goal84.smt2                                        09-Apr-2021 10:36                3698