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