Published July 26, 2021 | Version v1
Dataset Open

ParaFROST Proofs for Certified SAT Solving with GPU Accelerated Inprocessing

  • 1. Eindhoven University of Technology, The Netherlands

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