Published January 1, 2013
| Version v1
Dataset
Open
Benchmarks and Results of Experiments Evaluating Various Proof Compression Algorithms
Authors/Creators
Description
These experiments were discussed in a paper published at the Tableaux 2013 conference.
Files
Experimental Results - ReadMe.md
Files
(4.1 GB)
| Name | Size | |
|---|---|---|
|
md5:c1386132fa02b0bcfca0c958d95fdd59
|
8.5 MB | Download |
|
md5:c016dfcfd14947a3a025b5c65faf8057
|
960 Bytes | Preview Download |
|
md5:09fb201f18a094a9a6b5df4eca16db3b
|
2.8 MB | Preview Download |
|
md5:5923c88bd9beccce008e1a1e4451cfba
|
266.5 kB | Preview Download |
|
md5:2ade1d18962269b26d585d6b27e471f3
|
314.1 MB | Download |
|
md5:f3bb2bf52190c2d35c07c2f0abd11f8b
|
227.4 kB | Preview Download |
|
md5:e121237dd65c04e1f952f97c84c805b7
|
236.7 MB | Download |
|
md5:3a0aefe2d48c0922923eea1f47d69c1e
|
313.6 MB | Preview Download |
|
md5:e692486afa3e05a799d998cd070df770
|
36.6 MB | Download |
|
md5:8b8c0906a98b56639526f4387d969bc4
|
46.0 MB | Preview Download |
|
md5:f7f5d07db976affe055177d4b7cfaefc
|
30.2 MB | Download |
|
md5:d55619ef0281e8728066a254136b0727
|
3.9 MB | Preview Download |
|
md5:035917274a2ac116aff6670813d02a7f
|
2.6 MB | Preview Download |
|
md5:58be916bbf12dce8ee6dfd812e32e0c2
|
14.7 MB | Preview Download |
|
md5:bbdcc99c8c007dde1a6dd7c2b42bb3a2
|
35.1 MB | Preview Download |
|
md5:d2dc5362008ff5917fb1fa999b064ff0
|
111.1 MB | Preview Download |
|
md5:c0b4a2867d9e28115e4c034ea766ead4
|
1.3 GB | Preview Download |
|
md5:cfa800ab45d739b15a61003be4c4171f
|
89.5 MB | Preview Download |
|
md5:340a75043d7289ebe76e274510e369b6
|
67.2 MB | Preview Download |
|
md5:0d086aa2ff88cbbed84f16cda6ac776c
|
13.1 MB | Preview Download |
|
md5:7758ae059f02f72c7550ef53229ce11d
|
1.2 GB | Download |
|
md5:4e43e326faf8a2f7d9a15662bae797bd
|
124.4 MB | Download |
|
md5:59d8ff0d6f5dc4f90fc04eaa307abd39
|
136.5 MB | Preview Download |
|
md5:ee37b5360000d65e8887a87470b2ff5d
|
5.4 MB | Download |
|
md5:9492ea8d8392251a56367d98e646a269
|
5.3 MB | Preview Download |
|
md5:9f929ad4e568b1d164ab8f8fab29d1a7
|
10.7 MB | Download |