Published May 22, 2025
| Version 2025.05.22
Dataset
Open
SMT-LIB release 2025 (incremental benchmarks)
Creators
-
1.
Stanford University
-
2.
University of Iowa
-
3.
University of Liège
Description
This is the SMT-LIB benchmark library: a large library of input problems, or benchmarks, written in the SMT-LIB language. More information about the SMT-LIB initiative can be found at https://smt-lib.org. The contributor and licence of each benchmark is indicated in the metadata fields of each benchmark file.
This collection contains the incremental benchmarks.
Benchmarks are grouped by logic and compressed with the zstd compression algorithm using the tar --zstd. SMT-LIB benchmarks usually have a very high compression rate, be aware of the required disk space when uncompressing the archives. You can find the size of each archive in compressed and uncompressed form in the following list.
Files
README.md
Files
(3.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:039e652c3522d6411d70e304979e7836
|
69.8 kB | Download |
|
md5:3d8e6a22f947bf3394d2fc620d7e6015
|
6.0 MB | Download |
|
md5:05686d63f16858c0b20090a8fde0ea54
|
644.4 kB | Download |
|
md5:0f1dd42c644013f9bb37e0e3a1d0aff4
|
496.4 kB | Download |
|
md5:35aa3569242454b343e04855aad9aae0
|
607.3 kB | Download |
|
md5:d41d759c793f9a62846192cac3e1c515
|
7.8 kB | Download |
|
md5:5219f9a6cbb6872c9f7b62bed3c45974
|
114.9 kB | Download |
|
md5:b3fc3865d4be61c44c6c504f150e4e95
|
315.9 kB | Download |
|
md5:5ebc2c81fa0b414cf05aa81765ff5d9d
|
1.8 MB | Download |
|
md5:fecca8434116567b0151a243894e83a2
|
108.8 MB | Download |
|
md5:5249e58fceac1a7c5c74b2fadee5aafe
|
219.0 MB | Download |
|
md5:8a000519d616c16742efed7259c3740e
|
29.0 kB | Download |
|
md5:45dc2be7bfad66c09758e2f46f22d3d9
|
28.3 MB | Download |
|
md5:5dd097dff314000d13d403b687b1ae9b
|
1.3 MB | Download |
|
md5:8fbdebf0b410b133db08a2a51c4240df
|
707.0 kB | Download |
|
md5:46eee9014d80aef338d75eeaa9541f1b
|
52.6 MB | Download |
|
md5:5840288a666084dfab8d2b463977088d
|
6.2 MB | Download |
|
md5:eaaa84e69d2435918cdbf544d8aa3766
|
107.7 MB | Download |
|
md5:1f31e2e7192d863b8528a6efa63fbac8
|
544.9 MB | Download |
|
md5:cfc9465285ec16ac12b86f98f5f71c08
|
150.4 kB | Download |
|
md5:0789df7f66dba1da5c2934fb55a6f418
|
160.8 kB | Download |
|
md5:4f6c91d07454151e0f1bfd6f01c92085
|
58.5 MB | Download |
|
md5:9d027a7f43bf66299a2be3be27bb21f1
|
16.6 kB | Download |
|
md5:f12e3175a5c9ea44c59fea77bcbd774f
|
600.3 MB | Download |
|
md5:0f2984d6cc2bc180b6fad0fd997c5a76
|
206.6 MB | Download |
|
md5:54b6a27db0ea1d098bd0949c8ef719ff
|
58.5 MB | Download |
|
md5:58e57ba7475bd7d93244319c340e8c50
|
86.0 kB | Download |
|
md5:9eaee94dec5491f4d034bc20c8f35783
|
115.9 kB | Download |
|
md5:75a944bd9cf1ee689595706944354db5
|
53.9 MB | Download |
|
md5:619e8430391efff3b57b0f432b5c4d26
|
96.1 MB | Download |
|
md5:9282165b5ac91cd6e3197e041d0ba534
|
4.6 MB | Download |
|
md5:5d0da3cb986206acdfcbcd438f697c8f
|
663 Bytes | Download |
|
md5:790931e0632a17382e55fa6eebe97795
|
15.6 MB | Download |
|
md5:3287a680e31742414027c4dd9b0f2dc7
|
818.6 MB | Download |
|
md5:58205f0ae4f0ef51fca66c74fe41cd52
|
4.3 MB | Download |
|
md5:3fa6c99a5b7cdfea389dac440ff2d3af
|
1.7 kB | Download |
|
md5:068aacb70add4c6b4830f6ffb5dd92dd
|
5.1 kB | Preview Download |
|
md5:5ac39d9b6fd3619730bfd3e064d21844
|
43.0 MB | Download |
|
md5:1405d3e72a9a69ce425af22266d78c7c
|
2.4 MB | Download |
|
md5:54695e3b76069eaa35d45cababf2ee56
|
2.7 MB | Download |
|
md5:a393a2be92a3e891df98f5c8cc3bdcb3
|
41.3 MB | Download |
|
md5:3bcbe558fd1269608cb3cd9c549f9664
|
7.9 kB | Download |