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