Published March 16, 2020
| Version 1.0
Dataset
Open
Small Uniform Random SAT Samples
Creators
- 1. Universidad Nacional de Educacion a Distancia (UNED)
Description
Small Random SAT samples generated with the following samplers:
- BDDSampler
- Spur
- QuickSampler
- KUS
- 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
(1.2 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:1f714b55242370665a4c855c06e796d4
|
1.2 MB | Preview Download |
|
md5:054ab1b31ea11fbba5df83951d37c820
|
43.4 MB | Preview Download |
|
md5:02f4747c7a0518419296a859cdbe2349
|
1.9 MB | Preview Download |
|
md5:f61cf037e72f6ba3e883ce431c15a85b
|
124.3 MB | Preview Download |
|
md5:39196fd33388c3df72bc2bf48905c495
|
1.3 MB | Preview Download |
|
md5:6f2176492bc4bb9caef02bc88092330c
|
31.5 MB | Preview Download |
|
md5:e836ac88e90eb68888dae881210581e2
|
1.0 MB | Preview Download |
|
md5:0dc1b825c1063ac0e849368b491b1c38
|
1.7 MB | Preview Download |
|
md5:7cbc2f8dc38c9962f99f6916b2935a96
|
2.0 MB | Preview Download |
|
md5:5e24ea71bd6428919b4752cbf7cbbf2c
|
1.5 MB | Preview Download |
|
md5:643281c846ee1cfc7781eaf1416db3df
|
1.6 MB | Preview Download |
|
md5:384ffee6cf5431ba14262631a0ed74ba
|
63.6 MB | Preview Download |
|
md5:988821a3ee6bfe1997dfa0dcf0dde458
|
77.9 MB | Preview Download |
|
md5:da4a8e7f7b2a1a0875fefe1bdce497f4
|
766.5 kB | Preview Download |
|
md5:7865cff1032ed3374b67ecd57d417ef5
|
28.0 kB | Preview Download |
|
md5:0d7afb0e705761f0deebf9c04fedcee3
|
880.8 kB | Preview Download |
|
md5:76d398cbe2e9d6df96e63ef7b961f031
|
2.9 MB | Preview Download |
|
md5:2cb95125b387d64b06a2b0bfcb4cdd58
|
806.4 kB | Preview Download |
|
md5:5855f838faa2dd02221420d4ef40ef0c
|
806.0 kB | Preview Download |
|
md5:fe5c0544e79c535e17ce155d2552d01c
|
753.8 kB | Preview Download |
|
md5:dc82870c23e926fab19630a0a79406ec
|
755.4 kB | Preview Download |
|
md5:6f84d5aa33ba5b40004cd3cf3c460249
|
1.1 MB | Preview Download |
|
md5:2d1ea6c58a1f1482298a73e27218b395
|
1.0 MB | Preview Download |
|
md5:8ae980e5930034a2ade5764d6c39e60e
|
970.1 kB | Preview Download |
|
md5:68f81373b98d81359d4c89b308e1ee15
|
1.0 MB | Preview Download |
|
md5:9b3f52b8bac7d2785b0933a6ae9aad24
|
814.0 kB | Preview Download |
|
md5:9f311fc86c129a0ff09b2ef404725c6f
|
1.1 MB | Preview Download |
|
md5:a80acdc3dcba296235151f7b3c0aeb58
|
975.2 kB | Preview Download |
|
md5:d0cb48f4059504289b3af8faf7aa8c57
|
833.4 kB | Preview Download |
|
md5:4ace43ac7479d9c753f1cb1f0f0d925b
|
1.1 MB | Preview Download |
|
md5:993507ee29d749f59ca7e6d949140cf3
|
8.3 MB | Preview Download |
|
md5:21b0f26efefcb2098e33e5a736dce008
|
3.4 MB | Preview Download |
|
md5:88555e9ccd08ff3d92b21c70a3c84924
|
3.7 MB | Preview Download |
|
md5:978224666615b405b315755253843570
|
970.9 kB | Preview Download |
|
md5:e6a9d09e86e0c3824feebc178653b872
|
973.3 kB | Preview Download |
|
md5:ccf319d4a6ad0a5ee9bfa4f5072cb150
|
1.0 MB | Preview Download |
|
md5:912a1cf0bc79382558739fb2e5cc9f8b
|
990.3 kB | Preview Download |
|
md5:b327fe61b414857c416df435df00a55b
|
1.1 MB | Preview Download |
|
md5:f82f0c3e6746444e6000e63ffb518010
|
991.8 kB | Preview Download |
|
md5:58b938eda4489d35db65e1336ecadaa7
|
991.8 kB | Preview Download |
|
md5:bdfb456d4b9a29d17940a2c68bce428a
|
840.3 kB | Preview Download |
|
md5:6e0bf648e2b78054d89ee3253040c8c9
|
1.1 MB | Preview Download |
|
md5:b16f7780ff28edea1c71e0f837566529
|
1.0 MB | Preview Download |
|
md5:867a9e74bbfc58a9b8ee131f0b27158a
|
746.3 kB | Preview Download |
|
md5:61b5941925934b04d93bbf3d62833556
|
747.7 kB | Preview Download |
|
md5:eb3d9f7ecb2481606af580acb6acdebd
|
1.6 MB | Preview Download |
|
md5:b3ca77170bf9d678b85654b7e7ce812f
|
1.6 MB | Preview Download |
|
md5:496a91fef0ed53185dfe1ea8d3afb5d6
|
932.0 kB | Preview Download |
|
md5:5c562fea9faa8f1609d25e7ec93bac83
|
873.9 kB | Preview Download |
|
md5:95acc0e8d6a6872fd9dbcb06fa255db7
|
792.4 kB | Preview Download |
|
md5:5c2015027fe95e05efea7e7b883739be
|
930.7 kB | Preview Download |
|
md5:73de6791a937de501351da295270118c
|
877.8 kB | Preview Download |
|
md5:22d9cf2080f8137ae3f835b7c022df65
|
793.2 kB | Preview Download |
|
md5:36e5db5bcc851653dd086416cd950319
|
1.0 MB | Preview Download |
|
md5:7048711cd70f0152c65243f38ba9cc01
|
3.7 MB | Preview Download |
|
md5:82712d9176d1514918c460f63527ed15
|
974.3 kB | Preview Download |
|
md5:ba56c591ad96a9a9763849e90592732a
|
976.2 kB | Preview Download |
|
md5:dceffb28dcd4e851e5af1f156dec8924
|
1.5 MB | Preview Download |
|
md5:abf78af2164680a3d6699b32dae0ab58
|
795.1 kB | Preview Download |
|
md5:a66b81a422a198d787847bdb24279f32
|
1.1 MB | Preview Download |
|
md5:2ba8e6ab54b246e764e474513626e586
|
1.1 MB | Preview Download |
|
md5:408c983cf250d15abf219fd3bc005359
|
1.1 MB | Preview Download |
|
md5:d69c9eeb08b3c364bb55b7eb54035169
|
733.1 kB | Preview Download |
|
md5:16d2152b02f1dbf9d8e8c2bc820e0f35
|
951.7 kB | Preview Download |
|
md5:8527aa8fb2fc2c007b0c7c11cbfa7dbd
|
952.7 kB | Preview Download |
|
md5:e3292d651e0bb48bcb93b45430bd91c1
|
966.4 kB | Preview Download |
|
md5:ed457430102c4a27c547c680b79cc616
|
965.9 kB | Preview Download |
|
md5:938bda7207ed0f9bff7f20db790513ad
|
966.1 kB | Preview Download |
|
md5:31e6106289dbc58e08172ead069786b0
|
731.4 kB | Preview Download |
|
md5:0a87dc93c1dcd936011d236fdd5c4cae
|
1.7 MB | Preview Download |
|
md5:9fa5eb573666466a9835ff82dd5a0a5f
|
1.7 MB | Preview Download |
|
md5:66136c36ed836fed0aed931dc496b2dd
|
815.9 kB | Preview Download |
|
md5:1335a1a244c635459834304f5fa9c157
|
2.7 MB | Preview Download |
|
md5:fd0d3df1c9311dcadd1f218d4984693e
|
3.3 MB | Preview Download |
|
md5:7b1696b7fef011a21efe8ebed294f750
|
2.5 MB | Preview Download |
|
md5:252ef0aee223bdc229105845ac882806
|
1.6 MB | Preview Download |
|
md5:ad1efa49bde97273e225803c72a14fd5
|
811.0 kB | Preview Download |
|
md5:eea92241070435b5a33295be16cd27b9
|
796.8 kB | Preview Download |
|
md5:2fdb439ab840966215555d38bfe7181d
|
777.0 kB | Preview Download |
|
md5:66fd6e00e9660d39fd477ea7e0ad3752
|
776.8 kB | Preview Download |
|
md5:800e00cbd618dfb3ac1f11aa00f3c494
|
770.0 kB | Preview Download |
|
md5:a17aa90927300235e6210bcbbdfff550
|
772.1 kB | Preview Download |
|
md5:9e835101c6d2292fbadf638e7fe5f307
|
774.6 kB | Preview Download |
|
md5:ea84478a712d744b22f9bf364fe57063
|
766.8 kB | Preview Download |
|
md5:f5a4af117a025ca0f7c0d5c32c6f7952
|
1.1 MB | Preview Download |
|
md5:31da5afb1dff9cbadad56abe99149818
|
776.5 kB | Preview Download |
|
md5:1e06547db228a35593ddf953d926e351
|
772.2 kB | Preview Download |
|
md5:6a5cc7623b6f2138473547cdabfc6eb5
|
770.4 kB | Preview Download |
|
md5:e160fbe70c2537ad055493364ebbce16
|
772.2 kB | Preview Download |
|
md5:eb3eac25dfba4fa323b7448e273142dc
|
1.3 MB | Preview Download |
|
md5:df68bf69d91bb3e5af1021e30ca51a79
|
1.6 MB | Preview Download |
|
md5:71998ab2600848b90e225d920b140067
|
767.4 kB | Preview Download |
|
md5:221b3195d8fe76e44852350a8eaf6c30
|
833.5 kB | Preview Download |
|
md5:39dff648651fa18401cd8198d06c6f2a
|
2.5 MB | Preview Download |
|
md5:f2417ec01b1b0b1ce63adc82aab52639
|
817.4 kB | Preview Download |
|
md5:ddb19bf4ffd51bb031efc6cd3534634a
|
2.5 MB | Preview Download |
|
md5:846485b3d6cc89249b31845ddd75c934
|
2.5 MB | Preview Download |
|
md5:cdb0f8636d2687b2a5e05c96dde7e288
|
820.8 kB | Preview Download |
|
md5:48a8c86fe1d254fa26aee0853d16e095
|
923.8 kB | Preview Download |
|
md5:fe83cae9467fa2eaec177c266365771a
|
819.9 kB | Preview Download |
|
md5:49cd20528c2695157722dfc2ce21301c
|
921.0 kB | Preview Download |
|
md5:3ee6bd174a7855009a4878128c92a399
|
808.9 kB | Preview Download |
|
md5:bdf7a79ed8f870ede46799160b3da1d3
|
895.0 kB | Preview Download |
|
md5:235904459916988f557bfd3c1f4e0fde
|
6.4 MB | Preview Download |
|
md5:0544af6a76902de1b769f54eb90a421f
|
831.6 kB | Preview Download |
|
md5:f527c71103a3b9f5857cef05769d6495
|
828.6 kB | Preview Download |
|
md5:047e40cabadf541a3ed62a7a0d3217a1
|
831.3 kB | Preview Download |
|
md5:9624d34914db6bc1407ec9e9b8dc8441
|
932.7 kB | Preview Download |
|
md5:e18c66f79e04368ef8008f689289c60c
|
875.9 kB | Preview Download |
|
md5:2cf80d94a89340bb9af4db3e41a36a5a
|
929.8 kB | Preview Download |
|
md5:5fcb335de2705307b440d3ebbfdc984c
|
1.2 MB | Preview Download |
|
md5:e2282ed3fa56644865e25fad5d1f93b6
|
806.4 kB | Preview Download |
|
md5:174d4253e3ee3f3568aae4fa95977e01
|
805.0 kB | Preview Download |
|
md5:8f679a55688a1605ee736c33e6369e80
|
803.4 kB | Preview Download |
|
md5:dfbf66bcb0c12a4fb38449a987b87385
|
1.0 MB | Preview Download |
|
md5:b3ec59f20d197a1c194b081d34c2095b
|
734.5 kB | Preview Download |
|
md5:0ae963b7843b3ee1c572dc30d199102e
|
2.6 MB | Preview Download |
|
md5:1e71b15cb2be80c369531ff3c2551658
|
1.1 MB | Preview Download |
|
md5:37b0aeebf0610136ec683e321664ec48
|
806.9 kB | Preview Download |
|
md5:12d4aeecdd482ab9cc0c8121649d4f52
|
791.2 kB | Preview Download |
|
md5:6cd091c310cd396af5c3889e03bba808
|
1.2 MB | Preview Download |
|
md5:add84db253cc3c1f4872a74b0fcc8037
|
814.8 kB | Preview Download |
|
md5:8d1b8a626efa227b41efcd4571f2f25b
|
896.6 kB | Preview Download |
|
md5:05c1ff21da263fa6fd163b733529ce50
|
993.2 kB | Preview Download |
|
md5:59518efba5f12e96a17b297f3af86d98
|
24.9 MB | Preview Download |
|
md5:e6b8513192dcc9b9c31b16083da9aa1e
|
1.4 MB | Preview Download |
|
md5:0de6cb91ec308bce2bd09f9528984d80
|
20.3 MB | Preview Download |
|
md5:d617dedaa7325c01d546293c8d494a80
|
24.8 MB | Preview Download |
|
md5:5d606e2b8bf24c37a236e27a5b3a7909
|
1.4 MB | Preview Download |
|
md5:1ed9293b727c4c563a631a48e59952be
|
20.3 MB | Preview Download |
|
md5:b33c0484f71d7088e8585677dd670b28
|
1.0 MB | Preview Download |
|
md5:8abbbc7af9560698acaa3ec492fcb61a
|
1.0 MB | Preview Download |
|
md5:c8abc0b536e3e2b8bd698bee436578e4
|
1.1 MB | Preview Download |
|
md5:ae580b1ff78139a1bcc12e63dd72ed48
|
1.4 MB | Preview Download |
|
md5:834b89a91c7865365df71109e57013eb
|
20.4 MB | Preview Download |
|
md5:79fe5fdf306d828d912b2023520890fe
|
1.0 MB | Preview Download |
|
md5:ee1e5776a3c580507243c94bf3e42c4b
|
1.0 MB | Preview Download |
|
md5:d7657b94781bab13f248e7572bce6d2f
|
1.1 MB | Preview Download |
|
md5:278be3770888cb2b0541753c8b673216
|
1.0 MB | Preview Download |
|
md5:c73598d2e834700f52576f53de6bd5ab
|
1.0 MB | Preview Download |
|
md5:3d1c06595ea2442292d7192095c3bbff
|
1.1 MB | Preview Download |
|
md5:74b947f5146b97dcf1464036287d90f3
|
3.2 MB | Preview Download |
|
md5:0fc7f714e8e46bca4fb60846af91355a
|
8.0 MB | Preview Download |
|
md5:652fd9cfe502fc6a2e1d8865ed8db871
|
6.5 MB | Preview Download |
|
md5:a781d53be0264ea2ce2f0a4c838ff90c
|
3.0 MB | Preview Download |
|
md5:b77d5f19fee72f0b219fe66bd1aadddf
|
1.7 MB | Preview Download |
|
md5:16b99702f006adab4841a99f59154635
|
812.7 kB | Preview Download |
|
md5:aabb0970c9b748447bcaf253749abcc0
|
7.2 MB | Preview Download |
|
md5:abf2ddd43038d6f14930b596d454716e
|
766.9 kB | Preview Download |
|
md5:283c1c1dc8ca0f22a211ec9d9dfff45c
|
40.2 kB | Preview Download |
|
md5:e8c09112ebb23e96213ecc68e524210b
|
1.5 MB | Preview Download |
|
md5:c98c6ea7d438418ea38d8371b9968ccb
|
767.1 kB | Preview Download |
|
md5:8f5455f322db977775f6252f2115164a
|
376.9 MB | Preview Download |
|
md5:e404baafab6a40641a49251c4e140533
|
818.6 kB | Preview Download |
|
md5:8ab2e4bd0a033a7926de398f3fc5abdc
|
11.9 kB | Preview Download |
|
md5:2f97e7ba9d0733dd8c5a3b7807a4b4fe
|
35.8 kB | Preview Download |
|
md5:2f97e7ba9d0733dd8c5a3b7807a4b4fe
|
35.8 kB | Preview Download |
|
md5:f610e44a0e03340829648a780b3f805c
|
22.4 kB | Preview Download |
|
md5:55f35a164f2a6498b268f060dc0c76a3
|
863.4 kB | Preview Download |
|
md5:cfb99500ab6b4961c8dca1fc1bb378f3
|
25.9 kB | Preview Download |
|
md5:cfb99500ab6b4961c8dca1fc1bb378f3
|
25.9 kB | Preview Download |
|
md5:b66de8ab57cdef98578bc0251c9ca063
|
18.0 MB | Preview Download |
|
md5:3595417dfde40cc58e70add893d52c4f
|
8.5 MB | Preview Download |
|
md5:4385cc098033b2916de98c3ba04f9dc2
|
10.5 MB | Preview Download |
|
md5:02509bac23fc0c5fea560725e5c08872
|
15.2 MB | Preview Download |
|
md5:991d1156348aec10b109d71547778271
|
3.3 MB | Preview Download |
|
md5:e555f47da43838cef601e0c38a4fb4a7
|
3.5 MB | Preview Download |
|
md5:a1f7346e799c9ae1c96748aada9c709b
|
740.8 kB | Preview Download |
|
md5:32f020497bc067b726740338faee7dce
|
740.6 kB | Preview Download |
|
md5:b646d593e1d60506eff8d9019b5d8dc8
|
740.9 kB | Preview Download |
|
md5:c9bcf9189dc0f5b498deafbf9aa60a41
|
741.1 kB | Preview Download |
|
md5:e2484c02e613ea9f40255e80e2395b7d
|
739.3 kB | Preview Download |
|
md5:415f1d9293966924a9e0923156eff2a4
|
740.4 kB | Preview Download |
|
md5:689ec947eb8eddf8c13c4af7b3d4a446
|
1.5 MB | Preview Download |
|
md5:932c572c12843d9cfe84a7ff8c241f16
|
1.0 MB | Preview Download |
|
md5:249a547b8b50908ea16007af0cff4057
|
1.3 MB | Preview Download |
|
md5:c99d77e0620d51dea61d96bef49ead51
|
1.3 MB | Preview Download |
|
md5:1c3334f15a23680bfa5df69f7701a522
|
1.2 MB | Preview Download |
|
md5:c557d47ed761a829829023237559700f
|
1.4 MB | Preview Download |
|
md5:04c6adf07ffa321294b65af32862c4f8
|
1.2 MB | Preview Download |
|
md5:a82ff1c678de4def3e45a48ae92b3ac5
|
1.0 MB | Preview Download |
|
md5:7c0abda29fe3516cfb1adca5932899a5
|
1.1 MB | Preview Download |
|
md5:afe9dda292080dad161e2d3272d25bcf
|
1.3 MB | Preview Download |
|
md5:c2b2c403b5161b51a1cc2ac6f7c031e0
|
1.0 MB | Preview Download |
|
md5:0124a7c45a12ac4be35ceed6a5c32623
|
1.0 MB | Preview Download |
|
md5:fab194ff61702a9bb39e98a1faf93029
|
1.3 MB | Preview Download |
|
md5:5a9f253042fe63e9150dcb0d316918af
|
1.1 MB | Preview Download |
|
md5:7c2b2495c91ac9c66360e0cf8673c4db
|
1.1 MB | Preview Download |
|
md5:71cb43bd757febd4701369a0e02105a1
|
1.3 MB | Preview Download |
|
md5:2a428ffb22a7f108ed1bb88bacaaa82f
|
1.1 MB | Preview Download |
|
md5:07bb7dbdf2a136e64558632d45f00977
|
1.1 MB | Preview Download |
|
md5:42ef1106d0c3f904ac8ce8a9456279dd
|
1.1 MB | Preview Download |
|
md5:2b1d4e65721ea77f31e074a4fbffff44
|
1.1 MB | Preview Download |
|
md5:06b861e4aaf90c8b46c7402fc560bdf2
|
1.0 MB | Preview Download |
|
md5:bf55f0a07fa59c01e75e694e5156a954
|
1.2 MB | Preview Download |
|
md5:cb50436864777d99bce0c1428c9840e7
|
1.0 MB | Preview Download |
|
md5:3f057d241c93328046cad680429c9e08
|
1.1 MB | Preview Download |
|
md5:5cd2540980f3ac0e98999b4b7ba437a9
|
1.0 MB | Preview Download |
|
md5:eca0b022065a9b5ba1c85a2ad10f4297
|
1.0 MB | Preview Download |
|
md5:c7734edad4493682d12858f044b92b97
|
980.3 kB | Preview Download |
|
md5:601d5dfd32a2596b36c758cfa31de4f5
|
3.5 MB | Preview Download |
|
md5:7e13ba6880fe45551f994abe50f5036b
|
1.4 MB | Preview Download |
|
md5:3c427fb08931b95184f6786b275abaa3
|
1.7 MB | Preview Download |
|
md5:0eabd4478044e455199a2304bb49d05e
|
3.0 MB | Preview Download |
|
md5:ecb1a8f48b95fd5d58c68457c4e4c6aa
|
1.5 MB | Preview Download |
|
md5:39a9df5ee2caa36c24a0e713c27c6594
|
1.9 MB | Preview Download |
|
md5:65119aca6032a34fdccd722254d7bd08
|
11.3 MB | Preview Download |
|
md5:81a9106f155d844d5f9ed3e750f8c9bb
|
3.0 MB | Preview Download |
|
md5:e41391f46edd271a51d0cdec696d0556
|
12.2 MB | Preview Download |
|
md5:1e7900e686799043c25c857128bfff9b
|
27.7 MB | Preview Download |
|
md5:ada7e8bf49a746c488e08ccbbfaf8ed6
|
3.9 MB | Preview Download |
|
md5:d5cf464626979f5a25facfc2da7bc3cd
|
6.8 MB | Preview Download |
|
md5:92a5569dd93f2f9c6ce3e22975c4a1e5
|
1.4 MB | Preview Download |
|
md5:759a451b8990873031c9f0faded49c24
|
1.1 MB | Preview Download |
|
md5:4873b549c8c31a4bef4ff8723357b847
|
1.2 MB | Preview Download |
|
md5:c1d22dd2fc5da73fedbffbf252d10cb5
|
2.2 MB | Preview Download |
|
md5:4ff4754cb12e327b98f0412585d53562
|
1.1 MB | Preview Download |
|
md5:e68fba89022c6f5be6d84671a48014c5
|
1.3 MB | Preview Download |
|
md5:02c67735d8f73aaf4fc69ca9698c6911
|
4.5 MB | Preview Download |
|
md5:9d7cac261bcf77ad1799a631a1a5eea5
|
2.3 MB | Preview Download |
|
md5:50c2f2a22f066299df597b26a9eb2594
|
2.0 MB | Preview Download |
|
md5:3ad54a7a381f11c8494609c52a0d1e68
|
3.0 MB | Preview Download |
|
md5:7cd55cdf7ac7f99deef911b4b0d54f1a
|
3.0 MB | Preview Download |
|
md5:ee8ccb4f44d907018742cff28c9490fb
|
29.1 kB | Preview Download |
|
md5:5ee0a8c1f9f9bf25b66875543d974057
|
21.1 kB | Preview Download |
|
md5:7427faa730670d931eba7c1951e29948
|
21.5 kB | Preview Download |
|
md5:0858f650854cc89a3381d1ea6bf0f5d6
|
33.6 kB | Preview Download |
|
md5:4e49e1e3408ca2bca184d6a3a9de1951
|
64.7 kB | Preview Download |
|
md5:80d8e5736453bca9812d9b797371d771
|
911.4 kB | Preview Download |
|
md5:72c2be27171209c3f83a31b4fa8046ac
|
897.4 kB | Preview Download |
|
md5:06c150720bd14c7d5e9eb5baf356fd5c
|
991.6 kB | Preview Download |