Published July 26, 2021
| Version v1
Dataset
Open
ParaFROST Proofs for Certified SAT Solving with GPU Accelerated Inprocessing
Description
This submission includes all the proofs of ParaFROST GPU SAT solver for the "Certified SAT Solving with GPU Accelerated Inprocessing" article.
Files
Files
(41.1 GB)
Name | Size | Download all |
---|---|---|
md5:a24ebb800cc64c9161f451c80bcd1819
|
381.8 MB | Download |
md5:f5456b4b04a51c5e119fc1e366bf274f
|
2.9 MB | Download |
md5:143a2c8cda922d418ccbcf71b07cee93
|
17.7 MB | Download |
md5:c86383a2cfbbeea5f6b76de2d030c03a
|
32.8 MB | Download |
md5:5d985bf392cdddf74a4b88534e25ed8c
|
59.9 MB | Download |
md5:55ba17bc3f088b8f302a54933ca17678
|
76.3 MB | Download |
md5:9ca31e19e6b9aaf597bdb46a2b75bd30
|
102.4 MB | Download |
md5:e0e85608300be00c89912244ef3e4a6d
|
161.2 MB | Download |
md5:2f2bf66d9c754b738946d8e568ea7e66
|
168.0 MB | Download |
md5:7fab48d10fabde2c29658724c277b808
|
294.6 MB | Download |
md5:c5960c677b2531683227e5c3bed8e596
|
8.4 MB | Download |
md5:07bd44a50a12ef5ba8eef032fc52aa33
|
130.5 MB | Download |
md5:cb175b4e679fd085c90fae89187bbc95
|
3.8 MB | Download |
md5:c31b28513f5b7fa5c220ff55ce15ab1e
|
7.5 MB | Download |
md5:4f0570dbfb04d857a7d2652ab2063bbb
|
18.1 MB | Download |
md5:899e278d903aab98199959f676555f5f
|
187.2 MB | Download |
md5:f3169fd2049974d6e924f602bd6b7d87
|
156.9 MB | Download |
md5:4011bdb959db67fda62330d8ab0bfe12
|
10.5 MB | Download |
md5:51aa820cdede0b0b3309777b57c8d411
|
204.0 MB | Download |
md5:96c41222001e49e73af8700a64a45ea4
|
77.3 MB | Download |
md5:00520b9092cfa1b0239c3c8bebce61b9
|
80.2 MB | Download |
md5:1cd54e62cf989d5552669167f8af2e48
|
59.0 MB | Download |
md5:ce2f376153e5e3eeac12c3a38715aeb4
|
81.9 MB | Download |
md5:0f29f8000b80b6265fcbb0ecdc9829df
|
210.9 MB | Download |
md5:f8da269ece912fb844d4373142f435ef
|
234.9 MB | Download |
md5:6551e08a7c4e66017da109ef8dd5f231
|
566.8 kB | Download |
md5:3954146e8c579665c72f18ecf4e431a5
|
5.7 MB | Download |
md5:11dd026a0324098b0de77f977e32e38b
|
12.0 MB | Download |
md5:d1a4cc15b2badb36fc07bc460f03d32a
|
3.1 MB | Download |
md5:d72a30b5096f978e2a78bb840057c2c9
|
8.8 MB | Download |
md5:6020f8763c89a0422126b3b1ef5bfdd1
|
1.1 MB | Download |
md5:860d260b0bdeff31280959559d22bb46
|
7.7 MB | Download |
md5:5e72f1e234af527a168cb5be8692b7e1
|
2.1 MB | Download |
md5:87acfeaaed333fa0d7b204f9b1518394
|
2.0 MB | Download |
md5:91b05b0b1c3d644e12924d508805c0fa
|
13.9 MB | Download |
md5:650379dd0539eb980324958b658339ae
|
9.8 MB | Download |
md5:47b0d7c78a6ebdcfa4c214c52a3ddb32
|
1.6 MB | Download |
md5:9c3dc0d2daf6f18b4078e0012c93e177
|
2.2 MB | Download |
md5:9c292d3c272223fac244dd8615e980db
|
16.1 MB | Download |
md5:44ce17b38d9b4409a70ba5d3ae7f4bee
|
60.0 MB | Download |
md5:aca900e6e7d1cc9c943547b1bcb45b8c
|
176.1 MB | Download |
md5:cf59484cce1ae8bb43097eadb596acc0
|
139.7 MB | Download |
md5:0c37a993c6fe12b16623c2de09287e64
|
25.6 MB | Download |
md5:a06494389767ed3a37b2af559b5b9f11
|
27.0 MB | Download |
md5:98d945825f9527fa9a1a03606997efeb
|
42.7 MB | Download |
md5:017e1174ee63d81411e590334f0174d7
|
19.6 MB | Download |
md5:d1f7dda8773f5c1463ed733d574fd5a7
|
33.6 MB | Download |
md5:7715202ca9b5a7077495b17f0a5b8174
|
268.9 MB | Download |
md5:e0c987d3b961508a41088cd0f46d82e9
|
38.1 MB | Download |
md5:48825fc3145c7846d32a2ebc89d9f68a
|
69.5 MB | Download |
md5:2fd52f55cdaa00fbd592c5e7448c850b
|
87.2 MB | Download |
md5:ca83507db1a4bedd3f1038d3b6198090
|
65.1 MB | Download |
md5:359e25dbbdecbb4f44324847796577a0
|
72.4 MB | Download |
md5:223d278edf9051a205022d27cae40493
|
204.3 MB | Download |
md5:4780fa49cd3c8981a1e4a9e07fb3edb9
|
107.7 MB | Download |
md5:807fda1231794fbdc0e2cdf3f5028363
|
114.8 MB | Download |
md5:78afdb9479fd12ec0c33962185ed46df
|
82.1 MB | Download |
md5:151f542c3aedb7d60699414e49a8e83d
|
61.7 MB | Download |
md5:ceb47cd579c6f765f3ffeb8f288c628e
|
437.9 MB | Download |
md5:f09cc15a38281219509c74033149a298
|
608.9 MB | Download |
md5:d419a0b72a13a25c4ef4a063142d035e
|
634.7 kB | Download |
md5:6e8c5085997a261bfd57c5b462783c32
|
1.1 MB | Download |
md5:e80d88359a63c537f24a7f853b98e201
|
1.2 MB | Download |
md5:e16ea936e62065c14be785d653db2a79
|
501.0 kB | Download |
md5:0509240018a8869958bedd5cdfb2d02f
|
502.5 kB | Download |
md5:3453fbf9e668a917cd930d3de584f16e
|
377.3 kB | Download |
md5:f9bfedf78536b3860a64cb89465192f2
|
1.1 MB | Download |
md5:af5e5d69efe3150e37ce7775c9216a45
|
1.3 MB | Download |
md5:32ef214497e0606e575f6e864feff56c
|
36.8 MB | Download |
md5:fbbc275999fdec0788f213cf01e4170e
|
33.7 MB | Download |
md5:a3eb99f5b7a1fbb65386d696bb41f2d5
|
872.5 kB | Download |
md5:9605459216592585e9dd4eb46aa99dea
|
4.3 MB | Download |
md5:136b8ed9a5e5607bad61df8074ad646e
|
743.9 MB | Download |
md5:21a6cc9f01285e074a8355509af20eca
|
1.2 GB | Download |
md5:b02bcfa66c2093a7a56ea999f4f2be6b
|
6.5 MB | Download |
md5:db620d0ba949a124b19c25017ccf47fe
|
140.5 MB | Download |
md5:bb93503a7a2afcc9631acc056fa75432
|
39.0 MB | Download |
md5:989a4036a0f47ee5a5ee5addd7c0bc43
|
56.6 MB | Download |
md5:cd3422fa0d539462075d4700d9aa69e6
|
280.4 MB | Download |
md5:3df9b8844a9bc86fa18ac99eb4abc0ef
|
139.9 MB | Download |
md5:c6ab641fef5ae9276ce10344bd191d82
|
238.3 MB | Download |
md5:526874f6b614b92561edd96f92850c26
|
347.6 MB | Download |
md5:bde7f81cd245b4aa897ba9dc01fb1940
|
602.1 MB | Download |
md5:01229df5f18fcde3f3dc9731aeb1f9ee
|
1.6 GB | Download |
md5:88390613330989acfc6554bcb88b7634
|
591.9 MB | Download |
md5:a29687496e0ade76d1d84a2b667ca320
|
79.1 MB | Download |
md5:ce0bc82b556c3ae3598d2ee6c218c1a9
|
618.5 MB | Download |
md5:ca4da19890d3a4b830586d62197331ec
|
624.0 MB | Download |
md5:b8fde91af19cb2d5bd542cddcc7057d6
|
801.1 MB | Download |
md5:14377dbfe9dd5f42a205725571cac6ed
|
995.1 MB | Download |
md5:f68ca54bf8415b62685f1639a30e2a29
|
414.1 MB | Download |
md5:8398b61f9b03fc436257b64afd37f878
|
366.9 MB | Download |
md5:46288fabb86603316720afc997203919
|
565.6 MB | Download |
md5:79a25c6decc29d44aa7cb604a1d3db92
|
385.3 MB | Download |
md5:326c93b87f6e6bd24327447e32a6c330
|
381.9 MB | Download |
md5:40582e3862a56595891a1775063a0dd2
|
971.8 MB | Download |
md5:7e59b6450264aca70e21493e385575a3
|
115.6 MB | Download |
md5:891b2e8c785413dc9abea13df0784728
|
269.5 MB | Download |
md5:a33d93e28c06ae083a7039bafe42c44f
|
962.4 kB | Download |
md5:c3af034e4c63866b44a3943d7ab9f9a5
|
578.4 kB | Download |
md5:e637d3b1642eefe394b2313e075c24c3
|
1.6 MB | Download |
md5:7484708100c6d4efa6699b72ca598e3b
|
349.3 MB | Download |
md5:38acb6b96d56774793f4fb7845a45d5b
|
144.2 MB | Download |
md5:0560c7d8e6554f989288bb13923b2894
|
147.0 MB | Download |
md5:b7be61ccb1c196e3b52762eda541dadf
|
415.5 MB | Download |
md5:e0d85dee190920080cea96c6f106492d
|
204.4 MB | Download |
md5:b9bdf93c2f1e2c39da10a252a5f07116
|
114.2 MB | Download |
md5:1af2ca810af69d6bc7731ac2d9161fa1
|
135.7 MB | Download |
md5:5d96d19a58074dc6c64b868f234b3017
|
13.9 MB | Download |
md5:d2bbfa7c187f74de00c15dda43646545
|
33.0 MB | Download |
md5:f5bdd225759afcf899bec82c0d8be834
|
1.1 MB | Download |
md5:fbf1fe67802f5ed25e9bbad33a38a325
|
2.2 MB | Download |
md5:82009fc82972a8ca8841b780664b8af0
|
5.2 MB | Download |
md5:fb1c30ed3956e108df639ec1131d5d32
|
19.1 MB | Download |
md5:1d61aa4cd028f8950c11f7a63bdf6665
|
21.1 MB | Download |
md5:f9a8ebcfefd10ce4104733db2059aa38
|
23.6 MB | Download |
md5:8d15f23906c6150f90049e01ceb84402
|
9.9 MB | Download |
md5:4ac105a07c0db84b077b9b19d6fa77fb
|
12.9 MB | Download |
md5:7c5a2ad36f0ef22cea4add081625bb1f
|
13.3 MB | Download |
md5:073b6b94fc5dc9e39d7fc0bd9abd7a25
|
15.5 MB | Download |
md5:548d63a55c357e0eac80d6597289291a
|
12.9 MB | Download |
md5:d3cb255dd9fd179153f2ae7810cd2a6c
|
398.3 MB | Download |
md5:ff19de246fc841558f22f1b40d474596
|
107.4 MB | Download |
md5:97e87f1ff8db637973af386cbc69f03a
|
68.6 MB | Download |
md5:dee08ec86782df59c9bf0ee01f6ffeee
|
82.1 kB | Download |
md5:329b1474d78d69aaa579818644664917
|
40.2 MB | Download |
md5:a4dba49d7ec1c01b385dcd5f95ac0787
|
177.4 MB | Download |
md5:5ff84e949dbc2cfbf48f012499a1aab0
|
165.0 MB | Download |
md5:37929ba440ec6a97e50aee46a39e308e
|
140.1 MB | Download |
md5:7ab61bbb0353d5c1fe9510995181b298
|
130.1 MB | Download |
md5:ac7c1a48794cb58cfe7d993faacc14f8
|
122.3 MB | Download |
md5:148a5e53a56925494bb137fc7c4667d8
|
11.0 MB | Download |
md5:15d8a22bf0ebc59160afaf6b47c5f24c
|
41.1 MB | Download |
md5:0171cb6dbb86b0844362d62383fb60a1
|
27.9 MB | Download |
md5:2f0a65b6b4fcff3b44c83c6756a34691
|
98.2 MB | Download |
md5:127deb23603c835ba1cee093dc5f861f
|
15.3 MB | Download |
md5:db950ed8187e3dccec8e2bbbfe49c4d2
|
21.7 MB | Download |
md5:fc6b30a2dc3b60b51a3e8359e05d3d82
|
34.4 MB | Download |
md5:a15ae04c6cb8fd5806054c64790a6596
|
69.6 MB | Download |
md5:93693190d5efbdd05bb5235471fc4827
|
14.0 MB | Download |
md5:39d799769d9bf402b9a1c296a81e6507
|
78.8 MB | Download |
md5:ae0924ca5999ae10b03693ddc8172017
|
130.7 MB | Download |
md5:515c9c2d35a46006f443ba6f7091c5c5
|
289.8 MB | Download |
md5:6573ae405e3d7d252d76f1fbbf2d8ad9
|
247.9 MB | Download |
md5:4cc43cf0cbaccfbe722a6da8e7a2eba5
|
6.5 MB | Download |
md5:a889dd7bdd7b7267167adfc380a914e6
|
8.9 MB | Download |
md5:db2475abf0445f9d818ad15e58250a28
|
6.6 MB | Download |
md5:c1d8b4d84b631fb41b17b9e6dc9f1815
|
7.4 MB | Download |
md5:87dcf30e76214a7cab6c0befb39e3df6
|
33.2 MB | Download |
md5:d7cb0236d2b0201254dee38362312727
|
9.0 MB | Download |
md5:9c2c0593f5e1620fa12525b0d01304f1
|
6.7 MB | Download |
md5:6b24e3a0ad9123a83e5dcd4f96b64163
|
30.6 MB | Download |
md5:f376ff71a3a4f36085fd07cbab413e74
|
1.7 MB | Download |
md5:6e2e6debe62b69f239e36dabb8a748ec
|
803.0 kB | Download |
md5:fad0ef9008fa7a031a71cccf0cdbe2bf
|
118.6 MB | Download |
md5:5e890a80d87322c6416b730fab473cea
|
174.8 MB | Download |
md5:47a780e42ec5dd54da7048a6eda7f372
|
194.0 MB | Download |
md5:e1ec2ccab00f8cd23c78e2f503c10e7b
|
282.4 MB | Download |
md5:27f21873889a936111a6df0d85a826c1
|
268.4 MB | Download |
md5:92ec1dd55ab696f0141156a4c223bee7
|
3.3 MB | Download |
md5:ebdc3d1ea9b68a98a4f1258459bf58d2
|
823.0 MB | Download |
md5:855f5adf22a3d29743d3452656dc4735
|
154.6 MB | Download |
md5:16ae31ec2e6f26aac6ac74130c851afa
|
179.4 MB | Download |
md5:3ce6eababe7fa757c78ca07040ab2420
|
8.9 MB | Download |
md5:25dffc74d552e80424a57c9ba92dd961
|
6.3 MB | Download |
md5:b52e161d8078b4cd4165230dfee39a68
|
963.0 MB | Download |
md5:4d78b04f38faa7220b1546fd2e9590f3
|
2.0 MB | Download |
md5:a4a10c771cce3dbdbea95c2ee999c775
|
228.2 MB | Download |
md5:02b23efe4b8f811badde03ef52e8af69
|
491.9 MB | Download |
md5:644ca6e9d4dc4de563231a65cb046027
|
1.7 GB | Download |
md5:bd76103bb3b30ca9588efb8026bcaf10
|
2.7 GB | Download |
md5:374670ed56b8685403d6da0a5c322b87
|
723.2 MB | Download |
md5:be2179bfe8e2586669fa1302261e617b
|
19.9 MB | Download |
md5:d38b07bbec90cae9171dfa19f2e1e79c
|
7.4 MB | Download |
md5:e92d2584a183278235b0cf621631273f
|
7.9 MB | Download |
md5:4fe7797b89c19086b82d7899640eb359
|
7.0 MB | Download |
md5:5d314725d73adb69da8df5816c3539b3
|
21.2 MB | Download |
md5:387c081ff2eba20b0c1d6f334ca877f1
|
10.7 MB | Download |
md5:67e228957a94dad1feec1b6748b19a10
|
7.3 MB | Download |
md5:2c1c0489759f17be7457beec5a83688c
|
13.1 MB | Download |
md5:f8bceb6c2ec55ed5800d8746c707a6f0
|
9.8 MB | Download |
md5:8bea1dc4ef42f1a2d52e509df7dcb0af
|
33.9 MB | Download |
md5:3ec38c2cc3b8f1f9337d382c30b1a7ff
|
23.9 MB | Download |
md5:8bf2f1cb2074b3a90774dfa6de268854
|
6.4 MB | Download |
md5:b5225e0510030823bbb574993f622776
|
19.2 MB | Download |
md5:fec418062bd65d330dea16472649c2a3
|
129.5 MB | Download |
md5:785dcd1d434d52b959071ec0cd1b2eba
|
93.6 MB | Download |
md5:9a0fc6132ef7cd80a199a5b6a33152c7
|
105.2 MB | Download |
md5:6d8c222147da70550792914e5dbf455e
|
90.8 MB | Download |
md5:cfb738ffd986db396ba110d6870dc0d9
|
124.9 MB | Download |
md5:b81b753752bfbea084fa0a31d28461c0
|
115.9 MB | Download |
md5:8826484ab31b1b36ddfa52151a7490ef
|
94.8 MB | Download |
md5:85ddd4831f2055b6da74c7a236a9d4a0
|
109.6 MB | Download |
md5:bd62936a8b1f38197f2c7f6409ba5d6a
|
86.8 MB | Download |
md5:e0642aea87d0d01ce1f3f10712b057f5
|
121.8 MB | Download |
md5:59f2a6fa99842e1b54a6aaca89af79d5
|
129.2 MB | Download |
md5:5abfca38f32bfc4ec665b1ceccce415e
|
100.3 MB | Download |
md5:4fb0b7548cbf88e94d23c666a6fb6192
|
133.5 MB | Download |
md5:971651539e745d63b2a0f8218aee02a7
|
118.7 MB | Download |
md5:ab00bb27eaec5062712a2261fd2c1b38
|
112.1 MB | Download |
md5:fd2e56a1d182221c952cc8f3df15cbf5
|
149.2 MB | Download |
md5:5298a3a5a29ec60e96e0ed8c83b7bbda
|
117.8 MB | Download |
md5:17b49b9fa6792b1d94bf05b73e366f5f
|
142.5 MB | Download |
md5:bd4b311d1997e28ebeb0f56cd28249ef
|
188.8 MB | Download |
md5:319439508c90250018b7fda704429438
|
130.8 MB | Download |
md5:2f20917f12cfe0d7f0deb5fed9eb0ab8
|
197.8 MB | Download |
md5:1c5f7e87f128c10e954f64f9e35dd5bf
|
145.9 MB | Download |
md5:a31620c03c417c9ccc83fb33c213c658
|
134.7 MB | Download |
md5:8a06758a9e869deea65a2550d6957533
|
195.7 MB | Download |
md5:e3f74299996a899489ac3462dd0254bf
|
209.7 MB | Download |
md5:6df3b1201a75d62c299a26272d495d16
|
155.5 MB | Download |
md5:d228c3a42e2713941322e2386b40a0aa
|
143.8 MB | Download |
md5:032bd3847e6e700afff0aa2cbf65f5fa
|
157.8 MB | Download |
md5:b5ac43a6090a9ba152a574b61edb2794
|
188.4 MB | Download |
md5:474faabe6da235981faee39b985d8276
|
171.1 MB | Download |
md5:f9eb983848b5e6690e82166dbad67fcc
|
41.6 MB | Download |
md5:42ca0b8c811e6a6da2c1335ba3aea32b
|
32.0 MB | Download |
md5:ce54fd2e2d087bff4ac48bb4e3e8c961
|
53.5 MB | Download |
md5:240a89042c84fe864585d139a61e949c
|
80.0 MB | Download |
md5:5b25279522a4cc8e5c0c8abf6991e096
|
127.2 MB | Download |
md5:35edc78a51c88a1afb5df6b18336e9ec
|
151.1 MB | Download |
md5:3c676c68cdd588759a322f1667858379
|
129.9 MB | Download |
md5:067477fbb5383d3154f92f470b42aaff
|
81.6 MB | Download |
md5:a2fe4a21fc3c17f98473439e8d04b68b
|
104.3 MB | Download |
md5:82802765606cf589c8a23f141e410e9a
|
139.9 MB | Download |
md5:4439d433e6e7a686d36a261788e5a9f6
|
124.7 MB | Download |
md5:d89f8c2524f7d6af6c8ff3c04835d677
|
94.1 MB | Download |
md5:8bf81e009e789998bddaae621b492f7a
|
96.4 MB | Download |
md5:5217412eb569cc3bda5521ab2028bfa1
|
63.9 MB | Download |
md5:5b63ed205cc9d07459d45c121bf23235
|
64.9 MB | Download |
md5:d5e469e79da4cde40df423040cc2c8e2
|
51.8 MB | Download |
md5:e4778dc08517612b764a0a097a0bea52
|
44.3 MB | Download |
md5:16e4c8646e870258d49cffe58b3faec1
|
75.4 MB | Download |
md5:3fadb49cadd686ff8ae6b512f4fa3513
|
37.2 MB | Download |
md5:0af098a3a23895a91863062a5bf54c11
|
36.0 MB | Download |
md5:23e997d77c81c3302ad790583cef9e03
|
29.5 MB | Download |
md5:b5b13e4e67d35fbf41af49012e6b60cc
|
27.5 MB | Download |
md5:7f206bc8b651a7fddbce59e9a9391321
|
93.2 MB | Download |
md5:1d5c1631034fffc1fb95824b4d51004d
|
122.5 MB | Download |
md5:b80304842923230cea178ff11af34505
|
24.8 MB | Download |
md5:c79d63d579c54c80aac93188d0765e0b
|
21.9 MB | Download |
md5:95f77960a96287023a748b27f003d232
|
28.7 MB | Download |
md5:cc6a84ed73cbe47fa82a14e0af5109ef
|
77.6 MB | Download |
md5:e2aabfe7e806b929631c0d4ddd29322e
|
25.1 MB | Download |
md5:d28481160e03c1e732e4ea94e68c6afe
|
73.3 MB | Download |
md5:63756c375aebb7a4f8a6b0811a3aa448
|
62.1 MB | Download |
md5:156609edefaa86b485ce70a6346553bd
|
67.2 MB | Download |
md5:fbadb8fb1446fe7cb78ab3b1e584a25b
|
63.8 MB | Download |
md5:a2a396f99ea0c33e9bcdb4760b181e77
|
72.2 MB | Download |
md5:10fc79a62244f0902c549527005af282
|
129.4 MB | Download |
md5:e2649ce82d961a1da5b55a55333b5993
|
139.6 MB | Download |
md5:649b47cfb25830f97059b76167b69d70
|
26.5 MB | Download |
md5:201d6364be885e3af222a300c734b1ea
|
144.1 MB | Download |
md5:2d04d88cb5bc70983d12f7e2108ca18a
|
39.5 MB | Download |
md5:dc3f7e4bdd093217cddbf64ed314f21e
|
150.3 MB | Download |
md5:b046c5b883fc54a7ff6ad501ec2b9473
|
324.4 MB | Download |
md5:c844cccab0eb07b1ad7351eead648f20
|
230.8 MB | Download |
md5:96eb55ca3fab62cd47257643f3a3e7c2
|
332.0 MB | Download |
md5:a816e1d4a2f52d67b79ed1e0147cda5e
|
221.3 MB | Download |
md5:37d7806497c9dbcdae316910d6e1d71f
|
190.6 MB | Download |
md5:6b470a9df965717ce2c5690fcb03e62e
|
353.7 MB | Download |
md5:34b0a163457cc8bc35f7e07506d5effa
|
490.9 MB | Download |
md5:c7b8a9b360157a78ffbf0e85a2a18a73
|
166.5 MB | Download |