Index of /vericatmq/benchmarks/BenchmarksMQc-unsat/
../
APP-01-ER-append-grt_on_Lists-MQc-1.prolog 18-Nov-2022 11:07 1192
APP-02-ER-append-isAsorted-on-Ascending_Lists-M..> 18-Nov-2022 11:07 2082
APP-03-ER-append-isDsorted-on-Descending_Lists-..> 18-Nov-2022 11:07 2020
APP-04-ER-append-leq-grt-Asc-Descending_Lists--..> 18-Nov-2022 11:07 2762
APP-05-ER-append-leq-on-Lists-MQc-1.prolog 18-Nov-2022 11:07 1280
APP-06-ER-append-listMax-isASorted-on-Ascending..> 18-Nov-2022 11:07 2317
APP-07-ER-append-listMin-listMax-isDSorted-on-D..> 18-Nov-2022 11:07 2284
APP-08-ER-append-max-on-Ascending_Lists-MQc-1.p..> 18-Nov-2022 11:07 1630
APP-09-ER-append-min-on-Ascending_Lists-MQc-1.p..> 18-Nov-2022 11:07 1445
BS-01-ER-asc-sorted_on_asc-bubblesort-MQc-3.prolog 18-Nov-2022 11:07 2631
BS-02-ER-count_on_asc-bubblesort-MQ-3.prolog 18-Nov-2022 11:07 1937
BS-03-ER-length_on_asc-bubblesort-MQc-3.prolog 18-Nov-2022 11:07 1851
BS-04-ER-max_last_on_asc_bubblesort-MQc-3.prolog 18-Nov-2022 11:07 2956
BS-05-ER-max_on_asc-bubblesort-MQc-3.prolog 18-Nov-2022 11:07 2199
BS-06-ER-sum_on_bubblesort-MQc-3.prolog 18-Nov-2022 11:07 1872
BSTree-01-ER-delete-bstree-MQc-1.prolog 18-Nov-2022 11:07 4007
BSTree-02-ER-delete-count-MQc-2.prolog 18-Nov-2022 11:07 3989
BSTree-03-ER-delete-height-MQc-1.prolog 18-Nov-2022 11:07 4310
BSTree-04-ER-deletemin-min-MQc-1.prolog 18-Nov-2022 11:07 3306
BSTree-05-ER-deletemin-size-c-1.prolog 18-Nov-2022 11:07 3960
BSTree-06-ER-insert-bstree-MQc-1.prolog 18-Nov-2022 11:07 2804
BSTree-07-ER-insert-count-MQc-1.prolog 18-Nov-2022 11:07 3039
BSTree-08-ER-insert-height-MQc-1.prolog 18-Nov-2022 11:07 3012
BSTree-09-ER-insert-minmax-MQc-1.prolog 18-Nov-2022 11:07 2901
BSTree-10-ER-visit-str-asorted-MQc-2.prolog 18-Nov-2022 11:07 5004
HS-01-ER-count_on_heapsort-MQc-6.prolog 18-Nov-2022 11:07 5478
HS-02-ER-size_on_heapsort-MQc-6.prolog 18-Nov-2022 11:07 5270
HS-03-ER-desc-sorted_on_heapsort-MQc-6.prolog 18-Nov-2022 11:07 7555
HS-04-ER-asc-sorted_on_heapsort-MQc-6.prolog 18-Nov-2022 11:07 6929
IS-01-ER-asc-sorted_on_asc-insertionsort-MQc-2...> 18-Nov-2022 11:07 2292
IS-02-ER-count_on_asc-insertionsort-MQc-2.prolog 18-Nov-2022 11:07 1424
IS-03-ER-length_on_asc-insertionsort-MQc-2.prolog 18-Nov-2022 11:07 1352
IS-04-ER-max_last_on_asc_insertionsort-MQc-2.pr..> 18-Nov-2022 11:07 2349
IS-05-ER-max_on_asc-insertionsort-MQc-2.prolog 18-Nov-2022 11:07 1613
IS-06-ER-sum_on_insertionsort-MQc-2.prolog 18-Nov-2022 11:07 1304
MEMB-01-ER-min_on_member-MQc-3.prolog 18-Nov-2022 11:07 1617
MS-01-ER-asc-sorted_on_mergesort-MQc-5.prolog 18-Nov-2022 11:07 5119
MS-02-ER-count_on_mergesort-MQc-5.prolog 18-Nov-2022 11:07 3027
MS-03-ER-length_on_mergesort-MQc-5.prolog 18-Nov-2022 11:07 3007
MS-04-ER-max_on_mergesort-MQc-5.prolog 18-Nov-2022 11:07 4201
MS-04b-ER-max_on_mergesort-MQc-4.prolog 18-Nov-2022 11:07 3497
MS-04c-ER-max_on_mergesort-w-lengthcata-MQc-5.p..> 18-Nov-2022 11:07 4214
MS-05-ER-min_last_on_desc_mergesort-MQc-5.prolog 18-Nov-2022 11:07 5972
MS-06-ER-sum_on_mergesort-MQc-5.prolog 18-Nov-2022 11:07 2827
MS-07-ER-asc-sorted_on_mergesort-length-wo-hd-w..> 18-Nov-2022 11:07 2934
PERM-01-ER-length_on_permutation-MQc-3.prolog 18-Nov-2022 11:07 1956
PERM-02-ER-min_on_permutation-MQc-3.prolog 18-Nov-2022 11:07 2317
PERM-03-ER-sum_on_permutation-MQc-3.prolog 18-Nov-2022 11:07 1849
PERM-04-ER-max_on_permutation-MQc-3.prolog 18-Nov-2022 11:07 2260
QSa-02-ER-asc-sorted_on_quicksort--wo-listmax-l..> 18-Nov-2022 11:07 5476
QSa-04-ER-count_on_quicksort-MQc-3.prolog 18-Nov-2022 11:07 2121
QSa-05-ER-length_on_quicksort-MQc-3.prolog 18-Nov-2022 11:07 2030
QSa-06-ER-max_last_on_asc_quicksort-MQc-3.prolog 18-Nov-2022 11:07 4469
QSa-07-ER-max_on_quicksort-MQc-3.prolog 18-Nov-2022 11:07 2956
QSa-08-ER-sum_on_quicksort-MQc-3.prolog 18-Nov-2022 11:07 2001
QSc-02-ER-asc-sorted_on_quicksort-listmin2-list..> 18-Nov-2022 11:07 3857
QSc-04-ER-count_on_quicksort-concat4-MQc-3.prolog 18-Nov-2022 11:07 2005
QSc-05-ER-length_on_quicksort-concat4-MQc-3.prolog 18-Nov-2022 11:07 1966
QSc-06-ER-max_last_on_asc_quicksort-concat4-MQc..> 18-Nov-2022 11:07 4300
QSc-07-ER-max_on_quicksort-concat4-MQc-3.prolog 18-Nov-2022 11:07 3018
QSc-08-ER-sum_on_quicksort-concat4-MQc-3.prolog 18-Nov-2022 11:07 1933
REV-01-ER-count-MQc2.prolog 18-Nov-2022 11:07 1211
REV-02-ER-length-MQc-2.prolog 18-Nov-2022 11:07 1129
REV-03-ER-listMax-MQc-2.prolog 18-Nov-2022 11:07 1377
REV-04-ER-listMin-MQc-2.prolog 18-Nov-2022 11:07 1398
REV-05-ER-listMin-listMax-MQc-2.prolog 18-Nov-2022 11:07 2167
REV-06-ER-listMinMax-MQc-2.prolog 18-Nov-2022 11:07 1660
REV-sort-01-ER-isASorted_rev_isDSorted-leq_all-..> 18-Nov-2022 11:07 3108
REV-sort-02-ER-isASorted_rev_isDSorted-leq_all-..> 18-Nov-2022 11:07 3053
REV-sort-03-ER-isASorted_rev_isDSorted-listMin-..> 18-Nov-2022 11:07 2819
REV-sort-04-ER-isDSorted_rev_isASorted-MQc-2.pr..> 18-Nov-2022 11:07 2862
REVA-01-ER-sorted-MQc-3.prolog 18-Nov-2022 11:07 3681
REVA-02-ER-count-MQc-3.prolog 18-Nov-2022 11:07 1782
REVA-03-ER-sorted-MQc-3.prolog 18-Nov-2022 11:07 2884
REVREV-01-ER-isASorted_revrev_isASorted-MQc-3.p..> 18-Nov-2022 11:07 3839
REVREV-02-ER-isDSorted_revrev_isDSorted-MQc-3.p..> 18-Nov-2022 11:07 3865
SS-01-ER-asc-sorted_on_selectionsort-MQc-4.prolog 18-Nov-2022 11:07 3431
SS-02-ER-count_on_asc-selectionsort-MQc-3.prolog 18-Nov-2022 11:07 2445
SS-03-ER-length_on_asc-selectionsort-MQc-3.prolog 18-Nov-2022 11:07 2330
SS-04-ER-max_on_selectionsort-MQc-3.prolog 18-Nov-2022 11:07 2816
SS-05-ER-min_last_on_desc_selectiosort-MQc-2.pr..> 18-Nov-2022 11:07 3519
SS-06-ER-min_on_selectionsort-MQc-3.prolog 18-Nov-2022 11:07 2449
SS-07-ER-sum_on_selectionsort-MQc-3.prolog 18-Nov-2022 11:07 2365
TS-01-ER-TreeSort-sorted-MQc-5.prolog 18-Nov-2022 11:07 6808
TS-02-ER-TreeSort-count-MQc-5.prolog 18-Nov-2022 11:07 6471