Add remaining SMT-COMP's 2025 datasets to datasets.sexp

Author: filipeom

bench/datasets.sexp

@@ -1,3 +1,8 @@
+(dataset
+ (name QF_BV)
+ (url "https://zenodo.org/records/15493090/files/QF_BV.tar.zst")
+ (md5sum "9bb268ced812a004edfd9876aea025bb"))
+
 (dataset
  (name QF_FP)
  (url "https://zenodo.org/records/15493090/files/QF_FP.tar.zst")
@@ -8,3 +13,12 @@
  (url "https://zenodo.org/records/15493090/files/QF_S.tar.zst")
  (md5sum "22c3c79ddd6bbcb2be5a9cae8b3ffdcf"))
 
+(dataset
+ (name QF_LIA)
+ (url "https://zenodo.org/records/15493090/files/QF_LIA.tar.zst")
+ (md5sum "6b78b5c578394cf7a72b22087279f34f"))
+
+(dataset
+ (name QF_SLIA)
+ (url "https://zenodo.org/records/15493090/files/QF_SLIA.tar.zst")
+ (md5sum "4534376687f0a81e48cba0ae291e8b96"))