add computing time project extension proposal + update version number

README.html

@@ -551,7 +551,7 @@ <h4 id="usage">Usage</h4>
 </code></pre><p>You may have a look at the <a href="log/dProofs31_6node_288cpu.log">log file</a> generated by that computation.</p>
 <h4 id="navigation">Navigation</h4>
 <ul>
-<li><a href="https://github.com/xamidi/pmGenerator/tree/c++11">C++11 branch</a></li>
+<li><a href="https://github.com/xamidi/pmGenerator/tree/c++11">C++11 branch</a> (version 1.2.0, discontinued)</li>
 <li><a href="https://github.com/xamidi/pmGenerator/tree/master">C++20 branch</a></li>
 </ul>
 <h4 id="custom-proof-systems">Custom Proof Systems</h4>
@@ -1208,5 +1208,5 @@ <h6 id="s5-cpcqpccpcqrccpqcprccnpnqcqpclppclcpqclplqcnlnplnlnp-top1000-cardinali
 </tr>
 </tbody>
 </table>
-<p><sup>✻</sup><sub>Generation and utilization were performed with computing resources granted by RWTH Aachen University under project <a href="pdf/rwth1392_abstract.pdf" title="View rwth1392_abstract.pdf">rwth1392</a>.</sub></p>
+<p><sup>✻</sup><sub>Generation and utilization were performed with computing resources granted by RWTH Aachen University under project <a href="pdf/rwth1392_extension_2024.pdf" title="View rwth1392_extension_2024.pdf">rwth1392</a>.</sub></p>
 </article></div></div></body></html>

README.md

@@ -187,7 +187,7 @@ A subsequent query with [squeue](https://slurm.schedmd.com/squeue.html) would th
 You may have a look at the [log file](log/dProofs31_6node_288cpu.log) generated by that computation.
 
 #### Navigation
-- [C++11 branch](https://github.com/xamidi/pmGenerator/tree/c++11)
+- [C++11 branch](https://github.com/xamidi/pmGenerator/tree/c++11) (version 1.2.0, discontinued)
 - [C++20 branch](https://github.com/xamidi/pmGenerator/tree/master)
 
 #### Custom Proof Systems
@@ -312,4 +312,4 @@ The system of modal logic illustrated below extends [Frege's calculus simplified
 | <sup><sub>[dProofs29&#x2011;unfiltered25+.txt](https://rwth-aachen.sciebo.de/s/qElEXv7QpbJ5KNs                           "54'687'281'728 bytes compressed into 2'345'678'277 bytes (ratio approx. 23.3141)")</sub></sup><sup>✻</sup>  |                                100 115 373 391 |  [2364.16](log/custom/s5-CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp/dProofs29-unfiltered25+_64cpu.log)<br/><sup>`-q 50`</sup>[2121.81](log/custom/s5-CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp/dProofs29-unfiltered25+_64cpu-2.log) | [409.23](log/custom/s5-CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp/utilization/29-25.log) | [1327.37](log/custom/s5-CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp/jobsRSS.txt#L57-L64)<br/><sup>`-q 50`</sup>[746.09](log/custom/s5-CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp/jobsRSS.txt#L66-L73) | [2.2120...](https://www.wolframalpha.com/input?i=54687281728%2F24722013566 "size(dProofs29-unfiltered25+.txt) / size(dProofs28-unfiltered25+.txt)")  |
 | <sup><sub>[dProofs30&#x2011;unfiltered25+.txt](https://rwth-aachen.sciebo.de/s/h0ipKwDK8xwU9ce                           "118'130'673'527 bytes compressed into 4'950'709'496 bytes (ratio approx. 23.8614)")</sub></sup><sup>✻</sup> |                                218 246 046 918 |                                                                                                                          <sup>`-q 50`</sup>[4774.60](log/custom/s5-CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp/dProofs30-unfiltered25+_64cpu.log)   | [870.21](log/custom/s5-CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp/utilization/30-25.log) |                                                                                                          <sup>`-q 50`</sup>[1563.51](log/custom/s5-CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,CLpp,CLCpqCLpLq,CNLNpLNLNp/jobsRSS.txt#L75-L82) | [2.1601...](https://www.wolframalpha.com/input?i=118130673527%2F54687281728 "size(dProofs30-unfiltered25+.txt) / size(dProofs29-unfiltered25+.txt)") |
 
-<sup>✻</sup><sub>Generation and utilization were performed with computing resources granted by RWTH Aachen University under project [rwth1392](pdf/rwth1392_abstract.pdf "View rwth1392_abstract.pdf").</sub>
+<sup>✻</sup><sub>Generation and utilization were performed with computing resources granted by RWTH Aachen University under project [rwth1392](pdf/rwth1392_extension_2024.pdf "View rwth1392_extension_2024.pdf").</sub>

helper/Version.h

@@ -11,8 +11,8 @@
 #define TOOL_REPOSITORY "https://github.com/xamidi/pmGenerator"
 #define TOOL_VERSION_MAJOR 1
 #define TOOL_VERSION_MINOR 2
-#define TOOL_VERSION_PATCH 0
-#define TOOL_VERSION_SPEC "1.2.0"
+#define TOOL_VERSION_PATCH 1
+#define TOOL_VERSION_SPEC "1.2.1"
 #define TOOL_VERSION_BRANCH "master"
 
 #define BUILD_YEAR \