Index of /vericatabs/benchmarks/unsat/


../
APP-greater-ER.prolog                              11-Mar-2024 11:15                1329
APP-is_asorted-ER.prolog                           11-Mar-2024 11:15                2286
APP-is_dsorted-ER.prolog                           11-Mar-2024 11:15                2230
APP-properties-ER.prolog                           11-Mar-2024 11:15                3071
BS-count-ER.prolog                                 11-Mar-2024 11:15                2179
BS-is_asorted-ER.prolog                            11-Mar-2024 11:15                2356
BS-length-ER.prolog                                11-Mar-2024 11:15                2026
BS-max-ER.prolog                                   11-Mar-2024 11:15                2379
BS-max-last-ER.prolog                              11-Mar-2024 11:15                3211
BS-member-ER.prolog                                11-Mar-2024 11:15                2165
BS-min-ER.prolog                                   11-Mar-2024 11:15                2256
BS-size-ER.prolog                                  11-Mar-2024 11:15                2049
BS-sum-ER.prolog                                   11-Mar-2024 11:15                2033
BSTree-count-member-on-delete-ER.prolog            11-Mar-2024 11:15                5051
BSTree-count-on-delete-ER.prolog                   11-Mar-2024 11:15                4495
BSTree-height-on-delete-ER.prolog                  11-Mar-2024 11:15                4307
BSTree-member-on-delete-ER.prolog                  11-Mar-2024 11:15                4500
BSTree-min-on-delete-ER.prolog                     11-Mar-2024 11:15                4145
BSTree-size-on-delete-ER.prolog                    11-Mar-2024 11:15                4376
BSTree-sum-on-delete-ER.prolog                     11-Mar-2024 11:15                4435
BSTree-visit-min-max-ER.prolog                     11-Mar-2024 11:15                4718
DeleteCopies-count-ER.prolog                       11-Mar-2024 11:15                1976
DeleteCopies-member-ER.prolog                      11-Mar-2024 11:15                1989
DeleteCopies-member-count-ER.prolog                11-Mar-2024 11:15                2484
DeleteCopies-min-ER.prolog                         11-Mar-2024 11:15                2126
DeleteCopies-size-ER.prolog                        11-Mar-2024 11:15                1902
DeleteCopies-sum-ER.prolog                         11-Mar-2024 11:15                2146
DeleteCopies-sum-allpos-ER.prolog                  11-Mar-2024 11:15                2219
HS-count-ER.prolog                                 11-Mar-2024 11:15                5222
HS-is_asorted-ER.prolog                            11-Mar-2024 11:15                7026
HS-is_dsorted-ER.prolog                            11-Mar-2024 11:15                7719
HS-member-ER.prolog                                11-Mar-2024 11:15                5230
HS-min-ER.prolog                                   11-Mar-2024 11:15                5750
HS-size-ER.prolog                                  11-Mar-2024 11:15                4653
HS-sum-ER.prolog                                   11-Mar-2024 11:15                5084
IS-count-ER.prolog                                 11-Mar-2024 11:15                1591
IS-is_asorted-ER.prolog                            11-Mar-2024 11:15                1789
IS-length-ER.prolog                                11-Mar-2024 11:15                1532
IS-max-ER.prolog                                   11-Mar-2024 11:15                1778
IS-max-last-ER.prolog                              11-Mar-2024 11:15                2565
IS-member-ER.prolog                                11-Mar-2024 11:15                1604
IS-min-ER.prolog                                   11-Mar-2024 11:15                1723
IS-size-ER.prolog                                  11-Mar-2024 11:15                1508
IS-sum-ER.prolog                                   11-Mar-2024 11:15                1563
MEMB-min-ER.prolog                                 11-Mar-2024 11:15                1755
MS-count-ER.prolog                                 11-Mar-2024 11:15                2662
MS-is_asorted1-ER.prolog                           11-Mar-2024 11:15                2909
MS-is_asorted2-ER.prolog                           11-Mar-2024 11:15                3000
MS-length-ER.prolog                                11-Mar-2024 11:15                3303
MS-member-ER.prolog                                11-Mar-2024 11:15                2662
MS-min-ER.prolog                                   11-Mar-2024 11:15                2799
MS-min_last-ER.prolog                              11-Mar-2024 11:15                4072
MS-size-ER.prolog                                  11-Mar-2024 11:15                2600
MS-sum-ER.prolog                                   11-Mar-2024 11:15                2614
PERM-count-ER.prolog                               11-Mar-2024 11:15                1939
PERM-length-ER.prolog                              11-Mar-2024 11:15                2064
PERM-max-ER.prolog                                 11-Mar-2024 11:15                2370
PERM-member-ER.prolog                              11-Mar-2024 11:15                1936
PERM-min-ER.prolog                                 11-Mar-2024 11:15                2063
PERM-size-ER.prolog                                11-Mar-2024 11:15                1829
PERM-sum-ER.prolog                                 11-Mar-2024 11:15                1863
QSa-count-ER.prolog                                11-Mar-2024 11:15                2399
QSa-length-ER.prolog                               11-Mar-2024 11:15                2203
QSa-max-ER.prolog                                  11-Mar-2024 11:15                4509
QSa-maxlast-ER.prolog                              11-Mar-2024 11:15                4687
QSa-member-ER.prolog                               11-Mar-2024 11:15                2333
QSa-min-ER.prolog                                  11-Mar-2024 11:15                2469
QSa-size-ER.prolog                                 11-Mar-2024 11:15                2195
QSa-sum-ER.prolog                                  11-Mar-2024 11:15                2260
QSc-count-ER.prolog                                11-Mar-2024 11:15                2186
QSc-is_asorted-ER.prolog                           11-Mar-2024 11:15                2354
QSc-length-ER.prolog                               11-Mar-2024 11:15                2131
QSc-listmax-listmin-is_asorted-ER.prolog           11-Mar-2024 11:15                3620
QSc-listmin-is_asorted-ER.prolog                   11-Mar-2024 11:15                2994
QSc-max-ER.prolog                                  11-Mar-2024 11:15                3216
QSc-maxlast-ER.prolog                              11-Mar-2024 11:15                4501
QSc-sum-ER.prolog                                  11-Mar-2024 11:15                2091
REV-count-ER.prolog                                11-Mar-2024 11:15                1294
REV-isASorted-isDSorted-leqall-ER.prolog           11-Mar-2024 11:15                3165
REV-isASorted-isDSorted-listMin-ER.prolog          11-Mar-2024 11:15                2814
REV-isDSorted-isASorted-listMax-ER.prolog          11-Mar-2024 11:15                2955
REV-length-ER.prolog                               11-Mar-2024 11:15                1293
REV-max-ER.prolog                                  11-Mar-2024 11:15                1533
REV-maxmin-ER.prolog                               11-Mar-2024 11:15                2326
REV-member-ER.prolog                               11-Mar-2024 11:15                1343
REV-membercount-ER.prolog                          11-Mar-2024 11:15                1742
REV-min-ER.prolog                                  11-Mar-2024 11:15                1446
REV-size-ER.prolog                                 11-Mar-2024 11:15                1244
REV-sum-ER.prolog                                  11-Mar-2024 11:15                1291
REVA-count-ER.prolog                               11-Mar-2024 11:15                1921
REVA-countsize-ER.prolog                           11-Mar-2024 11:15                2271
REVA-member-ER.prolog                              11-Mar-2024 11:15                1926
REVA-min-ER.prolog                                 11-Mar-2024 11:15                2089
REVA-size-ER.prolog                                11-Mar-2024 11:15                1805
REVA-sorted1-ER.prolog                             11-Mar-2024 11:15                4170
REVA-sorted2-ER.prolog                             11-Mar-2024 11:15                3071
REVA-sum-ER.prolog                                 11-Mar-2024 11:15                1834
REVREV-isASorted-ER.prolog                         11-Mar-2024 11:15                4137
REVREV-isDSorted-ER.prolog                         11-Mar-2024 11:15                4145
SS-count-ER.prolog                                 11-Mar-2024 11:15                2383
SS-is_asorted-ER.prolog                            11-Mar-2024 11:15                2611
SS-length-ER.prolog                                11-Mar-2024 11:15                2399
SS-max-ER.prolog                                   11-Mar-2024 11:15                2854
SS-member-ER.prolog                                11-Mar-2024 11:15                2421
SS-min-ER.prolog                                   11-Mar-2024 11:15                2614
SS-minlast-ER.prolog                               11-Mar-2024 11:15                3766
SS-size-ER.prolog                                  11-Mar-2024 11:15                2352
SS-sum-ER.prolog                                   11-Mar-2024 11:15                2369
TS-count-ER.prolog                                 11-Mar-2024 11:15                3126
TS-is_asortedcount-ER.prolog                       11-Mar-2024 11:15                3845
TS-member-ER.prolog                                11-Mar-2024 11:15                3157
TS-min-ER.prolog                                   11-Mar-2024 11:15                3842
TS-size-ER.prolog                                  11-Mar-2024 11:15                3172
TS-sum-ER.prolog                                   11-Mar-2024 11:15                3013