Index of /adtrem/adtrem-ijcar20/benchmarks/CHC-source-prolog/leon/

../
amortize-queue-goal11.pl                           09-Apr-2021 10:36                2360
amortize-queue-goal12.pl                           09-Apr-2021 10:36                2367
amortize-queue-goal13.pl                           09-Apr-2021 10:36                2379
amortize-queue-goal14.pl                           09-Apr-2021 10:36                2386
amortize-queue-goal15.pl                           09-Apr-2021 10:36                2123
amortize-queue-goal3.pl                            09-Apr-2021 10:36                2160
amortize-queue-goal4.pl                            09-Apr-2021 10:36                2127
amortize-queue-goal5.pl                            09-Apr-2021 10:36                2180
amortize-queue-goal6.pl                            09-Apr-2021 10:36                2172
amortize-queue-goal7.pl                            09-Apr-2021 10:36                2274
amortize-queue-goal9.pl                            09-Apr-2021 10:36                2366
bsearch-tree-goal1.pl                              09-Apr-2021 10:36                3643
bsearch-tree-goal10.pl                             09-Apr-2021 10:36                3989
bsearch-tree-goal11.pl                             09-Apr-2021 10:36                3601
bsearch-tree-goal12.pl                             09-Apr-2021 10:36                3589
bsearch-tree-goal13.pl                             09-Apr-2021 10:36                4234
bsearch-tree-goal14.pl                             09-Apr-2021 10:36                3584
bsearch-tree-goal15.pl                             09-Apr-2021 10:36                3598
bsearch-tree-goal16.pl                             09-Apr-2021 10:36                3870
bsearch-tree-goal17.pl                             09-Apr-2021 10:36                3609
bsearch-tree-goal18.pl                             09-Apr-2021 10:36                3590
bsearch-tree-goal2.pl                              09-Apr-2021 10:36                3592
bsearch-tree-goal3.pl                              09-Apr-2021 10:36                3696
bsearch-tree-goal4.pl                              09-Apr-2021 10:36                3589
bsearch-tree-goal5.pl                              09-Apr-2021 10:36                3592
bsearch-tree-goal6.pl                              09-Apr-2021 10:36                3582
bsearch-tree-goal7.pl                              09-Apr-2021 10:36                3985
bsearch-tree-goal8.pl                              09-Apr-2021 10:36                3599
bsearch-tree-goal9.pl                              09-Apr-2021 10:36                3580
heap-goal1.pl                                      09-Apr-2021 10:36                3095
heap-goal10.pl                                     09-Apr-2021 10:36                3195
heap-goal11.pl                                     09-Apr-2021 10:36                3046
heap-goal12.pl                                     09-Apr-2021 10:36                3157
heap-goal13.pl                                     09-Apr-2021 10:36                3119
heap-goal2.pl                                      09-Apr-2021 10:36                3095
heap-goal3.pl                                      09-Apr-2021 10:36                3141
heap-goal4.pl                                      09-Apr-2021 10:36                3138
heap-goal5.pl                                      09-Apr-2021 10:36                3066
heap-goal6.pl                                      09-Apr-2021 10:36                3158
heap-goal7.pl                                      09-Apr-2021 10:36                3152
heap-goal8.pl                                      09-Apr-2021 10:36                3199
heap-goal9.pl                                      09-Apr-2021 10:36                3121