Index of /vericatabs/benchmarks-lopstr23/sat/
../
BS-count.prolog 19-Jun-2023 08:43 1931
BS-is_asorted.prolog 19-Jun-2023 08:43 2168
BS-member.prolog 19-Jun-2023 08:43 1964
BS-min.prolog 19-Jun-2023 08:43 2104
BS-size.prolog 19-Jun-2023 08:43 1862
BS-sum.prolog 19-Jun-2023 08:43 1850
BSTree-bstree-count-member-on-delete.prolog 19-Jun-2023 08:43 4795
BSTree-count-on-delete.prolog 19-Jun-2023 08:43 4229
BSTree-member-on-delete.prolog 19-Jun-2023 08:43 4230
BSTree-min-on-delete.prolog 19-Jun-2023 08:43 3900
BSTree-size-on-delete.prolog 19-Jun-2023 08:43 4109
BSTree-sum-on-delete.prolog 19-Jun-2023 08:43 4192
DeleteCopies-count.prolog 19-Jun-2023 08:43 1803
DeleteCopies-member-count.prolog 19-Jun-2023 08:43 2336
DeleteCopies-member.prolog 19-Jun-2023 08:43 1824
DeleteCopies-min.prolog 19-Jun-2023 08:43 1964
DeleteCopies-size.prolog 19-Jun-2023 08:43 1734
DeleteCopies-sum-allpos.prolog 19-Jun-2023 08:43 2039
DeleteCopies-sum.prolog 19-Jun-2023 08:43 1969
HS-count.prolog 19-Jun-2023 08:43 4994
HS-is_asorted.prolog 19-Jun-2023 08:43 7459
HS-member.prolog 19-Jun-2023 08:43 4986
HS-min.prolog 19-Jun-2023 08:43 5491
HS-size.prolog 19-Jun-2023 08:43 4420
HS-sum.prolog 19-Jun-2023 08:43 4853
IS-count.prolog 19-Jun-2023 08:43 1404
IS-is_asorted.prolog 19-Jun-2023 08:43 1589
IS-member.prolog 19-Jun-2023 08:43 1395
IS-min.prolog 19-Jun-2023 08:43 1547
IS-size.prolog 19-Jun-2023 08:43 1326
IS-sum.prolog 19-Jun-2023 08:43 1380
MS-count.prolog 19-Jun-2023 08:43 2491
MS-is_asorted.prolog 19-Jun-2023 08:43 2731
MS-member.prolog 19-Jun-2023 08:43 2490
MS-min.prolog 19-Jun-2023 08:43 2631
MS-min_last.prolog 19-Jun-2023 08:43 3823
MS-size.prolog 19-Jun-2023 08:43 2436
MS-sum.prolog 19-Jun-2023 08:43 2428
PERM-count.prolog 19-Jun-2023 08:43 1758
PERM-member.prolog 19-Jun-2023 08:43 1751
PERM-min.prolog 19-Jun-2023 08:43 1884
PERM-size.prolog 19-Jun-2023 08:43 1661
PERM-sum.prolog 19-Jun-2023 08:43 1711
QSa-count.prolog 19-Jun-2023 08:43 2162
QSa-member.prolog 19-Jun-2023 08:43 2132
QSa-min.prolog 19-Jun-2023 08:43 2269
QSa-size.prolog 19-Jun-2023 08:43 1977
QSa-sum.prolog 19-Jun-2023 08:43 2085
QSc-is_asorted.prolog 19-Jun-2023 08:43 2161
QSc-listmax-listmin-is_asorted.prolog 19-Jun-2023 08:43 3340
QSc-listmin-is_asorted.prolog 19-Jun-2023 08:43 2741
REV-count.prolog 19-Jun-2023 08:43 1112
REV-member-count.prolog 19-Jun-2023 08:43 1544
REV-member.prolog 19-Jun-2023 08:43 1164
REV-min.prolog 19-Jun-2023 08:43 1283
REV-size.prolog 19-Jun-2023 08:43 1078
REV-sum.prolog 19-Jun-2023 08:43 1137
REVA-count-size.prolog 19-Jun-2023 08:43 2058
REVA-count.prolog 19-Jun-2023 08:43 1719
REVA-member.prolog 19-Jun-2023 08:43 1739
REVA-min.prolog 19-Jun-2023 08:43 1905
REVA-size.prolog 19-Jun-2023 08:43 1614
REVA-sum.prolog 19-Jun-2023 08:43 1663
SS-count.prolog 19-Jun-2023 08:43 2222
SS-is_asorted.prolog 19-Jun-2023 08:43 2413
SS-member.prolog 19-Jun-2023 08:43 2254
SS-min.prolog 19-Jun-2023 08:43 2397
SS-size.prolog 19-Jun-2023 08:43 2188
SS-sum.prolog 19-Jun-2023 08:43 2209
TS-count-is_asorted.prolog 19-Jun-2023 08:43 3564
TS-count.prolog 19-Jun-2023 08:43 2871
TS-member.prolog 19-Jun-2023 08:43 2909
TS-min.prolog 19-Jun-2023 08:43 3429
TS-size.prolog 19-Jun-2023 08:43 2813
TS-sum.prolog 19-Jun-2023 08:43 2744