more generated proof files & logs, improved samples

- capped proof files for each system with up to 2 TB memory requirements
- (temporary) links to newly generated files in README

Author: xamidi

.gitignore

@@ -38,49 +38,50 @@ data/52436f9e87daeb2c361a73a9f389b061258328e641f750b1767addf7/*
 !data/52436f9e87daeb2c361a73a9f389b061258328e641f750b1767addf7/\!.conf
 !data/52436f9e87daeb2c361a73a9f389b061258328e641f750b1767addf7/top1000SmallestConclusions_*Steps.txt
 !data/top1000SmallestConclusions_*Steps.txt
-!data/mproofs.txt
+!data/m.txt
 !data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/
 data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/*
 !data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/cardinalities.txt
 !data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/\!.def
 !data/478804cd4793bc7f87041d99326aff4595662146d8a68175dda22bed/top1000SmallestConclusions_*Steps.txt
-!data/w1proofs.txt
+!data/w1.txt
 !data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/
 data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/*
 !data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/cardinalities.txt
 !data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/\!.def
 !data/02974777ff5f71e12ef58ccebedeef133584aad66e06a2a13b2b4b2c/top1000SmallestConclusions_*Steps.txt
-!data/w2proofs.txt
+!data/w2.txt
 !data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/
 data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/*
 !data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/cardinalities.txt
 !data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/\!.def
 !data/db25c49b13fec26ecf32e40bde65e4e2273f23b3c022cfd0fa986cff/top1000SmallestConclusions_*Steps.txt
-!data/w3proofs.txt
+!data/w3.txt
 !data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/
 data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/*
 !data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/cardinalities.txt
 !data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/\!.def
 !data/0df075acc552c62513b49b6ed674bfcde1c1b018e532c665be229314/top1000SmallestConclusions_*Steps.txt
-!data/w4proofs.txt
+!data/w4.txt
 !data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/
 data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/*
 !data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/cardinalities.txt
 !data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/\!.def
 !data/fe7117b8aad7634fae344172b9fee05f77e5e23b035276b17d8c6ec9/top1000SmallestConclusions_*Steps.txt
-!data/w5proofs.txt
+!data/w5.txt
 !data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/
 data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/*
 !data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/cardinalities.txt
 !data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/\!.def
 !data/1d5f27494b1a2312e223b7f8dd3551abf717590ceef694c08dcbed72/top1000SmallestConclusions_*Steps.txt
-!data/w6proofs.txt
+!data/w6.txt
 !data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/
 data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/*
 !data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/cardinalities.txt
 !data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/\!.def
 !data/7f473b6ba952b3deadf36cd7f1c4b5286ef32fef64808d14fff70a69/top1000SmallestConclusions_*Steps.txt
 !data/s5proofs.txt
+!data/s5.txt
 !data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/
 data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/*
 !data/d03a044ec35d4d9a3f6d0f5118bc4f8a02a08e61fe7815b2002d007f/cardinalities.txt

README.html

@@ -2,4 +2,4 @@
 (1) CC0CCN0.1.2C3CCN4C2.4C0.4    -    CCpCCNpqrCsCCNtCrtCpt    -    (0\imply((\not0\imply1)\imply2))\imply(3\imply((\not4\imply(2\imply4))\imply(0\imply4)))
 #removals;1:0,3:0,5:0,7:0,9:0,11:0,13:0,15:0,17:1,19:2,21:2,23:2,25:1,27:2,29:1,31:3,33:11,35:19,37:22,39:28,41:28,43:31,45:39,47:55,49:86,51:125,53:169,55:214,57:258,59:295,61:386,63:534,65:748,67:1014,69:1388,71:1759,73:2141,75:2672,77:3403,79:4455,81:6012,83:8059,85:10536,87:13375,89:16601,91:20714,93:26285,95:34139,97:44769,99:58832,101:76284,103:97164,105:122355,107:153738,109:194880,111:250893,113:326218,115:423787,117:546877,119:698282,121:884751,123:1119518,125:1424696,127:1827997,129:2358256,131:3044205,133:3913588,135:5001838,137:6364145,139:8096264
 #iterations;1:1,3:1,5:2,7:5,9:8,11:10,13:10,15:10,17:10,19:15,21:26,23:40,25:52,27:63,29:74,31:86,33:118,35:167,37:244,39:340,41:446,43:551,45:688,47:869,49:1128,51:1509,53:2046,55:2758,57:3636,59:4659,61:5848,63:7415,65:9546,67:12520,69:16626,71:21997,73:28576,75:36634,77:46614,79:59337,81:76266,83:99080,85:129482,87:168717,89:218196,91:279663,93:357074,95:456119,97:585294,99:755798,101:979916,103:1269838,105:1639296,107:2106748,109:2698758,111:3457865,113:4441498,115:5724404,117:7393098,119:9547567,121:12303220,123:15814238,125:20294070,127:26041382,129:33464926,131:43088171,133:55549258,135:71608010,137:92211954,139:118581507,141:152368710
-#iterations-unfiltered141+;143:216457445,145:308369644,147:453382622,149:650543112
+#iterations-unfiltered141+;143:216457445,145:308369644,147:453382622,149:650543112,151:891383185,153:1176314122,155:1558170072,157:2083519342,159:2814993667,161:3806955248,163:5149688506

README.md

@@ -1,74 +1,81 @@
-       1 dProofs1.txt
-       1 dProofs3.txt
-       2 dProofs5.txt
-       2 dProofs7.txt
-       1 dProofs9.txt
-       0 dProofs11.txt
-       1 dProofs13.txt
-       2 dProofs15.txt
-       3 dProofs17.txt
-       4 dProofs19.txt
-       5 dProofs21.txt
-       5 dProofs23.txt
-       5 dProofs25.txt
-       6 dProofs27.txt
-       7 dProofs29.txt
-      15 dProofs31.txt
-      20 dProofs33.txt
-      25 dProofs35.txt
-      30 dProofs37.txt
-      37 dProofs39.txt
-      42 dProofs41.txt
-      51 dProofs43.txt
-      63 dProofs45.txt
-      85 dProofs47.txt
-     122 dProofs49.txt
-     162 dProofs51.txt
-     206 dProofs53.txt
-     251 dProofs55.txt
-     292 dProofs57.txt
-     339 dProofs59.txt
-     444 dProofs61.txt
-     598 dProofs63.txt
-     781 dProofs65.txt
-    1016 dProofs67.txt
-    1303 dProofs69.txt
-    1593 dProofs71.txt
-    1922 dProofs73.txt
-    2359 dProofs75.txt
-    2986 dProofs77.txt
-    3875 dProofs79.txt
-    5006 dProofs81.txt
-    6466 dProofs83.txt
-    8184 dProofs85.txt
-   10182 dProofs87.txt
-   12488 dProofs89.txt
-   15534 dProofs91.txt
-   19614 dProofs93.txt
-   25087 dProofs95.txt
-   32452 dProofs97.txt
-   41840 dProofs99.txt
-   53343 dProofs101.txt
-   67105 dProofs103.txt
-   84222 dProofs105.txt
-  105925 dProofs107.txt
-  134564 dProofs109.txt
-  172053 dProofs111.txt
-  221055 dProofs113.txt
-  283569 dProofs115.txt
-  361751 dProofs117.txt
-  458509 dProofs119.txt
-  579502 dProofs121.txt
-  734352 dProofs123.txt
-  935212 dProofs125.txt
- 1197027 dProofs127.txt
- 1534565 dProofs129.txt
- 1965596 dProofs131.txt
- 2509883 dProofs133.txt
- 3196594 dProofs135.txt
- 4066027 dProofs137.txt
- 5180139 dProofs139.txt
-16952082 dProofs141-unfiltered141+.txt
-26431403 dProofs143-unfiltered141+.txt
-36855440 dProofs145-unfiltered141+.txt
-47814846 dProofs147-unfiltered141+.txt
+        1 dProofs1.txt
+        1 dProofs3.txt
+        2 dProofs5.txt
+        2 dProofs7.txt
+        1 dProofs9.txt
+        0 dProofs11.txt
+        1 dProofs13.txt
+        2 dProofs15.txt
+        3 dProofs17.txt
+        4 dProofs19.txt
+        5 dProofs21.txt
+        5 dProofs23.txt
+        5 dProofs25.txt
+        6 dProofs27.txt
+        7 dProofs29.txt
+       15 dProofs31.txt
+       20 dProofs33.txt
+       25 dProofs35.txt
+       30 dProofs37.txt
+       37 dProofs39.txt
+       42 dProofs41.txt
+       51 dProofs43.txt
+       63 dProofs45.txt
+       85 dProofs47.txt
+      122 dProofs49.txt
+      162 dProofs51.txt
+      206 dProofs53.txt
+      251 dProofs55.txt
+      292 dProofs57.txt
+      339 dProofs59.txt
+      444 dProofs61.txt
+      598 dProofs63.txt
+      781 dProofs65.txt
+     1016 dProofs67.txt
+     1303 dProofs69.txt
+     1593 dProofs71.txt
+     1922 dProofs73.txt
+     2359 dProofs75.txt
+     2986 dProofs77.txt
+     3875 dProofs79.txt
+     5006 dProofs81.txt
+     6466 dProofs83.txt
+     8184 dProofs85.txt
+    10182 dProofs87.txt
+    12488 dProofs89.txt
+    15534 dProofs91.txt
+    19614 dProofs93.txt
+    25087 dProofs95.txt
+    32452 dProofs97.txt
+    41840 dProofs99.txt
+    53343 dProofs101.txt
+    67105 dProofs103.txt
+    84222 dProofs105.txt
+   105925 dProofs107.txt
+   134564 dProofs109.txt
+   172053 dProofs111.txt
+   221055 dProofs113.txt
+   283569 dProofs115.txt
+   361751 dProofs117.txt
+   458509 dProofs119.txt
+   579502 dProofs121.txt
+   734352 dProofs123.txt
+   935212 dProofs125.txt
+  1197027 dProofs127.txt
+  1534565 dProofs129.txt
+  1965596 dProofs131.txt
+  2509883 dProofs133.txt
+  3196594 dProofs135.txt
+  4066027 dProofs137.txt
+  5180139 dProofs139.txt
+ 16952082 dProofs141-unfiltered141+.txt
+ 26431403 dProofs143-unfiltered141+.txt
+ 36855440 dProofs145-unfiltered141+.txt
+ 47814846 dProofs147-unfiltered141+.txt
+ 62366737 dProofs149-unfiltered141+.txt
+ 82234537 dProofs151-unfiltered141+.txt
+109705510 dProofs153-unfiltered141+.txt
+144348401 dProofs155-unfiltered141+.txt
+192661720 dProofs157-unfiltered141+.txt
+253992520 dProofs159-unfiltered141+.txt
+338777355 dProofs161-unfiltered141+.txt