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