Index of /vericatabs/benchmarks/sat/
../
APP-greater.prolog 11-Mar-2024 11:15 1313
APP-is_asorted.prolog 11-Mar-2024 11:15 2270
APP-is_dsorted.prolog 11-Mar-2024 11:15 2214
APP-properties.prolog 11-Mar-2024 11:15 3044
BS-count.prolog 11-Mar-2024 11:15 2078
BS-is_asorted.prolog 11-Mar-2024 11:15 2321
BS-length.prolog 11-Mar-2024 11:15 1985
BS-max-last.prolog 11-Mar-2024 11:15 3161
BS-max.prolog 11-Mar-2024 11:15 2340
BS-member.prolog 11-Mar-2024 11:15 2117
BS-min.prolog 11-Mar-2024 11:15 2251
BS-size.prolog 11-Mar-2024 11:15 2007
BS-sum.prolog 11-Mar-2024 11:15 1994
BSTree-bstree-count-member-on-delete.prolog 11-Mar-2024 11:15 5009
BSTree-count-on-delete.prolog 11-Mar-2024 11:15 4393
BSTree-height-on-delete.prolog 11-Mar-2024 11:15 4230
BSTree-member-on-delete.prolog 11-Mar-2024 11:15 4423
BSTree-min-on-delete.prolog 11-Mar-2024 11:15 4089
BSTree-size-on-delete.prolog 11-Mar-2024 11:15 4297
BSTree-sum-on-delete.prolog 11-Mar-2024 11:15 4378
BSTree-visit-min-max.prolog 11-Mar-2024 11:15 4843
DeleteCopies-count.prolog 11-Mar-2024 11:15 1950
DeleteCopies-member-count.prolog 11-Mar-2024 11:15 2506
DeleteCopies-member.prolog 11-Mar-2024 11:15 1972
DeleteCopies-min.prolog 11-Mar-2024 11:15 2117
DeleteCopies-size.prolog 11-Mar-2024 11:15 1877
DeleteCopies-sum-allpos.prolog 11-Mar-2024 11:15 2197
DeleteCopies-sum.prolog 11-Mar-2024 11:15 2113
HS-count.prolog 11-Mar-2024 11:15 5201
HS-is_asorted.prolog 11-Mar-2024 11:15 7654
HS-is_dsorted.prolog 11-Mar-2024 11:15 7670
HS-member.prolog 11-Mar-2024 11:15 5194
HS-min.prolog 11-Mar-2024 11:15 5691
HS-size.prolog 11-Mar-2024 11:15 4619
HS-sum.prolog 11-Mar-2024 11:15 5057
IS-count.prolog 11-Mar-2024 11:15 1549
IS-is_asorted.prolog 11-Mar-2024 11:15 1736
IS-length.prolog 11-Mar-2024 11:15 1476
IS-max-last.prolog 11-Mar-2024 11:15 2545
IS-max.prolog 11-Mar-2024 11:15 1758
IS-member.prolog 11-Mar-2024 11:15 1542
IS-min.prolog 11-Mar-2024 11:15 1691
IS-size.prolog 11-Mar-2024 11:15 1474
IS-sum.prolog 11-Mar-2024 11:15 1521
MEMB-min.prolog 11-Mar-2024 11:15 1730
MS-count.prolog 11-Mar-2024 11:15 2643
MS-is_asorted1.prolog 11-Mar-2024 11:15 2882
MS-is_asorted2.prolog 11-Mar-2024 11:15 2975
MS-length.prolog 11-Mar-2024 11:15 3284
MS-member.prolog 11-Mar-2024 11:15 2644
MS-min-last.prolog 11-Mar-2024 11:15 4049
MS-min.prolog 11-Mar-2024 11:15 2783
MS-size.prolog 11-Mar-2024 11:15 2584
MS-sum.prolog 11-Mar-2024 11:15 2576
PERM-count.prolog 11-Mar-2024 11:15 1906
PERM-length.prolog 11-Mar-2024 11:15 2020
PERM-max.prolog 11-Mar-2024 11:15 2324
PERM-member.prolog 11-Mar-2024 11:15 1889
PERM-min.prolog 11-Mar-2024 11:15 2020
PERM-size.prolog 11-Mar-2024 11:15 1794
PERM-sum.prolog 11-Mar-2024 11:15 1843
QSa-count.prolog 11-Mar-2024 11:15 2314
QSa-length.prolog 11-Mar-2024 11:15 2158
QSa-max.prolog 11-Mar-2024 11:15 4481
QSa-maxlast.prolog 11-Mar-2024 11:15 4649
QSa-member.prolog 11-Mar-2024 11:15 2279
QSa-min.prolog 11-Mar-2024 11:15 2428
QSa-size.prolog 11-Mar-2024 11:15 2122
QSa-sum.prolog 11-Mar-2024 11:15 2234
QSc-count.prolog 11-Mar-2024 11:15 2140
QSc-is_asorted.prolog 11-Mar-2024 11:15 2310
QSc-length.prolog 11-Mar-2024 11:15 2085
QSc-listmax-listmin-is_asorted.prolog 11-Mar-2024 11:15 3605
QSc-listmin-is_asorted.prolog 11-Mar-2024 11:15 2947
QSc-max.prolog 11-Mar-2024 11:15 3170
QSc-maxlast.prolog 11-Mar-2024 11:15 4456
QSc-sum.prolog 11-Mar-2024 11:15 2046
REV-count.prolog 11-Mar-2024 11:15 1256
REV-isASorted-isDSorted-leqall.prolog 11-Mar-2024 11:15 3128
REV-isASorted-isDSorted-listMin.prolog 11-Mar-2024 11:15 2780
REV-isDSorted-isASorted-listMax.prolog 11-Mar-2024 11:15 2919
REV-length.prolog 11-Mar-2024 11:15 1256
REV-max.prolog 11-Mar-2024 11:15 1496
REV-maxmin.prolog 11-Mar-2024 11:15 2288
REV-member.prolog 11-Mar-2024 11:15 1299
REV-membercount.prolog 11-Mar-2024 11:15 1698
REV-min.prolog 11-Mar-2024 11:15 1420
REV-size.prolog 11-Mar-2024 11:15 1208
REV-sum.prolog 11-Mar-2024 11:15 1265
REVA-count.prolog 11-Mar-2024 11:15 1879
REVA-countsize.prolog 11-Mar-2024 11:15 2226
REVA-member.prolog 11-Mar-2024 11:15 1887
REVA-min.prolog 11-Mar-2024 11:15 2048
REVA-size.prolog 11-Mar-2024 11:15 1746
REVA-sorted1.prolog 11-Mar-2024 11:15 4137
REVA-sorted2.prolog 11-Mar-2024 11:15 3049
REVA-sum.prolog 11-Mar-2024 11:15 1795
REVREV-isASorted.prolog 11-Mar-2024 11:15 4120
REVREV-isDSorted.prolog 11-Mar-2024 11:15 4133
SS-count.prolog 11-Mar-2024 11:15 2372
SS-is_asorted.prolog 11-Mar-2024 11:15 2563
SS-length.prolog 11-Mar-2024 11:15 2374
SS-max.prolog 11-Mar-2024 11:15 2830
SS-member.prolog 11-Mar-2024 11:15 2402
SS-min.prolog 11-Mar-2024 11:15 2550
SS-minlast.prolog 11-Mar-2024 11:15 3741
SS-size.prolog 11-Mar-2024 11:15 2327
SS-sum.prolog 11-Mar-2024 11:15 2343
TS-count.prolog 11-Mar-2024 11:15 3094
TS-is_asortedcount.prolog 11-Mar-2024 11:15 3771
TS-member.prolog 11-Mar-2024 11:15 3108
TS-min.prolog 11-Mar-2024 11:15 3662
TS-size.prolog 11-Mar-2024 11:15 2999
TS-sum.prolog 11-Mar-2024 11:15 2921