Experimental data for the paper Automated reasoning for knot semigorups and \pi-orbifold groups of knots

This upload contains experimental data to supplement the paper Automated reasoning for knot semigroups and \pi-orbifold groups of knots, by Alexei Lisitsa and Alexei Vernitski, 2017 ALTERNATING-SG.zip Proofs by Prover9 for Section 3, (4-plats) KS_Models.zip Models found by Mace4 for Section 2.3 (Non-cyclic knot semigorups: small knots) PROVING-TRIVIAL.zip Proofs by Prover 9 for Section 2.2 (Cyclic knot semigroups)本上传数据集包含用于补充Alexei Lisitsa与Alexei Vernitski于2017年发表的论文《纽结半群（knot semigroups）与纽结的π-轨形群（π-orbifold groups）的自动化推理》的实验数据。 ALTERNATING-SG.zip：由Prover9为第3节（4-平纽结（4-plats））生成的证明文件 KS_Models.zip：由Mace4为第2.3节（非循环纽结半群：小型纽结）找到的模型文件 PROVING-TRIVIAL.zip：由Prover9为第2.2节（循环纽结半群）生成的证明文件