Index of /adtrem/ADTRem-JLC-benchmarks/CHC-source-prolog/leon/

../
amortize-queue-goal11.pl                           12-Apr-2021 13:58                2260
amortize-queue-goal12.pl                           12-Apr-2021 13:58                2267
amortize-queue-goal13.pl                           12-Apr-2021 13:58                2279
amortize-queue-goal14.pl                           12-Apr-2021 13:58                2286
amortize-queue-goal15.pl                           12-Apr-2021 13:58                2023
amortize-queue-goal3.pl                            12-Apr-2021 13:58                2060
amortize-queue-goal4.pl                            12-Apr-2021 13:58                2027
amortize-queue-goal5.pl                            12-Apr-2021 13:58                2080
amortize-queue-goal6.pl                            12-Apr-2021 13:58                2072
amortize-queue-goal7.pl                            12-Apr-2021 13:58                2341
amortize-queue-goal9.pl                            12-Apr-2021 13:58                2266
bsearch-tree-goal1.pl                              12-Apr-2021 13:58                3096
bsearch-tree-goal10.pl                             12-Apr-2021 13:58                3442
bsearch-tree-goal11.pl                             12-Apr-2021 13:58                4064
bsearch-tree-goal12.pl                             12-Apr-2021 13:58                3042
bsearch-tree-goal13.pl                             12-Apr-2021 13:58                3687
bsearch-tree-goal14.pl                             12-Apr-2021 13:58                4048
bsearch-tree-goal15.pl                             12-Apr-2021 13:58                3051
bsearch-tree-goal16.pl                             12-Apr-2021 13:58                3323
bsearch-tree-goal17.pl                             12-Apr-2021 13:58                4072
bsearch-tree-goal18.pl                             12-Apr-2021 13:58                3043
bsearch-tree-goal2.pl                              12-Apr-2021 13:58                3592
bsearch-tree-goal3.pl                              12-Apr-2021 13:58                3696
bsearch-tree-goal4.pl                              12-Apr-2021 13:58                3589
bsearch-tree-goal5.pl                              12-Apr-2021 13:58                3592
bsearch-tree-goal6.pl                              12-Apr-2021 13:58                3582
bsearch-tree-goal7.pl                              12-Apr-2021 13:58                3438
bsearch-tree-goal8.pl                              12-Apr-2021 13:58                4063
bsearch-tree-goal9.pl                              12-Apr-2021 13:58                3033
dunsat-bsearch-tree-goal10.pl                      12-Apr-2021 13:58                3449
dunsat-heap-goal6.pl                               12-Apr-2021 13:58                3159
heap-goal1.pl                                      12-Apr-2021 13:58                3095
heap-goal10.pl                                     12-Apr-2021 13:58                3187
heap-goal12.pl                                     12-Apr-2021 13:58                2523
heap-goal13.pl                                     12-Apr-2021 13:58                3112
heap-goal2.pl                                      12-Apr-2021 13:58                3089
heap-goal3.pl                                      12-Apr-2021 13:58                3137
heap-goal4.pl                                      12-Apr-2021 13:58                3134
heap-goal5.pl                                      12-Apr-2021 13:58                3062
heap-goal6.pl                                      12-Apr-2021 13:58                3151
heap-goal7.pl                                      12-Apr-2021 13:58                3146
heap-goal8.pl                                      12-Apr-2021 13:58                3192
heap-goal9.pl                                      12-Apr-2021 13:58                3113
unsat-amortize-queue-goal11.pl                     12-Apr-2021 13:58                2260
unsat-amortize-queue-goal13.pl                     12-Apr-2021 13:58                2279
unsat-amortize-queue-goal3.pl                      12-Apr-2021 13:58                2013
unsat-amortize-queue-goal4.pl                      12-Apr-2021 13:58                2025
unsat-amortize-queue-goal7.pl                      12-Apr-2021 13:58                2238
unsat-amortize-queue-goal9.pl                      12-Apr-2021 13:58                2266
unsat-bsearch-tree-goal1.pl                        12-Apr-2021 13:58                3041
unsat-bsearch-tree-goal12.pl                       12-Apr-2021 13:58                3041
unsat-bsearch-tree-goal14.pl                       12-Apr-2021 13:58                4047
unsat-bsearch-tree-goal16.pl                       12-Apr-2021 13:58                3322
unsat-bsearch-tree-goal18.pl                       12-Apr-2021 13:58                3044
unsat-bsearch-tree-goal4.pl                        12-Apr-2021 13:58                3039
unsat-bsearch-tree-goal7.pl                        12-Apr-2021 13:58                3420
unsat-bsearch-tree-goal8.pl                        12-Apr-2021 13:58                4062
unsat-heap-goal10.pl                               12-Apr-2021 13:58                3091
unsat-heap-goal12.pl                               12-Apr-2021 13:58                3073
unsat-heap-goal2.pl                                12-Apr-2021 13:58                3087
unsat-heap-goal3.pl                                12-Apr-2021 13:58                3119
unsat-heap-goal4.pl                                12-Apr-2021 13:58                3116
unsat-heap-goal6.pl                                12-Apr-2021 13:58                3148
unsat-heap-goal7.pl                                12-Apr-2021 13:58                3142