Published February 6, 2021
| Version 1.0
Dataset
Open
SAT Instances for Testing Random Samplers' Uniformity
Creators
- 1. Universidad Nacional de Educacion a Distancia
- 2. Universidad Nacional de Educacion a Distancia (UNED)
Description
Random SAT samples generated with the following samplers:
- BDDSampler
- KUS
- QuickSampler
- Smarch
- Spur
- Unigen2
There is a zip file per model, which is organized into the following directories:
bool_formula: includes the model's Boolean encoding as a BDD (.dddmp), a CNF (.dimacs), and a d-DNNF (.nnf).goodness_of_fit: includes a graphical analysis of the model's goodness-of-fit.population_desc: population SAT-solution distribution.samples: samples generated in each sampler's original format.std_samples: standardized samples. Each sample is characterized according to how the number of variables assigned to true distributes along the SAT-solutions.
Notes
This dataset has been funded by (i) the Universidad Nacional de Educacion a Distancia (UNED) under grant 096-034091 2021V/PUNED/008 (OPTIVAC), and (ii) the Community of Madrid, under the research network CAM RoboCity2030 S2018/NMT-4331.
Files
10.sk_1_46.zip
Files
(7.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c7e8e91f4420f8c1423a9a2c6b446e56
|
4.0 MB | Preview Download |
|
md5:78c1875630bed6f310333ca02a751058
|
386.3 MB | Preview Download |
|
md5:1d26bd169b23d022c061383b521b0409
|
8.5 MB | Preview Download |
|
md5:33bbe25aafcd7d330b080601f75d7aae
|
477.8 MB | Preview Download |
|
md5:eefb52dd5db9d0a5d71b9bdf07d0a0a3
|
5.2 MB | Preview Download |
|
md5:73b82d898bd75c03ecb52b4ccc396829
|
258.6 MB | Preview Download |
|
md5:7729b43331416e93db21107cd3e1d25d
|
3.1 MB | Preview Download |
|
md5:c645c1c382bb00989d5b99fe214a6c1d
|
7.4 MB | Preview Download |
|
md5:0ab5f8d4bfe2fe78d058a4e1e496ed1b
|
9.0 MB | Preview Download |
|
md5:83ca6c57a3351e0889a5e52bfc196feb
|
5.9 MB | Preview Download |
|
md5:75222ade0848970baf767375d968a27c
|
7.4 MB | Preview Download |
|
md5:24b555771ee5f60f8937224c9900faf1
|
553.1 MB | Preview Download |
|
md5:481dde536b23ea57ebb28c596d83a521
|
688.0 MB | Preview Download |
|
md5:5927cfb2de16cb139e4e98f5ccdeaf76
|
912.1 kB | Preview Download |
|
md5:ff4df74a80a920e74c8f6bda2ab9babf
|
1.2 MB | Preview Download |
|
md5:fc571c80dd4830e92bd5b851c41811ee
|
4.6 MB | Preview Download |
|
md5:4f704e3379f0d21ef5018218a48876bf
|
875.3 kB | Preview Download |
|
md5:825009e556d8312348766b85474b36a4
|
889.4 kB | Preview Download |
|
md5:18ad018e2d56ad42cb31dd61d9e90fad
|
708.6 kB | Preview Download |
|
md5:8bf7061fb1f033632189c6e1c904704c
|
707.5 kB | Preview Download |
|
md5:e9f5bd3e8844c6b94d7979492bc5af3a
|
1.6 MB | Preview Download |
|
md5:c9c3940357174a101e5591e2ecfffd95
|
1.8 MB | Preview Download |
|
md5:1e50b282b030fee0737bd5b3c3c9ccd9
|
1.6 MB | Preview Download |
|
md5:3c69c4cbb277cf2550b09e1a6bb4e7e9
|
1.8 MB | Preview Download |
|
md5:2ce3794efcbba5f24768001677239a42
|
916.1 kB | Preview Download |
|
md5:1b64718de0eb8efdf0ec64bc6c15042b
|
1.7 MB | Preview Download |
|
md5:b2ac6854a1d81ca510b5709088af4b1a
|
1.6 MB | Preview Download |
|
md5:9514423c1f59f399d29e7afb188c912a
|
1.1 MB | Preview Download |
|
md5:574ad609ef7ea13d4eca626c846e21c8
|
1.8 MB | Preview Download |
|
md5:7857c10f56dd2d7087bd314372851e2e
|
10.1 MB | Preview Download |
|
md5:689c23ee89f7bd82a9d099e87b8518c6
|
5.3 MB | Preview Download |
|
md5:4448b1d373422f125edfe4236687d2b1
|
5.3 MB | Preview Download |
|
md5:727fd61e5d565730cb995d6d633c2300
|
1.7 MB | Preview Download |
|
md5:1999e211abed22b458bc93258f101920
|
1.7 MB | Preview Download |
|
md5:7d260f3a635e312bd1f387d715ae910d
|
2.1 MB | Preview Download |
|
md5:611b6a54914a18fc0ba9569186981638
|
2.2 MB | Preview Download |
|
md5:2c87e5d871b21333ddc7685b38087fba
|
2.5 MB | Preview Download |
|
md5:06dcb7444704c78fbe1d540e93227c89
|
1.8 MB | Preview Download |
|
md5:4d648af99740aa1687b60e2f8b895a3e
|
1.7 MB | Preview Download |
|
md5:a14979e9353e4f365ec9ff9629fa8f65
|
1.1 MB | Preview Download |
|
md5:0fa208cf1f687680d595ce873cfc0432
|
2.3 MB | Preview Download |
|
md5:53e7758cb2eb40b0e823a03658610e26
|
2.0 MB | Preview Download |
|
md5:27df01477270bbefdf43e738225ff3ed
|
690.7 kB | Preview Download |
|
md5:0c5a78b1d73fb7cbec419a24dfd5dfb3
|
690.8 kB | Preview Download |
|
md5:2d229670b61fa98ddb2f686d82318321
|
5.1 MB | Preview Download |
|
md5:7142b13f0c32c62b7aa29b0648912e5e
|
3.0 MB | Preview Download |
|
md5:196795c551f51ce5aa857ee4a2fb3dec
|
1.6 MB | Preview Download |
|
md5:525886ef993c2fdc91022708232d0394
|
1.6 MB | Preview Download |
|
md5:8d8ab60efbdaa8822b5c5cfb23db27eb
|
846.4 kB | Preview Download |
|
md5:40c569d3adb5ca72686a83af6e07feb3
|
1.6 MB | Preview Download |
|
md5:aa11f8ec5c4fc4d091a3f498a3cd6f68
|
1.7 MB | Preview Download |
|
md5:7ac9eeb94c5f107312460f52f6db1ba6
|
849.5 kB | Preview Download |
|
md5:1a4df2024cd6f9d0f69619206626a9b6
|
2.0 MB | Preview Download |
|
md5:cf6305be9faeb641c4e5d5618bf37d0d
|
10.3 MB | Preview Download |
|
md5:cf9916c76ff1dbb10d641ce1e5fa446c
|
1.8 MB | Preview Download |
|
md5:426ef0a6a2a456963273f123aab8f64e
|
1.8 MB | Preview Download |
|
md5:79dcea58fd80afa3a78fe35d6629d326
|
3.2 MB | Preview Download |
|
md5:a65264c4871ec4785bde88110a3af67a
|
812.3 kB | Preview Download |
|
md5:e5b36a6fc9e7b6a5cb0ba3ec48e81d5d
|
3.6 MB | Preview Download |
|
md5:b9cc7f764e6b975f6a4881fbe11c82c7
|
2.2 MB | Preview Download |
|
md5:25316a0b639d6c3cbcd7ee7d58aa712a
|
3.5 MB | Preview Download |
|
md5:68e7ab4fb83c1e8bbf9d5ff9a96d56f0
|
657.3 kB | Preview Download |
|
md5:fecc7be6c6c06fab6477918beb8e0ae1
|
1.6 MB | Preview Download |
|
md5:2f73c14c0bdbf3c46f8795da5eccf7ce
|
1.6 MB | Preview Download |
|
md5:326913ac0aca4a8f6bb49a23affa8b29
|
1.7 MB | Preview Download |
|
md5:8c448ef3bdeeea4c34cb2fcd1b4ae0e3
|
1.7 MB | Preview Download |
|
md5:8cdbcb0b93423abc1ac55afd760b3233
|
1.7 MB | Preview Download |
|
md5:6435bbbbca4ece482ebab019580322c2
|
657.3 kB | Preview Download |
|
md5:d93f83dc515cb192c9a16bfd295486d5
|
6.4 MB | Preview Download |
|
md5:dbfacfe9b654b53d419f54a47f6a3bb0
|
6.4 MB | Preview Download |
|
md5:9ef987f03b99f20cad78ec177a74ad8f
|
932.6 kB | Preview Download |
|
md5:c39ec5d3c50cb0a4fc8f50e6f6e67f7d
|
6.8 MB | Preview Download |
|
md5:c45686835b78bdc4f92748ccff1d79bd
|
7.5 MB | Preview Download |
|
md5:5c210f31ea580ba3f35be7d9183f9a3a
|
5.0 MB | Preview Download |
|
md5:115116e02082f237ace6f6c90c213833
|
4.2 MB | Preview Download |
|
md5:ec90400fc0a0ccc3f5dbd24d16fa1a20
|
928.3 kB | Preview Download |
|
md5:b211b34eb7659fdd6a0bffe8524c3315
|
809.3 kB | Preview Download |
|
md5:56cdf1f9467d77b91bc9e43d4e2e761c
|
754.1 kB | Preview Download |
|
md5:376140104fb481bc188469810572fbc8
|
755.8 kB | Preview Download |
|
md5:7d45c6b3a40dc53b7e24ca30bfaf07e1
|
746.0 kB | Preview Download |
|
md5:1fe549512de7fc58f7f3637715379fa7
|
743.8 kB | Preview Download |
|
md5:88eae947e32b5e6b17ff201d5bb4f03c
|
744.0 kB | Preview Download |
|
md5:4c23db796b5cbe7a08eb985eade9f668
|
753.3 kB | Preview Download |
|
md5:5260c71bca226ca349c8472ba83b8722
|
2.2 MB | Preview Download |
|
md5:fcccaf5bff0a88453617f8c5eac6f403
|
756.4 kB | Preview Download |
|
md5:078a131f36d369f0f2b6bc92186ffe88
|
744.9 kB | Preview Download |
|
md5:44231c2109805d8c854c02a6b277fc9f
|
745.0 kB | Preview Download |
|
md5:453006ee5e4071d2c967dc31a208fd63
|
744.0 kB | Preview Download |
|
md5:0288ffa9cb05e729e2972ae123c5a2f9
|
3.7 MB | Preview Download |
|
md5:cc3136813355f6c55fec9fe9f93d5295
|
3.9 MB | Preview Download |
|
md5:f0acebb7ee084a21087abda286b0e709
|
740.3 kB | Preview Download |
|
md5:f5f8dc7508dd5c3cabfb5d88e353bcb9
|
1.0 MB | Preview Download |
|
md5:01827d87a917d93bed8dd3c11261369d
|
4.4 MB | Preview Download |
|
md5:bad5c548a4c9c5ecc885ecbe4aa7d6be
|
989.7 kB | Preview Download |
|
md5:e93a9fe6df6e6d3bb7331c8eebe9f485
|
4.4 MB | Preview Download |
|
md5:d5da79ca436ed02476dadb66ef7f7e64
|
4.4 MB | Preview Download |
|
md5:68bf72a0bf03980dcac380124d2386ad
|
945.6 kB | Preview Download |
|
md5:aebd720ff171a7c65fb1e0732848789d
|
1.2 MB | Preview Download |
|
md5:faeda8c1193e252e3c0b2dd4c0d26c1d
|
945.8 kB | Preview Download |
|
md5:6dbea29f5cbebcf9a8ad9e099438a8a5
|
1.2 MB | Preview Download |
|
md5:0f2dde5ecce7a2c92e1bb425e7d573b1
|
935.2 kB | Preview Download |
|
md5:d9704a952a9fc44eaabaa602f50ceadc
|
1.4 MB | Preview Download |
|
md5:933dd92cf0cc21ae7c8584251d5cec1e
|
11.4 MB | Preview Download |
|
md5:f2fdcb0898ef187410be487e872fbddb
|
962.1 kB | Preview Download |
|
md5:7db91a634b2caadc17c4a5b963a8ced2
|
965.8 kB | Preview Download |
|
md5:487910d4290dbe1e31cbaacef2b7ebc7
|
963.9 kB | Preview Download |
|
md5:c1d08b4f920424ea746f3b05cfcd3f50
|
1.5 MB | Preview Download |
|
md5:fc2a2ca57245eb5aa141b6eb4df091ea
|
1.1 MB | Preview Download |
|
md5:c8eaa3b56e22c0f5cab337ad056259d2
|
1.5 MB | Preview Download |
|
md5:274ae0efd054ac1fbfd9e36c35559953
|
1.9 MB | Preview Download |
|
md5:7e2fa83753ea1e5ffa271a4beaea0b47
|
856.9 kB | Preview Download |
|
md5:fac16c5f8878a6b24cb685508fee35ee
|
867.7 kB | Preview Download |
|
md5:56f31ead3c1ada643f816afede34d1b6
|
869.9 kB | Preview Download |
|
md5:4878c81cb64f8c6015429b94b662ccc7
|
2.3 MB | Preview Download |
|
md5:1100a38d82a9ee491f83536e43f3f632
|
664.0 kB | Preview Download |
|
md5:1a8a5e7641033f553b9699f8c914f657
|
3.7 MB | Preview Download |
|
md5:ec6e5f6018fb6e1b0125556e387e8b8d
|
2.0 MB | Preview Download |
|
md5:c8e0086d531888a099185bee382c30c8
|
874.9 kB | Preview Download |
|
md5:0e098329a09eb2b8d250a0a22e0ad4ac
|
887.4 kB | Preview Download |
|
md5:1a12bdef94ef07ca5fe1cbbaef728521
|
2.0 MB | Preview Download |
|
md5:bf48537358c2c23a804082208d5c499b
|
954.6 kB | Preview Download |
|
md5:23cc777933c8e1de52010f9016504c03
|
1.3 MB | Preview Download |
|
md5:0fbdcfa47fb23abb0060bef3c20da406
|
2.1 MB | Preview Download |
|
md5:d89d9cd5bfa21039426bcdf653150de7
|
29.7 MB | Preview Download |
|
md5:7ff73c13efcfda7c9c0412117a871ea5
|
3.6 MB | Preview Download |
|
md5:20b58e31fbc359bbb78f977916c847bc
|
31.5 MB | Preview Download |
|
md5:5fec599922f0fd66f384e6ce62678e22
|
29.5 MB | Preview Download |
|
md5:3d40b588d635854b70db0838a99ac79e
|
3.7 MB | Preview Download |
|
md5:dcad8734f84ac249fcca7f1e851a4919
|
31.9 MB | Preview Download |
|
md5:d4b26a5e9ec9b0ae80a5a50ec1a59f4d
|
2.0 MB | Preview Download |
|
md5:08c2c76a712bb9646083c2bd47fcc595
|
2.1 MB | Preview Download |
|
md5:ea587ac40c79eb210aa8eaeb3f087c09
|
2.3 MB | Preview Download |
|
md5:253378578f6212c53a3c6398259cbd29
|
3.7 MB | Preview Download |
|
md5:4c9ae0efd9989ea01aebde8bd85b9dd7
|
31.4 MB | Preview Download |
|
md5:54f726ab36288231ae7ba5d4f454fb50
|
2.0 MB | Preview Download |
|
md5:a6b370e3620dc615c8b82e9ae66eff7b
|
2.1 MB | Preview Download |
|
md5:8d2748fe904e8596b010efd1265884a9
|
2.3 MB | Preview Download |
|
md5:334e5aed537e3e8c9d4023acd98d4c77
|
2.0 MB | Preview Download |
|
md5:3543d3d5ce69caf6e80284e238e33c14
|
2.1 MB | Preview Download |
|
md5:8cac205c0781c2bcafdcfa648730ef94
|
2.3 MB | Preview Download |
|
md5:edb44e64e128859dd06b0da818a4131c
|
663.5 MB | Preview Download |
|
md5:073ccdf05214140344b1cd20eef0ee04
|
11.8 MB | Preview Download |
|
md5:5ef30be6154adb11fe7b5e3eb9f9d10e
|
11.8 MB | Preview Download |
|
md5:6c5ab81ec35c0ba18670f0e2783d1557
|
7.6 MB | Preview Download |
|
md5:815909e3c83f866ab8c5f805d6294e6d
|
10.4 MB | Preview Download |
|
md5:a2d14fae5e26f53504011c86d3f913b8
|
859.7 kB | Preview Download |
|
md5:d52ea0c4306c51f19b86d7e7f1a8a05d
|
23.0 MB | Preview Download |
|
md5:1f841941374d0464298f9e52ef88c963
|
847.8 kB | Preview Download |
|
md5:d2b9cda1204aa8a4122e281e4a7eef24
|
36.3 kB | Preview Download |
|
md5:cf598794042028548f588d79a5486758
|
4.3 MB | Preview Download |
|
md5:65411d57f3459968406afa59cd3ce490
|
763.3 kB | Preview Download |
|
md5:4da8e7d55f8e8aba8d3be8d8e99cf646
|
3.4 GB | Preview Download |
|
md5:16e4c24ed1c34b85a99a5eab0618e11d
|
1.1 MB | Preview Download |
|
md5:80f07d4603e81731f75dbaa313c6af39
|
9.8 kB | Preview Download |
|
md5:984ec1319253a5a4c3af111d2c6372a5
|
9.2 kB | Preview Download |
|
md5:6df632fc025a760956bb2e31c7df3733
|
1.3 MB | Preview Download |
|
md5:427fedb03e4ed910c83d9befb51f88a3
|
23.7 MB | Preview Download |
|
md5:58cc62fc9410bcf129edfe620da39668
|
14.4 MB | Preview Download |
|
md5:e157f85335b0dcfd8a514594813a07b5
|
15.0 MB | Preview Download |
|
md5:0f21e1a508a9e1315d83c516e1a6f09a
|
19.4 MB | Preview Download |
|
md5:66469703b456c056a9339fdfc577d5a6
|
9.3 MB | Preview Download |
|
md5:072e62e1504548262979b8e934aad7f2
|
9.9 MB | Preview Download |
|
md5:cfdd72fec4e8e390d82ac930e722de14
|
680.0 kB | Preview Download |
|
md5:ca47fbe0a2a4ee0f12fde60276097175
|
678.0 kB | Preview Download |
|
md5:a36625b802c69f227e6695efe5b78309
|
678.5 kB | Preview Download |
|
md5:3b57dc199cd586854e437ec8a3746f6b
|
673.8 kB | Preview Download |
|
md5:a50e436228f60fcd32c21f8e0bcd51b5
|
673.8 kB | Preview Download |
|
md5:bec5457f454424a807c1a3618bda2e8a
|
673.7 kB | Preview Download |
|
md5:7b98a54eda3febf8ac6ccbcacc85d97a
|
2.9 MB | Preview Download |
|
md5:05088f792eed9625514e3bda44dbd2ac
|
1.6 MB | Preview Download |
|
md5:4244fed9a62c7e21eaf00bc7ba119d77
|
2.0 MB | Preview Download |
|
md5:b13faea02a45765fe2b030303fa1973f
|
2.4 MB | Preview Download |
|
md5:ad1b40d510f8f9d59185019274abc53a
|
1.9 MB | Preview Download |
|
md5:80f586b76e6721e7c3de24a35189cc1c
|
2.0 MB | Preview Download |
|
md5:30bca7c7f68588e1fa56f84c140371f0
|
2.4 MB | Preview Download |
|
md5:78fa42e9c46f4dfee348bd8759bf9c12
|
1.6 MB | Preview Download |
|
md5:45cf87936f139904dc230e02da0e18c7
|
1.8 MB | Preview Download |
|
md5:6b5aff24c7c5542d3f2b4bd165298738
|
3.0 MB | Preview Download |
|
md5:5cc43897cad13242522d55b8c4706ea9
|
1.7 MB | Preview Download |
|
md5:d2f4e30900aa8bc7a518099464f9ad6d
|
1.8 MB | Preview Download |
|
md5:12454d67c5e05484e5a6557e8c1b7c2e
|
2.8 MB | Preview Download |
|
md5:a82a99afcb229d4f83e08e1a6d0aa528
|
1.9 MB | Preview Download |
|
md5:abbe6f2dd85898147ffbf9a1372e4467
|
2.1 MB | Preview Download |
|
md5:24c86800d57ed5196c0b64f5e6bf019f
|
2.8 MB | Preview Download |
|
md5:b989433ac4d7bf72a36d6499269074c5
|
1.9 MB | Preview Download |
|
md5:801932cd8facd5d14cefdadb295a63f7
|
2.1 MB | Preview Download |
|
md5:4ac9a055c33957e6c8f331ca33408c2c
|
2.4 MB | Preview Download |
|
md5:c7c4e01af3c09efe01dbeea252bae1e6
|
1.9 MB | Preview Download |
|
md5:4e98c331862664ce20fd82782dd32937
|
1.9 MB | Preview Download |
|
md5:4125e6d22da3774397b3cf2c79279f35
|
3.0 MB | Preview Download |
|
md5:202f6d5b309406f95f3472b7ef066fa7
|
2.0 MB | Preview Download |
|
md5:842e229d0ce4a2fc6d566148d1c1d142
|
2.2 MB | Preview Download |
|
md5:b30b49bfcc15c85941def60d867dfc91
|
2.0 MB | Preview Download |
|
md5:7c5d8a14ba35a87fb5eab57cc8d317f6
|
1.8 MB | Preview Download |
|
md5:80a5213a603dd7b3db82981d56beb68c
|
1.8 MB | Preview Download |
|
md5:cbdb04a958dc9f0daa778c525a157fdd
|
5.7 MB | Preview Download |
|
md5:7146c68bc0ce998fc526ce7a8d086a61
|
3.0 MB | Preview Download |
|
md5:b4f995f1196c336579e5a9269d8183c2
|
3.6 MB | Preview Download |
|
md5:b97b0c4df517884e1984d1fc993d5a6e
|
5.3 MB | Preview Download |
|
md5:e1e5702539f68d1b3909178e48a8d22e
|
3.0 MB | Preview Download |
|
md5:a844b51adde70c2f5d27e4456ea7a020
|
3.9 MB | Preview Download |
|
md5:0fee7cb769889362768952d991552854
|
16.6 MB | Preview Download |
|
md5:3a6c95a5db321952e819e0c9d508fd6e
|
5.6 MB | Preview Download |
|
md5:8a744a9b848041de2e9387325cf2c684
|
15.3 MB | Preview Download |
|
md5:631c11ed8de392920011a3b7c8e2871b
|
31.1 MB | Preview Download |
|
md5:7e95d2657b444e8889dce8f1586d8730
|
6.7 MB | Preview Download |
|
md5:dc41d2f1bf9d3f6d2804cf1f96609673
|
10.0 MB | Preview Download |
|
md5:f524f015ee71514e13f65ef59ee63a00
|
4.1 MB | Preview Download |
|
md5:059935eaf8bea745b5894c0e33f0e204
|
2.2 MB | Preview Download |
|
md5:72efc144fced714d3a15615b6992d919
|
2.7 MB | Preview Download |
|
md5:a1cf30b30e4021bb55f72a2415282eda
|
6.1 MB | Preview Download |
|
md5:e3c17f90b05e0661af4a482683617e6b
|
2.6 MB | Preview Download |
|
md5:804d9151252a31345a39aaaa9f504a95
|
3.1 MB | Preview Download |
|
md5:8de6978863a843f663d3233fd35d656e
|
8.9 MB | Preview Download |
|
md5:b897d905c669e55a51dffc6946d6618e
|
5.0 MB | Preview Download |
|
md5:e7dfa01265b297a343bb999e8c512ad9
|
4.9 MB | Preview Download |
|
md5:5ad64b1ac47ba5f935937d2459917f86
|
5.3 MB | Preview Download |
|
md5:ebe23065633857f27244ae24e9da3fcc
|
5.6 MB | Preview Download |
|
md5:6c7002a38131017f8192f35851b5b90a
|
34.2 kB | Preview Download |
|
md5:181c00a98d63c5a0f52f9e8290be56b7
|
34.6 kB | Preview Download |
|
md5:dc900b6d20e38cb92fe8e72411e360e7
|
33.6 kB | Preview Download |
|
md5:72828b6bb99ae8e3e3b6aeeca7fffbba
|
2.4 MB | Preview Download |
|
md5:1d68edd3492aef9d4c92141b1bdcb696
|
2.0 MB | Preview Download |
|
md5:7eb75effd80f44093d338b5e8b8b03d8
|
2.7 MB | Preview Download |