Index of /vericat/benchmarks/


../
APP-01-append-grt_on_Lists-1.pl                    31-Jan-2022 10:08                1423
APP-02-append-isAsorted-on-Ascending_Lists-1.pl    31-Jan-2022 10:08                2548
APP-03-append-isDsorted-on-Descending_Lists-1.pl   31-Jan-2022 10:08                2494
APP-04-append-leq-grt-Asc-Descending_Lists--man..> 31-Jan-2022 10:08                3629
APP-05-append-leq-on-Lists-1.pl                    31-Jan-2022 10:08                1519
APP-06-append-listMax-isASorted-on-Ascending_Li..> 31-Jan-2022 10:08                2775
APP-07-append-listMin-listMax-isDSorted-on-Desc..> 31-Jan-2022 10:08                2765
APP-08-append-max-on-Ascending_Lists-1.pl          31-Jan-2022 10:08                2132
APP-09-append-min-on-Ascending_Lists-1.pl          31-Jan-2022 10:08                1873
BS-01-asc-sorted_on_asc-bubblesort-3.pl            31-Jan-2022 10:08                3020
BS-02-count_on_asc-bubblesort-3.pl                 31-Jan-2022 10:08                2138
BS-03-length_on_asc-bubblesort-3.pl                31-Jan-2022 10:08                2026
BS-04-max_last_on_asc_bubblesort-3.pl              31-Jan-2022 10:08                3890
BS-05-max_on_asc-bubblesort-3.pl                   31-Jan-2022 10:08                2611
BS-06-sum_on_bubblesort-3.pl                       31-Jan-2022 10:08                1947
BSTree-delete-bstree-1.pl                          31-Jan-2022 10:08                4497
BSTree-delete-count-2.pl                           31-Jan-2022 10:08                4548
BSTree-delete-height-1.pl                          31-Jan-2022 10:08                4725
BSTree-deletemin-min-1.pl                          31-Jan-2022 10:08                3694
BSTree-deletemin-size-1.pl                         31-Jan-2022 10:08                4383
BSTree-insert-bstree-1.pl                          31-Jan-2022 10:08                2961
BSTree-insert-count-1.pl                           31-Jan-2022 10:08                3326
BSTree-insert-height-1.pl                          31-Jan-2022 10:08                3260
BSTree-insert-minmax-1.pl                          31-Jan-2022 10:08                3298
BSTree-visit-str-asorted-2.pl                      31-Jan-2022 10:08                5716
IS-01-asc-sorted_on_asc-insertionsort-2.pl         31-Jan-2022 10:08                2538
IS-02-count_on_asc-insertionsort-2.pl              31-Jan-2022 10:08                1684
IS-03-length_on_asc-insertionsort-2.pl             31-Jan-2022 10:08                1601
IS-04-max_last_on_asc_insertionsort-2.pl           31-Jan-2022 10:08                3172
IS-05-max_on_asc-insertionsort-2.pl                31-Jan-2022 10:08                2041
IS-06-sum_on_insertionsort-2.pl                    31-Jan-2022 10:08                1542
MEMB-01-min_on_member-3.pl                         31-Jan-2022 10:08                2015
MS-01-asc-sorted_on_mergesort-5.pl                 31-Jan-2022 10:08                6875
MS-02-count_on_mergesort-5.pl                      31-Jan-2022 10:08                3964
MS-03-length_on_mergesort-5.pl                     31-Jan-2022 10:08                3664
MS-04-max_on_mergesort-5.pl                        31-Jan-2022 10:08                6347
MS-06-sum_on_mergesort-5.pl                        31-Jan-2022 10:08                3522
PERM-01-length_on_permutation-3.pl                 31-Jan-2022 10:08                2377
PERM-02-min_on_permutation-3.pl                    31-Jan-2022 10:08                2841
PERM-03-sum_on_permutation-3.pl                    31-Jan-2022 10:08                2237
PERM-04-max_on_permutation-3.pl                    31-Jan-2022 10:08                2862
QSa-02-asc-sorted_on_quicksort--wo-listmax-list..> 31-Jan-2022 10:08                8465
QSa-04-count_on_quicksort-3.pl                     31-Jan-2022 10:08                2553
QSa-05-length_on_quicksort-3.pl                    31-Jan-2022 10:08                2464
QSa-06-max_last_on_asc_quicksort-3.pl              31-Jan-2022 10:08                7125
QSa-07-max_on_quicksort-3.pl                       31-Jan-2022 10:08                4243
QSa-08-sum_on_quicksort-3.pl                       31-Jan-2022 10:08                2401
QSc-02C-asc-sorted_on_quicksort-listmin2-listma..> 31-Jan-2022 10:08                5906
QSc-04C-count_on_quicksort-concat4-3.pl            31-Jan-2022 10:08                2492
QSc-05C-length_on_quicksort-concat4-3.pl           31-Jan-2022 10:08                2380
QSc-06C-max_last_on_asc_quicksort-concat4-3.pl     31-Jan-2022 10:08                7981
QSc-07C-max_on_quicksort-concat4-3.pl              31-Jan-2022 10:08                4412
QSc-08C-sum_on_quicksort-concat4-3.pl              31-Jan-2022 10:08                2330
REV-01-count-2.pl                                  31-Jan-2022 10:08                1420
REV-02-length-2.pl                                 31-Jan-2022 10:08                1289
REV-03-listMax-2.pl                                31-Jan-2022 10:08                1653
REV-04-listMin-2.pl                                31-Jan-2022 10:08                1683
REV-05-listMin-listMax-2.pl                        31-Jan-2022 10:08                2868
REV-06-listMinMax-2.pl                             31-Jan-2022 10:08                2008
REV-sort-01-isASorted_rev_isDSorted-leq_all--if..> 31-Jan-2022 10:08                3604
REV-sort-02-isASorted_rev_isDSorted-leq_all--im..> 31-Jan-2022 10:08                3444
REV-sort-03-isASorted_rev_isDSorted-listMin-2.pl   31-Jan-2022 10:08                3353
REV-sort-04-isDSorted_rev_isASorted-2.pl           31-Jan-2022 10:08                3569
REVA-01-sorted-3.pl                                31-Jan-2022 10:08                4370
REVA-02-count-3.pl                                 31-Jan-2022 10:08                1944
REVREV-01-isASorted_revrev_isASorted-3.pl          31-Jan-2022 10:08                4389
REVREV-02-isDSorted_revrev_isDSorted-3.pl          31-Jan-2022 10:08                4398
SS-01-asc-sorted_on_selectionsort-3.pl             31-Jan-2022 10:08                3435
SS-02-count_on_asc-selectionsort-3.pl              31-Jan-2022 10:08                2827
SS-03-length_on_asc-selectionsort-3.pl             31-Jan-2022 10:08                2680
SS-04-max_on_selectionsort-3.pl                    31-Jan-2022 10:08                3456
SS-05-min_last_on_desc_selectiosort-2.pl           31-Jan-2022 10:08                4561
SS-06-min_on_selectionsort-3.pl                    31-Jan-2022 10:08                3135
SS-07-sum_on_selectionsort-3.pl                    31-Jan-2022 10:08                2782
TS-01-TreeSort-sorted-5.pl                         31-Jan-2022 10:08                7785
TS-02-TreeSort-count-5.pl                          31-Jan-2022 10:08                7248