Index of /vericatmq/benchmarks/BenchmarksMQc-sat/
../
APP-01-append-grt_on_Lists-MQc-1.prolog 18-Nov-2022 11:07 1172
APP-02-append-isAsorted-on-Ascending_Lists-MQc-..> 18-Nov-2022 11:07 2064
APP-03-append-isDsorted-on-Descending_Lists-MQc..> 18-Nov-2022 11:07 2008
APP-04-append-leq-grt-Asc-Descending_Lists--man..> 18-Nov-2022 11:07 2818
APP-05-append-leq-on-Lists-MQc-1.prolog 18-Nov-2022 11:07 1258
APP-06-append-listMax-isASorted-on-Ascending_Li..> 18-Nov-2022 11:07 2288
APP-07-append-listMin-listMax-isDSorted-on-Desc..> 18-Nov-2022 11:07 2297
APP-08-append-max-on-Ascending_Lists-MQc-1.prolog 18-Nov-2022 11:07 1533
APP-09-append-min-on-Ascending_Lists-MQc-1.prolog 18-Nov-2022 11:07 1421
BS-01-asc-sorted_on_asc-bubblesort-MQc-3.prolog 18-Nov-2022 11:07 2552
BS-02-count_on_asc-bubblesort-MQc-3.prolog 18-Nov-2022 11:07 1864
BS-03-length_on_asc-bubblesort-MQc-3.prolog 18-Nov-2022 11:07 1833
BS-04-max_last_on_asc_bubblesort-MQc-3.prolog 18-Nov-2022 11:07 2959
BS-05-max_on_asc-bubblesort-MQc-3.prolog 18-Nov-2022 11:07 2174
BS-06-sum_on_bubblesort-MQc-3.prolog 18-Nov-2022 11:07 1755
BSTree-01-delete-bstree-MQc-1.prolog 18-Nov-2022 11:07 3877
BSTree-02-delete-count-MQc-2.prolog 18-Nov-2022 11:07 3922
BSTree-03-delete-height-MQc-1.prolog 18-Nov-2022 11:07 4081
BSTree-04-deletemin-min-MQc-1.prolog 18-Nov-2022 11:07 3227
BSTree-05-deletemin-size-MQc-1.prolog 18-Nov-2022 11:07 3719
BSTree-06-insert-bstree-MQc-1.prolog 18-Nov-2022 11:07 2684
BSTree-07-insert-count-MQc-1.prolog 18-Nov-2022 11:07 3032
BSTree-08-insert-height-MQc-1.prolog 18-Nov-2022 11:07 3144
BSTree-09-insert-minmax-MQc-1.prolog 18-Nov-2022 11:07 2856
BSTree-10-visit-str-asorted-MQc-2.prolog 18-Nov-2022 11:07 4359
HS-01-count_on_heapsort-MQc-6.prolog 18-Nov-2022 11:07 5675
HS-02-size_on_heapsort-MQc-6.prolog 18-Nov-2022 11:07 5435
HS-03-desc-sorted_on_heapsort-MQc-6.prolog 18-Nov-2022 11:07 7930
HS-04-asc-sorted_on_heapsort-MQc-6.prolog 18-Nov-2022 11:07 7525
IS-01-asc-sorted_on_asc-insertionsort-MQc-2.prolog 18-Nov-2022 11:07 1632
IS-02-count_on_asc-insertionsort-MQc-2.prolog 18-Nov-2022 11:07 1400
IS-03-length_on_asc-insertionsort-MQc-2.prolog 18-Nov-2022 11:07 1334
IS-04-max_last_on_asc_insertionsort-MQc-2.prolog 18-Nov-2022 11:07 2329
IS-05-max_on_asc-insertionsort-MQc-2.prolog 18-Nov-2022 11:07 1601
IS-06-sum_on_insertionsort-MQc-2.prolog 18-Nov-2022 11:07 1284
MEMB-01-min_on_member-MQc-3.prolog 18-Nov-2022 11:07 1568
MS-01-asc-sorted_on_mergesort-MQc-5.prolog 18-Nov-2022 11:07 4380
MS-02-count_on_mergesort-MQc-5.prolog 18-Nov-2022 11:07 2960
MS-03-length_on_mergesort-MQc-5.prolog 18-Nov-2022 11:07 2966
MS-04-max_on_mergesort-MQc-5.prolog 18-Nov-2022 11:07 3907
MS-04b-max_on_mergesort-MQc-4.prolog 18-Nov-2022 11:07 3451
MS-04c-max_on_mergesort-w-lengthcata-MQc-5.prolog 18-Nov-2022 11:07 4155
MS-05-min_last_on_desc_mergesort-MQc-5.prolog 18-Nov-2022 11:07 5755
MS-06-sum_on_mergesort-MQc-5.prolog 18-Nov-2022 11:07 2791
MS-07-asc-sorted_on_mergesort-length-wo-hd-wo-l..> 18-Nov-2022 11:07 2816
PERM-01-length_on_permutation-MQc-3.prolog 18-Nov-2022 11:07 1868
PERM-02-min_on_permutation-MQc-3.prolog 18-Nov-2022 11:07 2151
PERM-03-sum_on_permutation-MQc-3.prolog 18-Nov-2022 11:07 1751
PERM-04-max_on_permutation-MQc-3.prolog 18-Nov-2022 11:07 2170
QSa-02-asc-sorted_on_quicksort--wo-listmax-list..> 18-Nov-2022 11:07 5659
QSa-04-count_on_quicksort-MQc-3.prolog 18-Nov-2022 11:07 2054
QSa-05-length_on_quicksort-MQc-3.prolog 18-Nov-2022 11:07 2004
QSa-06-max_last_on_asc_quicksort-MQc-3.prolog 18-Nov-2022 11:07 4399
QSa-07-max_on_quicksort-MQc-3.prolog 18-Nov-2022 11:07 4253
QSa-08-sum_on_quicksort-MQc-3.prolog 18-Nov-2022 11:07 1961
QSc-02-asc-sorted_on_quicksort-listmin2-listmax..> 18-Nov-2022 11:07 3854
QSc-04-count_on_quicksort-concat4-MQc-3.prolog 18-Nov-2022 11:07 1981
QSc-05-length_on_quicksort-concat4-MQc-3.prolog 18-Nov-2022 11:07 1926
QSc-06-max_last_on_asc_quicksort-concat4-MQc-3...> 18-Nov-2022 11:07 4204
QSc-07-max_on_quicksort-concat4-MQc-3.prolog 18-Nov-2022 11:07 2987
QSc-08-sum_on_quicksort-concat4-MQc-3.prolog 18-Nov-2022 11:07 1890
REV-01-count-MQc-2.prolog 18-Nov-2022 11:07 1130
REV-02-length-MQc-2.prolog 18-Nov-2022 11:07 1082
REV-03-listMax-MQc-2.prolog 18-Nov-2022 11:07 1339
REV-04-listMin-MQc-2.prolog 18-Nov-2022 11:07 1370
REV-05-listMin-listMax-MQc-2.prolog 18-Nov-2022 11:07 2104
REV-06-listMinMax-MQc-2.prolog 18-Nov-2022 11:07 1607
REV-sort-01-isASorted_rev_isDSorted-leq_all--if..> 18-Nov-2022 11:07 2910
REV-sort-02-isASorted_rev_isDSorted-leq_all--im..> 18-Nov-2022 11:07 3033
REV-sort-03-isASorted_rev_isDSorted-listMin-MQc..> 18-Nov-2022 11:07 2603
REV-sort-04-isDSorted_rev_isASorted-MQc-2.prolog 18-Nov-2022 11:07 2731
REVA-01-sorted-MQc-3.prolog 18-Nov-2022 11:07 3897
REVA-02-count-MQc-3.prolog 18-Nov-2022 11:07 1712
REVA-03-sorted-MQc-3.prolog 18-Nov-2022 11:07 2870
REVREV-01-isASorted_revrev_isASorted-MQc-3.prolog 18-Nov-2022 11:07 3868
REVREV-02-isDSorted_revrev_isDSorted-MQc-3.prolog 18-Nov-2022 11:07 3879
SS-01-asc-sorted_on_selectionsort-MQc-4.prolog 18-Nov-2022 11:07 3373
SS-02-count_on_asc-selectionsort-MQc-3.prolog 18-Nov-2022 11:07 2330
SS-03-length_on_asc-selectionsort-MQc-3.prolog 18-Nov-2022 11:07 2214
SS-04-max_on_selectionsort-MQc-3.prolog 18-Nov-2022 11:07 2681
SS-05-min_last_on_desc_selectiosort-MQc-2.prolog 18-Nov-2022 11:07 3522
SS-06-min_on_selectionsort-MQc-3.prolog 18-Nov-2022 11:07 2334
SS-07-sum_on_selectionsort-MQc-3.prolog 18-Nov-2022 11:07 2279
TS-01-TreeSort-sorted-MQc-5.prolog 18-Nov-2022 11:07 6505
TS-02-TreeSort-count-MQc-5.prolog 18-Nov-2022 11:07 6206