Published March 6, 2020
| Version v1
Software
Open
SAT Solvers used in the SAT Competition 2004 (binaries)
Authors/Creators
Description
Static Binaries (Linux) of Solvers used in the SAT Competition 2004. Link to the competition web site : www.satcompetition.org
Files
Files
(106.7 MB)
| Name | Size | |
|---|---|---|
|
md5:2553ad66aeade42170da9c84dfc9a700
|
1.8 MB | Download |
|
md5:c833c4afdb33a8c06fb461e4395013eb
|
2.0 MB | Download |
|
md5:c032f97692faa51fb315b14f1991b9cb
|
129.3 kB | Download |
|
md5:acbea49bb34762f124d3dfb5adb1e626
|
7.2 MB | Download |
|
md5:dd2ed56a370e6cdcb7c3eae1db533d0b
|
7.2 MB | Download |
|
md5:43db4bcb6f2f3571933f306009394c69
|
7.2 MB | Download |
|
md5:519cbbb39c79d0a428bc207c04ce2e88
|
458.0 kB | Download |
|
md5:f957fc9d665be5872ec2bf28dee55ccc
|
439.2 kB | Download |
|
md5:e8966aa753fbaaa684228c3bbeb34f63
|
1.2 MB | Download |
|
md5:962bcd71b491944b2513c5f4d802135f
|
1.9 MB | Download |
|
md5:da416459e056a8291267c7025c338027
|
1.9 MB | Download |
|
md5:b0e5b2926e90c9ab34b9463f00d69c83
|
74.9 kB | Download |
|
md5:dae6f17ea4abfb16da9eb8e3d72af188
|
1.9 MB | Download |
|
md5:ca511a7fed6c0058bb1bc6f611c65396
|
879.2 kB | Download |
|
md5:32386a8e6b365f3a27e928c395a9760a
|
879.0 kB | Download |
|
md5:b7f9b9deaa9bafe604e5e99bdb424853
|
459.7 kB | Download |
|
md5:13a8ea3611a4c624545d71a3e98313dc
|
1.7 MB | Download |
|
md5:1350337358ae0e0673e594ac243b8a76
|
1.0 MB | Download |
|
md5:26103a8468af2b8e42ed07e8e6a3a1e2
|
1.0 MB | Download |
|
md5:cb2fcddfbb9f749a88184ea6683635cc
|
1.0 MB | Download |
|
md5:b3175acad9df55203804cac373cdee8c
|
1.7 MB | Download |
|
md5:51488fbe0ae34b31fa9228cc29060752
|
1.8 MB | Download |
|
md5:4161d3ff220d5cfaec04ff8ab41eca62
|
1.8 MB | Download |
|
md5:23fa5e606e53967359fffb03bacd5271
|
483.5 kB | Download |
|
md5:77786f2f35819fd2b0ac406274345f6b
|
483.5 kB | Download |
|
md5:38014da50bc3dece6129a136138c13ea
|
484.8 kB | Download |
|
md5:c0169bfa5c3498c8446fd544a7852c0c
|
484.7 kB | Download |
|
md5:f486cd09c94b228d966d765bc42ee053
|
62.4 kB | Download |
|
md5:6a5f602c858edebb96c9e89eb0ed0a02
|
516.3 kB | Download |
|
md5:f284407b24f83d20b75de85d92c5bd0f
|
412.3 kB | Download |
|
md5:1d3a979635d9e26797282728e9446825
|
1.8 MB | Download |
|
md5:9170619ff345141db40dade752ea2581
|
1.8 MB | Download |
|
md5:f3aa8a3edd48905d3721aa3758d15012
|
449.6 kB | Download |
|
md5:8a740f2a901f715f69469df7a7ba44cc
|
449.6 kB | Download |
|
md5:5f2f317ac9fdfbc309b0db261b6f8be0
|
449.6 kB | Download |
|
md5:55b73275dfb5390e3bc698083d10a2f7
|
25.8 kB | Download |
|
md5:9b8fdf016a9d4835b7b91d5f645f363a
|
2.0 MB | Download |
|
md5:baa3bdc0d4dfffe9c2816da3c2a26f0c
|
507.9 kB | Download |
|
md5:8df56ae44b979f7edf84f94bc599e770
|
1.8 MB | Download |
|
md5:10c0a53d882fed98753408ed75bd42ae
|
2.2 MB | Download |
|
md5:1aea2fad935835fe4d1b1b38e6bee346
|
1.8 MB | Download |
|
md5:f43b53c2ec88422cfff083b99317ef8f
|
1.8 MB | Download |
|
md5:1b758a898ea2a73b227fed1f5e9b32eb
|
690.8 kB | Download |
|
md5:ad5eaaf1d45b217eac58fd07b63d3a3e
|
704.5 kB | Download |
|
md5:88956ae0f22b21eb0b0302a09c0c16cf
|
704.5 kB | Download |
|
md5:7626ef3340ae1a6266d9187f58ef0d2e
|
716.1 kB | Download |
|
md5:29f3aeaf23ad0efedbe9dd34c96556c4
|
1.8 MB | Download |
|
md5:c2edabf90e8dd96e872a6b8c6d26f43c
|
1.8 MB | Download |
|
md5:17f2de4038e22cddadc2a068f5ae99b2
|
6.2 MB | Download |
|
md5:fd8d9ac146cda4d76bcaa1b4689a1951
|
6.2 MB | Download |
|
md5:aca363f326a640f5aa6fc184116aae74
|
6.2 MB | Download |
|
md5:81ffd5b61008d95a89496a50af775950
|
2.2 MB | Download |
|
md5:5a19549357f8cb06755fd4bb48643b78
|
871.8 kB | Download |
|
md5:1095df936ea670a8ece1d043f527fcf3
|
1.9 MB | Download |
|
md5:715c26d6518f91ad71f3cce8d85bd936
|
1.8 MB | Download |
|
md5:27e6aa5841204dba556929f89653e023
|
518.1 kB | Download |
|
md5:a68e738cacc0bc369e3a3fed2271ac7b
|
1.7 MB | Download |
|
md5:5c896ac34c1a1e07754630a53ad82239
|
1.7 MB | Download |
|
md5:48956753d3a976374ca55f35585c8a67
|
1.7 MB | Download |
|
md5:3bec5cad5a2ac40d8a78844891b4001b
|
1.8 MB | Download |
|
md5:e0748a438fe8493590b474211457c099
|
2.0 MB | Download |
|
md5:2f6280e85c586163b81b917617be0fd2
|
2.0 MB | Download |