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

<p>This upload contains experimental data to supplement the <br> paper Automated reasoning for knot semigroups and \pi-orbifold <br> groups of knots, by Alexei Lisitsa and Alexei Vernitski, 2017  </p> <p>ALTERNATING-SG.zip    Proofs by Prover9  for Section 3, (4-plats)   <br> KS_Models.zip               Models found by Mace4  for Section 2.3   (Non-cyclic knot semigorups: small knots)   <br> PROVING-TRIVIAL.zip    Proofs by Prover 9 for Section 2.2 (Cyclic knot semigroups) <br>  </p>