Index of /vericatabs/benchmarks-lopstr23/unsat/
../
BS-count-ER.prolog 19-Jun-2023 08:43 2029
BS-is_asorted-ER.prolog 19-Jun-2023 08:43 2206
BS-member-ER.prolog 19-Jun-2023 08:43 2014
BS-min-ER.prolog 19-Jun-2023 08:43 2107
BS-size-ER.prolog 19-Jun-2023 08:43 1901
BS-sum-ER.prolog 19-Jun-2023 08:43 1887
BSTree-bstree-count-member-on-delete-ER.prolog 19-Jun-2023 08:43 4836
BSTree-count-on-delete-ER.prolog 19-Jun-2023 08:43 4345
BSTree-member-on-delete-ER.prolog 19-Jun-2023 08:43 4307
BSTree-min-on-delete-ER.prolog 19-Jun-2023 08:43 3938
BSTree-size-on-delete-ER.prolog 19-Jun-2023 08:43 4193
BSTree-sum-on-delete-ER.prolog 19-Jun-2023 08:43 4252
DeleteCopies-count-ER.prolog 19-Jun-2023 08:43 1830
DeleteCopies-member-ER.prolog 19-Jun-2023 08:43 1844
DeleteCopies-member-count-ER.prolog 19-Jun-2023 08:43 2321
DeleteCopies-min-ER.prolog 19-Jun-2023 08:43 1983
DeleteCopies-size-ER.prolog 19-Jun-2023 08:43 1760
DeleteCopies-sum-ER.prolog 19-Jun-2023 08:43 2002
DeleteCopies-sum-allpos-ER.prolog 19-Jun-2023 08:43 2062
HS-count-ER.prolog 19-Jun-2023 08:43 5007
HS-is_asorted-ER.prolog 19-Jun-2023 08:43 6817
HS-member-ER.prolog 19-Jun-2023 08:43 5007
HS-min-ER.prolog 19-Jun-2023 08:43 5542
HS-size-ER.prolog 19-Jun-2023 08:43 4448
HS-sum-ER.prolog 19-Jun-2023 08:43 4874
IS-count-ER.prolog 19-Jun-2023 08:43 1445
IS-is_asorted-ER.prolog 19-Jun-2023 08:43 1643
IS-member-ER.prolog 19-Jun-2023 08:43 1436
IS-min-ER.prolog 19-Jun-2023 08:43 1570
IS-size-ER.prolog 19-Jun-2023 08:43 1365
IS-sum-ER.prolog 19-Jun-2023 08:43 1421
MS-count-ER.prolog 19-Jun-2023 08:43 2511
MS-is_asorted-ER.prolog 19-Jun-2023 08:43 2756
MS-member-ER.prolog 19-Jun-2023 08:43 2510
MS-min-ER.prolog 19-Jun-2023 08:43 2648
MS-min_last-ER.prolog 19-Jun-2023 08:43 3845
MS-size-ER.prolog 19-Jun-2023 08:43 2452
MS-sum-ER.prolog 19-Jun-2023 08:43 2448
PERM-count-ER.prolog 19-Jun-2023 08:43 1801
PERM-member-ER.prolog 19-Jun-2023 08:43 1797
PERM-min-ER.prolog 19-Jun-2023 08:43 1926
PERM-size-ER.prolog 19-Jun-2023 08:43 1695
PERM-sum-ER.prolog 19-Jun-2023 08:43 1730
QSa-count-ER.prolog 19-Jun-2023 08:43 2249
QSa-member-ER.prolog 19-Jun-2023 08:43 2179
QSa-min-ER.prolog 19-Jun-2023 08:43 2309
QSa-size-ER.prolog 19-Jun-2023 08:43 2050
QSa-sum-ER.prolog 19-Jun-2023 08:43 2112
QSc-is_asorted-ER.prolog 19-Jun-2023 08:43 2207
QSc-listmax-listmin-is_asorted-ER.prolog 19-Jun-2023 08:43 3356
QSc-listmin-is_asorted-ER.prolog 19-Jun-2023 08:43 2787
REV-count-ER.prolog 19-Jun-2023 08:43 1200
REV-member-ER.prolog 19-Jun-2023 08:43 1200
REV-member-count-ER.prolog 19-Jun-2023 08:43 1584
REV-min-ER.prolog 19-Jun-2023 08:43 1309
REV-size-ER.prolog 19-Jun-2023 08:43 1117
REV-sum-ER.prolog 19-Jun-2023 08:43 1162
REVA-count-ER.prolog 19-Jun-2023 08:43 1742
REVA-count-size-ER.prolog 19-Jun-2023 08:43 2098
REVA-member-ER.prolog 19-Jun-2023 08:43 1779
REVA-min-ER.prolog 19-Jun-2023 08:43 1941
REVA-size-ER.prolog 19-Jun-2023 08:43 1673
REVA-sum-ER.prolog 19-Jun-2023 08:43 1703
SS-count-ER.prolog 19-Jun-2023 08:43 2232
SS-is_asorted-ER.prolog 19-Jun-2023 08:43 2459
SS-member-ER.prolog 19-Jun-2023 08:43 2274
SS-min-ER.prolog 19-Jun-2023 08:43 2461
SS-size-ER.prolog 19-Jun-2023 08:43 2212
SS-sum-ER.prolog 19-Jun-2023 08:43 2234
TS-count-ER.prolog 19-Jun-2023 08:43 2896
TS-count-is_asorted-ER.prolog 19-Jun-2023 08:43 3608
TS-member-ER.prolog 19-Jun-2023 08:43 2957
TS-min-ER.prolog 19-Jun-2023 08:43 3582
TS-size-ER.prolog 19-Jun-2023 08:43 2959
TS-sum-ER.prolog 19-Jun-2023 08:43 2835