Published April 19, 2020
| Version 1.0
Dataset
Open
Uniform Random SAT Samples
Creators
- 1. Universidad Nacional de Educacion a Distancia (UNED)
Description
Random SAT samples generated with the following samplers:
- Spur
- QuickSampler
- Unigen2
- Smarch
Notes
This dataset has been funded by (i) the Spanish Ministry of Science and Innovation, under grant with reference DPI2016-77677-P, and (ii) the Community of Madrid, under the research network CAM RoboCity2030 S2013/MIT-2748.
Files
10.sk_1_46.zip
Files
(809.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:51e304b7a602a27be30064df293047a2
|
1.0 MB | Preview Download |
|
md5:a16c57bcb9f60c3d6154c722c69e0c6c
|
196.7 MB | Preview Download |
|
md5:b5b5fe83e798d6c50cc643f7fa4f8a35
|
578.9 kB | Preview Download |
|
md5:312146c16dea1066e3dbe5ff1c5ccd54
|
2.1 MB | Preview Download |
|
md5:6459259580720cba6c24839d01ebfb42
|
3.4 MB | Preview Download |
|
md5:b88f8727e9d20af6910b0cdee85621ab
|
1.4 MB | Preview Download |
|
md5:570557f1b327916ec422c50769630c00
|
2.3 MB | Preview Download |
|
md5:b598367f1ce7d58aaf96fdd5ac2002ea
|
358.6 MB | Preview Download |
|
md5:58a6e8cc95f3e5f191dde91c9f43b85e
|
10.1 MB | Preview Download |
|
md5:84fc1debc3671a6905ccd5cfcca6d266
|
6.1 MB | Preview Download |
|
md5:6bfe205981ad24bcdaa24aa85cf7a20b
|
2.6 MB | Preview Download |
|
md5:f1f069a82aca91231ee4c4eeb46950b2
|
1.6 MB | Preview Download |
|
md5:c5cd89a6e7ff54d9e77e51d98bd9d5a6
|
240.6 kB | Preview Download |
|
md5:f108ba86209a79e36b7e922d00e3316d
|
12.2 MB | Preview Download |
|
md5:c79d5a8cd5094ec6b5b16dfe9450f556
|
47.7 kB | Preview Download |
|
md5:c8098424524065de7290cdc2c9d322a3
|
2.1 MB | Preview Download |
|
md5:ca02497115685ef0f2be810d18de322a
|
122.3 kB | Preview Download |
|
md5:ba44bf13ecaca4060c78bb616bf962b1
|
1.4 MB | Preview Download |
|
md5:aec21e3a696b5ba3959783a950d7b144
|
47.1 kB | Preview Download |
|
md5:3b329f408911f6cffdb3051a1eb21df4
|
125.2 kB | Preview Download |
|
md5:248f5acd326754d9ebc382932fc51579
|
19.5 MB | Preview Download |
|
md5:84103a008feb8267329bfa71e4bb1d82
|
10.7 MB | Preview Download |
|
md5:e9e26becb06f7bb76609bdb10b58884c
|
12.4 MB | Preview Download |
|
md5:3d231a98e8d99c90c992ae5057127578
|
17.8 MB | Preview Download |
|
md5:43abb34ae27c6e198a851b2ee28e745c
|
2.0 MB | Preview Download |
|
md5:d0af8f3a6d924411a5c77950a9de71bf
|
3.4 MB | Preview Download |
|
md5:f226e5c65ec3e2ad4a602377d23c2ab9
|
40.4 kB | Preview Download |
|
md5:25e90bd5a615e47edd08e511859c549d
|
39.1 kB | Preview Download |
|
md5:468b90af4d2bcaf309e6a5ec1994f6de
|
39.0 kB | Preview Download |
|
md5:96cd3f571055dfa38eb6f356f4451a3d
|
38.3 kB | Preview Download |
|
md5:443825436afe9ecfebf8c58ac9874196
|
38.3 kB | Preview Download |
|
md5:e68894498e1f702516e5d69667cd1a07
|
38.7 kB | Preview Download |
|
md5:b666c704b3a1489e2767bbb09fdf50f5
|
1.6 MB | Preview Download |
|
md5:2a87aa00372ae46170597b1b8ff00fc7
|
852.2 kB | Preview Download |
|
md5:772be18da1f0d3da06b153241ea33418
|
1.3 MB | Preview Download |
|
md5:3814750077e1ea7af831a81c3bdfe95d
|
1.8 MB | Preview Download |
|
md5:263c2c734ca6fb37c726926f19afbf89
|
1.3 MB | Preview Download |
|
md5:ae0b33fe51855ba9d159970a5116a737
|
1.4 MB | Preview Download |
|
md5:51b2026d90aa852a079b8a0ea539e8d7
|
1.7 MB | Preview Download |
|
md5:96cf309c1a925c8de2683b5a7d61f990
|
1.1 MB | Preview Download |
|
md5:c907ae7f057424d221c04570b6695145
|
1.2 MB | Preview Download |
|
md5:dfc2be35a81241089726653309d74d5e
|
1.5 MB | Preview Download |
|
md5:413fa02860a0621f22ebfb8e1292f3b8
|
1.6 MB | Preview Download |
|
md5:a143e702d9220db848ac56573d86ba0b
|
1.7 MB | Preview Download |
|
md5:108eeea46b620741304615c56984a34a
|
1.1 MB | Preview Download |
|
md5:de905f4159f4ac2e03c9cda3da9cd62c
|
736.2 kB | Preview Download |
|
md5:a84f424a32495e5cfc0147b553692a32
|
861.1 kB | Preview Download |
|
md5:ac0eab2faa4e41092e80b501c86ec029
|
1.1 MB | Preview Download |
|
md5:eb003104b60dff31d7fa3061477ede63
|
739.6 kB | Preview Download |
|
md5:df0a6effdc9a13e69ce063e2666281dc
|
860.4 kB | Preview Download |
|
md5:2e23106621194d7fe491793fd5e0f6df
|
893.4 kB | Preview Download |
|
md5:d041cce33bcedca0c3493beaed832509
|
1.6 MB | Preview Download |
|
md5:69503d3c89fca9785ac172a0d9b1f589
|
770.6 kB | Preview Download |
|
md5:00e4240dea96583a91631be3bd05e2a8
|
1.3 MB | Preview Download |
|
md5:3e8e94ad4003f46c0e17850033ededa9
|
1.7 MB | Preview Download |
|
md5:d1006bbf6d895e095f16c1a7893cd922
|
1.1 MB | Preview Download |
|
md5:5cddd7f6c516489f7910986f27c3dd15
|
477.6 kB | Preview Download |
|
md5:ef8c24272ec7b18a78a70cfa68261d03
|
1.1 MB | Preview Download |
|
md5:efaa48591c0fc74a762adaf623b4409f
|
447.1 kB | Preview Download |
|
md5:4fa0fe8fe184870b51c8aa12e0f11a4b
|
3.9 MB | Preview Download |
|
md5:ac3e8c4a89f468435aecd5a4d0a406b7
|
1.9 MB | Preview Download |
|
md5:8ece208131fba27d68d5bb5c57f13514
|
1.9 MB | Preview Download |
|
md5:b5bbb992a2dd6796d3326f11c487f569
|
3.9 MB | Preview Download |
|
md5:8546636e59b8f10d4719139e0ecf674c
|
1.9 MB | Preview Download |
|
md5:e12752fc27f18cbe43c2cf944fe0f3bf
|
2.2 MB | Preview Download |
|
md5:bfc89cc67d355b571124dc138475345b
|
11.7 MB | Preview Download |
|
md5:281a1ec8a4a01c6c52d6761fafeff7d1
|
3.3 MB | Preview Download |
|
md5:a62d4126396fb978b3e8ff8c7564e9d5
|
12.7 MB | Preview Download |
|
md5:edce3507d01b9b57a4a4810307790df3
|
26.7 MB | Preview Download |
|
md5:4ed3babb4ac318cca892b360f8d8deea
|
4.2 MB | Preview Download |
|
md5:1d9ca0928a56ead1a338355825699cc7
|
7.2 MB | Preview Download |
|
md5:d86518d272c68d5f15a9469acffc734c
|
1.8 MB | Preview Download |
|
md5:fb3cd05cc1743d0652c3e19b1180cd9e
|
1.2 MB | Preview Download |
|
md5:1ddf6d31bb5e98b025d159efbec91f77
|
1.5 MB | Preview Download |
|
md5:186f652de5ac540efd1fb88006e9ba78
|
2.4 MB | Preview Download |
|
md5:6ed3f2093f84b8fcf4c606f85b6b9e52
|
1.3 MB | Preview Download |
|
md5:edfbc1dc786393d1f1565ab1417b5e88
|
1.5 MB | Preview Download |
|
md5:98a24e934f872971b4b8f42891871e58
|
5.1 MB | Preview Download |
|
md5:508bb43c4c478263301caa41b955fc72
|
2.9 MB | Preview Download |
|
md5:1239154ec3debba21468a8ba0c555df5
|
2.5 MB | Preview Download |
|
md5:f7cbc9269d4148320a7a2027390e3486
|
3.1 MB | Preview Download |
|
md5:4b9123cfdee5822549ee87d2c5ec23d6
|
3.0 MB | Preview Download |
|
md5:2f017f67e2d861ffdb70692c3a0d60ba
|
305.8 kB | Preview Download |
|
md5:88a81f1eccaf9405d116e962558c34d7
|
592.3 kB | Preview Download |
|
md5:e9a6c3a7bacbf0f15d9d3f794065b813
|
306.4 kB | Preview Download |