Published September 15, 2021
| Version 1.0
Dataset
Open
SAT Instances for Testing SFpC Validity and Reliability
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
These samples are used to check SFpC Soundness, i.e., to test whether SFpC produces results that are (i) valid and (ii) reliable. In other words, are SFpC results consistent (i) with the results obtained by other uniformity testing methods and (ii) when one sampler is tested repeatedly using different models?
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
(4.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:1717af3b31751a454c3b8f75ecbe0426
|
5.7 MB | Preview Download |
|
md5:50c98bb02d1cf8d20bb8096462868e29
|
563.5 MB | Preview Download |
|
md5:bef35e6da2604c466014e221bb9cc879
|
13.6 MB | Preview Download |
|
md5:1516dbb6c3ade8d17a2fda03343883f6
|
699.2 MB | Preview Download |
|
md5:9fc50223ee1d67f2f51b9a02715ee141
|
7.0 MB | Preview Download |
|
md5:5285a7299abe3fcf813d0a16c8781d05
|
413.5 MB | Preview Download |
|
md5:a0ab04a838a72c35a8874dbbf5541edc
|
4.2 MB | Preview Download |
|
md5:c6588c3f775c59c77d01761e0dab0ff1
|
10.4 MB | Preview Download |
|
md5:69c93f08bc92120aec03a3f3edb9b3d1
|
13.9 MB | Preview Download |
|
md5:a3c45c7e50fdf1c7b0c73c5df2c88e2c
|
8.7 MB | Preview Download |
|
md5:e582dcb5340f254193f6f52ae17087f8
|
10.0 MB | Preview Download |
|
md5:ace7cdfb0ba6c38e03ecae3d58196f91
|
840.1 MB | Preview Download |
|
md5:d20369ae5e0251c1cac56d6ec7d98b29
|
1.0 GB | Preview Download |
|
md5:991bb70468976bab2eec6cc575c028cc
|
1.0 MB | Preview Download |
|
md5:af1e53f598c93405151bf477e685005d
|
1.9 MB | Preview Download |
|
md5:d18135bbbb2b65979c466900533ca536
|
5.4 MB | Preview Download |
|
md5:519087b1a500c877604bdf29c446080e
|
1.2 MB | Preview Download |
|
md5:b3f47cd89f27734d7bef0dfb2874402f
|
1.2 MB | Preview Download |
|
md5:2d46376ecd1648383faf99db3d4c3fd9
|
818.1 kB | Preview Download |
|
md5:6fb14a255f9df6843cdfd0c6877038b2
|
815.9 kB | Preview Download |
|
md5:636b1015bfe6ba49ef588c5b3026ec34
|
1.9 MB | Preview Download |
|
md5:1b5dd58e7017548c62f2c4147cc4269e
|
2.0 MB | Preview Download |
|
md5:a6913c360188a5959239c09af84c955e
|
2.0 MB | Preview Download |
|
md5:ea50d67d0b63da42707f6c433417ff02
|
2.4 MB | Preview Download |
|
md5:c2f1fda7bc5adcf1f59bad622762a467
|
1.3 MB | Preview Download |
|
md5:b49b263203367ec4e5603c94daceb893
|
2.6 MB | Preview Download |
|
md5:e459a299db9c7b1cfbe20cd3e1307761
|
2.5 MB | Preview Download |
|
md5:07927d84cd19b494b8a7dc18bf3a7a2d
|
1.5 MB | Preview Download |
|
md5:13376bb6de8f6bc049c32b94cf3fd746
|
2.7 MB | Preview Download |
|
md5:9acaf2dafa452d13b63c4131316dc57e
|
11.6 MB | Preview Download |
|
md5:ae404e61937d57c8c08fefe5492af86c
|
6.9 MB | Preview Download |
|
md5:e334ee73ce8c07d6bafc6cc68331b225
|
6.5 MB | Preview Download |
|
md5:558a470db57ebe0a350e474a5a2ab871
|
2.6 MB | Preview Download |
|
md5:7818a4f162cacf518c4d7116e3114f95
|
2.6 MB | Preview Download |
|
md5:6aab6acff505fc0e555f120a1c57843a
|
2.6 MB | Preview Download |
|
md5:07b341f6007b1f652dc0c5542c74ef3c
|
2.7 MB | Preview Download |
|
md5:865ad26bcb6e7bd840bd75a342f21d78
|
3.6 MB | Preview Download |
|
md5:454a8bd974d24c2d05fa22b2850e72db
|
2.7 MB | Preview Download |
|
md5:ba08c37744b8b753cbe383898313f94d
|
2.4 MB | Preview Download |
|
md5:d9145a70a18b0f3ddf123a4db0e7ff90
|
1.6 MB | Preview Download |
|
md5:c3bee2b14d426e56c5ba6d6ca49e61a1
|
3.6 MB | Preview Download |
|
md5:120e1cc452f1ed6d56b563dbbb85c34e
|
2.7 MB | Preview Download |
|
md5:39d72e90205847c9a06e56d711bd9deb
|
803.4 kB | Preview Download |
|
md5:de387149a50d80918c34d88e28e73483
|
804.4 kB | Preview Download |
|
md5:0b18964b63d72b4192def1471ab59b32
|
6.5 MB | Preview Download |
|
md5:e743349ee335f9cf78bc916bb6bdd2a4
|
4.7 MB | Preview Download |
|
md5:450448823295566f16ab30c479dd9472
|
2.4 MB | Preview Download |
|
md5:a86d3c6b56904b08dc10290378a3d1e9
|
1.8 MB | Preview Download |
|
md5:6f2c28f34fbe645ab88ed48378f81526
|
1.1 MB | Preview Download |
|
md5:b1a1a97b1bf949fefbfd0cbc08d87478
|
2.3 MB | Preview Download |
|
md5:df30e16f26dfe033e53228c28c556671
|
1.9 MB | Preview Download |
|
md5:9d173d1f06bd52ac117e399dbeca2ea1
|
1.1 MB | Preview Download |
|
md5:4c791694016d5c6fb0da4d00e7b6bb86
|
2.6 MB | Preview Download |
|
md5:85179a6a539c5466b6c04a91600cb643
|
13.1 MB | Preview Download |
|
md5:c9df360c09953624b75a346e76104e29
|
2.3 MB | Preview Download |
|
md5:9b402d0bc461fbbc3045e661d0cd996e
|
2.3 MB | Preview Download |
|
md5:b69d752238f3ee946a50f341aecbfe4a
|
3.7 MB | Preview Download |
|
md5:375747cdb67bb418f2d5453894ed1726
|
1.0 MB | Preview Download |
|
md5:a6381bbfa99708cf471d1ce4423e9d9b
|
4.3 MB | Preview Download |
|
md5:130525dfbdd4c176e9e964c8d0a3a93d
|
3.4 MB | Preview Download |
|
md5:60efd62655a19c56f0a1c48e9dab3d6f
|
4.0 MB | Preview Download |
|
md5:a80e49dc015dcb75214e86a0a008aa88
|
748.4 kB | Preview Download |
|
md5:8812d00dd861ca2f94d14eccb6535684
|
2.5 MB | Preview Download |
|
md5:023de547c262e0c87df4454988b753f0
|
2.5 MB | Preview Download |
|
md5:da7f2031a3421007e68dd90791ef8076
|
2.7 MB | Preview Download |
|
md5:b9e6f775290e17b67696ae0511ded305
|
2.7 MB | Preview Download |
|
md5:70582666667b02f9a107b6e64303cfd5
|
2.7 MB | Preview Download |
|
md5:84e2228d818e4ace287d0e3e9f5c56c2
|
747.8 kB | Preview Download |
|
md5:368012c73ce350bba379d7b04bea326e
|
8.8 MB | Preview Download |
|
md5:9308ebd1fa42a3a17b2526a42f17eee1
|
8.8 MB | Preview Download |
|
md5:39a210a0845bdfa25cf8534022ecbecb
|
1.3 MB | Preview Download |
|
md5:72f1cecb2a14d09ee58d0c5d52dbb61f
|
10.0 MB | Preview Download |
|
md5:8615342e266f3ae7fe4c194b10aff0c0
|
10.6 MB | Preview Download |
|
md5:279c2b01906a7fb265b19a2f70be84eb
|
7.3 MB | Preview Download |
|
md5:a05e5ac67b12c6a176ff3044d38ed3c7
|
6.4 MB | Preview Download |
|
md5:b2400623476510bcd6d7d7a1beb434b4
|
1.3 MB | Preview Download |
|
md5:bb721f44c56376f2a62829c9ac486d21
|
1.0 MB | Preview Download |
|
md5:8aefc302dd5b87c756a02f75b85dcfc0
|
898.5 kB | Preview Download |
|
md5:b5d631eec43956d8f0faf168ab0d73f1
|
912.2 kB | Preview Download |
|
md5:e68d356be4390640710d1506c88d774e
|
889.8 kB | Preview Download |
|
md5:2301d8db2ac69705f4452e77d3d8a3c9
|
892.6 kB | Preview Download |
|
md5:d7fe72d9e79412137e04d488550d77dc
|
893.1 kB | Preview Download |
|
md5:321d5c208e2e108a9b854ab0c0ad9585
|
888.2 kB | Preview Download |
|
md5:8be8dc71c050f340aab64abd20f4f526
|
3.5 MB | Preview Download |
|
md5:bed7573f625b7974949fe6d6fa302b17
|
912.0 kB | Preview Download |
|
md5:11f9632a5b9409219fb8b663ee970449
|
889.2 kB | Preview Download |
|
md5:ccf6b994b6a087fe14e9f862d3e0a592
|
892.8 kB | Preview Download |
|
md5:110083f794e7129c70da71eb892e42d8
|
890.8 kB | Preview Download |
|
md5:53713b2dfa26224b56a5f06a78119b91
|
3.9 MB | Preview Download |
|
md5:6643f47ab7705e9ce5699f7521a3be4a
|
5.2 MB | Preview Download |
|
md5:fdd4006dbced79580b7b6caeba97f4da
|
888.1 kB | Preview Download |
|
md5:811e7fa921b88f1c99835273cce83c00
|
1.3 MB | Preview Download |
|
md5:07dfad138b628bb320bbfcfebc45e406
|
4.0 MB | Preview Download |
|
md5:0b56caf8253a7a376a949cc6ee104eed
|
1.3 MB | Preview Download |
|
md5:07f99ccb7f16cded12673305758de2e2
|
4.0 MB | Preview Download |
|
md5:63ae30181396eac0b1161230c0400654
|
4.0 MB | Preview Download |
|
md5:f9f26d69bd5f622854d395f10f0acf3e
|
1.3 MB | Preview Download |
|
md5:5be46769cde5261f7a19f07962fcf70b
|
1.9 MB | Preview Download |
|
md5:54c800cb5a1531061ee3e6626d5d60fc
|
1.3 MB | Preview Download |
|
md5:df629ec6db3fd544f1c9e9740e9d7206
|
1.9 MB | Preview Download |
|
md5:32235d344d35f80377f5700c0bed401c
|
1.4 MB | Preview Download |
|
md5:e261875b0bad77256a256c0d7e90c17c
|
1.8 MB | Preview Download |
|
md5:37dd8ab9d1d4223606da1befdafab71f
|
15.7 MB | Preview Download |
|
md5:da973882fb680d0a8bc2652d74b99874
|
1.5 MB | Preview Download |
|
md5:1b1c0efe091a882e899b8393df24e3c0
|
1.5 MB | Preview Download |
|
md5:fb30bed18f6f9331575cca3bfc79b0e7
|
1.5 MB | Preview Download |
|
md5:07502a45196dfbc977a797134691640f
|
2.2 MB | Preview Download |
|
md5:c038b840c39bfe8a4b5cec79267085c1
|
1.6 MB | Preview Download |
|
md5:e5efc99bb7bea9343a4556809ee94b92
|
2.2 MB | Preview Download |
|
md5:de666ebd40f9ac40cbbcb2f00bb75730
|
2.5 MB | Preview Download |
|
md5:1bb945ee448fba10e4ba6bd59ea5c0e5
|
1.1 MB | Preview Download |
|
md5:f5a83bab071c7267a2e4c657c960ffaf
|
1.2 MB | Preview Download |
|
md5:f4a6993d68677ac5ee9fa31560a44f36
|
1.2 MB | Preview Download |
|
md5:22fcfd9dc08651fcbded11e7051ce9f1
|
3.2 MB | Preview Download |
|
md5:a6281f952feccb5454f171f9dbf0778b
|
756.1 kB | Preview Download |
|
md5:e3c181a8645e162b74c1e8cb2a9047e3
|
4.3 MB | Preview Download |
|
md5:4613106eef73dd2a485ebc112fec5180
|
3.3 MB | Preview Download |
|
md5:e270616f444f32c8e531f2b90f04becc
|
1.2 MB | Preview Download |
|
md5:58f46caca4f640dd5a35300d4da12713
|
1.1 MB | Preview Download |
|
md5:53eb000b408916845e340ac00d9f497c
|
2.3 MB | Preview Download |
|
md5:5b1f9d198e41565dedee0b974570e9e9
|
1.4 MB | Preview Download |
|
md5:289c74c6c3f68d1272028cffb6fc4583
|
1.9 MB | Preview Download |
|
md5:02f23a60bd3163446c909d0ed2ffec6b
|
2.8 MB | Preview Download |
|
md5:be789ae59182d3a6f5cfed4b9c52db38
|
27.3 MB | Preview Download |
|
md5:685d6cdbbc06d2da0c48d02d8e381b12
|
3.9 MB | Preview Download |
|
md5:4c939f9822eed732de6450d73bfdf8c6
|
29.5 MB | Preview Download |
|
md5:97655a2af2834fed4b7713442e1d36d8
|
27.0 MB | Preview Download |
|
md5:748bd114f225ac070709e93718d5198e
|
4.2 MB | Preview Download |
|
md5:9eb10e55a03d036d855c8b795342975a
|
28.1 MB | Preview Download |
|
md5:3f9a4c00f3f3f0007201c2c6c607db5e
|
3.1 MB | Preview Download |
|
md5:aa7180f2ec3b458eb348afd567eeca3d
|
3.3 MB | Preview Download |
|
md5:66ee0aa8888afca175daeb5146cd20d0
|
3.0 MB | Preview Download |
|
md5:8c87395e534ce749c19c28dacb4c5436
|
4.1 MB | Preview Download |
|
md5:511f8ab05b75cb04ff050c2e86b99bb4
|
29.5 MB | Preview Download |
|
md5:bb8c61f2ae2a6de9a829ec98bd044de1
|
3.1 MB | Preview Download |
|
md5:d5cfc7edf4d1c4610f53ba7bb12fa82b
|
3.2 MB | Preview Download |
|
md5:662b77ddb38b2ad55932ff33b6358e88
|
3.0 MB | Preview Download |
|
md5:28fcf1ff7d71a2f34f215a6f3fe1209f
|
3.0 MB | Preview Download |
|
md5:8d75e3a4682297d87f42521e23cd6004
|
3.2 MB | Preview Download |
|
md5:7ce162df6d7a0550d1e7ca65c2c27705
|
3.0 MB | Preview Download |
|
md5:bd0a4075930b7a5a51ac470bcd805a3a
|
6.8 MB | Preview Download |
|
md5:75ebbde08817d265c138d4fe1301f1fb
|
14.7 MB | Preview Download |
|
md5:3485cb66a847e1d5cbc1e3bf406ac412
|
9.6 MB | Preview Download |
|
md5:4362d82961995d97bfdfa31dc66b4c11
|
5.6 MB | Preview Download |
|
md5:658d2e0609a3a9d5a8f46bf4d2a05534
|
11.1 MB | Preview Download |
|
md5:7673abe6ac0857fcbb0293c8c829b14a
|
1.3 MB | Preview Download |
|
md5:6a90c2ab195bfae362a76d5e8f959e63
|
24.6 MB | Preview Download |
|
md5:b5200d20a6e6f9317c991aee6dc9110a
|
1.0 MB | Preview Download |
|
md5:8bc5beacc9d0607b1fefd1d533266904
|
7.9 MB | Preview Download |
|
md5:e7be852723528ad13804dbcdcbeede09
|
940.2 kB | Preview Download |
|
md5:46aea546202ff92cd7f3c248f0d7e476
|
177.0 MB | Preview Download |
|
md5:152b0effe8acbcde499ea84720ad3708
|
1.6 MB | Preview Download |
|
md5:319486ee93a4afbaad14b8ff8f3d5524
|
19.6 kB | Preview Download |
|
md5:8ba06cd10a46dcdbf6b6ca08cb78cd8b
|
1.8 MB | Preview Download |
|
md5:fc74c81ecea7c378c805466a5eac5f3e
|
30.1 MB | Preview Download |
|
md5:2a52069391b3a95fa4ac3957de1d6640
|
22.1 MB | Preview Download |
|
md5:607340e3ab4788b87ba2d187093998df
|
19.9 MB | Preview Download |
|
md5:c5b697ab78395f16f3ae307669b76465
|
22.8 MB | Preview Download |
|
md5:004581ab018910d976121a7dda05f20c
|
19.4 MB | Preview Download |
|
md5:ec7b76996c1ff0f75cb9863520fbbc54
|
18.8 MB | Preview Download |
|
md5:325ce03bef48e887acd69d03d3aaebcc
|
780.5 kB | Preview Download |
|
md5:d460ca4f7e1480124d7693162b7cc4c2
|
777.7 kB | Preview Download |
|
md5:4e6c94abc1273d2ac30dd66d480a6290
|
778.4 kB | Preview Download |
|
md5:4a67134d961314c93bd95bb4159f2838
|
771.5 kB | Preview Download |
|
md5:c99d07e61105169d629966b0bf04f9e3
|
769.8 kB | Preview Download |
|
md5:358e793b6674a5dde070426953122ddf
|
771.6 kB | Preview Download |
|
md5:de647c83662e6a7dbf95926f4d9a56d2
|
3.9 MB | Preview Download |
|
md5:cd4cbe237240aa047183195c58db5072
|
2.5 MB | Preview Download |
|
md5:e36532c7ea9447980bbe7bc1b764bceb
|
3.1 MB | Preview Download |
|
md5:05fff1426b8bdbe03dd8893a843d921d
|
4.1 MB | Preview Download |
|
md5:8d148ff530057fcdf225f3e1dd3070e9
|
3.0 MB | Preview Download |
|
md5:373877fc17c2ad000e3cdadf6644906a
|
3.2 MB | Preview Download |
|
md5:ba3d908b391e5441727d468249ec457c
|
4.0 MB | Preview Download |
|
md5:79d3d937e100659fe4cd9a3c82f363cc
|
2.7 MB | Preview Download |
|
md5:38f05f8e1a5053c883e46a86c8ba5064
|
3.0 MB | Preview Download |
|
md5:1776fd0a8410339bd7fcb84c5d44bc6d
|
4.3 MB | Preview Download |
|
md5:ec5edecd9f25f49bc4cb5f8be74aa2c7
|
3.5 MB | Preview Download |
|
md5:071fbcc9d29721a76714740d6acb7b59
|
3.8 MB | Preview Download |
|
md5:f8b2e76716f6b09f5cf1b6ec8d9aeaac
|
4.0 MB | Preview Download |
|
md5:3943daa29cebd2c3bc372a8391fe6a84
|
2.9 MB | Preview Download |
|
md5:1fc692d0a56db4b4f36fdfd0b330d39f
|
3.2 MB | Preview Download |
|
md5:833a71fb73a201f141df824a2932aa78
|
4.1 MB | Preview Download |
|
md5:b922060745076aacdc8df5db2e614a0e
|
2.9 MB | Preview Download |
|
md5:fe56887de36fcc2fdff409cb3a1036f8
|
3.2 MB | Preview Download |
|
md5:0c3ebbf5b24e9d5039dd2e3af7c6b266
|
3.6 MB | Preview Download |
|
md5:d06b3d9f51a8326849868429d2f93329
|
3.9 MB | Preview Download |
|
md5:caf6c069c164c91c5006ac3fe01088fb
|
3.1 MB | Preview Download |
|
md5:dd264e1360a427f2917913d0671fc7f6
|
4.7 MB | Preview Download |
|
md5:69ad55d0dc91d7481fafa1f7c4612dc4
|
4.1 MB | Preview Download |
|
md5:da78304b1588f5d8ee9b0c16ddbd45b2
|
3.6 MB | Preview Download |
|
md5:221001d97642aea6a6751cb58aafd5c2
|
3.2 MB | Preview Download |
|
md5:42c7898b8d013637554ba4b9b0ed697e
|
3.6 MB | Preview Download |
|
md5:0eb00882df1e5e6d1a9097da8089b10e
|
3.0 MB | Preview Download |
|
md5:eecfb61adcac185a4c98851190433c3e
|
6.7 MB | Preview Download |
|
md5:f421af16abbbdaffdd903b121ee6051a
|
5.2 MB | Preview Download |
|
md5:baa3cc85f5ce26886673289a786db88a
|
5.7 MB | Preview Download |
|
md5:3ed9e9c33aad651e5f594607c2b2207e
|
6.6 MB | Preview Download |
|
md5:5940092bb2c9f309bbf7714b65fd50cb
|
5.1 MB | Preview Download |
|
md5:a299a423806400f766ac5dc84d04fb79
|
5.9 MB | Preview Download |
|
md5:73a8e06b342f70aaf35beef96414c0a2
|
17.3 MB | Preview Download |
|
md5:ee966257395faca7ffa4da77b216b3a7
|
7.6 MB | Preview Download |
|
md5:53bc04484bc6fc3b4eb6051ada0df093
|
17.5 MB | Preview Download |
|
md5:2fe0936b5919f5594a5fa8cd8a07ab09
|
32.7 MB | Preview Download |
|
md5:2a461e4941106f0ce36781f50dfaef1d
|
9.0 MB | Preview Download |
|
md5:f2e72c39be5ed4f68439ca9decc22314
|
12.0 MB | Preview Download |
|
md5:03f602167f2e8e7f3a1d3e593d5c81a8
|
7.6 MB | Preview Download |
|
md5:cf910144cc791c1314ad860a5025f3a2
|
4.4 MB | Preview Download |
|
md5:9fd118d52aa2c672e6b219deafa18e89
|
6.0 MB | Preview Download |
|
md5:e97445b110cb7092a0852a733de67865
|
11.2 MB | Preview Download |
|
md5:1fe8c584d1980abd8c9d76f487668080
|
4.9 MB | Preview Download |
|
md5:8e50395644ff84fc2a9877a503ae3ddc
|
6.3 MB | Preview Download |
|
md5:5359f9eac584b008a2bf75580d20f583
|
12.3 MB | Preview Download |
|
md5:4e115e6c99d07bc7432a4ca25a58248b
|
7.9 MB | Preview Download |
|
md5:ec1da00d1f67a20e323c1ea34af842ba
|
8.1 MB | Preview Download |
|
md5:d58efc6c80780d2163e8d576ad05a131
|
8.7 MB | Preview Download |
|
md5:7e3176302d28b34556b1dae601012458
|
9.1 MB | Preview Download |
|
md5:8390a6088a3cc10dfe1445601d7d90b9
|
2.5 MB | Preview Download |
|
md5:527a04d0c2915225b81e005bef9b82fb
|
2.4 MB | Preview Download |
|
md5:e4f9856fc3e972778fe97a6ff3ba80a7
|
3.2 MB | Preview Download |